Scala - wydajność Run-czas TypeTags, ClassTags i WeakTypeTags

Question

Wstęp:

... TypeTag[T] hermetyzuje reprezentacji typu runtime pewnego rodzaju kompilacji T. ...
... TypeTag s są zawsze generowane przez kompilator. ... [1]

TypeTag y znajdują się w scala.reflect.** pakietach. Inna SO answer wspomina, że ​​korzystanie z odbicia w Javie wiąże się ze spadkiem wydajności w aplikacji.

Pytanie:
W jakim stopniu TypeTag s, ClassTag s i WeakTypeTag s Use Java odbicie w czasie wykonywania? Są generowane w czasie kompilacji, ale czy powodują one zwiększenie wydajności podczas działania?

Przykład:

def isOfType[A : ClassTag : TypeTag, E : ClassTag : TypeTag](actual: A, expected: E): Boolean = { 
    actual match { 
    case _ : E if typeOf[A] =:= typeOf[E] => true 
    case _ => false 
    } 
} 

assert(isOfType(List.empty[Int], List.empty[Int])) 
assert(!isOfType(List.empty[String], List.empty[Int])) 

Choć znaczniki są generowane w czasie kompilacji, mogę czuć opóźnienie podczas uruchamiania go. Czy porównania typów używają mniej wydajnego odbicia Java pod maską?

Answer 1

Cóż, możesz wyglądać here. W twoim przypadku odbicie Java nie jest zaangażowane, ale =:= ostatecznie deleguje na isSameType2, co jest dość nietrywialne. Sprawdza najpierw poziom odniesienia.