Spec-Zone.ru › Scala 2.13 Reflection

Annotation scala.reflect.api.Types.TypeRef

Companion class TypeRefExtractor

abstract type TypeRef >: Null <: Universe.TypeRefApi with Universe.Type

The TypeRef type describes types of any of the forms on the left, with their TypeRef representations to the right.

T # C[T_1, ..., T_n]      TypeRef(T, C, List(T_1, ..., T_n))
p.C[T_1, ..., T_n]        TypeRef(p.type, C, List(T_1, ..., T_n))
C[T_1, ..., T_n]          TypeRef(NoPrefix, C, List(T_1, ..., T_n))
T # C                     TypeRef(T, C, Nil)
p.C                       TypeRef(p.type, C, Nil)
C                         TypeRef(NoPrefix, C, Nil)
Source
Types.scala
Линейные супертипы
Universe.<refinement>, Universe.TypeRefApi, Universe.TypeApi, AnyRef, Any

Абстрактные члены значения

abstract def <:<(that: Universe.Type): Boolean

Соответствует ли данный тип заданному типу аргумента that?

Определяющие классы
TypeApi

abstract def =:=(that: Universe.Type): Boolean

Является ли этот тип эквивалентным заданному типу аргумента that?

Определяющие классы
TypeApi

abstract def args: List[Universe.Type]

Аргументы ссылки на тип. Равно Nil если аргументы не указаны.

Определяющие классы
TypeRefApi

abstract def asSeenFrom(pre: Universe.Type, clazz: Universe.Symbol): Universe.Type

Этот тип, как видно из префикса pre и класса clazz. Это означает: Замените все ThisType в clazz или одном из его подклассов на pre и инициализируйте все параметры аргументами pre. Аналогично для ThisType, ссылающихся на внешние классы.

Пример:

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

scala> class D[T] { def m: T = ??? }
defined class D

scala> class C extends D[Int]
defined class C

scala> val D = typeOf[D[_]].typeSymbol.asClass
D: reflect.runtime.universe.ClassSymbol = class D

scala> val C = typeOf[C].typeSymbol.asClass
C: reflect.runtime.universe.ClassSymbol = class C

scala> val T = D.typeParams(0).asType.toType
T: reflect.runtime.universe.Type = T

scala> T.asSeenFrom(ThisType(C), D)
res0: reflect.runtime.universe.Type = scala.Int
Определяющие классы
TypeApi

abstract def baseClasses: List[Universe.Symbol]

Список всех базовых классов этого типа (включая его собственный типSymbol) в порядке линейной записи, начиная с самого класса и заканчивая классом Any.

Определяющие классы
TypeApi

abstract def baseType(clazz: Universe.Symbol): Universe.Type

Наименьший экземпляр типа данного класса, который является супертипом этого типа. Пример:

class D[T]
class C extends p.D[Int]
ThisType(C).baseType(D) = p.D[Int]
Определяющие классы
TypeApi

abstract def companion: Universe.Type

Подпись типа компаньона базового символа класса. NoType, если базовый символ не является символом класса или у него нет компаньона.

Определяющие классы
TypeApi

abstract def contains(sym: Universe.Symbol): Boolean

Содержит ли этот тип ссылку на данный символ?

Определяющие классы
TypeApi

abstract def dealias: Universe.Type

Расширяет псевдонимы типов, возникающие из членов типов. Обратите внимание, что псевдонимы типов могут скрывать типы-сингулярности, а типы-сингулярности могут скрываться внутри псевдонимов типов. Кроме того, псевдонимы могут скрываться в верхних границах абстрактных типов. Поэтому необходимо тщательно продумать логику распаковки, специфичную для вашего случая.

Определяющие классы
TypeApi

abstract def decl(name: Universe.Name): Universe.Symbol

Определенные или объявленные члены с именем name в этом типе; OverloadedSymbol, если их несколько, NoSymbol, если их нет. Альтернативы перегруженному символу появляются в порядке их объявления.

Определяющие классы
TypeApi

abstract def decls: Universe.MemberScope

Scope, содержащий непосредственно объявленные члены этого типа. В отличие от members, этот метод не возвращает унаследованные члены.

Члены в возвращенном области могут появляться в произвольном порядке. Используйте declarations.sorted для получения упорядоченного списка членов.

Определяющие классы
TypeApi

abstract def erasure: Universe.Type

Тип стёртого типа, соответствующий этому типу после выполнения всех преобразований со Scala на Java.

Определяющие классы
TypeApi

abstract def etaExpand: Universe.Type

Преобразует TypeRefs высших порядков в PolyTypes. Функции над типами также реализуются как PolyTypes.

Пример: (в приведенном ниже примере <List> — это конструктор типа List) TypeRef(pre, <List>, List()) заменяется на PolyType(X, TypeRef(pre, <List>, List(X)))

Определяющие классы
TypeApi

abstract def exists(p: (Universe.Type) => Boolean): Boolean

Существует ли часть этого типа, которая удовлетворяет предикату p?

