字句構造 (Lexical Structure)

最終更新日: 2023/8/11
原文: https://docs.swift.org/swift-book/ReferenceManual/LexicalStructure.html

最低水準の構成要素を使用する。

Swift の字句構造は、言語として有効なトークンを形成する文字のシーケンスを説明しています。これらの有効なトークンは、言語の最低水準の構成要素を形成し、後の章で言語の残りの部分を説明することに使用されます。トークンは、識別子、キーワード、句読点、リテラル、または演算子で構成されます。

ほとんどの場合、トークンは入力テキストから可能な限り下記に指定されている文法の制約内で最長の部分文字列を検討し、Swift ソースファイルの文字から形成されます。この動作は 最長一致または最大ムンク と呼ばれます。

空白とコメント(Whitespace and Comments)

空白には 2 つの用途があります: 1 つは、ソースファイル内でトークンを分離するため。もう 1 つは、前置、後置、および二項演算子を区別するため(Operators(演算子)を参照)。それ以外の場合は無視されます。次の文字は空白と見なされます: スペース(U+0020)、ラインフィード(U+000A)、キャリッジリターン (U+000D)、水平タブ(U+0009)、垂直タブ(U+000B)、フォームフィード(U +000C) および null(U+0000)。

コメントはコンパイラにより空白として扱われます。単一行のコメントは // で始まり、ラインフィード(U+000A) またはキャリッジリターン(U+000D) まで続きます。複数行のコメントは /* で始まり、*/ で終わります。複数行のコメントをネストすることはできますが、コメントマーカーで始まりと終わりを囲む必要があります。

Markup Formatting Referenceで説明されているとおり、コメントには追加のフォーマットとマークアップを含めることができます。

Grammar of whitespace:

whitespace → whitespace-item whitespace? \ whitespace-item → line-break \ whitespace-item → inline-space \ whitespace-item → comment \ whitespace-item → multiline-comment \ whitespace-item → U+0000, U+000B, または U+000C

line-break → U+000A \ line-break → U+000D \ line-break → U+000D followed by U+000A

inline-spaces → inline-space inline-spaces? \ inline-space → U+0009 または U+0020

comment → // comment-text line-break \ multiline-comment → /* multiline-comment-text */

comment-text → comment-text-item comment-text? \ comment-text-item → U+000A または U+000D を除く任意のUnicodeスカラ値

multiline-comment-text → multiline-comment-text-item multiline-comment-text? \ multiline-comment-text-item → multiline-comment \ multiline-comment-text-item → comment-text-item \ multiline-comment-text-item → /* または */ を除く任意のUnicodeスカラ値

識別子(Identifiers)

識別子は、大文字または小文字の A から Z、アンダースコア(_)、基本多言語平面内の非結合英数 Unicode 文字、または私用面にない基本多言語平面外の文字で始まります。最初の文字の後ろに数字と Unicode 文字を組み合わせることもできます。

宣言に public アクセスレベル修飾子がある場合でも、アンダースコアで始まる識別子、最初の引数ラベルがアンダースコアで始まるサブスクリプト、最初の引数ラベルがアンダースコアで始まるイニシャライザを internal として扱います。この規則により、宣言を public にしなければならない制限がある場合でも、フレームワークの作成者はクライアントが対話したり依存したりしてはならない API の一部をマークできます。さらに、2 つのアンダースコアで始まる識別子は Swift コンパイラと標準ライブラリ用に予約されています。

