# 型(Types) 最終更新日: 2025/3/29\ 原文: 組み込みの名前付き型と複合型を使用します。 Swift では、*名前付き型*(*named type*)と\_複合型\_(*compound type*)の 2 種類があります。名前付き型は、定義時に特定の名前を指定できる型です。名前付き型には、クラス、構造体、列挙型、およびプロトコルが含まれます。例えば、`MyClass` という名前のユーザ定義クラスのインスタンスは `MyClass` 型です。ユーザ定義の型に加えて、Swift 標準ライブラリは、配列、辞書、およびオプショナル値を含む多くの広く使用される型の名前を定義します。 通常、数字、文字、文字列を表す型など、他の言語で基本的またはプリミティブと見なされるデータ型は、Swift 標準ライブラリでは構造体を使用して定義、実装されている名前付き型です。名前付き型のため、[Extensions(拡張)](/the-swift-programming-language-jp/language-reference/expressions.md)、[Extension Declaration(拡張宣言)](/the-swift-programming-language-jp/language-reference/declarations.md#extension-declaration)で説明されている extension を使用して、プログラムのニーズに合わせて振る舞いを拡張することができます。 複合型は、Swift 言語で定義されている名前のない型です。関数型とタプル型の 2 つの複合型があります。複合型の種類は、名前付き型および他の複合型を含めることができます。例えば、タプル型 `(Int, (Int, Int))` には、名前付き型の `Int` と複合型の `(Int, Int)` の 2 つの要素が含まれています。 名前付き型または複合型の周囲には括弧(`()`)を付けることができます。ただし、型の周囲に括弧を必ずしも付ける必要はありません。例えば、`(Int)` は `Int` と同等です。 この章では、Swift 言語自体で定義されている型について説明し、Swift の型推論の動作について説明します。 > Grammar of a type: > > *type* → *function-type*\ > \&#xNAN;*type* → *array-type*\ > \&#xNAN;*type* → *dictionary-type*\ > \&#xNAN;*type* → *type-identifier*\ > \&#xNAN;*type* → *tuple-type*\ > \&#xNAN;*type* → *optional-type*\ > \&#xNAN;*type* → *implicitly-unwrapped-optional-type*\ > \&#xNAN;*type* → *protocol-composition-type*\ > \&#xNAN;*type* → *boxed-protocol-type*\ > \&#xNAN;*type* → *opaque-type*\ > \&#xNAN;*type* → *metatype-type*\ > \&#xNAN;*type* → *any-type*\ > \&#xNAN;*type* → *self-type*\ > \&#xNAN;*type* → **`(`** *type* **`)`** ## 型注釈(Type Annotation) 型注釈は、変数または式の型を明示的に指定します。次の例に示すように、型注釈はコロン(`:`)で始まり、型で終わります。 ```swift let someTuple: (Double, Double) = (3.14159, 2.71828) func someFunction(a: Int) { /* ... */ } ``` 最初の例では、式がタプル型 `(Double, Double)` を持つように指定されています。2 番目の例では、`someFunction` 関数の引数 `a` が `Int` 型だと指定されています。 型注釈は、型の前に型属性の任意のリストを含めることができます。 > Grammar of a type annotation: > > *type-annotation* → **`:`** *attributes?* *type* ## 型識別子(Type Identifier) \_型識別子\_は、名前付き型、または名前付き型か複合型の型注釈を指します。 ほとんどの場合、型識別子は識別子と同じ名前の名前付き型を直接指します。例えば、`Int` は、名前付き型 `Int` を直接指す型識別子で、型識別子 `Dictionary` は指定された `Dictionary` を直接指します。 型識別子が型と同じ名前を指さない 2 つのケースがあります。最初のケースは、名前付きまたは複合型のタイプエイリアスを指す場合です。例えば、下記の例では、型注釈内の `Point` はタプル型 `(Int, Int)` を指します。 ```swift typealias PoInt = (Int, Int) let origin: PoInt = (0, 0) ``` 2 番目のケースは、型識別子が他のモジュールで宣言された名前付き型または他の型内のネストした名前付き型を指すためには、ドット(`.`)構文を使用します。例えば、次のコードの型識別子は、`ExamPleModule` モジュールで宣言されている名前付き型 `MyType` を指しています。 ```swift var someValue: ExampleModule.MyType ``` > Grammar of a type identifier: > > *type-identifier* → *type-name* *generic-argument-clause?* | *type-name* *generic-argument-clause?* **`.`** *type-identifier*\ > \&#xNAN;*type-name* → *identifier* ## タプル型(Tuple Type) \_タプル型\_は、括弧に囲まれた、型のカンマ区切りのリストです。 関数が複数の値を含む単一の値を返すことを可能にするために、関数の戻り値の型としてタプル型を使用できます。タプル型の要素に名前を付けることもでき、それらの名前を使用して個々の要素の値を参照することもできます。要素名はコロン(`:`)の直前に識別子を指定します。これらの機能を示す例については、[Functions with Multiple Return Values(複数の戻り値がある関数)](/the-swift-programming-language-jp/language-guide/functions.md#functions-with-multiple-return-values)を参照ください。 タプル型の要素に名前がある場合、その名前は型の一部です。 ```swift var someTuple = (top: 10, bottom: 12) // someTuple の型は (top: Int, bottom: Int) someTuple = (top: 4, bottom: 42) // OK: 名前が一致しています someTuple = (9, 99) // OK: 名前が推論されます someTuple = (left: 5, right: 5) // Error: 名前が一致していません ``` 全てのタプル型には、空のタプル型 `()` のタイプエイリアスの `Void` を除いて、2 つ以上の型が含まれています。 > Grammar of a tuple type: > > *tuple-type* → **`(`** **`)`** | **`(`** *tuple-type-element* **`,`** *tuple-type-element-list* **`)`**\ > \&#xNAN;*tuple-type-element-list* → *tuple-type-element* | *tuple-type-element* **`,`** *tuple-type-element-list*\ > \&#xNAN;*tuple-type-element* → *element-name* *type-annotation* | *type*\ > \&#xNAN;*element-name* → *identifier* ## 関数型(Function Type) \_関数型\_は関数、メソッド、またはクロージャの型を表し、パラメータと矢印で区切られた戻り値の型で構成されています(`->`)。 ```swift (<#parameter type#>) -> <#return type#> ``` \_パラメータ型\_は、型のカンマ(`,`)区切りのリストです。関数型は、\_戻り値の型\_がタプル型の可能性があるため、複数の値を返す関数とメソッドをサポートします。 関数型のパラメータ `() -> T`(`T` は任意の型)は、呼び出し側で暗黙的なクロージャを作成するために、`autoclosure` を適用できます。これは、関数を呼び出すときに明示的にクロージャを書くことなく、式を遅延評価するための構文上の便利な方法です。`autoclosure` の関数型のパラメータの例については、[AutoClosures(自動クロージャ)](/the-swift-programming-language-jp/language-guide/closures.md#autoclosures)を参照ください。 関数型は、そのパラメータ型に多様なパラメータを持たせることができます。構文上、可変長パラメータは、`Int...` のように要素の型名の後ろに 3 つのドット(`...`)を記載し、要素の型の配列として扱われます。例えば、可変長パラメータ `Int...` は `[Int]` として扱われます。可変長パラメータを使用する例については、[Variadic Parameters(可変長パラメータ)](/the-swift-programming-language-jp/language-guide/functions.md#variadic-parameters)を参照ください。 in-out パラメータを使用するには、`inout` キーワードをパラメータの型の前に付けます。可変長パラメータまたは戻り値の型にマークすることはできません。in-out パラメータは、[In-Out Parameters(In-Out パラメータ)](/the-swift-programming-language-jp/language-reference/declarations.md#declarations-in-out-parameters)で説明されています。 関数型にパラメータが 1 つしかなく、タプル型の場合、関数型を書くときにタプル型を括弧(`()`)で囲む必要があります。例えば、`((Int, Int)) -> Void` は、タプル型 `(Int, Int)` を単一のパラメータとして受け取り、値を返さない関数の型です。対照的に、括弧なしで `(Int, Int) -> Void` と書いた場合は 2 つの `Int` パラメータを受け取り、値を返さない関数型です。同様に、`Void` は `()` のエイリアスのため、`(Void)-> Void` は `(()) -> ()` と同じで、空のタプルの単一の引数を受け取ります。`() -> ()` は引数を受け取らないので同じではありません。 関数とメソッドの引数名は、対応する関数型の一部ではありません。例えば: ```swift func someFunction(left: Int, right: Int) {} func anotherFunction(left: Int, right: Int) {} func functionWithDifferentLabels(top: Int, bottom: Int) {} var f = someFunction // f の型は (Int, Int) -> Void で (left: Int, right: Int) -> Void ではありません f = anotherFunction // OK f = functionWithDifferentLabels // OK func functionWithDifferentArgumentTypes(left: Int, right: String) {} f = functionWithDifferentArgumentTypes // エラー func functionWithDifferentNumberOfArguments(left: Int, right: Int, top: Int) {} f = functionWithDifferentNumberOfArguments // エラー ``` 引数ラベルは関数型の一部ではないため、関数型を書くときに省略できます。 ```swift var operation: (lhs: Int, rhs: Int) -> Int // エラー var operation: (_ lhs: Int, _ rhs: Int) -> Int // OK var operation: (Int, Int) -> Int // OK ``` 関数型に 1 つ以上の矢印(`->`)が含まれている場合、関数型は右から左にグループ化されます。例えば、関数型 `(Int) -> (Int) -> Int` は、`(Int) -> ((Int) -> Int)` で、`Int` を受け取り、別の `Int` を受け取り、`Int` を返す関数を返します。 エラーをスローまたは再スローできる関数の関数型には、`throws` キーワードを含める必要があります。関数がスローするエラーの型を指定するには、`throws` の後に括弧で囲んだ型を含めます。スローするエラーの型は、`Error` プロトコルに準拠している必要があります。型を指定せずに `throws` を記述することは、`throws(any Error)` を記述することと同じです。`throws` を省略することは、`throws(Never)` を記述することと同じです。関数がスローするエラーの型は、ジェネリック型、Box プロトコル型、Opaque 型など、`Error` に準拠する任意の型にできます。 関数がスローするエラーの型は、その関数の型の一部であり、エラーの型間のサブタイプ関係は、それに対応する関数型間のサブタイプ関係でもあることを意味します。例えば、独自の `MyError` 型を宣言する場合、一部の関数型間の関係は、スーパータイプからサブタイプまで次のようになります。 1. `any Error` をスローする関数 (`throws(any Error)` とマーク) 2. 特定のエラーをスローする関数 (`throws(MyError)` とマーク) 3. エラーをスローしない関数 (`throws(Never)` とマーク) これらのサブタイプ関係の結果は、次のようになります。 * スローしない関数は、スローする関数と同じ場所で使用できる * 具体的なエラーの型をスローする関数は、スローする関数と同じ場所で使用できる * より具体的なエラーの型をスローする関数は、より一般的なエラーの型をスローする関数と同じ場所で使用できる 関連型またはジェネリック型パラメータを、関数型でスローされるエラーの型として使用する場合、その関連型またはジェネリック型パラメーターは、暗黙的に `Error` プロトコルに準拠する必要があります。 スロー関数や再スロー関数は、[Throwing Functions and Methods(スロー関数とメソッド)](/the-swift-programming-language-jp/language-reference/declarations.md#throwing-functions-and-methods)、[Rethrowing Functions and Methods(再スロー関数と再スローメソッド)](/the-swift-programming-language-jp/language-reference/declarations.md#rethrowing-functions-and-methods)で説明されています。 ### 非エスケープクロージャの制限(Restrictions for Nonescaping Closures) \_非エスケープ\_関数のパラメータには、エスケープできる可能性があるため、`Any` 型のプロパティ、変数、または定数を格納することはできません。 非エスケープ関数のパラメータは、引数として別の非エスケープ関数に渡すことはできません。この制限によって、Swift が実行時ではなくコンパイル時にメモリへのアクセス競合をチェックすることができます。例えば: ```swift let external: (() -> Void) -> Void = { _ in () } func takesTwoFunctions(first: (() -> Void) -> Void, second: (() -> Void) -> Void) { first { first {} } // エラー second { second {} } // エラー first { second {} } // エラー second { first {} } // エラー first { external {} } // OK external { first {} } // OK } ``` 上記のコードでは、`takesTwoFunctions(first:second:)` のパラメータは関数型です。どちらも `@esescaping` がマークされていないため、非エスケープです。 上記の例で「エラー」とマークされた 4 つの関数の呼び出しは、コンパイルエラーが発生します。最初と 2 番目のパラメータは非エスケープ関数のため、引数として別の非エスケープ関数をパラメータに渡すことはできません。対照的に、「OK」とマークされた 2 つの関数呼び出しは、コンパイルエラーが発生しません。これらの関数呼び出しは、`external` が `takesTwoFunctions(first:second:)` のパラメータではないため、制限に違反しません。 この制限を回避する必要がある場合は、いずれかのパラメータを `@esescaping` とマークしたり、パラメータの非エスケープ関数の 1 つを `withoutActuallyEscaping(_:do:)` を使ってエスケープ関数に一時的に変換します。メモリへのアクセス競合を回避する方法については、[Memory Safety(メモリ安全性)](/the-swift-programming-language-jp/language-guide/memory-safety.md)を参照ください。 > Grammar of a function type: > > *function-type* → *attributes?* *function-type-argument-clause* **`async`***?* *throws-clause?* **`->`** *type* > > *function-type-argument-clause* → **`(`** **`)`**\ > \&#xNAN;*function-type-argument-clause* → **`(`** *function-type-argument-list* **`...`***?* **`)`** > > *function-type-argument-list* → *function-type-argument* | *function-type-argument* **`,`** *function-type-argument-list*\ > \&#xNAN;*function-type-argument* → *attributes?* *parameter-modifier?* *type* | *argument-label* *type-annotation*\ > \&#xNAN;*argument-label* → *identifier* > > *throws-clause* → **`throws`** | **`throws`** **`(`** *type* **`)`** ## 配列型(Array Type) Swift は、標準ライブラリで定義されている `Array` の次の糖衣構文(シンタックスシュガー)を提供しています。 ```swift [<#type#>] ``` つまり、次の 2 つの宣言は同等です: ```swift let someArray: Array = ["Alex", "Brian", "Dave"] let someArray: [String] = ["Alex", "Brian", "Dave"] ``` どちらの場合も、定数の `SomeArray` は文字列の配列として宣言されています。角括弧(`[]`)内に有効範囲内のインデックスを指定することによって配列の要素にアクセスすることができます。`someArray[0]` は、インデックス `0` の要素 `"Alex"` を指します。 要素の型名の周りの角括弧をネストにすることで多次元配列を作成できます。例えば、3 つの角括弧を使用して、整数の 3 次元配列を作成できます。 ```swift var array3D: [[[Int]]] = [[[1, 2], [3, 4]], [[5, 6], [7, 8]]] ``` 多次元配列内の要素にアクセスするとき、左端の `subscript` のインデックスは、最も外側の配列内のインデックスの要素を指します。次に右の `subscript` のインデックスは、1 階層ネストされている配列内のインデックスの要素になります。これは、上記の例では、`array3D[0]` は `[[1, 2], [3, 4]]`、`array3D[0][1]` は `[3,4]`、`array3D[0][1][1]` は値 `4` を表します。 Swift 標準ライブラリの配列型の詳細については、[Arrays(配列)](/the-swift-programming-language-jp/language-guide/collection-types.md#arrays)を参照ください。 > Grammar of an array type: > > *array-type* → **`[`** *type* **`]`** ## 辞書型(Dictionary Type) Swift は、標準ライブラリで定義されている `Dictionary` 型に次の糖衣構文(シンタックスシュガー)を提供しています。 ```swift [<#key type#>: <#value type#>] ``` つまり、次の 2 つの宣言は同等です: ```swift let someDictionary: [String: Int] = ["Alex": 31, "Paul": 39] let someDictionary: Dictionary = ["Alex": 31, "Paul": 39] ``` どちらの場合も、定数 `someDictionary` は、文字列をキー、整数をバリューとした辞書として宣言されています。 辞書の値は、角括弧(`[]`)でキーを指定して対応するバリューにアクセスすることができます。`someDictionary["Alex"]` は、キー `"Alex"` に関連するバリューを指します。`subscript` は辞書の値型のオプショナル値を返します。指定されたキーが辞書に含まれていない場合、`subscript` は `nil` を返します。 辞書のキーの型は、Swift 標準ライブラリの `Hashable` に準拠している必要があります。 標準ライブラリ `Dictionary` 型の詳細については、[Dictionaries(辞書)](/the-swift-programming-language-jp/language-guide/collection-types.md#dictionaries)を参照ください。 > Grammar of a dictionary type: > > *dictionary-type* → **`[`** *type* **`:`** *type* **`]`** ## オプショナル型(Optional Type) Swift は、標準ライブラリで定義されている、名前付き型の `Optional` の糖衣構文(シンタックスシュガー)として、後置演算子 `?` を定義しています。つまり、次の 2 つの宣言は同等です: ```swift var optionalInteger: Int? var optionalInteger: Optional ``` どちらの場合も、変数 `optionalInteger` はオプショナルの整数型を持つように宣言されています。型と `?` の間にスペースを入れないように注意してください。 `Optional` 型は、`none` と `some(Wrapped)` の 2 つのケースを持った列挙型です。任意の型で、オプショナルの型を明示的に(または暗黙的に変換するように)宣言することができます。オプショナルの変数またはプロパティを宣言するときに初期値を指定しない場合、その値は自動的に `nil` になります。 オプショナル型のインスタンスに値が含まれている場合は、後述のように後置演算子 `!` を使用してその値にアクセスできます: ```swift optionalInteger = 42 optionalInteger! // 42 ``` `!` を使って `nil` のオプショナルをアンラップしようとした場合、実行時エラーになります。 オプショナルチェーンとオプショナルバインディングを使用して、式を操作することもできます。値が `nil` の場合、操作は実行されず、したがって実行時エラーが発生しません。 オプショナル型の使用方法を示す例を示した詳細については、[Optionals(オプショナル)](/the-swift-programming-language-jp/language-guide/the-basics.md#optionals)を参照ください。 > Grammar of an optional type: > > *optional-type* → *type* **`?`** ## 暗黙アンラップオプショナル型(Implicitly Unwrapped Optional Type) Swift は、標準ライブラリで定義されている、名前付き型の `Optional` の後に `!` を付けると、アクセス時に暗黙的にアンラップされる糖衣構文(シンタックスシュガー)を定義しています。`nil` に暗黙アンラップオプショナルを使用しようとすると、実行時エラーが発生します。暗黙アンラップの動作以外は、次の 2 つの宣言は同等です: ```swift var implicitlyUnwrappedString: String! var explicitlyUnwrappedString: Optional ``` 型と `!` の間にスペースを入れないように注意してください。 暗黙アンラップは、その型の宣言の意味を変更します。タプル型の内側にネストされているオプショナル型、または辞書や配列の要素型などのジェネリックな型のオプショナル型は、暗黙アンラップできません。例えば: ```swift let tupleOfImplicitlyUnwrappedElements: (Int!, Int!) // エラー let implicitlyUnwrappedTuple: (Int, Int)! // OK let arrayOfImplicitlyUnwrappedElements: [Int!] // エラー let implicitlyUnwrappedArray: [Int]! // OK ``` 暗黙アンラップオプショナルは、オプショナル値として `Optional` 型が使用できるコード内の全ての場所で使用できます。例えば、暗黙アンラップオプショナル値をオプショナルの変数、定数、およびプロパティに割り当てることができます。 通常のオプショナルと同様に、暗黙アンラップオプショナルの変数またはプロパティを宣言するときに初期値を指定しない場合、その値は自動的に `nil` になります。 条件付きで暗黙アンラップオプショナルの式を操作するには、オプショナルチェーンを使用します。値が `nil` の場合、操作は実行されず、したがって実行時エラーが発生しません。 暗黙アンラップオプショナル型の詳細については、[Implicitly Unwrapped Optionals(暗黙アンラップオプショナル)](/the-swift-programming-language-jp/language-guide/the-basics.md#implicitly-unwrapped-optionals)を参照ください。 > Grammar of an implicitly unwrapped optional type: > > *implicitly-unwrapped-optional-type* → *type* **`!`** ## プロトコル合成型(Protocol Composition Type) プロトコル合成型は、指定されたプロトコルリスト内の各プロトコルに準拠した型、または特定のクラスのサブクラスの型を定義し、指定されたプロトコルリスト内の各プロトコルに準拠します。プロトコル合成型は、型注釈、ジェネリックパラメータ句、およびジェネリック `where` 句内に型を指定する場合にのみ使用できます。 プロトコル合成型の形式は次のとおりです: ```swift <#Protocol 1#> & <#Protocol 2#> ``` プロトコル合成型を使用すると、型に準拠した各プロトコルを継承した新しい名前のプロトコルを明示的に定義することなく、型が複数のプロトコルの要件に準拠することを指定できます。例えば、`ProtocolA` と `ProtocolB` と `ProtocolC` を継承する新しいプロトコルを宣言する代わりに、プロトコル合成型の `ProtocolA & ProtocolB & ProtocolC` を使用できます。同様に、`SuperClass` のサブクラスと `ProtocolA` に準拠した新しいプロトコルを宣言する代わりに `SuperClass & ProtocolA` を使用することができ、`ProtocolA` に準拠できます。 プロトコル合成リスト内の各項目は、次のいずれかです。クラスはリストに 1 つしか含めることができません: * クラスの名前 * プロトコルの名前 * 基になる型がプロトコル合成型、プロトコル、またはクラスのタイプエイリアス プロトコル合成型にタイプエイリアスが含まれている場合、定義の中で同じプロトコルが重複している可能性がありますが、その重複は無視されます。例えば、下記のコードの `PQR` の定義は、`P＆Q＆R` と同じです。 ```swift typealias PQ = P & Q typealias PQR = PQ & Q & R ``` > Grammar of a protocol composition type: > > *protocol-composition-type* → *type-identifier* **`&`** *protocol-composition-continuation*\ > \&#xNAN;*protocol-composition-continuation* → *type-identifier* | *protocol-composition-type* ## Opaque 型(Opaque Type) \_Opaque 型\_は、基となる具体的な型を特定することなく、プロトコルまたはプロトコル合成に準拠する型を定義します。 Opaque 型は、関数または `subscript` の戻り値の型、関数・`subscript`・イニシャライザのパラメータの型、あるいはプロパティの型として使用できます。一方で、タプル型や、配列の要素やオプショナルの `Wrapped` 型などのジェネリック型の一部としては使用できません。 Opaque 型の形式は次のとおりです: ```swift some <#constraint#> ``` *constraint* に入るのは、クラス型、プロトコル型、プロトコル合成型、または `Any` 型です。値としては、リスト内のプロトコルまたはプロトコル合成に準拠した型、またはリスト内のクラスを継承した型のインスタンスのみ使用できます。Opaque 型の値とやり取りするコードは、*constraint* に定義された型のインターフェイスを通してのみ使用できます。 コンパイル時に、Opaque 型の値は特定の具象型を持っています。そして、Swift は、最適化のためにその基礎となる型を使用することができます。しかし、利用時には、Opaque 型は、その基礎となる型に関する情報との間に超えることができない境界を形成します。 プロトコルの宣言には Opaque 型を含めることはできません。また、クラスは、`final` ではないメソッドの戻り値の型として Opaque 型を使用することはできません。 戻り値の型として Opaque 型を使用する関数は、単一の型の値を返す必要があります。戻り値の型には、関数のジェネリックな型パラメータの一部を含めることができます。例えば、`someFunction()` は `T` 型または `Dictionary` 型の値を返すことができます。 パラメータに Opaque 型を記述することは、ジェネリック型パラメータの名前を指定せずにジェネリック型を使用するための糖衣構文です。暗黙的なジェネリック型パラメータには、Opaque 型で指定されたプロトコルに準拠することを要求する制約が課されます。複数の Opaque 型を記述すると、それぞれが独自のジェネリック型パラメータを生成します。 たとえば、以下の宣言は等価です: ```swift func someFunction(x: some MyProtocol, y: some MyProtocol) { } func someFunction(x: T1, y: T2) { } ``` 2 つ目の宣言では、ジェネリック型パラメータ `T1` と `T2` には名前があるため、コードの他の場所でもこれらの型を参照できます。これに対して、1 つ目の宣言のジェネリック型パラメータには名前がないため、他のコードでは参照できません。 可変長パラメータの型として Opaque 型を使用することはできません。 戻り値として返される関数型のパラメータ、あるいはパラメータ型が関数型の場合に、そのパラメータとして Opaque 型を使用することもできません。こういった位置で Opaque 型を使うと、関数の呼び出し元が未知の型の値を構築しなければならなくなるためです。 ```swift protocol MyProtocol { } func badFunction() -> (some MyProtocol) -> Void { } // エラー func anotherBadFunction(callback: (some MyProtocol) -> Void) { } // エラー ``` > Grammar of an opaque type: > > *opaque-type* → **`some`** *type* ## Box プロトコル型(Boxed Protocol Type) *Box プロトコル型*は、プロトコルまたはプロトコル合成に準拠する型を定義し、その準拠する型がプログラムの実行中に動的に変わる能力を持ちます。 Box プロトコル型の形式は次のとおりです: ```swift any <#constraint#> ``` *制約*は、プロトコル型、プロトコル合成型、プロトコル型のメタタイプ、またはプロトコル合成型のメタタイプです。 実行時に、Box プロトコル型のインスタンスは、制約を満たす任意の型の値を含むことができます。この動作は、コンパイル時に既知の特定の準拠型が存在する Opaque 型の動作とは対照的です。Box プロトコル型を扱う際に使用される追加の間接層は、`boxing` と呼ばれます。`boxing` は通常、ストレージのための別のメモリ割り当てと、アクセスのための追加の間接層を必要とし、実行時にパフォーマンスコストを発生させます。`Any` 型や `AnyObject` 型に `any` を適用しても、これらの型はすでに Box プロトコル型であるため、何の効果もありません。 > Grammar of a boxed protocol type: > > *boxed-protocol-type* → **`any`** *type* ## Metatype 型(Metatype Type) Metatype は、クラス型、構造体、列挙型、およびプロトコル型を含む、任意の型の型情報を参照します。 クラス、構造体、または列挙型の Metatype は、その型の名前の後に `.Type` を書きます。(実行時のプロトコルに準拠した具体的な型ではない)プロトコル型の Metatype は、そのプロトコルの名前の後ろに `.Protocol` を書きます。例えば、クラス型 `SomeClass` の Metatype は `SomeClass.Type` で、`SomeProtocol` の Metatype は `SomeProtocol.Protocol` です。 型に値としてアクセスするには `self` 式を使用します。例えば、`SomeClass.self` は `SomeClass` のインスタンスではなく、`Someclass` 自体を返します。そして、`SomeProtocol.self` は、実行時に `SomeProtocol` に準拠した型のインスタンスではなく、`SomeProtocol` 自体を返します。そのインスタンスの動的な実行時の型に値としてアクセスするには、次の例に示すように、`type(of:)` 関数を使用することができます: ```swift class SomeBaseClass { class func prIntClassName() { prInt("SomeBaseClass") } } class SomeSubClass: SomeBaseClass { override class func prIntClassName() { prInt("SomeSubClass") } } let someInstance: SomeBaseClass = SomeSubClass() // コンパイル時の someInstance の型は SomeBaseClass です // 実行時の someInstance の型は SomeSubClass です type(of: someInstance).prIntClassName() // SomeSubClass ``` 詳細については、標準ライブラリの[type(of:)](https://developer.apple.com/documentation/swift/2885064-type)を参照ください。 イニシャライザ式を使用して、Metatype の値から、型のインスタンスを構築できます。クラスインスタンスの場合、`required` キーワードが付いたイニシャライザ、または `final` のクラスでなければなりません。 ```swift class AnotherSubClass: SomeBaseClass { let string: String required init(string: String) { self.string = string } override class func prIntClassName() { prInt("AnotherSubClass") } } let metatype: AnotherSubClass.Type = AnotherSubClass.self let anotherInstance = metatype.init(string: "some string") ``` > Grammar of a metatype type: > > *metatype-type* → *type* **`.`** **`Type`** | *type* **`.`** **`Protocol`** ## Any 型(Any Type) Any 型には、他の全ての型の値を含めることができます。`Any` は下記のいずれかの型の具体的なインスタンスの型として使用できます。 * クラス、構造体、または列挙型 * `Int.self` のような Metatype * コンポーネントの種類を持つタプル * クロージャまたは関数型 ```swift let mixed: [Any] = ["one", 2, true, (4, 5.3), { () -> Int in return 6 }] ``` インスタンスの具体的な型として `Any` を使用する場合は、そのプロパティやメソッドにアクセスする前に、インスタンスを元の型にキャストする必要があります。`Any` 型のインスタンスは元の動的な型の情報を保持しており、型キャスト演算子(`as` または `as?`、または `as!`)のいずれかを使用して元の型にキャストできます。例えば、異なる型の値を格納する配列内の最初のオブジェクトを条件付きでダウンキャストするには、次のようにします: ```swift if let first = mixed.first as? String { prInt("The first item, '\(first)', is a string.") } // The first item, 'one', is a string. ``` キャストの詳細については、[Type Casting(型キャスト)](/the-swift-programming-language-jp/language-guide/type-casting.md)を参照ください。 `AnyObject` プロトコルは `Any` 型と似ています。全てのクラスは暗黙的に `AnyObject` に準拠しています。言語によって定義されているものとは異なり、`AnyObject` は標準ライブラリで定義されています。詳細については、[Class-Only Protocols(クラス専用プロトコル)](/the-swift-programming-language-jp/language-guide/protocols.md#class-only-protocols)と [AnyObject](https://developer.apple.com/documentation/swift/anyobject)を参照ください。 > Grammar of an Any type: > > *any-type* → **`Any`** ## Self 型(Self Type) `Self` 型は特定の型ではなく、その型の名前を繰り返したり明確にすることなく現在の型を都合よく参照できるようにします。 プロトコル宣言またはプロトコルメンバの宣言では、`Self` 型は最終的にプロトコルに準拠した型を指します。 構造体、クラス、または列挙型の宣言では、`Self` 型は宣言している型を指します。型のメンバの宣言の内部では、`Self` 型はその型を表します。クラスのメンバの宣言の場合は、`Self` は次に示すものにしか使用できません: * メソッドの戻り値の型として * 読み取り専用 `subscript` の戻り値の型として * 読み取り専用計算プロパティの型として * メソッドの本文内で 例えば、下記のコードは、戻り値の型が `Self` 型のインスタンスメソッド `f` を示しています: ```swift class Superclass { func f() -> Self { return self } } let x = Superclass() prInt(type(of: x.f())) // Superclass class Subclass: Superclass { } let y = Subclass() prInt(type(of: y.f())) // Subclass let z: Superclass = Subclass() prInt(type(of: z.f())) // Subclass ``` 上記の例の最後の部分は、`Self` は、コンパイル時のスーパークラスの型ではなく、`z` の実行時のサブクラスの型を参照しています。 ネスト型宣言内では、`Self` 型は、最も内側の型を指します。 `Self` 型は、標準ライブラリ[type(of:)](https://developer.apple.com/documentation/swift/2885064-type)関数と同じ型を指します。現在の型のメンバにアクセスするめに `Self.SomeStaticMember` を書くことは、`type(of: self).someStaticMember` を書くのと同じです。 > Grammar of a Self type: > > *self-type* → **`Self`** ## 型継承句(Type Inheritance Clause) \_型継承句\_は、名前付き型がどのクラスを継承しているか、どのプロトコルに準拠しているかを指定するために使用されます。型継承句はコロン(`:`)で始まり、その後に型識別子のリストが続きます。 クラス型は、単一のスーパークラスのみ継承できますが、任意の数のプロトコルに準拠できます。クラスを定義するときは、スーパークラスの名前が型識別子のリストの最初に表示され、その後にクラスが準拠しなければならないプロトコルが続きます。クラスが別のクラスを継承していない場合は、プロトコルから始めることができます。より発展的な議論とクラス継承の例については、[Inheritance(継承)](/the-swift-programming-language-jp/language-guide/inheritance.md)を参照ください。 その他の名前付き型は、プロトコルのみ継承または準拠することができます。プロトコル型は、任意の数の他のプロトコルを継承できます。プロトコル型が他のプロトコルを継承すると、他のプロトコルの要件も集約され、現在のプロトコルから継承する型は全ての要件に準拠する必要があります。 列挙型の型継承句は、プロトコルのリスト、または列挙ケースに Raw Value を割り当てる場合は、それらの Raw Value の型を特定する単一の名前付き型を継承することができます。型継承句を使用して Raw Value 型を指定する列挙型の定義の例については、[Raw Values](/the-swift-programming-language-jp/language-guide/enumerations.md#raw-values)を参照ください。 > Grammar of a type inheritance clause: > > *type-inheritance-clause* → **`:`** *type-inheritance-list*\ > \&#xNAN;*type-inheritance-list* → *attributes?* *type-identifier* | *attributes?* *type-identifier* **`,`** *type-inheritance-list* ## 型推論(Type Inference) Swift は\_型推論\_を広く使用し、コード内の多くの変数と式の型またはその一部を省略することができます。例えば、`var x：Int = 0` と書く代わりに、`var x = 0` と書くことができ、型を完全に省略すると、コンパイラが `x` は `Int` 型だと推論します。同様に、完全に型をコンテキストから推論できる場合は、型の一部を省略することができます。例えば、`let dict: Dictionary = ["A": 1]` と書いた場合、コンパイラは `dict` が `Dictionary` 型だと推論します。 上記の両方の例では、型情報は式木の端からそのルートへ渡されます。すなわち、`var x：Int = 0` の `x` の型は、最初に `0` の型を確認し、次にこの型情報をルート(変数 `x`)まで渡すことによって推論されます。 Swift では、反対にルートから端へ型情報を渡すこともできます。次の例では、例えば、定数 `eFlat` は明示的な型注釈 `(: Float)` によって、数値リテラル `2.71828` は `Double` ではなく `Float` 型と推論されています。 ```swift let e = 2.71828 // e の型は Double になると推論されます let eFloat: Float = 2.71828 // eFloat の型は Float です ``` Swift の型推論は、単一式または文のレベルで機能します。つまり、式を省略または型の一部を推論するために必要な全ての情報は、式の型検査またはその部分式の 1 つからアクセスできなければなりません。 --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/language-reference/types.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.