Scala - производительность Run-время TypeTags, ClassTags и WeakTypeTags

Question

Введение:

... TypeTag[T] инкапсулирует тип выполнения представление некоторого времени компиляции типа T. ...
... TypeTag s всегда генерируются компилятором. ... [1]

TypeTag s расположены в scala.reflect.** пакетах. Другой SO answer упоминает, что использование java-отражения приведет к чрезмерной нагрузке на производительность в вашем приложении.

Вопрос:
В какой степени TypeTag с, ClassTag с и WeakTypeTag сек использовать Java отражение во время выполнения? Они генерируются во время компиляции, но при их использовании возникают служебные издержки во время выполнения?

Пример:

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])) 

Хотя метки генерируются во время компиляции, я чувствую задержки при запуске его. В сравнении типов используется неэффективное отражение java под капотом?

Answer 1

Ну, вы можете посмотреть here. В вашем случае отражение Java не задействовано, но =:= в конечном итоге делегирует isSameType2, что довольно нетривиально. Сначала он проверяет ссылочное равенство.