予約語を識別子として使用するには、その前後にバッククォート(`)を置きます。例えば、class は有効な識別子ではありませんが、`class` は有効です。バッククォートは識別子の一部とは見なされません。`x`と x は同じ意味です。

明示的な引数名のないクロージャ内では、引数には暗黙的に $0、$1、$2 などの名前が付けられます。これらの名前は、クロージャのスコープ内で有効な識別子です。

コンパイラは、プロパティラッパのプロジェクション値を持つプロパティにドル記号($)で始まる識別子を合成します。コード上でこれらの識別子とやり取りできますが、ドル記号($)から始まる識別子を宣言することはできません。詳細については、Attributes(属性)の章のpropertyWrapperセクションを参照ください。

Grammar of an identifier:

identifier → identifier-head identifier-characters? \ identifier → ` identifier-head identifier-characters? ` \ identifier → implicit-parameter-name \ identifier → property-wrapper-projection \ identifier-list → identifier | identifier , identifier-list

identifier-head → Upper- または lowercase letter A through Z \ identifier-head → _ \ identifier-head → U+00A8, U+00AA, U+00AD, U+00AF, U+00B2–U+00B5, または U+00B7–U+00BA \ identifier-head → U+00BC–U+00BE, U+00C0–U+00D6, U+00D8–U+00F6, または U+00F8–U+00FF \ identifier-head → U+0100–U+02FF, U+0370–U+167F, U+1681–U+180D, または U+180F–U+1DBF \ identifier-head → U+1E00–U+1FFF \ identifier-head → U+200B–U+200D, U+202A–U+202E, U+203F–U+2040, U+2054, または U+2060–U+206F \ identifier-head → U+2070–U+20CF, U+2100–U+218F, U+2460–U+24FF, または U+2776–U+2793 \ identifier-head → U+2C00–U+2DFF または U+2E80–U+2FFF \ identifier-head → U+3004–U+3007, U+3021–U+302F, U+3031–U+303F, または U+3040–U+D7FF \ identifier-head → U+F900–U+FD3D, U+FD40–U+FDCF, U+FDF0–U+FE1F, または U+FE30–U+FE44 \ identifier-head → U+FE47–U+FFFD \ identifier-head → U+10000–U+1FFFD, U+20000–U+2FFFD, U+30000–U+3FFFD, または U+40000–U+4FFFD \ identifier-head → U+50000–U+5FFFD, U+60000–U+6FFFD, U+70000–U+7FFFD, または U+80000–U+8FFFD \ identifier-head → U+90000–U+9FFFD, U+A0000–U+AFFFD, U+B0000–U+BFFFD, または U+C0000–U+CFFFD \ identifier-head → U+D0000–U+DFFFD または U+E0000–U+EFFFD

identifier-character → Digit 0 through 9 \ identifier-character → U+0300–U+036F, U+1DC0–U+1DFF, U+20D0–U+20FF, または U+FE20–U+FE2F \ identifier-character → identifier-head \ identifier-characters → identifier-character identifier-characters?

implicit-parameter-name → $ decimal-digits \ property-wrapper-projection → $ identifier-characters

単語と句読点(Keywords and Punctuation)

次のキーワードは予約されており、前述のようにバッククォート(`)でエスケープしない限り識別子としては使用できません。inout、var、let 以外のキーワードは、バッククォートでエスケープすることなく関数宣言、または関数の引数名として使用できます。メンバの名前がキーワードと同じ場合、およびメンバの参照とキーワードの使用の間に曖昧さがある場合を除いて、そのメンバへの参照をバッククォートでエスケープする必要はありません。しかし、例えば self、Type、および Protocol には明示的メンバ式の中で特別な意味があるため、そのコンテキストではバッククォートによるエスケープが必要です。

宣言で使用されるキーワード: associatedtype、class、deinit、enum、extension、fileprivate、func、import、init、inout、internal、let、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), dsohandle), error(_:)), fileID), filePath), file), function), line), and warning(_:))。

特定のコンテキストで予約されているキーワード: associativity、convenient、dynamic、didSet、final、get、infix、indirect、lazy、left、mutating、none、nonmutating、optional、override、postfix、precedence、prefix、Protocol、 required、right、set、Type、 unowned、 weak、および willSet。該当するコンテキスト外では、識別子として使用することができます

