Guides and Sample Code

Developer

The Swift Programming Language (Swift 4.1)

iBooks
On This Page

Statements

In Swift, there are three kinds of statements: simple statements, compiler control statements, and control flow statements. Simple statements are the most common and consist of either an expression or a declaration. Compiler control statements allow the program to change aspects of the compiler’s behavior and include a conditional compilation block and a line control statement.
スウィフトには、3種類の文があります:単純な文、コンパイラ制御文、そして制御の流れ文。単純な文は、もっとも普通のもので、ひとつの式もしくはひとつの宣言から成ります。コンパイラ制御文は、プログラムにコンパイラの挙動のいろいろな面を変更できるようにします、そして条件コンパイルブロックと行制御文を含みます。

Control flow statements are used to control the flow of execution in a program. There are several types of control flow statements in Swift, including loop statements, branch statements, and control transfer statements. Loop statements allow a block of code to be executed repeatedly, branch statements allow a certain block of code to be executed only when certain conditions are met, and control transfer statements provide a way to alter the order in which code is executed. In addition, Swift provides a do statement to introduce scope, and catch and handle errors, and a defer statement for running cleanup actions just before the current scope exits.
制御の流れ文は、プログラムにおいて実行の流れを制御するために使われます。いくつかの種類の制御の流れ文が、スウィフトにあります、それはループ文、分岐文、そして制御移動文を含みます。ループ文はコードの1ブロックが繰り返して実行されるようにします、分岐文はコードの特定のブロックを特定の条件が満たされるときにだけ実行されるようにします、そして制御移動文はコードが実行される順番を変える方法を提供します。加えて、スウィフトは、do文をスコープを導入し、それでエラーを捕えて処理するために、そしてdefer文を現在のスコープを脱出する直前にさまざまな片付け活動を実行するために提供します。

A semicolon (;) can optionally appear after any statement and is used to separate multiple statements if they appear on the same line.
セミコロン(;)はあらゆる文の後に任意に現れることができて、複数の文をそれらが同じ行に現れる場合に別々に分けるために使われます。

Grammar of a statement
文の文法

statement expression­opt­

statement declaration­opt­

statement loop-statement­opt­

statement branch-statement­opt­

statement labeled-statement­opt­

statement control-transfer-statement­opt­

statement defer-statement­opt­

statement do-statement­opt­

statement compiler-control-statement­

statements statement­statements­opt­

Loop Statements
ループ文

Loop statements allow a block of code to be executed repeatedly, depending on the conditions specified in the loop. Swift has three loop statements: a for-in statement, a while statement, and a repeat-while statement.
ループ文は、ループにおいて指定される条件に従って、コードの1ブロックを繰り返して実行するようにします。スウィフトは、3つのループ文を持ちます:for-in文、while文、そしてrepeat-while文。

Control flow in a loop statement can be changed by a break statement and a continue statement and is discussed in Break Statement and Continue Statement below.
ループ文の中の制御の流れは、break文そしてcontinue文によって変えられることができます、そして下記のブレーク文継続文で議論されます。

Grammar of a loop statement
ループ文の文法

loop-statement for-in-statement­

loop-statement while-statement­

loop-statement repeat-while-statement­

For-In Statement
For-In文

A for-in statement allows a block of code to be executed once for each item in a collection (or any type) that conforms to the Sequence protocol.
for-in文は、コードの1ブロックをSequenceプロトコルに準拠するあるコレクション(または何らかの型)の中のそれぞれの項目に対して一度だけ実行されるようにします。

A for-in statement has the following form:
for-in文は、以下の形式を持ちます:

  • for item in collection {
  •     statements
  • }

The makeIterator() method is called on the collection expression to obtain a value of an iterator type—that is, a type that conforms to the IteratorProtocol protocol. The program begins executing a loop by calling the next() method on the iterator. If the value returned is not nil, it is assigned to the item pattern, the program executes the statements, and then continues execution at the beginning of the loop. Otherwise, the program does not perform assignment or execute the statements, and it is finished executing the for-in statement.
makeIterator()メソッドがcollection(コレクション)式の上で呼ばれて、イテレータ型 ― すなわち、IteratorProtocolプロトコルに準拠する型、に属する1つの値を取得します。プログラムは、そのイテレータ上でnext()メソッドを呼ぶことによってループの実行を始めます。返される値がnilでないならば、それはitem(項目)パターンに割り当てられて、プログラムはstatements(文)を実行して、それからループの初めに戻って実行を続けます。そうでなければ、プログラムは代入を実行しませんし、を実行しません、そしてそれはfor-in文の実行を終了します。

Grammar of a for-in statement
for-in文の文法

for-in-statement for­case­opt­pattern­in­expression­where-clause­opt­code-block­

While Statement
while文

A while statement allows a block of code to be executed repeatedly, as long as a condition remains true.
while文は、条件が真のままである限り、コードの1ブロックを繰り返して実行されるようにします。

A while statement has the following form:
while文は、以下の形式を持ちます:

  • while condition {
  •     statements
  • }

A while statement is executed as follows:
while文は、次のように実行されます:

  1. The condition is evaluated.
    条件が評価されます。

    If true, execution continues to step 2. If false, the program is finished executing the while statement.
    trueならば、実行はステップ2に続きます。falseならば、プログラムはwhile文の実行を終了します。

  2. The program executes the statements, and execution returns to step 1.
    プログラムはを実行します、そして実行はステップ1に戻ります。

