A pattern represents the structure of a single value or a composite value. For example, the structure of a tuple (1, 2) is a comma-separated list of two elements. Because patterns represent the structure of a value rather than any one particular value, you can match them with a variety of values. For instance, the pattern (x, y) matches the tuple (1, 2) and any other two-element tuple. In addition to matching a pattern with a value, you can extract part or all of a composite value and bind each part to a constant or variable name.
あるパターンは、ある単一の値または複合の値の構造を表します。例えば、タプル(1, 2)の構造は、コンマで区切られた２つの要素のリストです。パターンがどれかひとつの特定の値ではなく値の構造を表すので、あなたはそれをいろいろな値と照合（マッチング）できます。たとえば、パターン(x, y)はタプル(1, 2)および他のどんな２要素タプルにでもマッチします。パターンを値とマッチングすることに加えて、あなたはある複合値の部分または全てを抽出して、各部分を定数や変数の名前に結び付ける（束縛する）ことができます。

In Swift, there are two basic kinds of patterns: those that successfully match any kind of value, and those that may fail to match a specified value at runtime.
スウィフトには、２つの基本的な種類のパターンがあります：あらゆる種類の値に成功裏にマッチするものたち、そして指定された値にマッチするのを実行時に失敗するものたち。

The first kind of pattern is used for destructuring values in simple variable, constant, and optional bindings. These include wildcard patterns, identifier patterns, and any value binding or tuple patterns containing them. You can specify a type annotation for these patterns to constrain them to match only values of a certain type.
最初の種類のパターンは、単純な変数、定数、およびオプショナル束縛での非構成の値に使われます。これらはワイルドカード・パターン、識別子パターン、そしてそれらを含むあらゆる値束縛やタプルパターンを含みます。あなたは型注釈をこれらのパターンに指定して、それらがある特定の型の値だけにマッチするように制約を加えることができます。

The second kind of pattern is used for full pattern matching, where the values you’re trying to match against may not be there at runtime. These include enumeration case patterns, optional patterns, expression patterns, and type-casting patterns. You use these patterns in a case label of a switch statement, a catch clause of a do statement, or in the case condition of an if, while, guard, or for-in statement.
2番目の種類のパターンは、完全なパターンマッチングのために使われます、そこにおいてあなたがマッチを試みている対象である値は実行時にそこにないかもしれません。これらは、列挙ケース節パターン、オプショナルパターン、式パターン、および型キャストパターンを含みます。あなたはこれらのパターンをswitch文のケース節ラベル、do文のcatch節において、またはif、while、guard、およびfor-in文のケース節条件において使用します。

Wildcard Pattern
ワイルドカード・パターン

A wildcard pattern matches and ignores any value and consists of an underscore (_). Use a wildcard pattern when you don’t care about the values being matched against. For example, the following code iterates through the closed range 1...3, ignoring the current value of the range on each iteration of the loop:
ワイルドカード・パターンは、どんな値にでもマッチして無視します、そしてアンダースコア（_）から成ります。あなたがマッチされている値を気にかけない場合に、ワイルドカード・パターンを使ってください。例えば、完結範囲1...3のすべてに繰り返す以下のコードは、ループの各繰り返しにおいて範囲の現在の値を無視しています：

Identifier Pattern
識別子パターン

An identifier pattern matches any value and binds the matched value to a variable or constant name. For example, in the following constant declaration, someValue is an identifier pattern that matches the value 42 of type Int:
識別子パターンは、どんな値にでもマッチして、マッチされた値を変数や定数の名前に縛りつけます。例えば、以下の定数宣言において、someValueは、型Intの値42にマッチする識別子パターンです：

When the match succeeds, the value 42 is bound (assigned) to the constant name someValue.
マッチが成功するとき、値42は、定数の名前のsomeValueに縛りつけられます（代入されます）。

When the pattern on the left-hand side of a variable or constant declaration is an identifier pattern, the identifier pattern is implicitly a subpattern of a value-binding pattern.
変数や定数宣言の左側のパターンが識別子パターンであるとき、その識別子パターンは暗黙のうちに値束縛パターンの下位パターンです。

