Phản ánh kiểu kết cấu phụ

Question

Chúng ta có thể lấy loại val s: String bằng cách sử dụng sự phản chiếu từ bên ngoài của hàm f?

val f = (r: {val s: String}) => { 
} 

Answer 1

scala> import scala.reflect.runtime.{universe => ru} 
import scala.reflect.runtime.{universe=>ru} 

scala> import scala.reflect.runtime.universe._ 
import scala.reflect.runtime.universe._ 

scala> def typeOf[T: ru.TypeTag](x: T) = ru.typeOf[T] // capture compile-time type info 
typeOf: [T](x: T)(implicit evidence$1: reflect.runtime.universe.TypeTag[T])reflect.runtime.universe.Type 

scala> val f = (r: {val s: String}) => {} 
f: AnyRef{val s: String} => Unit = <function1> 

scala> val tpe = typeOf(f) 
tpe: reflect.runtime.universe.Type = scala.AnyRef{val s: String} => Unit 

scala> ru.showRaw(tpe) 
res0: String = TypeRef(ThisType(scala), scala.Function1, List(RefinedType(List(TypeRef(ThisType(scala), newTypeName("AnyRef"), List())), Scope(newTermName("s"))), TypeRef(ThisType(scala), scala.Unit, List()))) 

scala> val ru.TypeRef(_, _, refinement :: _) = tpe 
refinement: reflect.runtime.universe.Type = scala.AnyRef{val s: String} 

Với Scala phản ánh người ta cũng có thể tạo ra mocks với nhiều loại cấu trúc như sau: https://gist.github.com/4008389. Gist được liên kết thực hiện điều này bằng cách sử dụng các hộp công cụ và phản chiếu thời gian chạy, nhưng kịch bản này cũng có thể thực hiện được với các macro.