Используя теги типа, я могу видеть параметры некоторого типа:
scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._
scala> typeOf[List[Int]]
res0: reflect.runtime.universe.Type = List[Int]
Но я просто не могу понять, как программно получить этот "Int" оттуда в общем виде.
(Я бродил по REPL в течение часа, пытаясь перестановки в Type, чтобы увидеть, что я могу получить от него... Я получаю много вещей, которые указывают, что это "Список", но хороший удачи в поиске этого "Int" ! И я действительно не хочу прибегать к анализу вывода toString()...)
Даниэль Собрал имеет отличный (как обычно) быстрый обзор здесь, в котором он мучительно близок к тому, что я ищу, но (по-видимому), только если вы знаете, для этого конкретного класса, какой-то конкретный метод, тип которого можно опросить:
scala> res0.member(newTermName("head"))
res1: reflect.runtime.universe.Symbol = method head
scala> res1.typeSignatureIn(res0)
res2: reflect.runtime.universe.Type = => Int
Но я надеюсь на что-то более общее, что не связано с укоренением в списке объявленных методов и надеется, что один из них будет захватывать (и тем самым разглашать) тег текущего типа информации где-то.
Если Scala может так легко напечатать "Список [Int]", почему же так трудно обнаружить, что часть "Int" этого - не прибегая к сопоставлению строк? Или я просто пропустил что-то действительно, действительно очевидное?
scala> res0.typeSymbol.asInstanceOf[ClassSymbol].typeParams
res12: List[reflect.runtime.universe.Symbol] = List(type A)
scala> res12.head.typeSignatureIn(res0)
res13: reflect.runtime.universe.Type =
Grr...