Scala - Làm cách nào để thực hiện phương pháp "assertThrows"?

Question

Tôi bắt đầu học Scala ngày hôm qua, vì vậy tôi khá mới với nó. Một điều tôi muốn làm khi học một ngôn ngữ mới là cố gắng tạo ra một lib vi-TDD.

Đây là những gì tôi có cho đến nay:

def assert(condition: Boolean, message: String) { 
    if(!condition){ throw new AssertionError(message) } 
} 

def assertThrows[E](f: => Unit) { 
    try { 
    f 
    } catch { 
    case e: E => { return } 
    case _: Exception => { } 
    } 
    throw new AssertionError("Expected error of type " + classOf[E]) 
} 

Mã này cho assert công trình tốt, nhưng tôi đang gặp hai vấn đề với assertThrows.

• Dường như tôi không thể sử dụng E trên dòng cuối cùng. Dù tôi có làm gì đi nữa, tôi vẫn nhận được class type expected but E found error.
• Nếu tôi loại bỏ E từ dòng cuối cùng (thay thế nó bằng throw new AssertionError("error expected"), ví dụ) Tôi có được điều này: warning: abstract type E in type pattern is unchecked since it is eliminated by erasure

Tôi nghĩ rằng hai vấn đề tôi đang gặp có liên quan với cách Scala (và có lẽ java) giao dịch với các loại trừu tượng và chúng được thực hiện như thế nào.

Làm cách nào để khắc phục assertThrows của tôi?

Điểm thưởng: là cách tôi chỉ định "loại khối" (f: => Unit) đúng không?

Answer 1

Máy ảo Java thực hiện Generics thông qua loại xóa, do đó bên trong cơ thể phương pháp JVM không thực sự biết bất cứ điều gì về loại E, vì vậy phương pháp AssertThrows này không thể làm việc theo cách bạn muốn. Bạn cần phải ngầm vượt qua một Manifest cho lớp ngoại lệ của bạn, như vậy:

def assertThrows[E](f: => Unit)(implicit eType:ClassManifest[E]) { 

Sau đó, bạn có thể sử dụng nó trong cơ thể để bắt ngoại lệ hoặc lấy tên lớp như vậy:

try { 
    f 
    } catch { 
    case e: Exception => 
     if (eType.erasure.isAssignableFrom(e.getClass)) 
     return; 
    } 
    throw new AssertionError("Expected error of type " + eType.erasure.getName) 
} 

Cảm ơn đến the Spring framework's AssertThrows class để chỉ cho tôi cách thực hiện việc này.

Answer 2

Tôi có điều này nhờ làm việc để trả lời Ken:

class AssertException(msg: String) extends Exception(msg: String) 

def assertThrows[E](f: => Unit)(implicit eType:ClassManifest[E]) { 
    try{ 
    f 
    } catch { 
    case e: Exception => 
    if(eType.erasure.isAssignableFrom(e.getClass)) { return } 
    } 
    throw new AssertException("Expected error of type " + eType.erasure.getName) 
} 

/* examples of usage */ 

assertThrows[NullPointerException]{ throw new NullPointerException() } // ok 
assertThrows[AssertException] { assertThrows[Exception]{ } } // ok! 

Cảm ơn rất nhiều!