Value-Binding Pattern
値束縛パターン

A value-binding pattern binds matched values to variable or constant names. Value-binding patterns that bind a matched value to the name of a constant begin with the let keyword; those that bind to the name of variable begin with the var keyword.
値束縛パターンは、マッチした値を変数または定数の名前に縛り付けてひとつに束ねます。マッチした値を定数の名前に束縛する値束縛パターンは、letキーワードで始まります；変数の名前と縛りつけるものは、varキーワードで始まります。

Identifiers patterns within a value-binding pattern bind new named variables or constants to their matching values. For example, you can decompose the elements of a tuple and bind the value of each element to a corresponding identifier pattern.
ある値束縛パターン内の複数の識別子パターンは、複数の新しい名前をつけられた変数または定数を、それらがマッチしている値に縛りつけます。例えば、あなたはタプルの要素を分解して、各要素の値を対応する識別子パターンへと縛り付けることができます。

In the example above, let distributes to each identifier pattern in the tuple pattern (x, y). Because of this behavior, the switch cases case let (x, y): and case (let x, let y): match the same values.
上の例で、letは、タプルパターン(x, y)における各識別子パターンに分配されます。この挙動のため、switchケース節case let (x、y):とcase (let x、let y):は、同じ値にマッチします。

Tuple Pattern
タプルパターン

A tuple pattern is a comma-separated list of zero or more patterns, enclosed in parentheses. Tuple patterns match values of corresponding tuple types.
タプルパターンは、丸括弧で囲まれた、０個以上のパターンのコンマ区切りのリストです。タプルパターンは、対応するタプル型の値にマッチします。

You can constrain a tuple pattern to match certain kinds of tuple types by using type annotations. For example, the tuple pattern (x, y): (Int, Int) in the constant declaration let (x, y): (Int, Int) = (1, 2) matches only tuple types in which both elements are of type Int.
あなたは、型注釈を使うことによって特定の種類のタプル型にマッチするようにタプルパターンに制約を加えることができます。例えば、定数宣言let (x, y): (Int, Int) = (1, 2)におけるタプルパターン(x, y): (Int, Int)は、両方の要素が型Intであるタプル型だけにマッチします。

When a tuple pattern is used as the pattern in a for-in statement or in a variable or constant declaration, it can contain only wildcard patterns, identifier patterns, optional patterns, or other tuple patterns that contain those. For example, the following code isn’t valid because the element 0 in the tuple pattern (x, 0) is an expression pattern:
タプルパターンがfor-in文においてまたは変数や定数宣言においてパターンとして使われるとき、それはワイルドカード・パターン、識別子パターン、オプショナルパターン、またはそれらを含む他のタプルパターンだけを含むことができます。例えば、以下のコードは有効ではありません、タプルパターン(x, 0)の中の要素0が式パターンであるためです：

The parentheses around a tuple pattern that contains a single element have no effect. The pattern matches values of that single element’s type. For example, the following are equivalent:
ただ１つだけの要素を含むタプルパターンのまわりの丸括弧には、効果がありません。パターンは、そのただ１つの要素の型の値にマッチします。例えば、以下のものはどれも等しいです：

Enumeration Case Pattern
列挙ケース節パターン

An enumeration case pattern matches a case of an existing enumeration type. Enumeration case patterns appear in switch statement case labels and in the case conditions of if, while, guard, and for-in statements.
列挙ケース節パターンは、既存の列挙型のケース節にマッチします。列挙ケース節パターンは、switch文のケース節ラベル（ケース節表記）において、そしてif、while、guard、およびfor-in文のケース節条件において現れます。

If the enumeration case you’re trying to match has any associated values, the corresponding enumeration case pattern must specify a tuple pattern that contains one element for each associated value. For an example that uses a switch statement to match enumeration cases containing associated values, see Associated Values.
あなたがマッチしようとしている列挙ケース節が関連値を持つならば、対応する列挙ケース節パターンは、各関連値に対して１つの要素を含んでいるタプルパターンを指定しなければなりません。関連値を含んでいる列挙ケース節にマッチするためにswitch文を使う例のために、関連値を見てください。