Because the value of the condition is evaluated before the statements are executed, the statements in a while statement can be executed zero or more times.
が実行される前に、条件の値が評価されるので、while文の中のは0回またはそれ以上実行される可能性を持ちます。

The value of the condition must be of type Bool or a type bridged to Bool. The condition can also be an optional binding declaration, as discussed in Optional Binding.
conditionの値は、Bool型またはBoolにブリッジされる型でなければなりません。条件はまた、オプショナル束縛で議論される、オプショナル束縛宣言であることができます。

Grammar of a while statement
while文の文法

while-statement while­condition-list­code-block­

case-condition case­pattern­initializer­

optional-binding-condition let­pattern­initializer­ var­pattern­initializer­

Repeat-While Statement
repeat-while文

A repeat-while statement allows a block of code to be executed one or more times, as long as a condition remains true.
repeat-while文は、ある条件が真のままである限り、ひとかたまりのコードを一回以上実行されるようにします。

A repeat-while statement has the following form:
repeat-while文は、以下の形式を持ちます:

  • repeat {
  •     statements
  • } while condition

A repeat-while statement is executed as follows:
repeat-while文は、次のように実行されます:

  1. The program executes the statements, and execution continues to step 2.
    プログラムがを実行します、そして実行はステップ2に続きます。

  2. The condition is evaluated.
    条件が評価されます。

    If true, execution returns to step 1. If false, the program is finished executing the repeat-while statement.
    trueならば、実行はステップ1に戻ります。falseならば、プログラムはrepeat-while文の実行を終了します。

Because the value of the condition is evaluated after the statements are executed, the statements in a repeat-while statement are executed at least once.
が実行された後で条件の値が評価されるので、repeat-while文の中のは少なくとも一回は実行されます。

The value of the condition must be of type Bool or a type bridged to Bool. The condition can also be an optional binding declaration, as discussed in Optional Binding.
conditionの値は、Bool型またはBoolにブリッジされる型でなければなりません。条件はまた、オプショナル束縛で議論される、オプショナル束縛宣言であることができます。

Grammar of a repeat-while statement
repeat-while文の文法

repeat-while-statement repeat­code-block­while­expression­

Branch Statements
分岐文

Branch statements allow the program to execute certain parts of code depending on the value of one or more conditions. The values of the conditions specified in a branch statement control how the program branches and, therefore, what block of code is executed. Swift has three branch statements: an if statement, a guard statement, and a switch statement.
分岐文は、プログラムが一つ以上の条件の値に従いコードの特定の部分を実行するようにします。分岐文において指定される条件の値は、プログラムがどのように分岐するか、したがって、コードのどのブロックが実行されるかについて制御します。スウィフトは、3つの分岐文を持ちます:if文、guard文、そしてswitch文。

Control flow in an if statement or a switch statement can be changed by a break statement and is discussed in Break Statement below.
if文またはswitch文の中の制御の流れは、break文によって変えられることができます、それは下記のブレーク文で議論されます。

Grammar of a branch statement
分岐文の文法

branch-statement if-statement­

branch-statement guard-statement­

branch-statement switch-statement­

If Statement
if文

An if statement is used for executing code based on the evaluation of one or more conditions.
if文は、一つ以上の条件の評価に基づいてコードを実行するために使われます。

There are two basic forms of an if statement. In each form, the opening and closing braces are required.
if文の2つの基本の書式があります。各形式で、開始と終了の波括弧は必須です。

The first form allows code to be executed only when a condition is true and has the following form:
最初の形式は、条件が真である時にだけコードが実行されるようにし、以下の形式を持ちます:

  • if condition {
  •     statements
  • }

The second form of an if statement provides an additional else clause (introduced by the else keyword) and is used for executing one part of code when the condition is true and another part of code when the same condition is false. When a single else clause is present, an if statement has the following form:
if文の2番目の形式は、追加のelse節(代わりの節)を提供します(elseキーワードで導入されます)、そして条件が真である場合はあるコード部分を、そして同じ条件が偽である場合は別のコード部分を実行するために使われます。ただ1つだけのelse節が含まれている時は、if文は以下の形式を持ちます:

  • if condition {
  •     statements to execute if condition is true
  • } else {
  •     statements to execute if condition is false
  • }

The else clause of an if statement can contain another if statement to test more than one condition. An if statement chained together in this way has the following form:
if文のelse節は、複数の条件をテストするために別のif文を含むことができます。このやり方で一緒につながれるif文は、以下の形式を持ちます:

  • if condition 1 {
  •     statements to execute if condition 1 is true
  • } else if condition 2 {
  •     statements to execute if condition 2 is true
  • } else {
  •     statements to execute if both conditions are false
  • }

The value of any condition in an if statement must be of type Bool or a type bridged to Bool. The condition can also be an optional binding declaration, as discussed in Optional Binding.
if文の中のあらゆる条件の値は、Bool型またはBoolにブリッジされる型でなければなりません。条件はまた、オプショナル束縛で議論される、オプショナル束縛宣言であることができます。

Grammar of an if statement
if文の文法

if-statement if­condition-list­code-block­else-clause­opt­

else-clause else­code-block­ else­if-statement­

Guard Statement
guard文

A guard statement is used to transfer program control out of a scope if one or more conditions aren’t met.
guard文は、1つ以上の条件が満たされないならば、プログラムの制御をあるスコープの外に転移させるために使われます。

