# 字句構造(Lexical Structure) 最終更新日: 2025/3/29\ 原文: 最低水準の構成要素を使用する。 Swift の\_字句構造\_は、言語として有効なトークンを形成する文字のシーケンスを説明しています。これらの有効なトークンは、言語の最低水準の構成要素を形成し、後の章で言語の残りの部分を説明することに使用されます。トークンは、識別子、キーワード、句読点、リテラル、または演算子で構成されます。 ほとんどの場合、トークンは入力テキストから可能な限り下記に指定されている文法の制約内で最長の部分文字列を検討し、Swift ソースファイルの文字から形成されます。この動作は *最長一致\_または\_最大ムンク* と呼ばれます。 ## 空白とコメント(Whitespace and Comments) 空白には 2 つの用途があります: 1 つは、ソースファイル内でトークンを分離するため。もう 1 つは、*前置*、*後置*、および二項演算子を区別するため([Operators(演算子)](#operators)を参照)。それ以外の場合は無視されます。次の文字は空白と見なされます: スペース(U+0020)、ラインフィード(U+000A)、キャリッジリターン (U+000D)、水平タブ(U+0009)、垂直タブ(U+000B)、フォームフィード(U +000C) および null(U+0000)。 コメントはコンパイラにより空白として扱われます。単一行のコメントは `//` で始まり、ラインフィード(U+000A) またはキャリッジリターン(U+000D) まで続きます。複数行のコメントは `/*` で始まり、`*/` で終わります。複数行のコメントをネストすることはできますが、コメントマーカーで始まりと終わりを囲む必要があります。 [Markup Formatting Reference](https://developer.apple.com/library/content/documentation/Xcode/Reference/xcode_markup_formatting_ref/index.html)で説明されているとおり、コメントには追加のフォーマットとマークアップを含めることができます。 > Grammar of whitespace: > > *whitespace* → *whitespace-item* *whitespace?*\ > \&#xNAN;*whitespace-item* → *line-break*\ > \&#xNAN;*whitespace-item* → *inline-space*\ > \&#xNAN;*whitespace-item* → *comment*\ > \&#xNAN;*whitespace-item* → *multiline-comment*\ > \&#xNAN;*whitespace-item* → U+0000, U+000B, または U+000C > > *line-break* → U+000A\ > \&#xNAN;*line-break* → U+000D\ > \&#xNAN;*line-break* → U+000D followed by U+000A > > *inline-spaces* → *inline-space* *inline-spaces?*\ > \&#xNAN;*inline-space* → U+0009 または U+0020 > > *comment* → **`//`** *comment-text* *line-break*\ > \&#xNAN;*multiline-comment* → **`/*`** *multiline-comment-text* **`*/`** > > *comment-text* → *comment-text-item* *comment-text?*\ > \&#xNAN;*comment-text-item* → U+000A または U+000D を除く任意のUnicodeスカラ値 > > *multiline-comment-text* → *multiline-comment-text-item* *multiline-comment-text?*\ > \&#xNAN;*multiline-comment-text-item* → *multiline-comment*\ > \&#xNAN;*multiline-comment-text-item* → *comment-text-item*\ > \&#xNAN;*multiline-comment-text-item* → **`/*`** または **`*/`** を除く任意のUnicodeスカラ値 ## 識別子(Identifiers) \_識別子\_は、大文字または小文字の `A` から `Z`、アンダースコア(`_`)、基本多言語平面内の非結合英数 `Unicode` 文字、または私用面にない基本多言語平面外の文字で始まります。最初の文字の後ろに数字と `Unicode` 文字を組み合わせることもできます。 宣言に `public` アクセスレベル修飾子がある場合でも、アンダースコアで始まる識別子、最初の引数ラベルがアンダースコアで始まるサブスクリプト、最初の引数ラベルがアンダースコアで始まるイニシャライザを internal として扱います。この規則により、宣言を public にしなければならない制限がある場合でも、フレームワークの作成者はクライアントが対話したり依存したりしてはならない API の一部をマークできます。さらに、2 つのアンダースコアで始まる識別子は Swift コンパイラと標準ライブラリ用に予約されています。 予約語を識別子として使用するには、その前後にバッククォート(\`)を置きます。例えば、`class` は有効な識別子ではありませんが、\`class\` は有効です。バッククォートは識別子の一部とは見なされません。\`x\`と `x` は同じ意味です。 明示的な引数名のないクロージャ内では、引数には暗黙的に `$0`、`$1`、`$2` などの名前が付けられます。これらの名前は、クロージャのスコープ内で有効な識別子です。 コンパイラは、プロパティラッパのプロジェクション値を持つプロパティにドル記号(`$`)で始まる識別子を合成します。コード上でこれらの識別子とやり取りできますが、ドル記号(`$`)から始まる識別子を宣言することはできません。詳細については、[Attributes(属性)](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/language-reference/attributes)の章の[propertyWrapper](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/attributes#propertywrapper)セクションを参照ください。 > Grammar of an identifier: > > *identifier* → *identifier-head* *identifier-characters?*\ > \&#xNAN;*identifier* → **`` ` ``** *identifier-head* *identifier-characters?* **`` ` ``**\ > \&#xNAN;*identifier* → *implicit-parameter-name*\ > \&#xNAN;*identifier* → *property-wrapper-projection*\ > \&#xNAN;*identifier-list* → *identifier* | *identifier* **`,`** *identifier-list* > > *identifier-head* → Upper- または lowercase letter A through Z\ > \&#xNAN;*identifier-head* → **`_`**\ > \&#xNAN;*identifier-head* → U+00A8, U+00AA, U+00AD, U+00AF, U+00B2–U+00B5, または U+00B7–U+00BA\ > \&#xNAN;*identifier-head* → U+00BC–U+00BE, U+00C0–U+00D6, U+00D8–U+00F6, または U+00F8–U+00FF\ > \&#xNAN;*identifier-head* → U+0100–U+02FF, U+0370–U+167F, U+1681–U+180D, または U+180F–U+1DBF\ > \&#xNAN;*identifier-head* → U+1E00–U+1FFF\ > \&#xNAN;*identifier-head* → U+200B–U+200D, U+202A–U+202E, U+203F–U+2040, U+2054, または U+2060–U+206F\ > \&#xNAN;*identifier-head* → U+2070–U+20CF, U+2100–U+218F, U+2460–U+24FF, または U+2776–U+2793\ > \&#xNAN;*identifier-head* → U+2C00–U+2DFF または U+2E80–U+2FFF\ > \&#xNAN;*identifier-head* → U+3004–U+3007, U+3021–U+302F, U+3031–U+303F, または U+3040–U+D7FF\ > \&#xNAN;*identifier-head* → U+F900–U+FD3D, U+FD40–U+FDCF, U+FDF0–U+FE1F, または U+FE30–U+FE44\ > \&#xNAN;*identifier-head* → U+FE47–U+FFFD\ > \&#xNAN;*identifier-head* → U+10000–U+1FFFD, U+20000–U+2FFFD, U+30000–U+3FFFD, または U+40000–U+4FFFD\ > \&#xNAN;*identifier-head* → U+50000–U+5FFFD, U+60000–U+6FFFD, U+70000–U+7FFFD, または U+80000–U+8FFFD\ > \&#xNAN;*identifier-head* → U+90000–U+9FFFD, U+A0000–U+AFFFD, U+B0000–U+BFFFD, または U+C0000–U+CFFFD\ > \&#xNAN;*identifier-head* → U+D0000–U+DFFFD または U+E0000–U+EFFFD > > *identifier-character* → Digit 0 through 9\ > \&#xNAN;*identifier-character* → U+0300–U+036F, U+1DC0–U+1DFF, U+20D0–U+20FF, または U+FE20–U+FE2F\ > \&#xNAN;*identifier-character* → *identifier-head*\ > \&#xNAN;*identifier-characters* → *identifier-character* *identifier-characters?* > > *implicit-parameter-name* → **`$`** *decimal-digits*\ > \&#xNAN;*property-wrapper-projection* → **`$`** *identifier-characters* ## 単語と句読点(Keywords and Punctuation) 次のキーワードは予約されており、前述のようにバッククォート(\`)でエスケープしない限り識別子としては使用できません。`inout`、`var`、`let` 以外のキーワードは、バッククォートでエスケープすることなく関数宣言、または関数の引数名として使用できます。メンバの名前がキーワードと同じ場合、およびメンバの参照とキーワードの使用の間に曖昧さがある場合を除いて、そのメンバへの参照をバッククォートでエスケープする必要はありません。しかし、例えば `self`、`Type`、および `Protocol` には明示的メンバ式の中で特別な意味があるため、そのコンテキストではバッククォートによるエスケープが必要です。 * 宣言で使用されるキーワード: `associatedtype`、`borrowing`、`class`、`consuming`、`deinit`、`enum`、`extension`、`fileprivate`、`func`、`import`、`init`、`inout`、`internal`、`let`、`nonisolated`、`open`、`operator`、`private`、`protocol`、`public`、`rethrows`、`static`、`struct`、`subscript`、`typealias`、および `var` * 文で使用されるキーワード: `break`、`case`、`continue`、`default`、`defer`、`do`、`else`、`fallthrough`、`for`、`guard`、`if`、`in`、`repeat`、`return`、`switch`、`where`、`while` * 式と型で使用されるキーワード: `Any`、`as`、`await`、`catch`、`false`、`is`、`nil`、`super`、`self`、`Self`、`throw`、`throws`、`true`、および `try` * パターンで使用されるキーワード: `_` * シャープ記号(`#`)で始まるキーワード: `#available`、`#colorLiteral`、`#else`、`#elseif`、`#endif`、`#if`、`#imageLiteral`、`#selector`、`#sourceLocation`、`#unavailable` > NOTE\ > Swift 5.9以前は、以下の特殊リテラルが認識されていました:\ > `#column`, `#dsohandle` , `#error`, `#fileID`, `#filePath`, `#file`, `#function`, `#line`, `#warning`。現在はSwift標準ライブラリのマクロとして実装されています:\ > [`column`](https://developer.apple.com/documentation/swift/column\(\)), [`dsohandle`](https://developer.apple.com/documentation/swift/dsohandle\(\)), [`error(_:)`](https://developer.apple.com/documentation/swift/error\(_:\)), [`fileID`](https://developer.apple.com/documentation/swift/fileID\(\)), [`filePath`](https://developer.apple.com/documentation/swift/filePath\(\)), [`file`](https://developer.apple.com/documentation/swift/file\(\)), [`function`](https://developer.apple.com/documentation/swift/function\(\)), [`line`](https://developer.apple.com/documentation/swift/line\(\)), and [`warning(_:)`](https://developer.apple.com/documentation/swift/warning\(_:\))。 * 特定のコンテキストで予約されているキーワード: `associativity`、`convenient`、`dynamic`、`didSet`、`final`、`get`、`infix`、`indirect`、`lazy`、`left`、`mutating`、`none`、`nonmutating`、`optional`、`override`、`postfix`、`package`、`precedence`、`prefix`、`Protocol`、 `required`、`right`、`set`、`Type`、 `unowned`、 `weak`、 および `willSet`。該当するコンテキスト外では、識別子として使用することができます 次のトークンは句読点として予約されており、カスタム演算子としては使用できません: `(`、 `)`、 `{`、 `}`、 `[`、 `]`、 `.`、 `,`、 `:`、 `;`、 `=`、 `@`、 `#`、 `&`(前置演算子として)、`->`、\`、`?`、および `!`(後置演算子として) ## リテラル(Literals) \_リテラル\_は、数値や文字列といった型の値をソースコード上で表現するものです。 下記はリテラルの例です。 ```swift 42 // 整数リテラル 3.14159 // 浮動小数点リテラル "Hello, world!" // 文字列リテラル true // ブールリテラル ``` リテラルそれ自体に型はありません。代わりに、リテラルは無限の精度を持つものとして解析され、Swift の型推論はリテラルの型を推論しようとします。例えば、宣言 `let x: Int8 = 42` では、Swift は明示的な型注釈(`: Int8`)を使用して整数リテラル `42` の型が `Int8` だと推論します。適切な型情報が利用できない場合、Swift はリテラルの型が Swift 標準ライブラリで定義されているデフォルトのリテラル型の 1 つだと推論します。デフォルトの型は、整数リテラルの場合は `Int`、浮動小数点リテラルの場合は `Double`、文字列リテラルの場合は `String`、ブールリテラルの場合は `Bool` です。例えば、`let str = "Hello, world"` という宣言では、文字列リテラル `"Hello, world"` のデフォルトの推論型は `String` です。 リテラル値の型注釈を明記する場合、注釈の型がそのリテラル値からインスタンス化できる型でなければなりません。つまり、注釈の型が次の Swift 標準ライブラリのプロトコルのいずれかに準拠している必要があります: 整数リテラルは `ExpressibleByIntegerLiteral`、浮動小数点リテラルは `ExpressibleByFloatLiteral`、文字列リテラルは `ExpressibleByStringLiteral`、ブールリテラルは `ExpressibleByBooleanLiteral`、単一の Unicode スカラのみを含む文字列リテラルは `ExpressibleByUnicodeScalarLiteral`、および単一の拡張書記素クラスタのみを含む文字列リテラルは `ExpressibleByExtendedGraphemeClusterLiteral`。例えば、`Int8` は `ExpressibleByIntegerLiteral` プロトコルに準拠しているため、宣言 `let x: Int8 = 42` の整数リテラル `42` の型注釈で使用できます。 > Grammar of a literal: > > *literal* → *numeric-literal* | *string-literal* | *regular-expression-literal* | *boolean-literal* | *nil-literal* > > *numeric-literal* → **`-`***?* *integer-literal* | **`-`***?* *floating-point-literal*\ > \&#xNAN;*boolean-literal* → **`true`** | **`false`**\ > \&#xNAN;*nil-literal* → **`nil`** ### 整数リテラル(Integer Literals) \_整数リテラル\_は不特定の精度の整数値を表します。デフォルトの整数リテラルは 10 進数で表され、前置を使用して他の基数を表現することもできます。2 進数リテラルは `0b` で始まり、8 進数リテラルは `0o` で始まり、16 進数リテラルは `0x` で始まります。 10 進数リテラルには `0` ～ `9` の数字が含まれます。2 進数リテラルには `0` と `1` が含まれ、8 進数リテラルには `0` ～ `7` が含まれ、16 進数リテラルには `0` ～ `9` および大文字または小文字の `A` ～ `F` が含まれます。 負の整数リテラルは、`-42` のように、整数リテラルの前にマイナス記号(`-`)を付けることで表現されます。 数字の間には読みやすさのためにアンダースコア(`_`)を使用できますが、それ自体は無視されるのでリテラルの値には影響しません。整数リテラルの先頭はゼロ(`0`)で始めることができますが、同様に無視されるのでリテラルの基数または値には影響しません。 特に指定がない限り、整数リテラルのデフォルトの推論型は Swift 標準ライブラリの `Int` 型です。Swift 標準ライブラリは、[Integers(整数)](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/language-guide/the-basics#integers)で説明されているように、様々なサイズの符号付き整数および符号なし整数の型も定義します。 > Grammar of an integer literal: > > *signed-integer-literal* → **`-`***?* *integer-literal*\ > \&#xNAN;*integer-literal* → *binary-literal*\ > \&#xNAN;*integer-literal* → *octal-literal*\ > \&#xNAN;*integer-literal* → *decimal-literal*\ > \&#xNAN;*integer-literal* → *hexadecimal-literal* > > *binary-literal* → **`0b`** *binary-digit* *binary-literal-characters?*\ > \&#xNAN;*binary-digit* → Digit 0 または 1\ > \&#xNAN;*binary-literal-character* → *binary-digit* | **`_`**\ > \&#xNAN;*binary-literal-characters* → *binary-literal-character* *binary-literal-characters?* > > *octal-literal* → **`0o`** *octal-digit* *octal-literal-characters?*\ > \&#xNAN;*octal-digit* → Digit 0 through 7\ > \&#xNAN;*octal-literal-character* → *octal-digit* | **`_`**\ > \&#xNAN;*octal-literal-characters* → *octal-literal-character* *octal-literal-characters?* > > *decimal-literal* → *decimal-digit* *decimal-literal-characters?*\ > \&#xNAN;*decimal-digit* → Digit 0 through 9\ > \&#xNAN;*decimal-digits* → *decimal-digit* *decimal-digits?*\ > \&#xNAN;*decimal-literal-character* → *decimal-digit* | **`_`**\ > \&#xNAN;*decimal-literal-characters* → *decimal-literal-character* *decimal-literal-characters?* > > *hexadecimal-literal* → **`0x`** *hexadecimal-digit* *hexadecimal-literal-characters?*\ > \&#xNAN;*hexadecimal-digit* → Digit 0 through 9, a through f, または A through F\ > \&#xNAN;*hexadecimal-literal-character* → *hexadecimal-digit* | **`_`**\ > \&#xNAN;*hexadecimal-literal-characters* → *hexadecimal-literal-character* *hexadecimal-literal-characters?* ### 浮動小数点リテラル(Floating-Point Literals) \_浮動小数点リテラル\_は不特定の精度の浮動小数点値を表します。 デフォルトの浮動小数点リテラルは 10 進数(前置なし)で表されますが、16 進数(`0x` 前置付き)で表すこともできます。 10 進数の浮動小数点リテラルは、10 進数の数字のシーケンスとそれに続く 10 進数の小数、10 進数の指数、またはその両方で構成されます。小数部は小数点(`.`)とそれに続く一連の 10 進数で構成されます。指数は大文字または小文字の前置の `e` とその後に続く 10 進数の数字のシーケンスで構成され、`e` の前の値に 10 の累乗が掛けられます。例えば `1.25e2` は 1.25 x $$10^2$$ を表し、`125.0` と評価されます。同様に、`1.25e-2` は 1.25 x $$10^{-2}$$ を表し、`0.0125` と評価されます。 16 進数の浮動小数点リテラルは、前置 `0x`、オプションの 16 進数の小数、16 進数の指数で構成されます。16 進数は小数点とそれに続く 16 進数の数字で構成されます。指数は大文字または小文字の前置の `p` とその後に続く 10 進数の数字のシーケンスで構成されます。これは `p` の前の値に乗算される 2 のべき乗を示します。例えば `0xFp2` は 15 x $$2^2$$ を表し、`60` と評価されます。同様に `0xFp-2` は 15 x $$2^{-2}$$ を表し、`3.75` と評価されます。 負の浮動小数点リテラルは、`-42.5` のようにリテラルの前にマイナス記号(`-`)を付けることで表現されます。 数字の間には読みやすさのためにアンダースコア(`_`)を使用できますが、無視されるため、リテラルの値には影響しません。浮動小数点リテラルの先行はゼロ(`0`)で始めることができますが、同様に無視されるのでリテラルの基数または値には影響しません。 特に指定されていない限り、浮動小数点リテラルのデフォルトの推論型は 64 ビット浮動小数点数を表す Swift の標準ライブラリ `Double` 型です。Swift 標準ライブラリでは 32 ビットの浮動小数点数を表す `Float` 型も定義されています。 > Grammar of a floating-point literal: > > *signed-floating-point-literal* → **`-`***?* *floating-point-literal*\ > \&#xNAN;*floating-point-literal* → *decimal-literal* *decimal-fraction?* *decimal-exponent?*\ > \&#xNAN;*floating-point-literal* → *hexadecimal-literal* *hexadecimal-fraction?* *hexadecimal-exponent* > > *decimal-fraction* → **`.`** *decimal-literal*\ > \&#xNAN;*decimal-exponent* → *floating-point-e* *sign?* *decimal-literal* > > *hexadecimal-fraction* → **`.`** *hexadecimal-digit* *hexadecimal-literal-characters?*\ > \&#xNAN;*hexadecimal-exponent* → *floating-point-p* *sign?* *decimal-literal* > > *floating-point-e* → **`e`** | **`E`**\ > \&#xNAN;*floating-point-p* → **`p`** | **`P`**\ > \&#xNAN;*sign* → **`+`** | **`-`** ### 文字列リテラル(String Literals) \_文字列リテラル\_は、引用符で囲まれた一連の文字です。単一行の文字列リテラルは二重引用符で囲まれ、次の形式になります: ```swift "<#characters#>" ``` 文字列リテラルには、エスケープされていない二重引用符(`"`)、エスケープされていないバックスラッシュ (`\`)、キャリッジリターン、またはラインフィードを含めることはできません。 複数行の文字列リテラルは 3 つの二重引用符で囲まれ、次の形式になります。 ```swift """ <#characters#> """ ``` 単一行の文字列リテラルとは異なり、複数行の文字列リテラルには、エスケープされていない二重引用符 (`"`)、キャリッジリターン、およびラインフィードを含めることができます。3 つのエスケープされていない二重引用符を隣り合わせに含めることはできません。 複数行の文字列リテラルを開始する `"""` の後の改行は文字列の一部ではありません。リテラルを終了する `"""` の前の改行も文字列の一部ではありません。改行で開始または終了する複数行の文字列リテラルを作成するには、最初または最後の行として空白行を挿入します。 複数行の文字列リテラルはスペースとタブの任意の組み合わせを使用してインデントできます。このインデントは文字列に含まれていません。リテラルを終了する `"""` がインデントを決定します。リテラル内のすべての非空白行は、終わりの `"""` の前に表示されるものと同じインデントで開始する必要があります。タブとスペース間の変換はありません。インデントの後に追加のスペースとタブを含めることができます。これらのスペースとタブは文字列に表示されます。 複数行の文字列リテラルにおける改行は、改行文字を使用するように正規化されます。ソースファイルにキャリッジリターンとラインフィードが混在している場合でも、文字列内のすべての改行は同じになります。 複数行の文字列リテラルでは、行末にバックスラッシュ(`\`)を記述すると文字列からその改行が省略されます。バックスラッシュと改行の間の空白もすべて省略されます。この構文を使用すると、結果の文字列の値を変更せずにソースコードで複数行の文字列リテラルをハードラップ(文字数を指定して自動改行)することができます。 次のエスケープシーケンスを使用して、単一行形式と複数行形式の両方の文字列リテラルに特殊文字を含めることができます: * ヌル文字(`\0`) * バックスラッシュ(`\`) * 水平タブ(`\t`) * 改行(`\n`) * キャリッジリターン(`\r`) * 二重引用符(`\"`) * 単一引用符(`\'`) * Unicode スカラー(`\u{n}`)、`n` は 1 ～ 8 桁の 16 進数 式の値を文字列リテラルに挿入するには、式をバックスラッシュ(`\`)の後に括弧で囲みます。補間された式には文字列リテラルを含めることができますが、エスケープされていないバックスラッシュ、キャリッジリターン、またはラインフィードを含めることはできません。 例えば、次の文字列リテラルはすべて同じ値です: ```swift "1 2 3" "1 2 \("3")" "1 2 \(3)" "1 2 \(1 + 2)" let x = 3; "1 2 \(x)" ``` 拡張区切り文字で区切られた文字列は、引用符で囲まれた一連の文字と 1 つ以上の文字列の両側に同じ数のシャープ記号(`#`) のセットです。拡張区切り文字で区切られた文字列には次の形式があります: ```swift #"<#characters#>"# #""" <#characters#> """# ``` 拡張区切り文字で区切られた文字列内の特殊文字は通常の文字として表示されます。拡張区切り文字を使用して、通常は文字列補間の生成、エスケープシーケンスの開始、文字列の終了などの特殊な効果を持つ文字を使って通常の文字列を作成できます。 次の例は、同等の文字列値を作成する拡張区切り文字で区切られた文字列リテラルと文字列を示しています: ```swift let string = #"\(x) \ " \u{2603}"# let escaped = "\\(x) \\ \" \\u{2603}" print(string) // \(x) \ " \u{2603} print(string == escaped) // true ``` 複数の番号記号を使用して拡張区切り文字で区切られた文字列を形成する場合は番号記号の間に空白を入れないでください。 ```swift print(###"Line 1\###nLine 2"###) // OK print(# # #"Line 1\# # #nLine 2"# # #) // Error ``` 拡張区切り文字を使用して作成する複数行の文字列リテラルには、通常の複数行の文字列リテラルと同じインデントの要件が適用されます。 文字列リテラルのデフォルトで推論される型は `String` です。`String` 型の詳細については、[Strings and Characters(文字列と文字)](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/language-guide/strings-and-characters)、[String](https://developer.apple.com/documentation/swift/string)を参照ください。 `+` 演算子によって連結された文字列リテラルはコンパイル時に連結されます。例えば下記の例の `textA` と `textB` の値は同じで、実行時に連結は実行されません。 ```swift let textA = "Hello " + "world" let textB = "Hello world" ``` > Grammar of a string literal: > > *string-literal* → *static-string-literal* | *interpolated-string-literal* > > *string-literal-opening-delimiter* → *extended-string-literal-delimiter?* **`"`**\ > \&#xNAN;*string-literal-closing-delimiter* → **`"`** *extended-string-literal-delimiter?* > > *static-string-literal* → *string-literal-opening-delimiter* *quoted-text?* *string-literal-closing-delimiter*\ > \&#xNAN;*static-string-literal* → *multiline-string-literal-opening-delimiter* *multiline-quoted-text?* *multiline-string-literal-closing-delimiter* > > *multiline-string-literal-opening-delimiter* → *extended-string-literal-delimiter?* **`"""`**\ > \&#xNAN;*multiline-string-literal-closing-delimiter* → **`"""`** *extended-string-literal-delimiter?*\ > \&#xNAN;*extended-string-literal-delimiter* → **`#`** *extended-string-literal-delimiter?* > > *quoted-text* → *quoted-text-item* *quoted-text?*\ > \&#xNAN;*quoted-text-item* → *escaped-character*\ > \&#xNAN;*quoted-text-item* → **`"`**, **`\`**, U+000A, または U+000D を除く任意のUnicodeスカラ値 > > *multiline-quoted-text* → *multiline-quoted-text-item* *multiline-quoted-text?*\ > \&#xNAN;*multiline-quoted-text-item* → *escaped-character*\ > \&#xNAN;*multiline-quoted-text-item* → **`\`** を除く任意のUnicodeスカラ値\ > \&#xNAN;*multiline-quoted-text-item* → *escaped-newline* > > *interpolated-string-literal* → *string-literal-opening-delimiter* *interpolated-text?* *string-literal-closing-delimiter*\ > \&#xNAN;*interpolated-string-literal* → *multiline-string-literal-opening-delimiter* *multiline-interpolated-text?* *multiline-string-literal-closing-delimiter* > > *interpolated-text* → *interpolated-text-item* *interpolated-text?*\ > \&#xNAN;*interpolated-text-item* → **`\(`** *expression* **`)`** | *quoted-text-item* > > *multiline-interpolated-text* → *multiline-interpolated-text-item* *multiline-interpolated-text?*\ > \&#xNAN;*multiline-interpolated-text-item* → **`\(`** *expression* **`)`** | *multiline-quoted-text-item* > > *escape-sequence* → **`\`** *extended-string-literal-delimiter*\ > \&#xNAN;*escaped-character* → *escape-sequence* **`0`** | *escape-sequence* **`\`** | *escape-sequence* **`t`** | *escape-sequence* **`n`** | *escape-sequence* **`r`** | *escape-sequence* **`"`** | *escape-sequence* **`'`**\ > \&#xNAN;*escaped-character* → *escape-sequence* **`u`** **`{`** *unicode-scalar-digits* **`}`**\ > \&#xNAN;*unicode-scalar-digits* → 1桁から8桁の16進数 > > *escaped-newline* → *escape-sequence* *inline-spaces?* *line-break* ### 正規表現リテラル(Regular Expression Literals) 正規表現リテラルは、次のような形でスラッシュ（/）によって囲まれた、連続した文字のことを言います: ```swift /<#regular expression#>/ ``` 正規表現リテラルはエスケープされていないタブかスペースで始まってはいけません。また、正規表現リテラルは、エスケープされていないスラッシュ（/）、キャリッジリターン、もしくはラインフィードを含んではいけません。 正規表現リテラルの中では、バックスラッシュは、正規表現の一部として解釈され、文字列リテラル内のようにエスケープ文字としては解釈されません。バックスラッシュは、続く特殊文字が文字通りに解釈されるべき、もしくは続く非特殊文字が特別な解釈をされるべきことを示します。例えば、 /(/ は 1 つの左括弧に、そして /\d/ は一桁の数字と一致します。 拡張区切り文字によって区切られた正規表現リテラルは、スラッシュ（/）もしくは 1 つ以上の番号記号（#）の釣り合った集合によって囲まれた、連続した文字のことを言います。拡張区切り文字によって区切られた正規表現リテラルは次のように表現されます: ```swift #/<#regular expression#>/# #/ <#regular expression#> /# ``` 拡張区切り文字を利用する正規表現リテラルは、エスケープされていないスペースかタブで始めることができ、エスケープされていないスラッシュ（/）を含むことができ、さらに複数行にまたがることができます。複数行の正規表現リテラルに対しては、開始区切り文字は、行の最後に置かなければならず、終了区切り文字はそれ単体のみの行に置かなければなりません。複数行の正規表現リテラル内では、拡張正規表現構文がデフォルトで有効です。特に、ホワイトスペースは無視され、コメントは記載できます。 もし複数の番号記号を使って、拡張区切り文字構文での正規表現リテラルを構成する場合、ホワイトスペースを番号記号の間に置いてはいけません: ```swift let regex1 = ##/abc/## // OK let regex2 = # #/abc/# # // Error ``` もし空の正規表現リテラルを作る必要がある場合、 拡張区切り文字構文を使わなければいけません。 > Grammar of a regular expression literal: > > *regular-expression-literal* → *regular-expression-literal-opening-delimiter* *regular-expression* *regular-expression-literal-closing-delimiter*\ > \&#xNAN;*regular-expression* → Any regular expression > > *regular-expression-literal-opening-delimiter* → *extended-regular-expression-literal-delimiter?* **`/`**\ > \&#xNAN;*regular-expression-literal-closing-delimiter* → **`/`** *extended-regular-expression-literal-delimiter?* > > *extended-regular-expression-literal-delimiter* → **`#`** *extended-regular-expression-literal-delimiter?* ## 演算子(Operators) Swift 標準ライブラリは数多くの\_演算子\_を定義します。その多くは[Basic Operators(基本演算子)](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/language-guide/basic-operators)と[Advanced Operators(高度な演算子)](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/language-guide/advanced-operators)で説明しています。このセクションではカスタム演算子を定義するために使用できる文字を説明します。 カスタム演算子は、ASCII 文字 `/`、 `=`、 `-` 、`+`、`！`、`*`、`％`、`<`、`>`、`＆`、`|`、`^`、`？`、または `〜` または下記の文法で定義されている Unicode 文字の 1 つ(これは、数学演算子、その他のシンボル、および装飾記号 Unicode ブロックからの文字を含む)で始めることができます。最初の文字の後に Unicode 文字を組み合わせることもできます。 ドット(`.`)で始まるカスタム演算子を定義することもできます。これらの演算子は追加のドットを含めることができます。例えば `.+.` は単一の演算子として扱われます。演算子がドットで始まらない場合は他の場所にドットを含めることはできません。例えば `+.+` は `+` 演算子の後に `.+` 演算子が続いているものとして扱われます。 疑問符(`？`)を含むカスタム演算子を定義することはできますが、単一の疑問符文字のみで構成することはできません。さらに、感嘆符(`！`)を含めることができますが、後置演算子は疑問符または感嘆符で始めることはできません。 > NOTE\ > トークン `=`、 `-` `>`、`//`、`/ *`、`* /`、`.`、前置演算子 `<`、`＆`、および `？`、中置演算子 `？`、および 後置演算子 `>`、`！` は既に予約されています。これらのトークンはオーバーロードすることも、カスタム演算子として使用することもできません。 演算子の周囲のホワイトスペースは、演算子が前置演算子、後置演算子、または二項演算子として使用されるかどうかを判断するために使用されます。この動作は次の規則にまとめられています: * 演算子の前後どちらにも空白がある、またはどちらにも空白がない場合は二項演算子として扱われます。例として、`a+++b` と `a +++ b` にある `+++` 演算子は二項演算子として扱われます * 演算子の左側のみが空白の場合は前置単項演算子として扱われます。例として、`a +++b` にある `+++` 演算子は、前置単項演算子として扱われます * 演算子の右側のみが空白の場合は後置単項演算子として扱われます。例として、`a+++ b` の `+++` 演算子は後置単項演算子として扱われます * 演算子に左側に空白ではなくドット(`.`)が続いている場合は、後置単項演算子として扱われます。例として、`a+++.b` にある `+++` 演算子は後置単項演算子(`a +++ .b` ではなく `a+++ .b`)として扱われます これらの規則によって、演算子の前の `(`、`[`、`{`、`)`、演算子の後の `)`、`]`、`}`、および `,`、`;`、`:` も空白と見なされます。 上記の規則で注意が必要な部分があります。`！` または `？` のような定義済み演算子は、左側に空白がなければ後置演算子として扱われます。これは右側に空白があるかどうかを気にしません。`？` オプショナルチェーン演算子として使用する場合には、左側に空白を入れないでください。三項演算子(`?:`)として使用する場合には、両側に空白を入れなければなりません。 あるコンストラクトでは、先頭に `<` または `>` を持つ演算子が 2 つ以上のトークンに分割されることもあります。残りの部分も同じ方法で扱われ、再び分割される可能性があります。結果、`Dictionary>` のようなコンストラクト内において `>` の間に曖昧さを避ける目的で空白を追加する必要はありません。この例にある `>` は誤って単一のトークンのビットシフト(`>>`)としては解釈されません。 新しいカスタム演算子を定義する方法については、[Custom Operators(カスタム演算子)](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/language-guide/advanced-operators#custom-operators)と[Operator Declaration](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/declarations#operator-declaration演算子宣言)を参照ください。既存の演算子をオーバーロードについては、[Operator Methods(演算子メソッド)](https://swift-programming-language-jp.gitbook.io/the-swift-programming-language-jp/declarations#operator-declaration)を参照ください > Grammar of operators: > > *operator* → *operator-head* *operator-characters?*\ > \&#xNAN;*operator* → *dot-operator-head* *dot-operator-characters* > > *operator-head* → **`/`** | **`=`** | **`-`** | **`+`** | **`!`** | **`*`** | **`%`** | **`<`** | **`>`** | **`&`** | **`|`** | **`^`** | **`~`** | **`?`**\ > \&#xNAN;*operator-head* → U+00A1–U+00A7\ > \&#xNAN;*operator-head* → U+00A9 または U+00AB\ > \&#xNAN;*operator-head* → U+00AC または U+00AE\ > \&#xNAN;*operator-head* → U+00B0–U+00B1\ > \&#xNAN;*operator-head* → U+00B6, U+00BB, U+00BF, U+00D7, または U+00F7\ > \&#xNAN;*operator-head* → U+2016–U+2017\ > \&#xNAN;*operator-head* → U+2020–U+2027\ > \&#xNAN;*operator-head* → U+2030–U+203E\ > \&#xNAN;*operator-head* → U+2041–U+2053\ > \&#xNAN;*operator-head* → U+2055–U+205E\ > \&#xNAN;*operator-head* → U+2190–U+23FF\ > \&#xNAN;*operator-head* → U+2500–U+2775\ > \&#xNAN;*operator-head* → U+2794–U+2BFF\ > \&#xNAN;*operator-head* → U+2E00–U+2E7F\ > \&#xNAN;*operator-head* → U+3001–U+3003\ > \&#xNAN;*operator-head* → U+3008–U+3020\ > \&#xNAN;*operator-head* → U+3030 > > *operator-character* → *operator-head*\ > \&#xNAN;*operator-character* → U+0300–U+036F\ > \&#xNAN;*operator-character* → U+1DC0–U+1DFF\ > \&#xNAN;*operator-character* → U+20D0–U+20FF\ > \&#xNAN;*operator-character* → U+FE00–U+FE0F\ > \&#xNAN;*operator-character* → U+FE20–U+FE2F\ > \&#xNAN;*operator-character* → U+E0100–U+E01EF\ > \&#xNAN;*operator-characters* → *operator-character* *operator-characters?* > > *dot-operator-head* → **`.`**\ > \&#xNAN;*dot-operator-character* → **`.`** | *operator-character*\ > \&#xNAN;*dot-operator-characters* → *dot-operator-character* *dot-operator-characters?* > > *infix-operator* → *operator*\ > \&#xNAN;*prefix-operator* → *operator*\ > \&#xNAN;*postfix-operator* → *operator*