struct Mirror
struct ObjectIdentifier
func == (Any.Type?, Any.Type?) -> Bool
func != (Any.Type?, Any.Type?) -> Bool
Availability
Technology
func type<T, Metatype>(of value: T) -> Metatype
value
The value for which to find the dynamic type. それに対して動的型を見つける値。
The dynamic type, which is a metatype instance. 動的型、それはメタタイプインスタンスです。
You can use the type(of:)
function to find the dynamic type of a value, particularly when the dynamic type is different from the static type. The static type of a value is the known, compile-time type of the value. The dynamic type of a value is the value’s actual type at run-time, which can be a subtype of its concrete type.
あなたは、type(of:)
を使うことである値の動的型を見つけることができます、とりわけ動的型が静的型と異なる場合に。ある値の静的型は、既知の、コンパイル時のその値の型です。ある値の動的型は、その値の実行時での実際の型です、それはそれの具象型の下位型であることができます。
In the following code, the count
variable has the same static and dynamic type: Int
. When count
is passed to the print
function, however, the value
parameter has a static type of Any
(the type declared for the parameter) and a dynamic type of Int
.
以下のコードにおいて、count
変数は同じ静的および動的型:Int
を持ちます。count
がprint
関数に渡される場合は、しかしながら、value
パラメータはAny
の静的型(このパラメータに対して宣言された型)そしてInt
の動的型を持ちます。
The dynamic type returned from type(of:)
is a concrete metatype (T
) for a class, structure, enumeration, or other nonprotocol type T
, or an existential metatype (P
) for a protocol or protocol composition P
. When the static type of the value passed to type(of:)
is constrained to a class or protocol, you can use that metatype to access initializers or other static members of the class or protocol.
type(of:)
から返される動的型は、クラス、構造体、列挙、または他の非プロトコル型T
に対して具象メタタイプ(T
)、またはプロトコルやプロトコル合成P
に対して存在メタタイプ(P
)です。type(of:)
に渡される値の静的型があるクラスまたはプロトコルに制約される場合、あなたはそのメタタイプを使うことでイニシャライザやそのクラスまたはプロトコルの他の静的メンバーにアクセスできます。
For example, the parameter passed as value
to the print
function in the example below is an instance of the Smiley
class or one of its subclasses. The function uses type(of:)
to find the dynamic type of value
, which itself is an instance of the Smiley
metatype.
例えば、下の例においてvalue
としてprint
関数に渡されるパラメータは、Smiley
クラスまたはそれのサブクラスの1つのインスタンスです。この関数は、type(of:)
を使ってvalue
の動的型を見つけます、それはそれ自身がSmiley
メタタイプのインスタンスです。
In this example, accessing the text
property of the smiley
metatype retrieves the overridden value from the Emoji
subclass, instead of the Smiley
class’s original definition.
この例において、smiley
メタタイプのtext
プロパティにアクセスすることは、Emoji
サブクラスからオーバーライドされた値を取って来ます、Smiley
クラスのもつ元の定義ではなく。
Normally, you don’t need to be aware of the difference between concrete and existential metatypes, but calling type(of:)
can yield unexpected results in a generic context with a type parameter bound to a protocol. In a case like this, where a generic parameter T
is bound to a protocol P
, the type parameter is not statically known to be a protocol type in the body of the generic function. As a result, type(of:)
can only produce the concrete metatype P
.
通常、あなたは具象と存在のメタタイプの間の違いを意識する必要はありません、しかしtype(of:)
を呼び出すことは、あるプロトコルに束縛された型パラメータを伴うある総称体の文脈において予期しない結果を生み出すことができます。このような場合において、総称体パラメータT
がプロトコルP
に束縛されるところでは、その型パラメータは、プロトコル型であることを総称体関数の本文において静的に知られません。結果として、type(of:)
は具象メタタイプP
を生成することだけが可能です。
The following example defines a print
function that takes a generic parameter and declares the String
type’s conformance to a new protocol P
. When print
is called with a string that has P
as its static type, the call to type(of:)
returns P
instead of String
(the dynamic type inside the parameter).
以下の例は、print
関数を定義します、それは総称体パラメータを取り、String
型のもつ準拠を新しいプロトコルP
に宣言します。print
が、P
をそれの静的型として持つ文字列とともに呼ばれる時、type(of:)
への呼び出しはP
を返します、String
(パラメータの内部の動的型)ではなく。
This unexpected result occurs because the call to type(of: value)
inside print
must return a metatype that is an instance of T
, but String
(the expected dynamic type) is not an instance of P
(the concrete metatype of value
). To get the dynamic type inside value
in this generic context, cast the parameter to Any
when calling type(of:)
.
この予期しない結果は、type(of: value)
への呼び出しがprint
内部において、T
のインスタンスであるメタタイプを返さなければならない、しかしString
(期待された動的型)はP
(value
の具象メタタイプ)のインスタンスでないことから起こります。value
内部の動的型をこの総称体の文脈において得るには、このパラメータをAny
へとtype(of:)
を呼び出す時にキャストしてください。
struct Mirror
struct ObjectIdentifier
func == (Any.Type?, Any.Type?) -> Bool
func != (Any.Type?, Any.Type?) -> Bool