A guard statement has the following form:
guard文は以下の形式を持ちます:

  • guard condition else {
  •     statements
  • }

The value of any condition in a guard statement must be of type Bool or a type bridged to Bool. The condition can also be an optional binding declaration, as discussed in Optional Binding.
guard文の中のあらゆる条件の値は、Bool型またはBoolにブリッジされる型でなければなりません。条件はまた、オプショナル束縛で議論される、オプショナル束縛宣言であることができます。

Any constants or variables assigned a value from an optional binding declaration in a guard statement condition can be used for the rest of the guard statement’s enclosing scope.
guard文条件の中のオプショナル束縛宣言由来のあらゆる定数または変数は、guard文の囲むスコープの他の部分で使われることができます。

The else clause of a guard statement is required, and must either call a function with the Never return type or transfer program control outside the guard statement’s enclosing scope using one of the following statements:
guard文のelse節は必ず必要です、そしてNever戻り型を持つ関数を呼び出すか、プログラム制御をguard文の囲むスコープの外側に以下の文のうちの1つを使って移すか、どちらかをする必要があります。

  • return

  • break

  • continue

  • throw

Control transfer statements are discussed in Control Transfer Statements below. For more information on functions with the Never return type, see Functions that Never Return.
制御移動文は、下の制御移動文で議論されます。Never戻り型を持つ関数でのさらなる情報は、決して戻らない関数を見てください。

Grammar of a guard statement
guard文の文法

guard-statement guard­condition-list­else­code-block­

Switch Statement
スイッチ文

A switch statement allows certain blocks of code to be executed depending on the value of a control expression.
switch文は、コードの特定のブロックをある制御式の値に従って実行されるようにします。

A switch statement has the following form:
switch文は以下の形式を持ちます:

  • switch control expression {
  • case pattern 1:
  •     statements
  • case pattern 2 where condition:
  •     statements
  • case pattern 3 where condition,
  •      pattern 4 where condition:
  •     statements
  • default:
  •     statements
  • }

The control expression of the switch statement is evaluated and then compared with the patterns specified in each case. If a match is found, the program executes the statements listed within the scope of that case. The scope of each case can’t be empty. As a result, you must include at least one statement following the colon (:) of each case label. Use a single break statement if you don’t intend to execute any code in the body of a matched case.
switch文の制御式は、評価されて、それからそれぞれのケース節(case)で指定されるパターンと比較されます。マッチが見つけられるならば、プログラムはそのケース節のスコープ内で列記されるを実行します。それぞれのケース節のスコープは、空であることはできません。その結果、あなたはそれぞれのケース節ラベルのコロン(:)に続いている文を少なくとも1つは含めなければなりません。あなたがマッチされたケース節の本文において何らコードを実行するつもりでないならば、ただ1つbreak文を使ってください。

The values of expressions your code can branch on are very flexible. For instance, in addition to the values of scalar types, such as integers and characters, your code can branch on the values of any type, including floating-point numbers, strings, tuples, instances of custom classes, and optionals. The value of the control expression can even be matched to the value of a case in an enumeration and checked for inclusion in a specified range of values. For examples of how to use these various types of values in switch statements, see Switch in Control Flow.
あなたのコードが分岐することができる式の値は、非常に柔軟です。たとえば、整数と文字のようなスカラー型の値に加えて、あなたのコードは、浮動小数点数、文字列、タプル、あつらえのクラスのインスタンス、そしてオプショナルを含むあらゆる型の値に関して分岐することができます。制御式の値は、列挙でのケース節の値にさえマッチすることや、指定された範囲の値に包含されるかについて調べさえすることができます。これらのいろいろな型の値をswitch文で使う方法の例のために、スイッチ制御の流れで見てください。

A switch case can optionally contain a where clause after each pattern. A where clause is introduced by the where keyword followed by an expression, and is used to provide an additional condition before a pattern in a case is considered matched to the control expression. If a where clause is present, the statements within the relevant case are executed only if the value of the control expression matches one of the patterns of the case and the expression of the where clause evaluates to true. For instance, a control expression matches the case in the example below only if it is a tuple that contains two elements of the same value, such as (1, 1).
switchケース節は、各パターンの後に随意にwhere節を含むことができます。where節は、キーワードwhereのあとにひとつの式を続けることによって導入されます、そしてケース節の中のあるパターンがその制御式にマッチしたと考えられるより前に更なる条件を与えるために使われます。where節が存在するならば、関連するケース節の範囲内のいくらかのは、制御式の値がケース節のパターンの1つとマッチして、そしてwhere節がtrueに評価される場合にだけ、実行されます。例えば、ある制御式は、それが同じ値の2つの要素を持つタプル、例えば(1, 1)のようなものである場合にのみ、以下の例におけるケース節にマッチします。

  1. case let (x, y) where x == y:

As the above example shows, patterns in a case can also bind constants using the let keyword (they can also bind variables using the var keyword). These constants (or variables) can then be referenced in a corresponding where clause and throughout the rest of the code within the scope of the case. If the case contains multiple patterns that match the control expression, all of the patterns must contain the same constant or variable bindings, and each bound variable or constant must have the same type in all of the case’s patterns.
上の例で示されるように、あるケース節中のいくつかのパターンはまた、letキーワードを使って定数に束縛できます(それらはまたvarキーワードを使って変数に束縛もできます)。これらの定数(または変数)は、それから対応するwhere節の中で、そしてそのケース節のスコープ内のその他のコードのいたるところで参照されることができます制御式にマッチする複数のパターンをケース節が含むならば、そのパターンのすべてが同じ定数または変数束縛を含まなければなりません、そして束縛された変数または定数の各々は、そのケース節の持つパターンのすべてで同じ型を持たなければなりません。