Definition Classes
TypeApi

abstract def finalResultType: Universe.Type

Для метода с каррированием/нульарного метода или полиморфного типа — его результирующий тип (не метод), сам тип для всех остальных типов.

scala> class C {
     | def foo[T](x: T)(y: T) = ???
     | def bar: Int = ???
     | }
defined class C

scala> typeOf[C].member(TermName("foo")).asMethod
res0: reflect.runtime.universe.MethodSymbol = method foo

scala> res0.info // PolyType wrapping a MethodType
res1: reflect.runtime.universe.Type = [T](x: T)(y: T)scala.Nothing

scala> res1.resultType // MethodType wrapping a MethodType
res2: reflect.runtime.universe.Type = (x: T)(y: T)scala.Nothing

scala> res1.resultType.resultType // vanilla MethodType
res3: reflect.runtime.universe.Type = (y: T)scala.Nothing

scala> res1.resultType.resultType.resultType
res4: reflect.runtime.universe.Type = scala.Nothing

scala> res1.finalResultType
res5: reflect.runtime.universe.Type = scala.Nothing

scala> typeOf[C].member(TermName("bar")).asMethod
res6: reflect.runtime.universe.MethodSymbol = method bar

scala> res6.info
res7: reflect.runtime.universe.Type = => scala.Int

scala> res6.info.resultType
res8: reflect.runtime.universe.Type = scala.Int

scala> res6.info.finalResultType
res9: reflect.runtime.universe.Type = scala.Int
Definition Classes
TypeApi
See also

resultType

abstract def find(p: (Universe.Type) => Boolean): Option[Universe.Type]

Возвращает необязательно первый тип (в обходе preorder) который удовлетворяет предикату p, или None, если такового не существует.

Definition Classes
TypeApi

abstract def foreach(f: (Universe.Type) => Unit): Unit

Применить f к каждой части этого типа, только для побочных эффектов

Definition Classes
TypeApi

abstract def map(f: (Universe.Type) => Universe.Type): Universe.Type

Применить f к каждой части этого типа, вернув новый тип. Дочерние элементы отображаются перед родительскими.

Definition Classes
TypeApi

abstract def member(name: Universe.Name): Universe.Symbol

Элемент с заданным именем, либо непосредственно объявленный, либо унаследованный, OverloadedSymbol, если существует несколько, NoSymbol, если ни одного не существует.

Definition Classes
TypeApi

abstract def members: Universe.MemberScope

Scope содержащий все члены этого типа (непосредственно объявленные или унаследованные). В отличие от declarations этот метод также возвращает унаследованные члены.

Члены в возвращаемой области видимости могут отображаться в произвольном порядке. Используйте declarations.sorted для получения упорядоченного списка членов.

Definition Classes
TypeApi

abstract def orElse(alt: => Universe.Type): Universe.Type

Предоставляет альтернативу, если тип является NoType.

Definition Classes
TypeApi

abstract def paramLists: List[List[Universe.Symbol]]

Для метода или полиморфного типа — список его секций параметров значений, пустой список списков для всех остальных типов.

Definition Classes
TypeApi

abstract def pre: Universe.Type

Префикс ссылки на тип. Равен NoPrefix, если префикс не применим.

Definition Classes
TypeRefApi

abstract def resultType: Universe.Type

Для (нульарного) метода или полиморфного типа — его прямой результирующий тип (может быть MethodType, если метод имеет несколько списков аргументов), сам тип для всех остальных типов.

scala> class C { def foo[T](x: T)(y: T) = ??? }
defined class C

scala> typeOf[C].member(TermName("foo")).asMethod
res0: reflect.runtime.universe.MethodSymbol = method foo

scala> res0.info // PolyType wrapping a MethodType
res1: reflect.runtime.universe.Type = [T](x: T)(y: T)scala.Nothing

scala> res1.resultType // MethodType wrapping a MethodType
res2: reflect.runtime.universe.Type = (x: T)(y: T)scala.Nothing

scala> res1.resultType.resultType // vanilla MethodType
res3: reflect.runtime.universe.Type = (y: T)scala.Nothing

scala> res1.resultType.resultType.resultType
res4: reflect.runtime.universe.Type = scala.Nothing

scala> res1.finalResultType
res5: reflect.runtime.universe.Type = scala.Nothing
Definition Classes
TypeApi
See also

finalResultType

abstract def substituteSymbols(from: List[Universe.Symbol], to: List[Universe.Symbol]): Universe.Type

Заменить символы в to на соответствующие вхождения ссылок на символы from в этом типе.

Definition Classes
TypeApi

абстрактный def substituteTypes(from: Список[Символ], to: Список[Тип]): Тип

Заменить типы в to на соответствующие вхождения ссылок на символы from в этом типе.

Определения классов
TypeApi

абстрактный def sym: Символ

Основной символ типа ссылки.

Определения классов
TypeRefApi

абстрактный def takesTypeArgs: Булево

Является ли этот тип конструктором типа, которому не хватает аргументов типа?

