Лексическая структура Свифта описывает, какая последовательность символов формируют допустимые маркеры языка. Эти допустимые маркеры формируют стандартные блоки самого низкого уровня языка и используются для описания остальной части языка в последующих главах. Маркер состоит из идентификатора, ключевого слова, пунктуации, литерала или оператора.

В большинстве случаев маркеры сгенерированы от символов исходного файла Swift путем рассмотрения самой длинной подстроки из входного текста в ограничениях грамматики, указанных ниже. Это поведение упоминается, поскольку жует самое долгое соответствие или максимальный.

Пробел и комментарии

Пробел имеет два использования: разделить маркеры в исходном файле и помочь определить, является ли оператор префиксом или постфиксом (см. Операторов), но иначе проигнорированы. Следующие символы считают пробелом: пространство (U+0020), перевод строки (U+000A), возврат каретки (U+000D), горизонтальная вкладка (U+0009), вертикальная вкладка (U+000B), перевод формата (U+000C) и нуль (U+0000).

Комментарии обрабатываются как пробел компилятором. Однострочные комментарии начинаются // и продолжайте до перевода строки (U+000A) или возврат каретки (U+000D). Многострочные комментарии начинаются /* и конец с */. Вложенные многострочные комментарии позволяются, но должны быть сбалансированы маркеры комментария.

Идентификаторы

Идентификаторы начинаются с прописной буквы или строчной буквы A через Z, подчеркивание (_), необъединяющийся алфавитно-цифровой символ Unicode в Основной Многоязычной Плоскости или символ вне Основной Многоязычной Плоскости, которая не находится в области Личного пользования. После первого символа также позволяются цифры и объединяющиеся символы Unicode.