Optional Pattern
オプショナルパターン

An optional pattern matches values wrapped in a some(Wrapped) case of an Optional<Wrapped> enumeration. Optional patterns consist of an identifier pattern followed immediately by a question mark and appear in the same places as enumeration case patterns.
オプショナルパターンは、Optional<Wrapped>列挙のSome(Wrapped)ケース節でラップされる値にマッチします。オプショナルパターンは、１つの識別子パターンに直接に１つの疑問符が続くものから成ります、そして列挙ケース節パターンと同じ場所に現れます。

Because optional patterns are syntactic sugar for Optional enumeration case patterns, the following are equivalent:
オプショナルパターンはOptional列挙ケース節パターンに対する構文糖であるので、以下のものは等価です：

The optional pattern provides a convenient way to iterate over an array of optional values in a for-in statement, executing the body of the loop only for non-nil elements.
オプショナルパターンは、for-in文においてオプショナルの値がはいった配列の全体にわたって、ループの本文を非nilの要素のみに実行して、繰り返すための便利な方法を提供します。

Type-Casting Patterns
型キャスト・パターン

There are two type-casting patterns, the is pattern and the as pattern. The is pattern appears only in switch statement case labels. The is and as patterns have the following form:
２つの型キャスト・パターン、isパターンとasパターンがあります。isパターンは、switch文のケース節ラベルだけで見かけます。isとasパターンは以下の形式を持ちます：

The is pattern matches a value if the type of that value at runtime is the same as the type specified in the right-hand side of the is pattern—or a subclass of that type. The is pattern behaves like the is operator in that they both perform a type cast but discard the returned type.
isパターンは、ある値にマッチします、もしその値の実行時での型がisパターンの右側で指定される型 ― またはそれの型のサブクラス ― と同じものであるならば。isパターンは、それらが両方とも型キャストを実行するが返された型を捨てるという点において、is演算子のようにふるまいます。

The as pattern matches a value if the type of that value at runtime is the same as the type specified in the right-hand side of the as pattern—or a subclass of that type. If the match succeeds, the type of the matched value is cast to the pattern specified in the right-hand side of the as pattern.
asパターンは、ある値にマッチします、もしその値の実行時での型がasパターンの右側で指定される型 ― または、それの型のサブクラス ― と同じものであるならば。マッチが成功するならば、マッチされた値の型は、asパターンの右手側で指定されるパターンにキャストされます。

For an example that uses a switch statement to match values with is and as patterns, see Type Casting for Any and AnyObject.
switch文を使用して、さまざまに値をisやasパターンとマッチする例のために、AnyおよびAnyObjectに対する型キャストを見てください。

Expression Pattern
式パターン

An expression pattern represents the value of an expression. Expression patterns appear only in switch statement case labels.
式パターンは、ある式の値を表します。式パターンは、switch文のケース節ラベルにおいてのみ現れます。

The expression represented by the expression pattern is compared with the value of an input expression using the Swift standard library ~= operator. The matches succeeds if the ~= operator returns true. By default, the ~= operator compares two values of the same type using the == operator. It can also match a value with a range of values, by checking whether the value is contained within the range, as the following example shows.
式パターンによって表される式は、入力された式の値とスウィフト標準ライブラリ~=演算子を使って比較されます。~=演算子がtrueを返すならば、マッチは成功します。初期状態で、~=演算子は、同じ型の２つの値を==演算子を使用して比較します。それはまた、ある値をある範囲の値と照合することが、その値がその範囲に含まれるかどうかを調べることによって可能です、以下の例が示すように。

You can overload the ~= operator to provide custom expression matching behavior. For example, you can rewrite the above example to compare the point expression with a string representations of points.
あなたは、~=演算子をオーバーロードして、あつらえの式マッチング挙動を提供することができます。例えば、あなたは上記の例を書き直して、point式をpoint（座標）の文字列表現と比較するようにできます。