A switch statement can also include a default case, introduced by the default keyword. The code within a default case is executed only if no other cases match the control expression. A switch statement can include only one default case, which must appear at the end of the switch statement.
switch文はまた、キーワードdefaultによって導入される、省略時のケース節を含むことができます。他のいかなるケース節も制御式にマッチしない場合だけ、省略時のケース節内のコードは実行されます。switch文は1つの省略時のケース節だけを含むことができます、それは、switch文の終わりに現れなければなりません。

Although the actual execution order of pattern-matching operations, and in particular the evaluation order of patterns in cases, is unspecified, pattern matching in a switch statement behaves as if the evaluation is performed in source order—that is, the order in which they appear in source code. As a result, if multiple cases contain patterns that evaluate to the same value, and thus can match the value of the control expression, the program executes only the code within the first matching case in source order.
けれどもパターンマッチ操作の実際の実行順序、とりわけケース節の中のパターンの評価順序は指定されません、switch文のパターンマッチングはまるでその評価がソース順 ― すなわち、それらがソース・コードにおいて現れる順番、で実行されるかのようにふるまいます。その結果、複数のケース節が同じ値に評価される、そしてそれゆえ制御式の値にマッチすることができるパターンを含むならば、プログラムはソース順において最初のマッチしているケース節内のコードだけを実行します。

Switch Statements Must Be Exhaustive
スイッチ文は徹底的でなければなりません

In Swift, every possible value of the control expression’s type must match the value of at least one pattern of a case. When this simply isn’t feasible (for instance, when the control expression’s type is Int), you can include a default case to satisfy the requirement.
スウィフトにおいて、制御式のもつ型のあらゆる可能な値は、少なくともあるケース節の1つのパターンの値にマッチしなければなりません。これが単に実行可能でないとき(たとえば、制御式のもつ型がIntであるとき)、あなたはこの必要条件を満たすために省略時のケース節を含めることができます。

Execution Does Not Fall Through Cases Implicitly
実行は暗黙のうちにケース節を抜け落ちません

After the code within a matched case has finished executing, the program exits from the switch statement. Program execution does not continue or “fall through” to the next case or default case. That said, if you want execution to continue from one case to the next, explicitly include a fallthrough statement, which simply consists of the fallthrough keyword, in the case from which you want execution to continue. For more information about the fallthrough statement, see Fallthrough Statement below.
マッチされたケース節内のコードが実行を終えたあと、プログラムはswitch文から出ます。プログラム実行は続きません、あるいは、次のケース節または省略時のケース節に「抜け落ちる」ことはありません。それでもやはり、あなたが実行に1つのケース節から次のものまで続いて欲しいならば、あなたが実行に続いて欲しいケース節で明示的にfallthrough文を含めてください、それは、単にキーワードfallthroughから成ります。fallthrough文の詳細については、下記のフォールスルー文を見てください。

Grammar of a switch statement
switch文の文法

switch-statement switch­expression­switch-cases­opt­

switch-cases switch-case­switch-cases­opt­

switch-case case-label­statements­ default-label­statements­

case-label case­case-item-list­

case-item-list pattern­where-clause­opt­ pattern­where-clause­opt­case-item-list­

default-label default­

where-clause where­where-expression­

where-expression expression­

Labeled Statement
ラベルをつけられた文

You can prefix a loop statement, an if statement, a switch statement, or a do statement with a statement label, which consists of the name of the label followed immediately by a colon (:). Use statement labels with break and continue statements to be explicit about how you want to change control flow in a loop statement or a switch statement, as discussed in Break Statement and Continue Statement below.
あなたはループ文、if文、switch文、またはdo文の前に文ラベルを置くことができます、それは、ラベルの名前とそれに直ちに続くコロン(:)から成ります。breakcontinue文で文ラベルを使って、あなたがループ文またはswitch文においてどのように制御の流れを変えたいかについて明示してください、下記のブレーク文継続文で議論されるように。

The scope of a labeled statement is the entire statement following the statement label. You can nest labeled statements, but the name of each statement label must be unique.
ラベルをつけられた文のスコープは、文ラベルに続いている文全体です。あなたはラベルをつけられた文を入れ子にすることができます、しかし、各文ラベルの名前は特有でなければなりません。

For more information and to see examples of how to use statement labels, see Labeled Statements in Control Flow.
より多くの情報のために、そして、文ラベルを使用する方法の例を見るために、ラベルをつけられた文制御の流れで見てください。

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­

Control Transfer Statements
制御移動文

Control transfer statements can change the order in which code in your program is executed by unconditionally transferring program control from one piece of code to another. Swift has five control transfer statements: a break statement, a continue statement, a fallthrough statement, a return statement, and a throw statement.
制御移動文は、あなたのプログラムの中のコードが実行される順番を、プログラム制御を1つのコード片から他のものまで無条件に移すことによって変えることができます。スウィフトは、5つの制御移動文を持ちます:break文、continue文、fallthrough文、return文、そしてthrow文。

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 Statement
ブレーク文