Для использования зарезервированного слова в качестве идентификатора поместите обратную галочку (`) прежде и после него. Например, class не допустимый идентификатор, но `class` допустимо. Обратные галочки не считают частью идентификатора; `x` и x имейте то же значение.

В закрытии без явных названий параметра неявно называют параметры $0, $1, $2, и т.д. Эти имена являются допустимыми идентификаторами в рамках закрытия.

Ключевые слова и пунктуация

Следующие ключевые слова резервируются и не могут использоваться в качестве идентификаторов, если их не оставляют с обратными галочками, как описано выше в Идентификаторах.

• Ключевые слова использовали в объявлениях: class, deinit, enum, extension, func, import, init, internal, let, operator, private, protocol, public, static, struct, subscript, typealias, и var.

• Ключевые слова использовали в операторах: break, case, continue, default, do, else, fallthrough, for, if, in, return, switch, where, и while.

• Ключевые слова, используемые в выражениях и типах: as, dynamicType, false, is, nil, self, Self, super, true, __COLUMN__, __FILE__, __FUNCTION__, и __LINE__.

• Ключевые слова зарезервировали в определенных контекстах: associativity, convenience, dynamic, didSet, final, get, infix, inout, lazy, left, mutating, none, nonmutating, optional, override, postfix, precedence, prefix, Protocol, required, right, set, Type, unowned, weak, и willSet. Вне контекста, в котором они появляются в грамматике, они могут использоваться в качестве идентификаторов.

Следующие маркеры резервируются как пунктуация и не могут использоваться в качестве пользовательских операторов: (, ), {, }, [, ], ., ,, :, ;, =, @, #, & (как префиксный оператор), ->, `, ?, и ! (как постфиксный оператор).

Литералы

Литерал является представлением исходного кода значения типа, такого как число или строка.

Следующее является примерами литералов:

Литерал не имеет типа самостоятельно. Вместо этого литерал анализируется как наличие бесконечной точности, и вывод типа Swift пытается вывести тип для литерала. Например, в объявлении let x: Int8 = 42, Swift использует явную аннотацию типа (: Int8) вывести что тип целочисленного литерала 42 Int8. Если нет подходящей доступной информации о типе, Swift выводит, что тип литерала является одним из литеральных типов по умолчанию, определенных в библиотеке стандарта Swift. Типы по умолчанию Int для целочисленных литералов, Double для литералов с плавающей точкой, String для строковых литералов, и Bool для булевых литералов. Например, в объявлении let str = "Hello, world", значение по умолчанию вывело тип строкового литерала "Hello, world" String.

При указании аннотации типа для литерального значения тип аннотации должен быть типом, который можно инстанцировать от того литерального значения. Т.е. тип должен соответствовать одному из следующих протоколов библиотеки стандарта Swift: IntegerLiteralConvertible для целочисленных литералов, FloatingPointLiteralConvertible для литералов с плавающей точкой, StringLiteralConvertible для строковых литералов, и BooleanLiteralConvertible для булевых литералов. Например, Int8 соответствует IntegerLiteralConvertible протокол, и поэтому это может использоваться в аннотации типа для целочисленного литерала 42 в объявлении let x: Int8 = 42.

Операторы

Библиотека стандарта Swift определяет много операторов для Вашего использования, многие из которых обсуждены в Основных Операторах и Усовершенствованных Операторах. Существующий раздел описывает, какие символы могут использоваться для определения пользовательских операторов.

Пользовательские операторы могут начаться с одного из символов ASCII /, =, -, +, !, *, %, <, >, &, |, ^, ?, или ~, или один из символов Unicode определил в грамматике ниже (которые включают символы от Математических операторов, Разных Символов и блоков Unicode Графических меток, среди других). После первого символа также позволяются объединяющиеся символы Unicode. Можно также определить пользовательские операторы как последовательность двух или больше точек (например, ....). Несмотря на то, что можно определить пользовательские операторы, содержащие символ вопросительного знака (?), они не могут состоять из единственного символа вопросительного знака только.

Пробел вокруг оператора используется, чтобы определить, используется ли оператор в качестве префиксного оператора, постфиксного оператора или бинарного оператора. Это поведение получено в итоге в соблюдающих правилах:

• Если у оператора есть пробел вокруг обеих сторон или вокруг никакой стороны, он обрабатывается как бинарный оператор. Как пример, + оператор в a+b и a + b обрабатывается как бинарный оператор.

• Если у оператора есть пробел на левой стороне только, это обрабатывается как префиксный унарный оператор. Как пример, ++ оператор в a ++b обрабатывается как префиксный унарный оператор.

• Если у оператора есть пробел на правой стороне только, это обрабатывается как постфиксный унарный оператор. Как пример, ++ оператор в a++ b обрабатывается как постфиксный унарный оператор.

• Если оператор не имеет никакого пробела слева, но сразу сопровождается точкой (.), это обрабатывается как постфиксный унарный оператор. Как пример, ++ оператор в a++.b обрабатывается как постфиксный унарный оператор (a++ .b вместо a ++ .b).

В целях этих правил, символов (, [, и { перед оператором, символами ), ], и } после оператора и символов ,, ;, и : также считаются пробелом.

Существует один протест к правилам выше. Если ! или ? у предопределенного оператора нет пробела слева, это обрабатывается как постфиксный оператор, независимо от того, имеет ли это пробел справа. Использовать ? как дополнительно объединяющий в цепочку оператор, это не должно иметь пробела слева. Использовать его в троичном условном выражении (? :) оператор, это должно иметь пробел вокруг обеих сторон.

В определенных конструкциях, операторах с продвижением < или > может быть разделен на два или больше маркера. Остаток обрабатывается тот же путь и может быть разделен снова. В результате нет никакой потребности использовать пробел для устранения неоднозначности между закрытием > символы в конструкциях как Dictionary<String, Array<Int>>. В этом примере, закрытии > символы не обрабатываются как единственный маркер, который может тогда быть неправильно истолкован как маленький сдвиг >> оператор.

Чтобы изучить, как определить новые, пользовательские операторы, посмотрите Объявление Оператора и Пользовательские операторы. Чтобы изучить, как перегрузить существующих операторов, посмотрите Функции Оператора.