次のトークンは句読点として予約されており、カスタム演算子としては使用できません: (、 )、 {、 }、 [、 ]、 .、 ,、 :、 ;、 =、 @、 #、 &(前置演算子として)、->、`、?、および !(後置演算子として)

リテラル(Literals)

リテラルは、数値や文字列といった型の値をソースコード上で表現するものです。

下記はリテラルの例です。

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 \ boolean-literal → true | false \ 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(整数)で説明されているように、様々なサイズの符号付き整数および符号なし整数の型も定義します。

Grammar of an integer literal:

integer-literal → binary-literal \ integer-literal → octal-literal \ integer-literal → decimal-literal \ integer-literal → hexadecimal-literal

binary-literal → 0b binary-digit binary-literal-characters? \ binary-digit → Digit 0 または 1 \ binary-literal-character → binary-digit | _ \ binary-literal-characters → binary-literal-character binary-literal-characters?

octal-literal → 0o octal-digit octal-literal-characters? \ octal-digit → Digit 0 through 7 \ octal-literal-character → octal-digit | _ \ octal-literal-characters → octal-literal-character octal-literal-characters?

decimal-literal → decimal-digit decimal-literal-characters? \ decimal-digit → Digit 0 through 9 \ decimal-digits → decimal-digit decimal-digits? \ decimal-literal-character → decimal-digit | _ \ decimal-literal-characters → decimal-literal-character decimal-literal-characters?

hexadecimal-literal → 0x hexadecimal-digit hexadecimal-literal-characters? \ hexadecimal-digit → Digit 0 through 9, a through f, または A through F \ hexadecimal-literal-character → hexadecimal-digit | _ \ 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:

floating-point-literal → decimal-literal decimal-fraction? decimal-exponent? \ floating-point-literal → hexadecimal-literal hexadecimal-fraction? hexadecimal-exponent

decimal-fraction → . decimal-literal \ decimal-exponent → floating-point-e sign? decimal-literal

hexadecimal-fraction → . hexadecimal-digit hexadecimal-literal-characters? \ hexadecimal-exponent → floating-point-p sign? decimal-literal

floating-point-e → e | E \ floating-point-p → p | P \ sign → + | -

文字列リテラル(String Literals)

文字列リテラルは、引用符で囲まれた一連の文字です。単一行の文字列リテラルは二重引用符で囲まれ、次の形式になります:

"<#characters#>"

