Swift 6.0 beta 日本語化計画 : Swift 6.0 beta
Swift 言語のガイド
Swift は整数用の Int 型、浮動小数点値用の Double 型、ブール値用の Bool 型、およびテキスト用の String 型などを含む、多くの基本的なデータ型を提供します。Swift はまた、コレクション型 で説明するように、３つの主要なコレクション型、Array 型と Set 型、Dictionary 型の、強力なバージョンも提供します。
Swift は名前によって識別し、値を保存し参照するのに変数を使用します。Swift も値を変更できない変数を多用します。これらは定数として知られており、変更する必要のない値を扱うときにコードの安全性と意図を明確にするために Swift 全体で使用されます。
おなじみの型に加えて、Swift は、タプル (tuples) のような、高度な型を導入します。タプルにより、値のグループを作成して渡すことができます。タプルを使用して、単一の混合値として関数から複数の値を返すようにできます。
Swift はまた、値が存在しない物を処理する optional の型も導入します。Optional は、"ここに値 があり、それが X に等しい" かまたは "値が全く ありません" と告げます。
Swift は 型安全 な言語であり、あなたのコードが操作できる値の型について明確にするのに役立ちます。あなたのコードの一部が String を必要とする場合は、型安全性は誤って Int をそれに渡すのを防ぐことができます。同様に、型安全性は、誤って optional でない String を必要とするコードの一部に optional の String を渡すのを防ぎます。型安全性は、あなたがエラーを catch して、できるだけ早期に開発プロセス中にエラーを修正するのに役立ちます。
定数と変数は、特定の型の値 (数 10 や "Hello" の文字列のように) に名前 (maximumNumberOfLoginAttempts または welcomeMessage のように) を関連付けます。それが一度設定されると、定数 の値は、変更できず、一方、変数 は、将来的に異なる値に設定できます。
定数と変数はそれらが使用される前に、宣言されなければなりません。let キーワードで定数を、var キーワードで変数を宣言します。定数および変数を、ユーザがログインしようとした回数を追跡するために使用する例をここに示します。
このコードは次のように読むことができます。
"maximumNumberOfLoginAttempts という新しい定数を宣言し、それに 10 の値を与えます。そして、 currentLoginAttempt という新しい変数を宣言し、それに初期値 0 を与えます"
この例では、最大値は決して変化しないので、許可されたログイン試行の最大数は、定数として宣言されています。ログイン試行を失敗するたびに、この値を一つ増分しなければならないため、現在のログイン試行カウンタは、変数として宣言されています。
コードに格納されている値が変更されない場合は、必ず let キーワードを使用してそれを定数として宣言してください。変数は、変化する値を保存する場合にのみ使用してください。
定数または変数を宣言する場合、上記の例のように、その宣言の一部として値を与えることができます。あるいは、最初に読み取る前に値があることが保証されている限り、プログラムの後半で初期値を割り当てることもできます。
この例では、ログイン試行の最大回数は一定であり、その値は環境によって異なります。開発環境では、値は 100 です。 他の環境では、その値は 10 です。if 文の両方の分岐は、maximumNumberOfLoginAttempts を何らかの値で初期化し、定数が常に値を取得することを保証します。この方法で初期値を設定したときに Swift があなたのコードをチェックする方法については、定数の宣言 を参照してください。
一行に複数の定数や複数の変数を、カンマで区切って宣言することができます。
定数または変数を宣言するときには、定数または変数が保存できる値の種類について明確にするため、型注釈 (Type Annotation) を提供できます。型注釈を書くには、定数や変数の名前の後にコロンを書き、空白を続け、使用する型の名前を続けます。
以下の例では、変数は String 値を保存できることを示すために、welcomeMessage という変数の型注釈を提供します。
宣言の中のコロンは "...of type...、(...と言う型の...) "と言う意味であり、上記のコードは以下のように読むことができます：
"String 型である welcomeMessage という変数を宣言します。"
"String 型である" のフレーズは、"どんな String 値でも保存することができる。" を意味します。これを、保存できる "物の型" (あるいは "ものの種類")と言う意味だと考えられます。
welcomeMessage 変数は、エラーなしでどんな文字列値にでも設定できます。
単一の行に、カンマで区切って、同じ型の複数の関連した変数を定義でき、最後の変数名の後に、単一の型注釈を加えます。
定数と変数名は、Unicode 文字を含むほとんどの文字を含むことができます。
定数と変数名は空白文字、数学記号、矢印、個人的使用の Unicode スカラー値、またはラインおよびボックス描画文字を含むことはできません。また、数字で始めることは出来ませんが名前の別の場所に含めることができます。
特定の型の定数または変数を一度宣言したら、同じ名前で再度宣言したり、別の型の値を保存するようにそれを変更することはできません。また、定数を変数に、変数を定数に変更することはできません。
既存の変数の値を互換性のある型の別の値に変更できます。以下の例では、friendlyWelcome の値を "Hello!" から "BonJour!" へと変更しています：
変数とは違って、定数の値は一度設定されると、変更できません。これを実行しようとすると、コードがコンパイルされるときにエラーとして報告されます。
print(_:separator:terminator:) 関数で、定数または変数の現在値を印刷できます。
print(_:separator:terminator:) 関数は、適切な出力先に、一つ以上の値を印刷するグローバル関数です。Xcode では、例えば、print(_:separator:terminator:) 関数は Xcode の "コンソール" ペインにその出力を印刷します。separator 及び terminator パラメータはデフォルト値を持っているので、この関数を呼び出すときはそれらを省略できます。デフォルトでは、関数は改行を追加して、行の印刷を終了します。その後で改行なしの値を印刷するには、terminator として空の文字列を渡しますー例えば、print(someValue, terminator: "")。デフォルト値を持つパラメータについては、デフォルトのパラメータ値 を参照してください。
Swift は、長い文字列内のプレースホルダとして定数または変数の名前を含むように 文字列の補間 を使用し、その定数または変数の現在値に置き換えることを Swift に促します。括弧内で名前を包み、開き括弧の前にバックスラッシュしてエスケープします：
自分自身へのメモや忘備録として、コード内に実行できないテキストを含むようにコメントを使用します。コードがコンパイルされる時にコメントは Swift コンパイラによって無視されます。
Swift 内のコメントは C のコメントに非常によく似ています。単一行のコメントは２つのスラッシュ(//)で始まります。
複数行のコメントは、スラッシュで始まりアスタリスクが続き(/*)、スラッシュが続くアスタリスク(*/)で終わります：
C での複数行のコメントとは異なり、Swift での複数行のコメントは、他の複数行のコメント内に入れ子にすることができます。複数行のコメントブロックを開始してから最初のブロック内に第二の複数行コメントを開始することで、入れ子にされたコメントを書く事ができます。第二のブロックは、閉じられ、最初のブロックが続きます。
入れ子にされた複数行のコメントは、コードがすでに複数行のコメントを含んでいても、迅速かつ容易にコードの大きなブロックをコメントアウトすることを可能にします。
他の多くの言語と異なり、コード内の各文の後には Swift はセミコロン(;)を記述する必要はないですが、希望があれば書くことができます。しかし、単一の行に複数の独立した文を書きたい場合にはセミコロンが必要です。
整数 (integer) は、42 や -23 などのように、小数部分がない全ての数字です。整数は符号付き(signed)(正、ゼロ、または負) かまたは符号なし(unsigned)(正またはゼロ)のどちらかです。
Swift は 8、16、32、および 64 ビット形式で符号付きと符号なしの整数を提供します。これらの整数は、8 ビット符号なし整数は UInt8 型であるというように、C と同様の命名規則に従い、32 ビット符号付き整数は、Int32 型のものになります。Swift のすべての型と同様に、これらの整数型は頭文字が大文字の名前を持っています。
その min と max プロパティで、各整数型の最小値と最大値にアクセスできます。
これらのプロパティの値は (上の例の UInt8 のように) 適切なサイズの数の型のものであり、したがって、同じ型の他の値と一緒に式で使用できます。
ほとんどの場合、コード内で使用するのに、整数の特定のサイズを選択する必要はありません。Swift は、現在のプラットフォームの固有のワードサイズと同じサイズの追加の整数型、Int を提供します：
整数の特定のサイズで作業する必要がない限り、常にコード内の整数値には Int を使用して下さい。これは、コードの一貫性と相互運用性を支援します。32 ビットプラットフォームでも、Int は -2,147,483,648 と 2,147,483,647 の間のどんな値でも格納でき、多くの整数の範囲について十分な大きさです。
Swift はまた、現在のプラットフォームの固有ワードサイズと同じサイズの符号なし整数型、UInt を提供します。
浮動小数点数 (Floating-point numbers) は小数部を持つ数字で、3.14159、0.1、および -273.15 などです。
浮動小数点型は、整数型よりはるかに広い値の範囲を表すことができ、Int 内に格納できるよりもはるかに大きく、または小さい数値を格納できます。Swift は、２つの符号付き浮動小数点数型を提供します。
Swift は、安全な型 (type-safe) の言語です。安全な型の言語は、コードが操作できる値の型を明確にすることを奨励します。コードの一部が String を必要としている場合、間違ってそれに Int 型を渡すことはできません。
Swift は、安全型であるため、コードをコンパイルする時、型のチェック (type checks) を行い、あらゆる型の不一致をエラーとしてフラグを立てます。これにより、エラーをキャッチし、できるだけ早期の開発プロセスでエラーを修正できます。
型チェックを使用すると、値の異なる型で作業しているときにエラーを回避できます。しかし、これは、宣言したすべての定数と変数の型を指定する必要があることを意味しません。必要とする値の型を指定しない場合は、Swift は作業すべき適切な型に型推論 (type inference) を使用します。型推論は、単にあなたが提供する値を調べることによって、コードをコンパイルするときに自動的に特定の式の型をコンパイラに推測できるようにします。
型推論があるので、Swift は、C や Objective-C のような言語よりはるかに少ない型宣言しか必要としません。定数と変数は、まだ明示的に型指定されていますが、それらの型を指定する作業の多くはもうすでにあなたの代わりに行われています。
初期値で定数または変数を宣言するときに型推論は、特に便利です。これは多くの場合、それを宣言する時点で定数または変数に リテラル値(またはリテラル: literal) を代入することによって行われます。(リテラル値は、下記の例の 42 や 3.14159 などのようにソースコード内に直接表示される値です。)
例えば、それがどの型であるか言わずに新しい定数に 42 のリテラル値を代入した場合、整数のように見える数でそれをあなたが初期化したので、Int 型の定数にしたいことを Swift は推論します。
同じように、浮動小数点リテラルの型を指定しない場合は、Swift はあなたが Double を作成しようとしていることを推論します：
浮動小数点数の型を推論するとき、Swift は、常に(Float というよりも) Double を選択します。
式の中で、整数と浮動小数点リテラルを結合する場合は、Double の型が文脈から推測されます。
3 のリテラル値は、それ自体は、明示的な型を持っておらず、Double の適切な出力型は、追加部分の浮動小数点リテラルの存在から推測されます。
整数リテラルは、以下のように書くことができます。
以下の整数リテラルはすべて、17 の十進数値を表します：
浮動小数点リテラルは(接頭辞なしの)十進数、または (接頭辞 0x 付きの) 十六進数です。それらは常に、小数点の両側に数 (または十六進数) を持っていなければなりません。十進小数点数はまた、オプションで累乗(exponent) があり、それは大文字または小文字の e が示し、十六進浮動小数点数では大文字または小文字の p が示します。
x の指数を持つ十進数の場合、基数は 10x で乗算されます。
x の指数を持つ十六進数の場合、基数は 2x で乗算されます。
以下の浮動小数点リテラルはすべて、12.1875 の十進小数値を示します。
数値リテラルは読みやすいように余分の書式設定を含めることができます。整数および浮動小数点数の両方とも、余分なゼロをつめ込まれ、また読みやすさを支援するため、アンダースコアを含めることができます。書式設定のどちらの型も、リテラルの基になる値に影響を与えません。
コード内のすべての汎用整数の定数と変数の型に Int を、これらが負でないことが知られている場合でも使用して下さい。日常の状況で、デフォルトの整数型を使用する事は、整数の定数や変数は、コード内ですぐに相互運用可能になり、整数リテラル値について推論された型と一致することを意味します。
外部ソースからの、明示的にされたサイズのデータのため、それらが具体的に当面のタスクのために必要とされる時にだけ他の整数型を使用するか、または性能、メモリ使用量、またはその他の必要な最適化のため使用して下さい。このような状況で明示的にされたサイズの型を使用すると、偶発的な値のオーバフローをキャッチするのに役立ち、また使用されているデータの性質について暗黙的に説明します。
整数の定数または変数に格納できる数値の範囲は、各数値の型ごとに異なります。Int8 の定数や変数は -128 と 127 の間の数を格納できるのに対し、UInt8 の定数や変数は 0 と 255 の間の数を格納できます。サイズの整数型の定数や変数に収まらない数は、コードがコンパイルされる時にエラーとして報告されます。
各数値型は、値の異なる範囲を格納できるので、ケースバイケースで、数値型の変換を選択しなければなりません。この選択のアプローチは、隠れた変換エラーを防止し、コード内の型変換の意図を明示的にするのに役立ちます。
一つの特定の数値型を別のものに変換するには、既存の値を持つ所望の型の新しい数で初期化して下さい。以下の例では、定数 twoThousand は UInt16 型のものであり、一方定数 one は UInt8 型です。それらは同じ型ではないので、直接加算することはできません。代わりに、以下の例では、UInt16(one) を呼び出し、新しい UInt16 を one の値で初期化したものを作成し、元の値の代わりにこの値を使用します。
加算の両側の型が UInt16 型になったため、加算が許可されます。２つの UInt16 値の和であるため、出力された定数(twoThousandAndOne) は、UInt16 型であることが推測されます。
SomeType(ofInitialValue) は Swift の型のイニシャライザを呼び出し、初期値を渡すためのデフォルトの方法です。舞台裏では、UInt16 には UInt8 値を受け入れるイニシャライザがあるので、このイニシャライザは、既存の UInt8 から新しい UInt16 を作るために使用されます。ただし、それは UInt16 がイニシャライザを提供している型である必要があり、ここでは どの型でも(Any type) 渡すことはできません。既存の型を拡張して (自分の定義した型を含む) 新しい型を受け入れるイニシャライザを提供することについては、拡張機能 で説明します。
整数と浮動小数点数の数値型の間の変換は、明示的に行わなければなりません。
ここで、定数の値 three は、加算の両側が同じ型であるように、Double 型の新しい値を作成するために使用されます。この変換がなければ、加算は許可されません。
浮動小数点の整数への変換も明示的に行わなければなりません。整数型は、Double または Float 値で初期化することができます。
このように、新しい整数値を初期化するために使用すると、浮動小数点値は、常に切り捨てられます。これは 4.75 が 4 になることを意味し、-3.9 は -3 になる事を意味します。
型エイリアス は、既存の型の別名を定義します。typealias キーワードで、型エイリアスを定義して下さい。
外部ソースから特定のサイズのデータを扱う場合などのように、文脈的により適切な名前で、既存の型を参照したい場合に型エイリアスは便利です。
型エイリアスを一度定義すると、元の名前を使用する所どこでもエイリアスを使用できます。
ここで、AudioSample は UInt16 型のエイリアスとして定義されています。それはエイリアスのため、AudioSample.min への呼び出しは、実際には UInt16.min を呼び出し、maxAmplitudeFound 変数に初期値 0 を提供します。
Swift には Bool と呼ばれる基本的なブール 型があります。ブール値はそれらが true または false にしかならないため、論理型 と呼ばれます。Swift は、true と false の２つのブール定数値を提供します。
orangesAreOrange と turnipsAreDelicious の型は、それらがブール型のリテラル値で初期化されたという事実から Bool 値として推測されています。上記の Int や Double と同様に、それらを作成するやいなや true または false にそれらを設定した場合、Bool として定数または変数を宣言する必要はありません。型推論は、型が既に知られている他の値で、定数または変数を初期化するとき Swift のコードが、より簡潔で読みやすくするのに役立ちます。
if 文などのような条件文を使用するときにブール値は、特に有用です。
if 文などのような条件文は フロー制御 で詳しく説明されています。
Swift の型の安全性は、Bool の代わりに、非ブール値を用いることを防ぎます。以下の例は、コンパイル時にエラーを報告します。
しかし、以下に示した別の例は有効です。
i == 1 を比較した結果は、Bool 型のものであり、従って、この第二の例は、型チェックに合格します。i == 1 のような比較は、基本演算子 で説明されています。
Swift での型の安全性の他の例と同様に、このアプローチは、偶発的なエラーを回避し、コードの特定のセクションの意図が常に明確であることを保証します。
tuples(タプル) は、複数の値を単一の複合値のグループにまとめます。タプル内の値は、任意の型とすることができ、互いに同じ型のものである必要はありません。
以下の例では、(404、"Not Found") は、HTTP ステータスコード を記述するタプルです。HTTP ステータスコードは、Web ページを要求するたびに、Web サーバから返される特別な値です。存在していない web ページを要求すると 404 Not Found のステータスコードが返されます。
(404、"Not Found") を一緒にタプルのグループにして、HTTP ステータスコードに２つの別個の値を与える Int と String にします：数字と人間が読める説明です。これは、"タプル型 (Int,String)" として記述できます。
型の任意の並べ替えからタプルを作成することができ、好きなだけ多くの異なる型を含めることができます。(Int、Int、Int) 型のタプル、または(String、Bool)、または実際にあなたが必要とする他の組み合わせを作ることからあなたを止めるものは何もありません。
別々の定数や変数にタプルの内容を 分解 し、通常どおりにアクセスできます。
タプルの値の一部だけが必要な場合は、タプルを分解する時に、アンダースコア(_) でタプルの部分を無視します。
代わりに、ゼロから始まる指標番号を使用してタプルの個別の要素値にアクセスできます。
タプルを定義する時、タプルの個別の要素に名前を付けることができます。
タプルの要素に名前を付けた場合には、それらの要素の値にアクセスするのに要素の名前を使用できます。
タプルは、関数の戻り値として特に有用です。Web ページを検索しようとする関数は、ページ検索の成功または失敗を記述するために (Int,String) のタプル型を返すことがあります。二つの異なる値を持つタプルを戻すことにより、異なる型のそれぞれは、関数が単一の型の単一の値を返すだけよりその結果に関する有用な情報を提供します。詳細については、複数の戻り値を持つ関数 を参照してください。
値が存在しなくてもよい状況では optionals を使用して下さい。Optional は、２つの可能性を表現します。特定の型の値が あり、その値にアクセスするため optional を開封できるか、値が全く ない かです。
欠落している可能性のある値の例として、Swift の Int 型には、String 値を Int 値に変換しようとするイニシャライザがあります。ただし、整数に変換できるのは一部の文字列のみです。文字列 "123"は数値 123 に変換できますが、文字列 "hello, world" には対応する数値がありません。以下の例では、イニシャライザを使用して String を Int に変換しようとしています。
上記のコードのイニシャライザは失敗する可能性があるため、Int ではなく optional の Int を返します。
optional の型を記述するには、optional に含まれる型の名前の後に疑問符 (?) を書きます。たとえば、optional の Int の型は Int? です。optional の Int には、常に何らかの Int 値が含まれるか、値がまったく含まれないかのいずれかです。ブール値や文字列値など、他のものを含めることはできません。
特殊な値 nil を代入することによって、値のない状態に optional の変数を設定します。
デフォルト値を設けることなく、optional の変数を定義する場合は、変数は自動的に nil に設定されます：
if 文を使用すると、optional を nil と比較することで、optional に値が含まれているかどうかを確認できます。この比較は、"等しい" 演算子 (==) または "等しくない" 演算子 (!=) を使用して実行します。
optional に値がある場合、それは nil に "等しくない" とみなされます。
optional でない定数または変数では nil を使用できません。コード内の定数または変数が、特定の条件下で値が存在しない場合でも機能する必要がある場合は、それを適切な型の optional の値として宣言します。optional でない値として宣言された定数または変数には、nil 値が決して含まれないことが保証されます。optional でない値に nil を代入しようとすると、コンパイル時エラーが発生します。
optional の値と optional でない値をこのように分離すると、欠落している可能性のある情報を明示的にマークできるようになり、欠落値を処理するコードの記述が容易になります。この間違いによりコンパイル時にエラーが発生するため、誤って optional を optional でないかのように扱うことはできません。値を開封した後は、その値を扱う他のコードで nil をチェックする必要がないため、コードのさまざまな部分で同じ値を繰り返しチェックする必要はありません。
optional の値にアクセスするとき、コードは常に nil と non-nil の両方のケースを処理します。以下のセクションで説明するように、値が欠落している場合に実行できることがいくつかあります。
Optional が値を含んでいるかどうかを調べるには optional の結合を使用し、もし値を含んでいれば、一時的な定数または変数としてその値を利用できるようにします。Optional の結合は if,guard および while 文で optional の中に値があるかをチェックするのに使われ、単一のアクションの一部として、その値を定数または変数に抽出します。if,guard および while 文は、フロー制御 でより詳しく述べています。
if 文の Optional の結合は以下のように記述します。
強制開封よりむしろ Optional の結合を使用するには、Optionals セクションから possibleNumber の例を書き直すことができます。
このコードは次のように読めます。
"Int(possibleNumber) によって返された optional の Int が値を含む場合、actualNumber と呼ばれる新しい定数を optional に含まれる値に設定します。"
変換が成功した場合、actualNumber 定数は、if 文の最初の分岐内で使用可能になります。これは既に optional の中に含まれる値で初期化されており、対応する optional でない型を持っています。この例では、possibleNumber の型は Int? なので、actualNumber の型は Int です。
含まれる値にアクセスした後に元の、optional の定数または変数を参照する必要がない場合は、新しい定数または変数に同じ名前を使用できます。
このコードは、前の例のコードと同様に、myNumber に値が含まれているかどうかを確認することから始まります。myNumber に値がある場合、myNumber という名前の新しい定数の値がその値に設定されます。if 文の本体内に myNumber を記述すると、その新しい optional ではない定数が参照されます。if 文の開始前と終了後に myNumber を記述すると、元の optional の整数定数が参照されます。
この種のコードは非常に一般的であるため、optional の値を開封するために短いスペルを使用できます。開封する定数または変数の名前だけを記述します。新しい、開封された定数または変数は、optional の値と同じ名前を暗黙的に使用します。
optional の結合では定数と変数を両方とも使用できます。if 文の最初の分岐内で myNumber の値を操作したい場合は、代わりに if var myNumber と記述できます。また、optional 内に含まれる値は、定数ではなく変数として使用できるようになります。if 文の本体内で myNumber に加えた変更は、そのローカル変数にのみ適用され、開封した元の optional の定数または変数には適用 されません。
そうする必要があるならば、単一の if 文内でカンマで区切って、多くの optional の結合とブール条件を含めることができます。optional の結合内の値のいずれかが nil であるか、または任意のブール条件が false に評価された場合、if 文の全体の条件は false と考慮されます。以下の if 文は等価です：
if 文内で optional の結合で作成された定数および変数は、if 文の本体内でのみ利用可能です。これとは対照的に、guard 文で作成された定数と変数は、早期終了 で説明したように、guard 文の後に続くコードの行で利用できます。
欠損した値を処理するもう 1 つの方法は、nil-coalescing (nil 合体) 演算子 (??) を使用してデフォルト値を指定することです。 ?? の左側に optional がある場合は、 nil ではなく、その値は開封されて使用されます。それ以外の場合は、?? の右側の値が使用されます。たとえば、以下のコードは、名前が指定されている場合は名前で挨拶し、名前が nil の場合は汎用の挨拶を使用します。
fallback 値を提供する ?? の使用方法の詳細については、Nil 合体演算子 を参照してください。
nil がプログラマーエラーや破損した状態などの回復不可能な障害を表す場合、optional 名の末尾に感嘆符 (!) を追加することで、基になる値にアクセスできます。これは、optional の値の強制開封として知られています。nil でない値を強制開封すると、結果はその開封された値になります。nil 値を強制開封すると、実行時エラーが発生します。
! は事実上、fatalError(_:file:line:) の短いスペルです。たとえば、以下のコードは 2 つの同等のアプローチを示しています。
上記のコードの両方のバージョンは、常に値を含む ConvertedNumber に依存します。上記のいずれかの方法を使用して、その要件をコードの一部として記述すると、あなたのコードは実行時に要件が真であることを確認できるようになります。
データ要件の強制と実行時の前提条件のチェックの詳細については、アサーションと前提条件 を参照してください。
上述したように、optionals は定数または変数が "値を持たない" 事を許可されていることを示します。if 文で、optionals は値が存在するかどうかをチェックでき、値が存在する場合は、optional の値にアクセスするには、optional の結合で条件付きで開封することができます。
時にはそれは、その値が最初に設定された後に、optional は 常に、値を持つことになる事はプログラムの構造から明らかです。このような場合、常に値があると安全に見なすことができるため、optional の値は常にアクセスされるたびにチェックしたり開封する必要はありません。
optionals のこれらの種類は、暗黙に開封された optionals として定義されています。optional にしたい型の後に疑問符(String?)ではなく感嘆符(String!)を配置して暗黙に開封された Optional を記述して下さい。optional を使用するときに optional の名前の後に感嘆符を置くのではなく、宣言するときに optional の型の後に感嘆符を置きます。
暗黙に開封された optionals は、optional が最初に定義された直後に、間違いなくその後の全ての時点で optional の値が存在すると確信できた時に有用です。所有されていない参照と暗黙に開封された Optional のプロパティ で説明したように、Swift での暗黙に開封された optional の主な用途は、クラスの初期化中にあります。
変数が後で nil になる可能性がある場合は、暗黙的に開封された optional を使用しないでください。変数の寿命中に nil 値をチェックする必要がある場合は、常に通常の optional 型を使用してください。
暗黙に開封された optional は、舞台裏では、通常の optional ですが、また optional でない値のようにも使われ、それがアクセスされるたびにその optional の値を開封する必要はなく、使用できます。以下の例では、明示的に String として開封されていない値にアクセスするときに、optional の文字列と、暗黙に開封された optional の文字列との間の動作の違いを示しています。
暗黙に開封された optional は、必要に応じて optional を強制的に開封する許可を与えると考えることができます。暗黙に開封された optional 値を使用する場合、Swift は最初にそれを通常の optional 値として使おうとします。optional として使用できない場合、Swift は値を強制的に開封します。上記のコードでは、implicitString には明示的で optional でない String の型があるため、optional 値 assumedString は、その値を implicitString に割り当てる前に強制的に開封されます。以下のコードでは、optionalString には明示的な型がないため、通常の optional です。
暗黙的に開封された optional が nil であり、開封されていない値にアクセスしようとすると、実行時エラーがトリガーされます。結果は、値を含まない通常の optional の後に感嘆符を配置して強制開封しようとした場合とまったく同じです。
通常の optional をチェックするのと同じ方法で、暗黙に開封された optional が nil であるかどうかをチェックできます。
また、単一の文でその値をチェックして開封するために、optional の結合と共に、暗黙に開封された optional も使用できます。
あなたのプログラムが実行中に発生する可能性のあるエラー状態に対処するために エラー処理 を使用して下さい。
関数の成功や失敗を通信するための値の有無を使用できる optionals とは対照的に、エラー処理を使用すると、失敗の基本的な原因を特定し、必要であれば、あなたのプログラムの別の部分にエラーを伝えることができます。
関数がエラー状態に遭遇すると、エラーを throws します。その関数の呼び出し元は、エラーを catch し、適切に対応できます。
関数は、その宣言の中で throws キーワードを含めることによって、エラーを throw できることを示します。エラーを throw できる関数を呼び出すときは、式に try キーワードを付加します。
catch 節によって処理されるまで、Swift は、自動的に現在のスコープ外にエラーを伝播します。
do 文は、エラーが一つ以上の catch 節に伝播できるようにする、新しく含んだスコープを作成します。
以下に、エラー処理が異なるエラー条件に応答するためにどのように使用できるかの例を示します。
この例では、makeASandwich( ) 関数は、綺麗な皿が用意されていない場合、またはいずれかの原料が不足している場合、エラーを throw します。makeASandwich( ) 関数がエラーを throw できるので、関数呼び出しが try 式で包まれています。do 文で関数呼び出しを包むことによって、throw されたエラーは、提供された catch 節に伝達されます。
エラーが throw されない場合、eatASandwich( ) 関数が呼び出されます。エラーが throw され、それが SandwichError.outOfCleanDishes の case に一致する場合は、washDishes( ) 関数が呼び出されます。エラーが throw され、それが SandwichError.missingIngredients の case に一致する場合は、buyGroceries(_:) 関数が catch パターンによってキャプチャされた、関連する [String] の値で呼び出されます。
throw、catch、およびエラーの伝播は、エラー処理 で、より詳細に説明されています。
アサーション と 前提条件 は、実行時に発生するチェックです。あなたは、それ以降のコードを実行する前に必須条件が満たされていることを確認するためにそれらを使用します。アサーションまたは前提条件のブール条件が true と評価された場合、コードの実行は通常通り続きます。条件が false と評価された場合、プログラムの現在の状態は無効になります。コードの実行が終り、あなたのアプリが終了します。
アサーションと前提条件を使用して、前提を表現したり、コーディング中に期待していることを表現したりできるので、あなたのコードの一部として組み込むことができます。アサーションは、開発中の間違いや正しくない前提を見つけるのに役立ち、また、前提条件は生産する時の問題の検出に役立ちます。
アサーションと前提条件はまた、実行時の前提を検証することに加えて、コード内のドキュメントの有用な形式になります。上記の エラー処理 で説明したエラー条件とは異なり、アサーションおよび前提条件は、リカバリ可能なまたは予期されるエラーには使用されません。アサーションまたは前提条件のエラーは無効なプログラム状態を示すので、失敗したアサーションを catch する方法はありません。無効な状態から回復することは不可能です。アサーションが失敗すると、プログラムのデータの少なくとも 1 つの部分が無効になりますが、なぜ無効なのか、または追加の状態も無効なのかはわかりません。
アサーションと前提条件を使用しても、無効な条件が発生しにくいようにあなたのコードを設計することに代わるものではありません。しかし、有効なデータと状態を強制するためにそれらを使用すると、無効な状態が発生した場合にあなたのアプリが、より予測可能なように終了し、問題をより簡単にデバッグしやすくします。前提条件がチェックされていない場合、この種の問題は、かなり後になって他の場所でコードが目に見えて失敗し始めたり、ユーザーデータが気付かれずに破損したりするまで気付かない可能性があります。無効な状態が検出されたらすぐに実行を停止することも、その無効な状態によって引き起こされる損害を制限するのに役立ちます。
アサーションと前提条件の違いはチェックされたときです。アサーションはビルドをデバッグする時のみチェックされますが、前提条件はビルドのデバッグと製品のビルドの両方でチェックされます。製品のビルドでは、アサーション内の条件は評価されません。つまり、製品のパフォーマンスに影響を与えることなく、開発プロセス中に必要なだけ多くのアサーションを使用できます。
Swift の標準ライブラリから assert(_:_:file:line:) 関数を呼び出すことにより、アサーションを記述して下さい。この関数に、true または false への評価の式を渡して、条件の結果が false の場合メッセージを表示します。例えば：
この例では、コードの実行は、age >= 0 が true と評価された場合、すなわち、age の値が負でない場合に続行されます。age の値が上記のコードのように、負であれば、age >= 0 は false と評価され、アサーションが失敗し、アプリを終了します。
以下の例のように、散文のように条件を続ける場合には、アサーション·メッセージは、省略できます。
コードがすでに条件をチェックしている場合は、アサーションが失敗したことを示すために assertionFailure(_:file:line:) 関数を使用して下さい。例えば：
条件が false である可能性があるときは常に前提条件を使用しますが、コードが実行を継続するためには 必ず true でなければなりません。たとえば、前提条件を使用して、サブスクリプトが範囲外でないことをチェックしたり、関数が有効な値を渡されているかどうかをチェックします。
precondition(_:_:file:line:) 関数を呼び出して前提条件を記述して下さい。この関数に true または false と評価される式と、条件の結果が false の場合に表示するメッセージを渡します。例えば：
また、preconditionFailure(_:file:line:) 関数を呼び出して、障害が発生したことを示すこともできます。たとえば、switch のデフォルトの case が取られたが、すべての有効な入力データが switch のその他のいずれか 1 つの場合で処理された場合。