Найти параметры класса имя класса

Question

Я работаю на макро аннотацию, и у меня есть что-то вроде этого:

def findClass(className: String) : ClassSymbol = { 
    val tree = c.typecheck(c.parse(s"??? : ${className}")); 
    return tree.tpe.typeSymbol.asClass; 
} 

Вопрос заключается в том, что, когда className что-то вроде List, он явно жалуется потому, что он ожидает параметров. Если это List[String], тогда это нормально.

Если честно, я не совсем понимаю, почему, например, classOf[List] не принимается, учитывая, что общий тип в Списке инвариантен? Выполнение classOf[List[String]] и classOf[List[Integer]], возвращает тот же класс.

Итак, предполагая, что мой метод findClass всегда будет получать класс без параметров или с параметрами инварианта, как я могу проверить тип ValDef?

Answer 1

почему, например, classOf [Список] не принято, учитывая, что общий тип в списке инвариантно

Поскольку правильный способ написать это classOf[List[_]], для совместимости с другими использований. Дисперсия параметров не имеет значения (хотя List является ковариантным, а не инвариантным).

Это некрасиво, и, вероятно, лучшие решения я уверен, не думать, но вы можете попробовать, s"??? : ${className}" проверке типов затем s"??? : ${className}[_]" и т.д.