Определения классов
TypeApi

абстрактный def termSymbol: Символ

Символ термина, связанный с типом, или NoSymbol для типов, которые не ссылаются на символ термина.

Определения классов
TypeApi

абстрактный def typeArgs: Список[Тип]

Список аргументов типа, встроенных в эту ссылку на тип. В зависимости от вашего случая использования, вы можете или не можете вызвать dealias первым.

scala> type T = List[Int]
defined type alias T

scala> typeOf[T].typeArgs
res0: List[reflect.runtime.universe.Type] = List()

scala> typeOf[T].dealias.typeArgs
res1: List[reflect.runtime.universe.Type] = List(scala.Int)
Определения классов
TypeApi

абстрактный def typeConstructor: Тип

Возвращает соответствующий конструктор типа (например, List для List[T] или List[String])

Определения классов
TypeApi

абстрактный def typeParams: Список[Символ]

Для полиморфного типа — его параметры типа, пустой список для всех остальных типов.

Определения классов
TypeApi

абстрактный def typeSymbol: Символ

Символ типа, связанный с типом, или NoSymbol для типов, которые не ссылаются на символ типа.

Определения классов
TypeApi

абстрактный def weak_<:<(that: Тип): Булево

Слабо ли этот тип соответствует заданному аргументу типа that, т.е., либо соответствует в терминах <:< , либо оба являются примитивными числовыми типами, которые соответствуют согласно разделу "Слабое соответствие" в спецификации. Например, Int weak_<:< Long.

Определения классов
TypeApi

абстрактный def widen: Тип

Если это тип-синглетон, расширить его до ближайшего базового типа, не являющегося типом-синглетоном, применив одну или несколько underlying дессылок. Если это не тип-синглетон, возвращает этот тип.

Пример:

class Outer { class C ; val x: C } val o: Outer <o.x.type>.widen = o.C

Обратите внимание, что псевдонимы типов могут скрываться под типами-синглетонами, а типы-синглетоны могут скрываться внутри псевдонимов типов. Кроме того, псевдонимы могут скрываться в верхних границах абстрактных типов. Поэтому необходимо тщательно подумать, чтобы определить и выполнить логику распаковки, специфичную для вашего случая использования.

Определения классов
TypeApi

абстрактный def declaration(name: Имя): Символ

Определения классов
TypeApi
Аннотации
@deprecated
Устаревшее

(С версии 2.11.0) используйте decl вместо

См. также

decl

абстрактный def declarations: СфераЧленов

Определения классов
TypeApi
Аннотации
@deprecated
Устаревшее

(С версии 2.11.0) используйте decls вместо

См. также

decls

абстрактный def normalize: Тип

Приведение к бета-эта-длинной нормальной форме. Расширяет псевдонимы типов и преобразует типы высшего порядка TypeRefs в PolyTypes. Функции над типами также реализованы как PolyTypes.

Пример: (в примере ниже, <List> - это конструктор типа List) TypeRef(pre, <List>, List()) заменяется на PolyType(X, TypeRef(pre, <List>, List(X)))

Определяющие классы
TypeApi
Аннотации
@deprecated
Устаревшее

(С версии 2.11.0) используйте dealias или etaExpand вместо этого

абстрактное def paramss: List[List[Universe.Symbol]]

Определяющие классы
TypeApi
Аннотации
@deprecated
Устаревшее

(С версии 2.11.0) используйте paramLists вместо этого

См. также

paramLists

Члены конкретных значений

final def !=(arg0: Any): Boolean

Определяющие классы
AnyRef → Any

final def ##(): Int

Определяющие классы
AnyRef → Any

final def ==(arg0: Any): Boolean

Определяющие классы
AnyRef → Any

final def asInstanceOf[T0]: T0

Определяющие классы
Any

def clone(): AnyRef

Атрибуты
protected[java.lang]
Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.CloneNotSupportedException]) @native()

final def eq(arg0: AnyRef): Boolean

Определяющие классы
AnyRef

def equals(arg0: AnyRef): Boolean

Определяющие классы
AnyRef → Any

def finalize(): Unit

Атрибуты
protected[java.lang]
Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.Throwable])

final def getClass(): Class[_ <: AnyRef]

Определяющие классы
AnyRef → Any
Аннотации
@native()

def hashCode(): Int

Определяющие классы
AnyRef → Any
Аннотации
@native()

final def isInstanceOf[T0]: Boolean

Определяющие классы
Any

final def ne(arg0: AnyRef): Boolean

Определяющие классы
AnyRef

final def notify(): Unit

Определяющие классы
AnyRef
Аннотации
@native()

final def notifyAll(): Unit

Определяющие классы
AnyRef
Аннотации
@native()

final def synchronized[T0](arg0: => T0): T0

Определяющие классы
AnyRef

def toString(): String

Определяющие классы
AnyRef → Any

final def wait(): Unit

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException]) @native()

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala-reflect/scala/reflect/api/Types$TypeRef.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API