A break statement ends program execution of a loop, an if statement, or a switch statement. A break statement can consist of only the break keyword, or it can consist of the break keyword followed by the name of a statement label, as shown below.
break文は、ループ、if文、またはswitch文のプログラム実行を終えます。break文はキーワードbreakだけから成ることができます、あるいは、それは、以下に示すように、キーワードbreakとそれに続く文ラベルの名前から成ることができます。

  • break
  • break label name

When a break statement is followed by the name of a statement label, it ends program execution of the loop, if statement, or switch statement named by that label.
break文に文ラベルの名前が続くとき、それはそのラベルによって指定されるループ、if文、またはswitch文のプログラム実行を終了します。

When a break statement is not followed by the name of a statement label, it ends program execution of the switch statement or the innermost enclosing loop statement in which it occurs. You can’t use an unlabeled break statement to break out of an if statement.
break文に文ラベルの名前が続かないとき、それはswitch文またはそれが現れているところの最も内側のそれを囲んでいるループ文のプログラム実行を終了します。あなたは、ラベルを付けられないbreak文をif文を脱するために使うことはできません。

In both cases, program control is then transferred to the first line of code following the enclosing loop or switch statement, if any.
両方の場合において、プログラム制御はそれから、もしあれば、それを囲んでいるループまたはswitch文に続くコードの最初の行へ移されます。

For examples of how to use a break statement, see Break and Labeled Statements in Control Flow.
break文を使う方法の例のために、ブレーク文ラベルをつけられた文を章制御の流れで見てください。

Grammar of a break statement
ブレーク文の文法

break-statement break­label-name­opt­

Continue Statement
継続文

A continue statement ends program execution of the current iteration of a loop statement but does not stop execution of the loop statement. A continue statement can consist of only the continue keyword, or it can consist of the continue keyword followed by the name of a statement label, as shown below.
continue文は、ループ文の現在の繰り返しのプログラム実行を終了しますが、ループ文の実行は止めません。continue文は、以下に示すように、キーワードcontinueだけから成ることができます、また、それはキーワードcontinueとそれに続く文ラベルから成ることができます。

  • continue
  • continue label name

When a continue statement is followed by the name of a statement label, it ends program execution of the current iteration of the loop statement named by that label.
continue文に文ラベルの名前が続くとき、それは、そのラベルによって指名されるループ文の現在の繰り返しのプログラム実行を終了します。

When a continue statement is not followed by the name of a statement label, it ends program execution of the current iteration of the innermost enclosing loop statement in which it occurs.
continue文に文ラベルの名前が続かないとき、それは、それが現れるところの一番内側のそれを囲んでいるループ文の現在の繰り返しのプログラム実行を終了します。

In both cases, program control is then transferred to the condition of the enclosing loop statement.
両方の場合において、プログラム制御はそれから囲んでいるループ文の条件へ移されます。

In a for statement, the increment expression is still evaluated after the continue statement is executed, because the increment expression is evaluated after the execution of the loop’s body.
for文において、増加式はcontinue文が実行されたあと依然として評価されます、なぜなら増加式がループの本文の実行の後に評価されるためです。

For examples of how to use a continue statement, see Continue and Labeled Statements in Control Flow.
continue文を使う方法の例のために、続けるラベルをつけられた文を章制御の流れで見てください。

Grammar of a continue statement
継続文の文法

continue-statement continue­label-name­opt­

Fallthrough Statement
フォールスルー文

A fallthrough statement consists of the fallthrough keyword and occurs only in a case block of a switch statement. A fallthrough statement causes program execution to continue from one case in a switch statement to the next case. Program execution continues to the next case even if the patterns of the case label do not match the value of the switch statement’s control expression.
fallthrough文は、fallthroughキーワードから成って、switch文のケース節ブロックだけに現れます。fallthrough文によって、プログラム実行がswitch文の1つのケース節から次のケース節に続くようになります。たとえケース節ラベルのパターンがswitch文のもつ制御式の値にマッチしないとしても、プログラム実行は次のケース節に続きます。

A fallthrough statement can appear anywhere inside a switch statement, not just as the last statement of a case block, but it can’t be used in the final case block. It also cannot transfer control into a case block whose pattern contains value binding patterns.
fallthrough文は、switch文のどこにでも現れることができます、あるケース節ブロックの最後の文としてだけではなく、しかしそれは最後のケース節ブロックにおいては使われることができません。それはまた、パターンが値束縛パターンを含むケース節ブロックに制御を移すことができません。

For an example of how to use a fallthrough statement in a switch statement, see Control Transfer Statements in Control Flow.
fallthrough文をswitch文において使う方法の例のために、制御移動文を章制御の流れで見てください。

Grammar of a fallthrough statement
フォールスルー文の文法

fallthrough-statement fallthrough­

Return Statement
復帰文

A return statement occurs in the body of a function or method definition and causes program execution to return to the calling function or method. Program execution continues at the point immediately following the function or method call.
return文は、関数またはメソッド定義の本文に現れて、プログラム実行を関数またはメソッド呼んでいるところに戻るようにします。プログラム実行は、関数またはメソッド呼び出しに直ちに続いている地点に続きます。