文字列リテラルには、エスケープされていない二重引用符(")、エスケープされていないバックスラッシュ (\)、キャリッジリターン、またはラインフィードを含めることはできません。

複数行の文字列リテラルは 3 つの二重引用符で囲まれ、次の形式になります。

"""
<#characters#>
"""

単一行の文字列リテラルとは異なり、複数行の文字列リテラルには、エスケープされていない二重引用符 (")、キャリッジリターン、およびラインフィードを含めることができます。3 つのエスケープされていない二重引用符を隣り合わせに含めることはできません。

複数行の文字列リテラルを開始する """ の後の改行は文字列の一部ではありません。リテラルを終了する """ の前の改行も文字列の一部ではありません。改行で開始または終了する複数行の文字列リテラルを作成するには、最初または最後の行として空白行を挿入します。

複数行の文字列リテラルはスペースとタブの任意の組み合わせを使用してインデントできます。このインデントは文字列に含まれていません。リテラルを終了する """ がインデントを決定します。リテラル内のすべての非空白行は、終わりの """ の前に表示されるものと同じインデントで開始する必要があります。タブとスペース間の変換はありません。インデントの後に追加のスペースとタブを含めることができます。これらのスペースとタブは文字列に表示されます。

複数行の文字列リテラルにおける改行は、改行文字を使用するように正規化されます。ソースファイルにキャリッジリターンとラインフィードが混在している場合でも、文字列内のすべての改行は同じになります。

複数行の文字列リテラルでは、行末にバックスラッシュ(\)を記述すると文字列からその改行が省略されます。バックスラッシュと改行の間の空白もすべて省略されます。この構文を使用すると、結果の文字列の値を変更せずにソースコードで複数行の文字列リテラルをハードラップ(文字数を指定して自動改行)することができます。

次のエスケープシーケンスを使用して、単一行形式と複数行形式の両方の文字列リテラルに特殊文字を含めることができます:

ヌル文字(\0)
バックスラッシュ(\)
水平タブ(\t)
改行(\n)
キャリッジリターン(\r)
二重引用符(\")
単一引用符(\')
Unicode スカラー(\u{n})、n は 1 ～ 8 桁の 16 進数

式の値を文字列リテラルに挿入するには、式をバックスラッシュ(\)の後に括弧で囲みます。補間された式には文字列リテラルを含めることができますが、エスケープされていないバックスラッシュ、キャリッジリターン、またはラインフィードを含めることはできません。

例えば、次の文字列リテラルはすべて同じ値です:

"1 2 3"
"1 2 \("3")"
"1 2 \(3)"
"1 2 \(1 + 2)"
let x = 3; "1 2 \(x)"

拡張区切り文字で区切られた文字列は、引用符で囲まれた一連の文字と 1 つ以上の文字列の両側に同じ数のシャープ記号(#) のセットです。拡張区切り文字で区切られた文字列には次の形式があります:

#"<#characters#>"#

#"""
<#characters#>
"""#

拡張区切り文字で区切られた文字列内の特殊文字は通常の文字として表示されます。拡張区切り文字を使用して、通常は文字列補間の生成、エスケープシーケンスの開始、文字列の終了などの特殊な効果を持つ文字を使って通常の文字列を作成できます。

次の例は、同等の文字列値を作成する拡張区切り文字で区切られた文字列リテラルと文字列を示しています:

let string = #"\(x) \ " \u{2603}"#
let escaped = "\\(x) \\ \" \\u{2603}"
print(string)
// \(x) \ " \u{2603}
print(string == escaped)
// true

複数の番号記号を使用して拡張区切り文字で区切られた文字列を形成する場合は番号記号の間に空白を入れないでください。

print(###"Line 1\###nLine 2"###) // OK
print(# # #"Line 1\# # #nLine 2"# # #) // Error

拡張区切り文字を使用して作成する複数行の文字列リテラルには、通常の複数行の文字列リテラルと同じインデントの要件が適用されます。

文字列リテラルのデフォルトで推論される型は String です。String 型の詳細については、Strings and Characters(文字列と文字)、Stringを参照ください。

+ 演算子によって連結された文字列リテラルはコンパイル時に連結されます。例えば下記の例の textA と textB の値は同じで、実行時に連結は実行されません。

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? " \ string-literal-closing-delimiter → " extended-string-literal-delimiter?

static-string-literal → string-literal-opening-delimiter quoted-text? string-literal-closing-delimiter \ 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? """ \ multiline-string-literal-closing-delimiter → """ extended-string-literal-delimiter? \ extended-string-literal-delimiter → # extended-string-literal-delimiter?

quoted-text → quoted-text-item quoted-text? \ quoted-text-item → escaped-character \ quoted-text-item → ", \, U+000A, または U+000D を除く任意のUnicodeスカラ値

multiline-quoted-text → multiline-quoted-text-item multiline-quoted-text? \ multiline-quoted-text-item → escaped-character \ multiline-quoted-text-item → \ を除く任意のUnicodeスカラ値 \ multiline-quoted-text-item → escaped-newline

interpolated-string-literal → string-literal-opening-delimiter interpolated-text? string-literal-closing-delimiter \ interpolated-string-literal → multiline-string-literal-opening-delimiter multiline-interpolated-text? multiline-string-literal-closing-delimiter

interpolated-text → interpolated-text-item interpolated-text? \ interpolated-text-item → \( expression ) | quoted-text-item

multiline-interpolated-text → multiline-interpolated-text-item multiline-interpolated-text? \ multiline-interpolated-text-item → \( expression ) | multiline-quoted-text-item

escape-sequence → \ extended-string-literal-delimiter \ escaped-character → escape-sequence 0 | escape-sequence \ | escape-sequence t | escape-sequence n | escape-sequence r | escape-sequence " | escape-sequence ' \ escaped-character → escape-sequence u { unicode-scalar-digits } \ unicode-scalar-digits → 1桁から8桁の16進数

escaped-newline → escape-sequence inline-spaces? line-break

正規表現リテラル(Regular Expression Literals)

正規表現リテラルは、次のような形でスラッシュ（/）によって囲まれた、連続した文字のことを言います:

/<#regular expression#>/

正規表現リテラルはエスケープされていないタブかスペースで始まってはいけません。また、正規表現リテラルは、エスケープされていないスラッシュ（/）、キャリッジリターン、もしくはラインフィードを含んではいけません。

正規表現リテラルの中では、バックスラッシュは、正規表現の一部として解釈され、文字列リテラル内のようにエスケープ文字としては解釈されません。バックスラッシュは、続く特殊文字が文字通りに解釈されるべき、もしくは続く非特殊文字が特別な解釈をされるべきことを示します。例えば、 /(/ は 1 つの左括弧に、そして /\d/ は一桁の数字と一致します。

拡張区切り文字によって区切られた正規表現リテラルは、スラッシュ（/）もしくは 1 つ以上の番号記号（#）の釣り合った集合によって囲まれた、連続した文字のことを言います。拡張区切り文字によって区切られた正規表現リテラルは次のように表現されます:

#/<#regular expression#>/#

#/
<#regular expression#>
/#

拡張区切り文字を利用する正規表現リテラルは、エスケープされていないスペースかタブで始めることができ、エスケープされていないスラッシュ（/）を含むことができ、さらに複数行にまたがることができます。複数行の正規表現リテラルに対しては、開始区切り文字は、行の最後に置かなければならず、終了区切り文字はそれ単体のみの行に置かなければなりません。複数行の正規表現リテラル内では、拡張正規表現構文がデフォルトで有効です。特に、ホワイトスペースは無視され、コメントは記載できます。

もし複数の番号記号を使って、拡張区切り文字構文での正規表現リテラルを構成する場合、ホワイトスペースを番号記号の間に置いてはいけません:

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 \ regular-expression → Any regular expression

regular-expression-literal-opening-delimiter → extended-regular-expression-literal-delimiter? / \ regular-expression-literal-closing-delimiter → / extended-regular-expression-literal-delimiter?

extended-regular-expression-literal-delimiter → # extended-regular-expression-literal-delimiter?

演算子(Operators)

Swift 標準ライブラリは数多くの演算子を定義します。その多くはBasic Operators(基本演算子)とAdvanced Operators(高度な演算子)で説明しています。このセクションではカスタム演算子を定義するために使用できる文字を説明します。

カスタム演算子は、ASCII 文字 /、 =、 - 、+、！、*、％、<、>、＆、|、^、？、または 〜 または下記の文法で定義されている Unicode 文字の 1 つ(これは、数学演算子、その他のシンボル、および装飾記号 Unicode ブロックからの文字を含む)で始めることができます。最初の文字の後に Unicode 文字を組み合わせることもできます。

ドット(.)で始まるカスタム演算子を定義することもできます。これらの演算子は追加のドットを含めることができます。例えば .+. は単一の演算子として扱われます。演算子がドットで始まらない場合は他の場所にドットを含めることはできません。例えば +.+ は + 演算子の後に .+ 演算子が続いているものとして扱われます。

疑問符(？)を含むカスタム演算子を定義することはできますが、単一の疑問符文字のみで構成することはできません。さらに、感嘆符(！)を含めることができますが、後置演算子は疑問符または感嘆符で始めることはできません。

NOTE
トークン =、 - >、//、/ *、* /、.、前置演算子 <、＆、および ？、中置演算子 ？、および後置演算子 >、！ は既に予約されています。これらのトークンはオーバーロードすることも、カスタム演算子として使用することもできません。

演算子の周囲のホワイトスペースは、演算子が前置演算子、後置演算子、または二項演算子として使用されるかどうかを判断するために使用されます。この動作は次の規則にまとめられています:

演算子の前後どちらにも空白がある、またはどちらにも空白がない場合は二項演算子として扱われます。例として、a+++b と a +++ b にある +++ 演算子は二項演算子として扱われます
演算子の左側のみが空白の場合は前置単項演算子として扱われます。例として、a +++b にある +++ 演算子は、前置単項演算子として扱われます
演算子の右側のみが空白の場合は後置単項演算子として扱われます。例として、a+++ b の +++ 演算子は後置単項演算子として扱われます
演算子に左側に空白ではなくドット(.)が続いている場合は、後置単項演算子として扱われます。例として、a+++.b にある +++ 演算子は後置単項演算子(a +++ .b ではなく a+++ .b)として扱われます

これらの規則によって、演算子の前の (、[、{、)、演算子の後の )、]、}、および ,、;、: も空白と見なされます。

上記の規則で注意が必要な部分があります。！ または ？ のような定義済み演算子は、左側に空白がなければ後置演算子として扱われます。これは右側に空白があるかどうかを気にしません。？ オプショナルチェーン演算子として使用する場合には、左側に空白を入れないでください。三項演算子(?:)として使用する場合には、両側に空白を入れなければなりません。

あるコンストラクトでは、先頭に < または > を持つ演算子が 2 つ以上のトークンに分割されることもあります。残りの部分も同じ方法で扱われ、再び分割される可能性があります。結果、Dictionary<String、Array<Int>> のようなコンストラクト内において > の間に曖昧さを避ける目的で空白を追加する必要はありません。この例にある > は誤って単一のトークンのビットシフト(>>)としては解釈されません。

新しいカスタム演算子を定義する方法については、Custom Operators(カスタム演算子)とOperator Declarationを参照ください。既存の演算子をオーバーロードについては、Operator Methods(演算子メソッド)を参照ください

Grammar of operators:

operator → operator-head operator-characters? \ operator → dot-operator-head dot-operator-characters

operator-head → / | = | - | + | ! | * | % | < | > | & | | | ^ | ~ | ? \ operator-head → U+00A1–U+00A7 \ operator-head → U+00A9 または U+00AB \ operator-head → U+00AC または U+00AE \ operator-head → U+00B0–U+00B1 \ operator-head → U+00B6, U+00BB, U+00BF, U+00D7, または U+00F7 \ operator-head → U+2016–U+2017 \ operator-head → U+2020–U+2027 \ operator-head → U+2030–U+203E \ operator-head → U+2041–U+2053 \ operator-head → U+2055–U+205E \ operator-head → U+2190–U+23FF \ operator-head → U+2500–U+2775 \ operator-head → U+2794–U+2BFF \ operator-head → U+2E00–U+2E7F \ operator-head → U+3001–U+3003 \ operator-head → U+3008–U+3020 \ operator-head → U+3030

operator-character → operator-head \ operator-character → U+0300–U+036F \ operator-character → U+1DC0–U+1DFF \ operator-character → U+20D0–U+20FF \ operator-character → U+FE00–U+FE0F \ operator-character → U+FE20–U+FE2F \ operator-character → U+E0100–U+E01EF \ operator-characters → operator-character operator-characters?

dot-operator-head → . \ dot-operator-character → . | operator-character \ dot-operator-characters → dot-operator-character dot-operator-characters?

infix-operator → operator \ prefix-operator → operator \ postfix-operator → operator

字句構造(Lexical Structure)