文(Statements)
最終更新
最終更新
最終更新日: 2024/6/23 原文: https://docs.swift.org/swift-book/ReferenceManual/Statements.html
式を分類し、実行の流れを制御する。
Swift では、単純な文、コンパイラ制御文、および制御フロー文の 3 種類の文があります。単純な文は最も一般的で、式または宣言で構成されています。コンパイラ制御文により、プログラムはコンパイラの動作を変更し、条件付きコンパイルブロックと行制御文が含まれます。
制御フロー文は、プログラム内の実行の流れを制御するために使用されます。Swift には、ループ文、分岐文、および制御転送文を含む、いくつかの種類の制御フロー文があります。ループ文はコードブロックを繰り返し実行できるようにし、分岐文は特定の条件が満たされたときにのみ特定のコードブロックを実行できるようにし、制御転送文はコードが実行される順序を変更する方法を提供します。さらに、Swift は、スコープを導入し、エラーをキャッチして処理するための do
文、および現在のスコープが終了する直前のクリーンアップアクションを実行するための defer
文を提供します。
セミコロン(;
)は任意の文の後に書くことができ、同じ行に複数の文が書かれている場合に、それらを分離するために使用されます。
Grammar of a statement:
statement → expression
;
? statement → declaration;
? statement → loop-statement;
? statement → branch-statement;
? statement → labeled-statement;
? statement → control-transfer-statement;
? statement → defer-statement;
? statement → do-statement;
? statement → compiler-control-statement statements → statement statements?
ループ文では、ループで指定された条件に応じて、コードブロックを繰り返し実行できます。Swift には 3 つのループ文があります。for-in
文、while
文、および repeat-while
文です。
ループ文内の制御フローは、break
文と continue
文によって変更でき、下記のとで説明します。
Grammar of a loop statement:
loop-statement → for-in-statement loop-statement → while-statement loop-statement → repeat-while-statement
for-in
文は、に準拠したコレクション(または任意の型)内の各項目ごとに 1 回、コードブロックを実行できます。
for-in
文の形式は次のとおりです:
Grammar of a for-in statement:
for-in-statement →
for
case
? patternin
expression where-clause? code-block
while
文は、条件が true な限り、コードブロックを繰り返し実行できます。
while
文の形式は次のとおりです:
while
文は次のように実行されます。
condition が評価されます true
の場合、実行はステップ 2 に続きます。false
の場合、プログラムは while
文の実行を終了します
プログラムは statements を実行し、実行はステップ 1 に戻ります
condition の値は、statements が実行される前に評価されるため、while
文内の statements は 0 回以上実行されます。
Grammar of a while statement:
while-statement →
while
condition-list code-blockcondition-list → condition | condition
,
condition-list condition → expression | availability-condition | case-condition | optional-binding-conditioncase-condition →
case
pattern initializer optional-binding-condition →let
pattern initializer? |var
pattern initializer?
repeat-while
文は、条件が true な限り、コードブロックを 1 回以上実行できます。
repeat-while
文の形式は次のとおりです:
repeat-while
文は次のように実行されます。
プログラムは statements を実行し、実行はステップ 2 に進みます
condition が評価されます true
の場合、実行はステップ 1 に戻ります。false
の場合、プログラムは repeat-while
文の実行を終了します
condition の値は statements の実行後に評価されるため、repeat-while
文内の文は少なくとも 1 回実行されます。
condition の値は、Bool
型または Bool
にブリッジされた型にする必要があります。
Grammar of a repeat-while statement:
repeat-while-statement →
repeat
code-blockwhile
expression
分岐文を使用すると、プログラムは 1 つ以上の条件の値に応じてコードの特定の部分を実行できます。分岐文で指定された条件の値は、プログラムの分岐方法、したがって実行されるコードブロックを制御します。Swift には、if
文、guard
文、および switch
文の 3 つの分岐文があります。
Grammar of a branch statement:
branch-statement → if-statement branch-statement → guard-statement branch-statement → switch-statement
if
文は、1 つ以上の条件の評価に基づいてコードを実行するために使用されます。
if
文には 2 つの基本的な形式があります。それぞれの形式で、開閉中括弧({}
)が必要です。
最初の形式では、条件が true の場合にのみコードを実行でき、形式は次のとおりです:
if
文の 2 番目の形式は、追加の(else
キーワードによって導入される)_else 句を_提供し、条件が true の場合にコードの一部を実行し、false の場合にコードの別の部分を実行するために使用されます。else 句が 1 つ存在する場合、if
文の形式は次のとおりです:
if
文の else 句には、複数の条件を検証するための別の if
文を含めることができます。このようにチェーンした if
文の形式は次のとおりです:
Grammar of an if statement:
if-statement →
if
condition-list code-block else-clause? else-clause →else
code-block |else
if-statement
guard
文は、1 つ以上の条件が満たされない場合に、プログラム制御をスコープ外に転送するために使用されます。
guard
文の形式は次のとおりです:
guard
文条件のオプショナルバインディング宣言から定数または変数へ値を代入することができ、guard
文を囲んでいるスコープの後の部分で使用できます。
guard
文の else
句は必須で、次の文のいずれかを使用して、Never
型の戻り値を持つ関数を呼び出すか、guard
文を呼び出したスコープ外にプログラム制御を転送する必要があります。
return
break
continue
throw
Grammar of a guard statement:
guard-statement →
guard
condition-listelse
code-block
switch
文を使用すると、制御式の値に応じて特定のコードブロックを実行できます。
switch
文の形式は次のとおりです。
switch
文の control expression が評価され、それぞれの場合に指定されたパターンと比較されます。一致するものが見つかった場合、プログラムはそのケースの範囲内の statements を実行します。各ケースのスコープを空にすることはできません。そのため、各ケースラベルのコロン(:
)の後に少なくとも 1 つの文を含める必要があります。コードを実行する予定がない場合は、単一の break
文を使用します。
switch
のケースには、各パターンの後に where
句を含めることができます。_where 句_は、where
キーワードの後に式が続くことで導入され、ケースのパターンが control expression に一致すると見なされる前に追加の条件を提供するために使用されます。where
句が存在する場合、関連するケース内の statements は、control expression の値がケースのパターンの 1 つと一致し、where
句の式が true
と評価された場合にのみ実行されます。例えば、control expression は、(1、1)
など、同じ値の 2 つの要素を含むタプルの場合にのみ、下記の例のケースに一致します。
上記の例が示すように、ケースのパターンは、let
キーワードを使用して定数にバインドすることもできます(var
キーワードを使用して変数にバインドすることもできます)。これらの定数(または変数)は、対応する where
句、およびケースのスコープ内で参照できます。control expression に複数のケース含まれている場合、全てのパターンで同じ定数または変数にバインドされ、バインドされた各変数または定数は同じ型でなければなりません。
switch
文には、default
キーワードによって導入されたデフォルトのケースを含めることもできます。デフォルトのケース内のコードは、他のケースが制御式に一致しない場合にのみ実行されます。switch
文には、デフォルトのケースを 1 つだけ含めることができます。これは、switch
文の最後に書く必要があります。
パターンマッチングの実際の実行順序、特にケース内のパターンの評価順序は指定されていませんが、switch
文でのパターンマッチングは、評価がソースの順序、つまり、コードに現れる順序で評価されているかのように動作します。その結果、複数のケースに同じ値と評価されるパターンが含まれていて、制御式の値と一致する可能性がある場合、プログラムは最初に一致したケース内のコードのみを実行します。
Swift では、制御式の型が取り得る全ての値は、ケースの内少なくとも 1 つのパターンと一致する必要があります。これが不可能な場合(例えば、制御式の型が Int
の場合)、要件を満たすためにデフォルトのケースを含めることができます。
nonfrozen 列挙型の値をスイッチングするときは、列挙型の全てのケースに対応する switch
ケースがすでにある場合でも、常にデフォルトのケースを含める必要があります。@unknown
属性をデフォルトのケースに適用できます。これは、デフォルトのケースが、将来追加される列挙ケースでのみ一致するべきだということを示します。デフォルトのケースがコンパイラ時に既知の列挙ケースと一致する場合、Swift は警告を生成します。この将来のケースへの警告は、ライブラリの作成者が、新しいケースを列挙型に追加したことを知らせてくれます。
Grammar of a switch statement:
switch-statement →
switch
expression{
switch-cases?}
switch-cases → switch-case switch-cases? switch-case → case-label statements switch-case → default-label statements switch-case → conditional-switch-casecase-label → attributes?
case
case-item-list:
case-item-list → pattern where-clause? | pattern where-clause?,
case-item-list default-label → attributes?default
:
where-clause →
where
where-expression where-expression → expressionconditional-switch-case → switch-if-directive-clause switch-elseif-directive-clauses? switch-else-directive-clause? endif-directive switch-if-directive-clause → if-directive compilation-condition switch-cases? switch-elseif-directive-clauses → elseif-directive-clause switch-elseif-directive-clauses? switch-elseif-directive-clause → elseif-directive compilation-condition switch-cases? switch-else-directive-clause → else-directive switch-cases?
ラベル付き文のスコープは、文ラベルに続く文全体です。ラベル付き文はネストできますが、各文ラベルの名前を一意にする必要があります。
Grammar of a labeled statement:
labeled-statement → statement-label loop-statement labeled-statement → statement-label if-statement labeled-statement → statement-label switch-statement labeled-statement → statement-label do-statement
statement-label → label-name
:
label-name → identifier
制御転送文は、プログラム制御をあるコードから別のコードに無条件に転送することにより、プログラム内のコードが実行される順序を変更できます。Swift には、break
文、continue
文、fallthrough
文、return
文、および throw
文の 5 つの制御転送文があります。
Grammar of a control transfer statement:
control-transfer-statement → break-statement control-transfer-statement → continue-statement control-transfer-statement → fallthrough-statement control-transfer-statement → return-statement control-transfer-statement → throw-statement
break
文は、ループ、if
文、または switch
文のプログラムの実行を終了します。下記に示すように、break
文は、break
キーワードのみで構成することも、break
キーワードの後に文ラベルを続けることもできます。
break
文の後に文ラベルが続く場合、そのラベルで指定されたループ、if
文、または switch
文のプログラム実行を終了します。
break
文の後に文ラベルが続かない場合は、switch
文またはそれが登場する最も内側のループ文のプログラムの実行を終了します。ラベルのない break
文を使用して if
文から抜け出すことはできません。
どちらの場合も、プログラム制御は、ループまたは switch
文(存在する場合)で囲まれているコードの次の行に移ります。
Grammar of a break statement:
break-statement →
break
label-name?
continue
文は、ループ文の現在のイテレーションを終了しますが、ループ文の実行を停止しません。次に示すように、continue
文は continue
キーワードのみで構成することも、continue
キーワードとそれに続く文ラベルで構成することもできます。
continue
文の後に文ラベルが続く場合、そのラベルで指定されたループの現在のイテレーションを終了します。
continue
文の後に文ラベルが続かない場合、それが登場する最も内側のループの現在のイテレーションを終了します。
どちらの場合も、プログラム制御は、それを囲むループ文の条件に移されます。
for
文では、increment 式はループの本文の実行後に評価されるため、continue
文の実行後も increment 式は評価されます。
Grammar of a continue statement:
continue-statement →
continue
label-name?
fallthrough
文は fallthrough
キーワードで構成され、switch
文のケースブロックでのみ発生します。fallthrough
文により、プログラムの実行は、switch
文の 1 つのケースから次のケースに続行します。ケースラベルのパターンが switch
文の制御式の値と一致しない場合でも、プログラムの実行は次のケースに進みます。
fallthrough
文は、ケースブロックの最後の文としてだけでなく、switch
文内のどこにでも表示できますが、最後のケースブロックでは使用できません。また、パターンに値バインディングのパターンが含まれているケースのブロックに制御を移すこともできません。
Grammar of a fallthrough statement:
fallthrough-statement →
fallthrough
return
文は、関数またはメソッド定義の本文で登場し、プログラムの実行を呼び出し元の関数またはメソッドに戻します。プログラムの実行は、関数またはメソッドの呼び出しの直後から続行されます。
下記に示すように、return
文は return
キーワードのみで構成することも、return
キーワードとそれに続く式で構成することもできます。
return
文の後に式が続く場合、式の値は呼び出し元の関数またはメソッドに返されます。式の値が関数またはメソッドで宣言された戻り値の型と一致しない場合、式の値は、呼び出し元の関数またはメソッドに返される前に戻り値の型に変換されます。
return
文の後に式がない場合は、値を返さない関数またはメソッド(つまり、関数またはメソッドの戻り値の型が Void
または ()
の場合)のみで使用できます
Grammar of a return statement:
return-statement →
return
expression?
throw
文は、エラーをスローする関数またはメソッドの本文、または型が throws
キーワードでマークされているクロージャ式の本文で使用できます。
throw
文により、プログラムは現在のスコープの実行を終了し、それを囲むスコープへエラーを伝播します。スローされたエラーは、do
文の catch
句によって処理されるまで伝播し続けます。
下記に示すように、throw
文は、throw
キーワードとそれに続く式で構成されます。
expression の値は、Error
プロトコルに準拠する型でなければなりません。throw
文を含む do
文または関数が、スローするエラーの型を宣言する場合、_式_の値はその型のインスタンスである必要があります。
Grammar of a throw statement:
throw-statement →
throw
expression
defer
文は、defer
文が使用されるスコープ外にプログラム制御を転送する直前にコードを実行するために使用されます。
defer
文の形式は次のとおりです:
defer
文の内部は、プログラム制御がどのように転送されても実行されます。つまり、defer
文を使用して、例えば、ファイル記述子を閉じるなどの手動のリソース管理や、エラーがスローされた場合でも実行する必要のあるアクションを実行できます。
defer
文の内部の文、defer
文を囲むスコープの最後で実行されます。
上記のコードでは、if
文のスコープが関数のスコープの前に終了するため、if
文内の defer
は、関数 f
で宣言された defer
の前に実行されます。
複数の defer
文が同じスコープに表示される場合、それらが登場する順序は、実行される順序の逆になります。特定のスコープで最後の defer
文を最初に実行するということは、その最後の defer
文内の文が、他の defer
文によってクリーンアップされるリソースを参照できることを意味します。
defer
文内の文は、プログラム制御を defer
文の外部に移すことはできません。
Grammar of a defer statement:
defer-statement →
defer
code-block
do
文は、新しいスコープを導入するために使用され、1 つ以上の catch
句を含めることができます。これには、定義されたエラー条件に一致するパターンが含まれます。do
文のスコープで宣言された変数と定数は、そのスコープ内でのみアクセスできます。
Swift の do
文は、コードブロックを区切るために使用される C 言語の大括弧({}
)に似ており、実行時にパフォーマンスコストが発生しません。
do
文の形式は次のとおりです:
do
文では、スローするエラーの型も指定できます。その形式は次のとおりです。
do
文に throws
句が含まれている場合、do
ブロックは指定されたエラーの型のみをスローできます。型は、Error
プロトコルに準拠する具体的な型、Error
プロトコルに準拠する Opaque 型、または Box プロトコル型の any Error
のいずれかである必要があります。do
文がスローするエラーの型を指定しない場合、Swift は次のようにエラー型を推論します。
do
コードブロック内の全ての throws
文と try
式が全てを網羅するエラー処理メカニズム内にネストされている場合、Swift は do 文がエラーをスローしないと推論する
do
コードブロックに、Never
をスローする(エラースローしない)場合を除き、全てを網羅するエラー処理の他に、単一のエラーの型のみをスローするコードが含まれている場合、Swift は、do
文がその具体的なエラー の型をスローすると推論する
do
コードブロックに、全体を網羅するエラー処理の他に、複数のエラーの型をスローするコードが含まれている場合、Swift は、 do
文が any Error
をスローすると推論する
do
ブロック内のいずれかの文がエラーをスローした場合、プログラム制御は、パターンがエラーに一致する最初の catch
句に移ります。どの句も一致しない場合、エラーは周囲のスコープに伝播します。エラーがトップレベルでも処理されない場合、プログラムの実行は実行時エラーで停止します。
switch
文と同様に、コンパイラは catch
句が全てのエラーを網羅しているかどうかを調べます。網羅されている場合、エラーは処理されたと見なされます。そうしないと、エラーがスコープ外に伝播する可能性があります。つまり、エラーは catch
句内で処理するか、関数を throws
で宣言する必要があります。
複数のパターンを持つ catch
句は、そのパターンのいずれかにエラーが一致する場合、エラーに一致すると見なされます。catch
句に複数のパターンが含まれている場合、全てのパターンで同じ定数または変数にバインドされる必要があり、バインドされた各変数または定数は、catch
句の全てのパターンで同じ型でなければなりません。
Grammar of a do statement:
do-statement →
do
throws-clause? code-block catch-clauses? catch-clauses → catch-clause catch-clauses? catch-clause →catch
catch-pattern-list? code-block catch-pattern-list → catch-pattern | catch-pattern,
catch-pattern-list catch-pattern → pattern where-clause?
コンパイラ制御文を使用すると、プログラムはコンパイラの動作を変更できます。Swift には、3 つのコンパイラ制御文があります。条件付きコンパイルブロックと、行制御文と、コンパイル時診断文です。
Grammar of a compiler control statement:
compiler-control-statement → conditional-compilation-block compiler-control-statement → line-control-statement compiler-control-statement → diagnostic-statement
条件付きコンパイルブロックを使用すると、1 つ以上のコンパイル条件の値に応じてコードを条件付きでコンパイルできます。
全ての条件付きコンパイルブロックは、#if
コンパイルディレクティブで始まり、#endif
コンパイルディレクティブで終わります。単純な条件付きコンパイルブロックの形式は次のとおりです。
if
文の条件とは異なり、_コンパイル条件_はコンパイル時に評価されます。その結果、statements は、コンパイル時にコンパイル条件が true
と評価された場合にのみ、コンパイルおよび実行されます。
_コンパイル条件_には、true
および false
のブールリテラル、-D
コマンドラインフラグで使用される識別子、または下記の表にリストされているプラットフォーム条件のいずれかを含めることができます。
プラットフォーム条件
有効な引数
os()
macOS
, iOS
, watchOS
, tvOS
, visionOS
, Linux
, Windows
arch()
i386
, x86_64
, arm
, arm64
swift()
>=
または <
の後ろにバージョン番号
compiler()
>=
または <
の後ろにバージョン番号
canImport()
モジュール名
targetEnvironment()
simulator
, macCatalyst
swift()
および compiler()
プラットフォーム条件のバージョン番号は、メジャー番号、任意のマイナー番号、任意のパッチ番号で構成され、バージョン番号の各部分をドット(.
)で区切ります。比較演算子とバージョン番号の間にスペースを入れてはいけません。コンパイラに渡される Swift バージョンの設定に関係なく、compiler()
のバージョンはコンパイラのバージョンです。swift()
のバージョンは、現在コンパイルされている言語バージョンです。例えば、Swift4.2 モードで Swift5 のコンパイラを使用してコードをコンパイルする場合、コンパイラのバージョンは 5
で、言語のバージョンは 4.2
です。これらの設定では、次のコードは 3 つのメッセージ全てを出力します:
canImport()
プラットフォーム条件の引数は、全てのプラットフォームに存在するとは限らないモジュールの名前です。この条件は、モジュールをインポートできるかどうかをテストしますが、実際にはインポートしません。モジュールが存在する場合、プラットフォーム条件は true
を返します。それ以外の場合は、false
を返します。
targetEnvironment()
プラットフォーム条件は、指定された環境用にコードがコンパイルされているときに true
を返します。それ以外の場合は、false を返します。
NOTE
arch(arm)
プラットフォーム条件は、ARM64 デバイスではtrue
を返しません。コードが 32 ビット iOS シミュレーター用にコンパイルされると、arch(i386)
プラットフォーム条件はtrue
を返します。
論理演算子 &&
、||
、および !
を使用して、コンパイル条件を組み合わせたり、無効にしたり、グループ化に括弧を使用できます。これらの演算子は、通常のブール式を組み合わせるために使用される論理演算子と同じ結合規則と優先順位を持っています。
if
文と同様に、複数の条件分岐を追加して、様々なコンパイル条件を検証できます。#elseif
句を使用して、分岐をいくつでも追加できます。#else
句を使用して、最後の分岐を追加することもできます。複数のブランチを含む条件付きコンパイルブロックの形式は次のとおりです:
NOTE 条件付きコンパイルブロックの本文にある各文は、コンパイルされない場合でも解析されます。ただし、コンパイル条件に
swift()
またはcompiler()
プラットフォーム条件が含まれている場合は例外です。言語またはコンパイラのバージョンがプラットフォーム条件で指定されているものと一致する場合にのみ解析されます。この例外により、古いコンパイラが新しいバージョンの Swift で導入された構文を解析しないことが保証されます。
明示的なメンバ式を条件付きコンパイルブロックでラップする方法については、[明示的メンバ式(Explicit Member Expression)]を参照ください。
Grammar of a conditional compilation block:
conditional-compilation-block → if-directive-clause elseif-directive-clauses? else-directive-clause? endif-directive
if-directive-clause → if-directive compilation-condition statements? elseif-directive-clauses → elseif-directive-clause elseif-directive-clauses? elseif-directive-clause → elseif-directive compilation-condition statements? else-directive-clause → else-directive statements? if-directive →
#if
elseif-directive →#elseif
else-directive →#else
endif-directive →#endif
compilation-condition → platform-condition compilation-condition → identifier compilation-condition → boolean-literal compilation-condition →
(
compilation-condition)
compilation-condition →!
compilation-condition compilation-condition → compilation-condition&&
compilation-condition compilation-condition → compilation-condition||
compilation-conditionplatform-condition →
os
(
operating-system)
platform-condition →arch
(
architecture)
platform-condition →swift
(
>=
swift-version)
|swift
(
<
swift-version)
platform-condition →compiler
(
>=
swift-version)
|compiler
(
<
swift-version)
platform-condition →canImport
(
import-path)
platform-condition →targetEnvironment
(
environment)
operating-system →
macOS
|iOS
|watchOS
|tvOS
|visionOS
|Linux
|Windows
architecture →i386
|x86_64
|arm
|arm64
swift-version → decimal-digits swift-version-continuation? swift-version-continuation →.
decimal-digits swift-version-continuation? environment →simulator
|macCatalyst
行制御文は、コンパイルされるソースコードの行番号およびファイル名とは異なる可能性のある行番号およびファイル名を指定するために使用されます。行制御文を使用して、診断およびデバッグの目的で Swift が使用するソースコードの場所を変更します。
行制御文の形式は次のとおりです:
2 番目の形式の #sourceLocation()
は、ソースコードの場所をデフォルトの行番号とファイルパスにリセットします。
Grammar of a line control statement:
line-control-statement →
#sourceLocation
(
file:
file-path,
line:
line-number)
line-control-statement →#sourceLocation
(
)
line-number → A decimal integer greater than zero file-path → static-string-literal
_availability 条件_は、if
、while
、および guard
文の条件として使用され、指定されたプラットフォームの引数に基づいて、実行時に API が使用可能かどうかを検証します。
availability 条件の形式は次のとおりです:
使用する API が実行時に使用可能かどうかに応じて、Availability 条件を使用してコードのブロックを実行します。コンパイラは、そのコード・ブロック内の API が使用可能かどうかを確認するときに、Availability 条件からの情報を使用します。
availability 条件は、プラットフォーム名とバージョンのカンマ区切りのリストを受け取ります。プラットフォーム名には iOS
、macOS
、watchOS
、tvOS
、visionOS
を使用し、対応するバージョン番号を含めます。*
引数は必須で、他のプラットフォームでは、Availability 条件によって保護されたコードブロックの本文が、ターゲットで指定された最小のデプロイターゲットで実行されることを指定します。
ブール条件とは異なり、&&
や ||
などの論理演算子を使用して Availability 条件を組み合わせることはできません。
Availability 条件を否定するためには、!
を使用する代わりに、Unavailability 条件を使用します。次のような形式です:
unavailable
の形は、その条件を否定する糖衣構文です。 Unavailability の条件では、*
は暗黙的なので、含めるべきではありません。これは Availability 条件における *
引数と同じ意味を持ちます。
Grammar of an availability condition:
availability-condition →
#available
(
availability-arguments)
availability-condition →#unavailable
(
availability-arguments)
availability-arguments → availability-argument | availability-argument,
availability-arguments availability-argument → platform-name platform-version availability-argument →*
platform-name →
iOS
|iOSApplicationExtension
platform-name →macOS
|macOSApplicationExtension
platform-name →macCatalyst
|macCatalystApplicationExtension
platform-name →watchOS
|watchOSApplicationExtension
platform-name →tvOS
|tvOSApplicationExtension
platform-name →visionOS
|visionOSApplicationExtension
platform-version → decimal-digits platform-version → decimal-digits.
decimal-digits platform-version → decimal-digits.
decimal-digits.
decimal-digits
makeIterator()
メソッドは、プロトコルに準拠した型のイテレータ型の値を取得するために、collection 式で呼び出されます。プログラムは、イテレータ上で next()
メソッドを呼び出すことによってループの実行を開始します。返された値が nil
ではない場合、item に代入され、プログラムは statements を実行し、再びループの先頭から実行を続行します。それ以外の場合、プログラムは値の代入や、statements を実行せず、for-in
文の実行は終了します。
condition の値は、Bool
型または Bool
にブリッジされた型でなければなりません。で説明したように、条件はオプショナルバインディング宣言にすることもできます。
if
文または switch
文の制御フローは break
文によって変更できます。これについては、下記ので説明します。
if
文の条件の値は、Bool
型または Bool
にブリッジされた型にする必要があります。で説明したように、条件はオプショナルバインディング宣言にすることもできます。
guard
文の条件の値は、Bool
型または Bool
にブリッジされた型にする必要があります。で説明したように、条件はオプショナルバインディング宣言にすることもできます。
制御転送文については、下記ので説明します。Never
型の戻り値を持つ関数の詳細については、を参照ください。
コードが分岐できる式の値は非常に柔軟です。例えば、整数や文字などのスカラ型の値に加えて、浮動小数点数、文字列、タプル、独自で作成したクラスのインスタンス、オプショナルなど、任意の型の値で分岐できます。control expression の値は、列挙型内のケースと一致しているか、または指定された値の範囲に含まれているかどうかを確認することもできます。switch
文でこれらの様々な種類の値を使用する方法の例については、のを参照ください。
nonfrozen 列挙型_は、アプリをコンパイルして出荷した後でも、将来的に新しい列挙ケースを追加する可能性のある特別な種類の列挙型です。nonfrozen 列挙型をスイッチングするには、特別な考慮が必要です。ライブラリの作成者が列挙型を nonfrozen としてマークすると、新しい列挙ケースを追加する権利が確保され、その列挙型を利用するコードは、再コンパイルせずにその将来のケースを処理できるように_しなければなりません。ライブラリエボリューションモードでコンパイルされたコード、Swift 標準ライブラリのコード、Apple フレームワーク用の Swift オーバーレイ、C 言語および Objective-C のコードは、nonfrozen 列挙型を宣言できます。frozen および nonfrozen の列挙型については、を参照ください。
次の例では、Swift 標準ライブラリの 列挙型の 3 つの既存のケース全てをスイッチングしています。将来、ケースを追加すると、コンパイラは、新しいケースを考慮に入れるために switch
文を更新する必要があることを示す警告を生成します。
一致したケース内のコードの実行が終了すると、プログラムは switch
文を終了します。プログラムの実行は次のケースまたはデフォルトのケースに続行または「通り抜け」ません。あるケースから次のケースまで実行を継続したい場合、fallthrough
キーワードで構成される fallthrough
文を明示的に含めます。fallthrough
文の詳細については、下記のを参照ください。
ループ文、if
文、switch
文、または do
文の前に_文ラベル_を付けることができます。文ラベルは、ラベルの名前の直後にコロン(:
)が続きます。下記の とで説明するように、break
文と continue
文で文ラベルを使用して、ループ文または switch
文の制御フローをどのように変更したいのかを明示できます。
文ラベルの詳細および使用例については、のを参照ください。
break
文の使用方法の例については、とのを参照ください。
continue
文の使用方法の例については、とのを参照ください。
switch
文で fallthrough
文を使用する方法の例については、のを参照ください。
NOTE
で説明されているように、失敗可能なニシャライザで特別な形式の return
文(return nil
)を使用して、イニシャライザの失敗を示すことができます。
throw
文の使用方法の例については、のを参照ください。
明示的なエラーの型の処理の詳細については、を参照してください。
エラーが確実に処理されるようにするには、ワイルドカードパターン(_
)など、全てのエラーに一致するパターンで catch
句を使用します。catch
句でパターンが指定されていない場合、catch
句は全てのエラーと一致し、error
という名前のローカル定数にバインドします。catch
句で使用できるパターンの詳細については、を参照ください。
複数の catch
句を指定して do
文を使用する方法の例については、を参照ください。
最初の形式は、行制御文に続くコード行から、#line
、#file
、#fileID
、および #filePath
リテラル式の値を変更します。line number は #line
の値を変更し、0 より大きい任意の整数リテラルです。file path は、#file
、#fileID
、および #filePath
の値を変更する文字列リテラルです。指定された文字列が #filePath
の値になり、文字列の最後のパスコンポーネントが #fileID
の値として使用されます。#file
、#fileID
、および #filePath
については、を参照ください。
Swift 5.9 より前のバージョンでは、コンパイル中に #warning
と #error
ステートメントが診断結果を出力します。この動作は、現在 Swift 標準ライブラリのとマクロによって提供されています。