A return statement can consist of only the return keyword, or it can consist of the return keyword followed by an expression, as shown below.
return文はキーワードreturnだけから成ることができます、あるいはそれは、以下に示すように、キーワードreturnとそれに続く式から成ることができます。

  • return
  • return expression

When a return statement is followed by an expression, the value of the expression is returned to the calling function or method. If the value of the expression does not match the value of the return type declared in the function or method declaration, the expression’s value is converted to the return type before it is returned to the calling function or method.
return文の後に式が続くとき、式の値は関数またはメソッドを呼んでいるところに返されます。式の値が関数またはメソッド宣言において宣言される戻り型の値にマッチしないならば、それが関数またはメソッドを呼んでいるところに返される前に、式の値は戻り型に変換されます。

When a return statement is not followed by an expression, it can be used only to return from a function or method that does not return a value (that is, when the return type of the function or method is Void or ()).
return文の後に式が続かないとき、それは値を返さない関数またはメソッド(すなわち、戻り型がVoidまたは()である関数またはメソッド)から返るためにだけ使われることができます。

Grammar of a return statement
return文の文法

return-statement return­expression­opt­

Throw Statement
throw文

A throw statement occurs in the body of a throwing function or method, or in the body of a closure expression whose type is marked with the throws keyword.
throw文はスロー関数やメソッドの本文中に、またはthrowsキーワードで印される型のクロージャ式の中に現れます、

A throw statement causes a program to end execution of the current scope and begin error propagation to its enclosing scope. The error that’s thrown continues to propagate until it’s handled by a catch clause of a do statement.
throw文は、プログラムに現在のスコープの実行を終了させます、そしてそれを囲んでいるスコープにエラーの伝達を始めます。スローされたエラーは、それがdo文のcatch節によって処理されるまで伝達を続けていきます。

A throw statement consists of the throw keyword followed by an expression, as shown below.
throw文は、以下のように、throwキーワードとそれに続くひとつの式から成ります。

  • throw expression

The value of the expression must have a type that conforms to the Error protocol.
expression(式)の値は、Errorプロトコルに準拠する型を持たなければなりません。

For an example of how to use a throw statement, see Propagating Errors Using Throwing Functions in Error Handling.
throw文を使う方法の例のために、スロー関数を使ってエラーを伝えるエラー処理の章で見てください。

Grammar of a throw statement
スロー文の文法

throw-statement throw­expression­

Defer Statement
defer文

A defer statement is used for executing code just before transferring program control outside of the scope that the defer statement appears in.
defer文は、defer文が現れるスコープの外側にプログラムの制御を移す直前でのコード実行のために使われます。

A defer statement has the following form:
defer文は以下の形式を持ちます:

  • defer {
  •     statements
  • }

The statements within the defer statement are executed no matter how program control is transferred. This means that a defer statement can be used, for example, to perform manual resource management such as closing file descriptors, and to perform actions that need to happen even if an error is thrown.
defer文内の文は、どのようにプログラム制御が移されようと関係なく実行されます。これはdefer文が、例えば、ファイル記述子を閉じることなどの手動リソース管理を実行するために、そしてたとえエラーがスローされるとしても起こることが必要な動作を実行するために使われることができるのを意味します。

If multiple defer statements appear in the same scope, the order they appear is the reverse of the order they are executed. Executing the last defer statement in a given scope first means that statements inside that last defer statement can refer to resources that will be cleaned up by other defer statements.
複数のdefer文が同じスコープに現れるならば、それらが現れる順番が、それらが実行される順番の逆です。ある特定のスコープ中の最後のdefer文の実行が最初であることは、その最後のdefer文内の文は別のdefer文によってクリーンアップされることになるリソースを参照できるのを意味します。

  1. func f() {
  2. defer { print("First") }
  3. defer { print("Second") }
  4. defer { print("Third") }
  5. }
  6. f()
  7. // Prints "Third"
  8. // Prints "Second"
  9. // Prints "First"

The statements in the defer statement can’t transfer program control outside of the defer statement.
defer文の中の文は、プログラムの制御をdefer文の外側に移すことはできません。

Grammar of a defer statement
defer文の文法

defer-statement defer­code-block­

Do Statement
do文

The do statement is used to introduce a new scope and can optionally contain one or more catch clauses, which contain patterns that match against defined error conditions. Variables and constants declared in the scope of a do statement can be accessed only within that scope.
do文は、ある新しいスコープを導入するために使われます、そして随意に1つ以上のcatch節を含むことができ、それは定義されたエラー条件にマッチするパターンを複数含みます。do文のスコープ内で宣言される変数と定数は、そのスコープ内でのみアクセスされることができます。

A do statement in Swift is similar to curly braces ({}) in C used to delimit a code block, and does not incur a performance cost at runtime.
スウィフトのdo文は、Cにおいてひとつのコードのブロックの境界を定めるために使われる波括弧({})に似ていて、実行時に性能上の損失を被りません。

A do statement has the following form:
do文は以下の形式を持ちます:

  • do {
  •     try expression
  •     statements
  • } catch pattern 1 {
  •     statements
  • } catch pattern 2 where condition {
  •     statements
  • }

Like a switch statement, the compiler attempts to infer whether catch clauses are exhaustive. If such a determination can be made, the error is considered handled. Otherwise, the error can propagate out of the containing scope, which means the error must be handled by an enclosing catch clause or the containing function must be declared with throws.
switch文のように、コンパイラはcatch節が網羅的であるか推論を試みます。そのような決定が為されるならば、エラーは処理されたと判断されます。そうでなければ、エラーはそれを収容しているスコープの外に伝えられることができます、それが意味するのは、エラーは囲んでいるcatch節によって取り扱われなければならない、または収容している関数がthrowsで宣言されなければならないということです。

