Scala ngắn và loại nhà điều hành an toàn đúc

Question

Tôi không thích Scala isInstanceOf và asInstanceOf phương pháp - họ là dài và asInstanceOf có thể ném ngoại lệ vì vậy chúng tôi cần phải sử dụng nó trong cặp vợ chồng. Cách tốt hơn là sử dụng mẫu phù hợp: Scala: How do I cast a variable? nhưng đối với các hoạt động thực sự đơn giản, nó có thể tương đối dài quá. Trong C# chúng ta có các toán tử 'is' và 'as' vì vậy tôi muốn triển khai thực hiện định nghĩa ngầm với điều này trong Scala. nhìn mã của tôi như thế này:

scala> class TypeCast(x:Any){ 
    | def is[T](t:Class[T]) = t.isInstance(x) 
    | def as[T](t:Class[T]):Option[T] = if(t.isInstance(x)) Option(t.cast(x)) else None 
    | } 
defined class TypeCast 

scala> implicit def TypeCastID(x:Any)=new TypeCast(x) 
TypeCastID: (x: Any)TypeCast 

scala> 123 as classOf[String] 
res14: Option[String] = None 

scala> "asd" as classOf[String] 
res15: Option[String] = Some(asd) 

Nó có một lợi thế - thực hiện mô hình null-đối tượng nhưng cũng có nhược điểm:

• cần phải sử dụng classOf [T] hành - nó quá dài

• overhead được kết nối với def ngầm định cho thao tác đơn giản như vậy

vì vậy lại là không có lý do thực tế để sử dụng nó. Tôi muốn biết có cách nào để thực hiện điều này mà không cần phải sử dụng classOf [T]?

Answer 1

Vâng, bạn có thể rút ngắn nó xuống bên trong def bạn đã thực hiện trong lớp TypeCast. Vì vậy, thay vì cho ăn nó một tham số bạn chỉ có thể dựa vào loại. Điều này sẽ rút ngắn nó xuống rất nhiều. Như một ví dụ này có thể giống như thế:

class TypeCast(x : Any) { 
    def is[T : Manifest] = manifest.erasure.isInstance(x) 
    def as[T : Manifest] : Option[T] = if (manifest.erasure.isInstance(x)) Some(x.asInstanceOf[T]) else None 
} 

cuộc gọi trong tương lai có thể trông giống như:

scala> 123.as[String] 
res0: Option[String] = Some(123) 
scala> class A; class B extends A 
defined class A 
defined class B 
scala> new B 
res1: B 
scala> res1.is[Int] 
res2: Boolean = false 
scala> res1.as[Int] 
res3: Option[Int] = None 

Cập nhật: Tôi thêm Manifests để tránh các lỗi kiểu kiểm tra