To ensure that an error is handled, use a catch clause with a pattern that matches all errors, such as a wildcard pattern (_). If a catch clause does not specify a pattern, the catch clause matches and binds any error to a local constant named error. For more information about the patterns you can use in a catch clause, see Patterns.
エラーが処理されることが保証されるように、あるひとつのcatch節をどんなエラーにもマッチするパターンとともに使ってください、例えばワイルドカードパターン(_)など。あるcatch節がパターンを指定しないならば、そのcatch節はマッチしてあらゆるエラーをerrorと名前をつけられるローカル定数に束縛します。あなたがcatch節において使うパターンについての更なる情報として、パターンを見てください。

To see an example of how to use a do statement with several catch clauses, see Handling Errors.
do文を複数のcatch節とともに使う方法の例を見るために、エラーを処理するを見てください。

Grammar of a do statement
do文の文法

do-statement do­code-block­catch-clauses­opt­

catch-clauses catch-clause­catch-clauses­opt­

catch-clause catch­pattern­opt­where-clause­opt­code-block­

Compiler Control Statements
コンパイラ制御文

Compiler control statements allow the program to change aspects of the compiler’s behavior. Swift has two compiler control statements: a conditional compilation block and a line control statement.
コンパイラ制御文は、プログラムに、コンパイラの挙動の様々な面を変更できるようにします。スウィフトは、2つのコンパイラ制御文:条件コンパイルブロックと行制御文を持ちます。

Grammar of a compiler control statement
コンパイラ制御文の文法

compiler-control-statement conditional-compilation-block­

compiler-control-statement line-control-statement­

Conditional Compilation Block
条件コンパイルブロック

A conditional compilation block allows code to be conditionally compiled depending on the value of one or more compilation conditions.
条件コンパイルブロックは、1つ以上のコンパイル条件の値に依存してコードが条件付きでコンパイルされるようにします。

Every conditional compilation block begins with the #if compilation directive and ends with the #endif compilation directive. A simple conditional compilation block has the following form:
すべての条件コンパイルブロックは、#ifコンパイル指令で始まって、#endifコンパイル指令で終わります。単純な条件コンパイルブロックは、以下の形式を持ちます:

  • #if compilation condition
  • statements
  • #endif

Unlike the condition of an if statement, the compilation condition is evaluated at compile time. As a result, the statements are compiled and executed only if the compilation condition evaluates to true at compile time.
if文の条件とは違い、compilation condition(コンパイル条件)はコンパイル時に評価されます。結果として、statements(文)がコンパイル及び実行されるのはcompilation conditionがコンパイル時にtrueに評価される場合に限ります。

The compilation condition can include the true and false Boolean literals, an identifier used with the -D command line flag, or any of the platform conditions listed in the table below.
compilation conditionは、truefalseのブールのリテラル、-Dコマンドラインフラグと共に使われる識別子、もしくは以下の表で列記されるプラットホーム条件を含むことができます。

Platform condition
プラットホーム条件

Valid arguments
有効な引数

os()

macOS, iOS, watchOS, tvOS, Linux

arch()

i386, x86_64, arm, arm64

swift()

>= followed by a version number
>=にバージョン番号が続きます

canImport()

A module name
あるモジュール名

targetEnvironment()

simulator

The version number for the swift() platform condition consists of a major number, optional minor number, optional patch number, and so on, with a dot (.) separating each part of the version number. There must not be whitespace between >= and the version number.
swift()プラットホーム条件のためのバージョン番号は、メジャー番号、オプショナルのマイナー番号、オプショナルのパッチ番号、その他と、バージョン番号の各部を区切っているドット(.)から成ります。>=とバージョン番号の間に空白があってはなりません。

The argument for the canImport() platform condition is the name of a module that may not be present on all platforms. This condition tests whether it’s possible to import the module, but doesn’t actually import it. If the module is present, the platform condition returns true; otherwise, it returns false.
canImport()プラットホーム条件に対する引数は、全てのプラットホームには含まれないかもしれないあるモジュールの名前です。この条件は、そのモジュールがインポート可能であるかどうかをテストします、しかし実際にそれをインポートはしません。そのモジュールが存在するならば、プラットホーム条件はtrueを返します;そうでなければ、それはfalseを返します。

The targetEnvironment() platform condition returns true when code is compiled for a simulator; otherwise, it returns false.
targetEnvironment()プラットホーム条件は、コードがシミュレータに対してコンパイルされる場合はtrueを返します、そうでなければ、それはfalseを返します。

You can combine compilation conditions using the logical operators &&, ||, and ! and use parentheses for grouping. These operators have the same associativity and precedence as the logical operators that are used to combine ordinary Boolean expressions.
あなたは、コンパイル条件を結合させることが論理演算子&&||、そして!を使って可能です、そして丸括弧をグループにするのに使うことができます。これらの演算子は、普通のブール式を組み合わせるのに使われる論理演算子と同じ結合性と優先順位を持ちます。

Similar to an if statement, you can add multiple conditional branches to test for different compilation conditions. You can add any number of additional branches using #elseif clauses. You can also add a final additional branch using an #else clause. Conditional compilation blocks that contain multiple branches have the following form:
if文と同様に、あなたは複数の条件分岐を加えて、異なるコンパイル条件に対してテストすることができます。あなたは、任意の数の追加の分岐を加えることが#elseifを使って行えます。あなたはまた、最後の追加の分岐を#else節を使って加えることができます。複数の分岐を含む条件コンパイルブロックは、以下の形式を持ちます:

  • #if compilation condition 1
  • statements to compile if compilation condition 1 is true
  • #elseif compilation condition 2
  • statements to compile if compilation condition 2 is true
  • #else
  • statements to compile if both compilation conditions are false
  • #endif

Grammar of a conditional compilation block
条件コンパイルプロックの文法

conditional-compilation-block if-directive-clause­elseif-directive-clauses­opt­else-directive-clause­opt­endif-directive­

if-directive-clause if-directive­compilation-condition­statements­opt­

elseif-directive-clauses elseif-directive-clause­elseif-directive-clauses­opt­

elseif-directive-clause elseif-directive­compilation-condition­statements­opt­

else-directive-clause else-directive­statements­opt­

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-condition­

platform-condition os­operating-system­

platform-condition arch­architecture­

platform-condition swift­>=­swift-version­

platform-condition canImport­module-name­

platform-condition targetEnvironment­environment­

operating-system macOS­ iOS­ watchOS­ tvOS­

architecture i386­ x86_64­ arm­ arm64­

swift-version decimal-digits­swift-version-continuation­opt­

swift-version-continuation decimal-digits­swift-version-continuation­opt­

module-name identifier­

environment simulator­

Line Control Statement
行制御文

A line control statement is used to specify a line number and filename that can be different from the line number and filename of the source code being compiled. Use a line control statement to change the source code location used by Swift for diagnostic and debugging purposes.
行制御文は、行番号とファイル名を指定するために使われます、それはコンパイルされているソースコードの行番号とファイル名とは異なっていることが可能です。行制御文を使ってスウィフトによって使われるソースコード位置を診断上のそしてデバッグの目的で変更してください。

A line control statement has the following forms:
行制御文は以下の形式を持ちます:

  • #sourceLocation(file: filename, line: line number)
  • #sourceLocation()

The first form of a line control statement changes the values of the #line and #file literal expressions, beginning with the line of code following the line control statement. The line number changes the value of #line and is any integer literal greater than zero. The filename changes the value of #file and is a string literal.
最初の形式の行制御文は、#line#fileリテラル式の値を変更して、行制御文の後に続くコードの行で始めます。line number(行番号)は、#lineの値を変更します、そして0より大きい何らかの整数リテラルです。filename(ファイル名)は、#fileの値を変更します、そしてひとつの文字列リテラルです。

The second form of a line control statement, #sourceLocation(), resets the source code location back to the default line numbering and filename.
2番目の形式の行制御文、#sourceLocation()はソースコード位置を再設定して、初期状態の行番号振りとファイル名に戻します。

Grammar of a line control statement
行制御文の文法

line-control-statement #sourceLocation­file:­file-name­line:­line-number­

line-control-statement #sourceLocation­

line-number A decimal integer greater than zero   0より大きい10進法整数

file-name static-string-literal­

Availability Condition
有効性条件

An availability condition is used as a condition of an if, while, and guard statement to query the availability of APIs at runtime, based on specified platforms arguments.
有効性条件は、ifwhile、そしてguard文の条件として使われて、APIの有効性を実行時に、指定されたプラットホーム引数に基づいて問いただします。

An availability condition has the following form:
有効性条件は以下の形式を持ちます:

  • if #available(platform name version, ..., *) {
  •     statements to execute if the APIs are available
  • } else {
  •     fallback statements to execute if the APIs are unavailable
  • }

You use an availability condition to execute a block of code, depending on whether the APIs you want to use are available at runtime. The compiler uses the information from the availability condition when it verifies that the APIs in that block of code are available.
あなたは、有効性条件を使って、あなたが使用したいAPIが実行時に有効かどうかに基づいて、あるコードのブロックを実行します。コンパイラは、有効性条件からの情報を、それがそのブロックの中のAPIが利用可能であることを確かめる時に使います。

The availability condition takes a comma-separated list of platform names and versions. Use iOS, macOS, watchOS, and tvOS for the platform names, and include the corresponding version numbers. The * argument is required and specifies that on any other platform, the body of the code block guarded by the availability condition executes on the minimum deployment target specified by your target.
有効性条件は、プラットホーム名とバージョンのコンマ区切りのリストを取ります。プラットホーム名としてiOSmacOSwatchOS、そしてtvOSを、付随するバージョン番号を含めて使ってください*引数は必須であらゆる他のプラットホーム上を指定します、有効性条件によって保護されたコード・ブロックの本文はあなたのターゲットによって指定される最小の開発ターゲット上で実行します。

Unlike Boolean conditions, you can’t combine availability conditions using logical operators such as && and ||.
ブール条件と違って、あなたは論理演算子例えば&&||などを使って有効性条件を連結することはできません。

Grammar of an availability condition
有効性条件の文法

availability-condition #available­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 watchOS­

platform-name tvOS­

platform-version decimal-digits­

platform-version decimal-digits­decimal-digits­

platform-version decimal-digits­decimal-digits­decimal-digits­