lexical_analysis.md
1> **Источник:** https://python-all.ru/3.7/reference/lexical_analysis.html2>3> «Документация Python на русском» – неофициальный перевод официальной документации Python: версии от 2.6 до 3.16, полнотекстовый поиск, английский оригинал рядом с переводом. Эта Markdown-версия страницы предназначена для работы с LLM: вставьте её в ChatGPT, Claude или Cursor.45---67# 2. Лексический анализ89Программа на Python читается *парсером*. На вход парсера подаётся поток\\n*токенов*, генерируемый *лексическим анализатором*. В этой главе описывается, как\\nлексический анализатор разбивает файл на токены.1011Python читает текст программы как кодовые точки Unicode; кодировка исходного файла может быть задана объявлением кодировки; по умолчанию используется UTF-8, см. [**PEP 3120**](https://python-all.ru/3.7/reference/lexical_analysis.html) для подробностей. Если исходный файл не удаётся декодировать, возбуждается [`SyntaxError`](https://python-all.ru/3.7/library/exceptions.html#SyntaxError).1213## 2.1. Структура строки1415Программа на Python состоит из нескольких *логических строк*.1617### 2.1.1. Логические строки1819Конец логической строки обозначается токеном NEWLINE. Инструкции не могут пересекать границы логических строк, за исключением случаев, когда NEWLINE допускается синтаксисом (например, между инструкциями в составных инструкциях). Логическая строка строится из одной или нескольких *физических строк* путём следования правилам явного или неявного *объединения строк*.2021### 2.1.2. Физические строки2223Физическая строка – это последовательность символов, завершающаяся последовательностью конца строки. В исходных файлах и строках можно использовать любые стандартные для платформы последовательности конца строки: форму Unix с использованием ASCII LF (перевод строки), форму Windows с использованием последовательности ASCII CR LF (возврат каретки и перевод строки) или старую форму Macintosh с символом ASCII CR (возврат каретки). Все эти формы взаимозаменяемы, независимо от платформы. Конец ввода также служит неявным завершителем последней физической строки.2425При встраивании Python исходные строки кода должны передаваться в API Python с использованием стандартных соглашений C для символов новой строки (символ `\n`, представляющий ASCII LF, является терминатором строки).2627### 2.1.3. Комментарии2829Комментарий начинается с символа решётки (`#`), не являющегося частью строкового литерала, и заканчивается в конце физической строки. Комментарий означает конец логической строки, если не применяются правила неявного объединения строк. Комментарии игнорируются синтаксисом.3031### 2.1.4. Объявления кодировки3233Если комментарий в первой или второй строке сценария Python соответствует регулярному выражению `coding[=:]\s*([-\w.]+)`, этот комментарий обрабатывается как объявление кодировки; первая группа этого выражения задаёт кодировку файла исходного кода. Объявление кодировки должно располагаться на отдельной строке. Если оно находится на второй строке, первая строка также должна содержать только комментарий. Рекомендуемые формы выражения кодировки:3435```python36# -*- coding: <encoding-name> -*-37```3839которая распознаётся также GNU Emacs, и4041```python42# vim:fileencoding=<encoding-name>43```4445которая распознаётся VIM от Брама Муленаара.4647Если объявление кодировки не найдено, кодировкой по умолчанию является UTF-8. Кроме того, если первые байты файла содержат метку порядка байтов UTF-8 (`b'\xef\xbb\xbf'`), то объявленная кодировка файла – UTF-8 (это поддерживается, в частности, **notepad** от Microsoft).4849Если объявлена кодировка, её имя должно распознаваться Python. Эта кодировка используется для всего лексического анализа, включая строковые литералы, комментарии и идентификаторы.5051### 2.1.5. Явное объединение строк5253Две или более физические строки могут быть объединены в логические строки с помощью символа обратной косой черты (`\`) следующим образом: если физическая строка заканчивается обратной косой чертой, которая не является частью строкового литерала или комментария, она объединяется со следующей строкой, образуя одну логическую строку; при этом обратная косая черта и следующий за ней символ конца строки удаляются. Например:5455```python56if 1900 < year < 2100 and 1 <= month <= 12 \57 and 1 <= day <= 31 and 0 <= hour < 24 \58 and 0 <= minute < 60 and 0 <= second < 60: # Похоже на корректную дату59 return 160```6162Строка, заканчивающаяся обратной косой чертой, не может содержать комментарий. Обратная косая черта не продолжает комментарий. Обратная косая черта не продолжает токен, за исключением строковых литералов (т.е. токены, отличные от строковых литералов, нельзя разделять между физическими строками с помощью обратной косой черты). Обратная косая черта недопустима в других местах строки вне строкового литерала.6364### 2.1.6. Неявное объединение строк6566Выражения в круглых, квадратных или фигурных скобках можно разбивать на несколько физических строк без использования обратной косой черты. Например:6768```python69month_names = ['Januari', 'Februari', 'Maart', # Это70 'April', 'Mei', 'Juni', # голландские названия71 'Juli', 'Augustus', 'September', # для месяцев72 'Oktober', 'November', 'December'] # года73```7475Неявно продолжаемые строки могут содержать комментарии. Отступ строк продолжения не важен. Допускаются пустые строки продолжения. Между неявно продолжаемыми строками не генерируется токен NEWLINE. Неявно продолжаемые строки также могут встречаться внутри строк в тройных кавычках (см. ниже); в этом случае они не могут содержать комментарии.7677### 2.1.7. Пустые строки7879Логическая строка, содержащая только пробелы, табуляции, символы перевода страницы и, возможно, комментарий, игнорируется (т. е. токен NEWLINE не генерируется). Во время интерактивного ввода инструкций обработка пустой строки может различаться в зависимости от реализации цикла чтения-вычисления-печати. В стандартном интерактивном интерпретаторе полностью пустая логическая строка (т. е. не содержащая даже пробельных символов или комментария) завершает многострочную инструкцию.8081### 2.1.8. Отступы8283Начальные пробельные символы (пробелы и табуляции) в начале логической строки используются для вычисления уровня отступа строки, который, в свою очередь, используется для определения группировки инструкций.8485Символы табуляции заменяются (слева направо) на от одного до восьми пробелов так, чтобы общее количество символов до и включая замену было кратно восьми (это то же правило, что используется в Unix). Общее количество пробелов перед первым непробельным символом затем определяет отступ строки. Отступ нельзя разделить на несколько физических строк с помощью обратной косой черты; пробельные символы до первой обратной косой черты определяют отступ.8687Отступ считается недопустимым, если исходный файл смешивает табуляции и пробелы таким образом, что смысл зависит от того, какому количеству пробелов равна табуляция; в этом случае возбуждается [`TabError`](https://python-all.ru/3.7/library/exceptions.html#TabError).8889**Примечание о кроссплатформенной совместимости:** из-за особенностей текстовых редакторов на платформах, отличных от UNIX, не рекомендуется использовать смесь пробелов и табуляции для отступов в одном исходном файле. Также следует отметить, что разные платформы могут явно ограничивать максимальный уровень отступа.9091Символ перевода страницы может присутствовать в начале строки; он будет игнорироваться при вычислении отступа, описанном выше. Символы перевода страницы, встречающиеся в других местах начальных пробельных символов, имеют неопределённый эффект (например, они могут сбросить счётчик пробелов до нуля).9293Уровни отступа последовательных строк используются для генерации токенов INDENT и DEDENT, применяя стек, следующим образом.9495Before the first line of the file is read, a single zero is pushed on the stack; this will never be popped off again. The numbers pushed on the stack will always be strictly increasing from bottom to top. At the beginning of each logical line, the line’s indentation level is compared to the top of the stack. If it is equal, nothing happens. If it is larger, it is pushed on the stack, and one INDENT token is generated. If it is smaller, it *must* be one of the numbers occurring on the stack; all numbers on the stack that are larger are popped off, and for each number popped off a DEDENT token is generated. At the end of the file, a DEDENT token is generated for each number remaining on the stack that is larger than zero.9697Вот пример корректно (хотя и запутанно) оформленного отступами фрагмента кода Python:9899```python100def perm(l):101 # Вычислить список всех перестановок l102 if len(l) <= 1:103 return [l]104 r = []105 for i in range(len(l)):106 s = l[:i] + l[i+1:]107 p = perm(s)108 for x in p:109 r.append(l[i:i+1] + x)110 return r111```112113Следующий пример показывает различные ошибки отступов:114115```python116 def perm(l): # ошибка: первая строка с отступом117for i in range(len(l)): # ошибка: нет отступа118 s = l[:i] + l[i+1:]119 p = perm(l[:i] + l[i+1:]) # ошибка: неожиданный отступ120 for x in p:121 r.append(l[i:i+1] + x)122 return r # ошибка: несоответствие отступа123```124125(На самом деле первые три ошибки обнаруживаются синтаксическим анализатором; только последняя ошибка обнаруживается лексическим анализатором – отступ `return r` не соответствует уровню, извлечённому из стека.)126127### 2.1.9. Пробельные символы между токенами128129За исключением начала логической строки или строковых литералов, пробельные символы (пробел, табуляция, перевод страницы) могут использоваться взаимозаменяемо для разделения токенов. Пробел требуется между двумя токенами только в том случае, если их объединение может быть интерпретировано как другой токен (например, ab – один токен, а a b – два токена).130131## 2.2. Прочие токены132133Besides NEWLINE, INDENT and DEDENT, the following categories of tokens exist: *identifiers*, *keywords*, *literals*, *operators*, and *delimiters*. Whitespace characters (other than line terminators, discussed earlier) are not tokens, but serve to delimit tokens. Where ambiguity exists, a token comprises the longest possible string that forms a legal token, when read from left to right.134135## 2.3. Identifiers and keywords136137Identifiers (also referred to as *names*) are described by the following lexical definitions.138139The syntax of identifiers in Python is based on the Unicode standard annex UAX-31, with elaboration and changes as defined below; see also [**PEP 3131**](https://python-all.ru/3.7/reference/lexical_analysis.html) for further details.140141В диапазоне ASCII (U+0001..U+007F) допустимыми символами для идентификаторов являются те же, что и в Python 2.x: прописные и строчные буквы `A` – `Z`, символ подчёркивания `_` и, за исключением первого символа, цифры `0` – `9`.142143Python 3.0 вводит дополнительные символы за пределами диапазона ASCII (см. [**PEP 3131**](https://python-all.ru/3.7/reference/lexical_analysis.html)). Для этих символов классификация использует версию базы данных символов Юникода, включённую в модуль [`unicodedata`](https://python-all.ru/3.7/library/unicodedata.html#module-unicodedata).144145Идентификаторы не имеют ограничения по длине. Регистр имеет значение.146147```148149identifier ::= xid_start xid_continue*150id_start ::= <all characters in general categories Lu, Ll, Lt, Lm, Lo, Nl, the underscore, and characters with the Other_ID_Start property>151id_continue ::= <all characters in id_start, plus characters in the categories Mn, Mc, Nd, Pc and others with the Other_ID_Continue property>152xid_start ::= <all characters in id_start whose NFKC normalization is in "id_start xid_continue*">153xid_continue ::= <all characters in id_continue whose NFKC normalization is in "id_continue*">154```155156Упомянутые выше коды категорий Unicode означают:157158- *Lu* - uppercase letters159- *Ll* - lowercase letters160- *Lt* - titlecase letters161- *Lm* - modifier letters162- *Lo* - other letters163- *Nl* - letter numbers164- *Mn* - nonspacing marks165- *Mc* - spacing combining marks166- *Nd* - decimal numbers167- *Pc* - connector punctuations168- *Other\_ID\_Start* - explicit list of characters in [PropList.txt](https://python-all.ru/3.7/reference/lexical_analysis.html) to support backwards compatibility169- *Other\_ID\_Continue* - likewise170171Все идентификаторы при разборе преобразуются в нормальную форму NFKC; сравнение идентификаторов основано на NFKC.172173Неформальный HTML-файл со списком всех допустимых символов идентификаторов для Unicode 4.1 можно найти по адресу [https://www.unicode.org/Public/13.0.0/ucd/DerivedCoreProperties.txt](https://python-all.ru/3.7/reference/lexical_analysis.html)174175### 2.3.1. Ключевые слова176177The following identifiers are used as reserved words, or *keywords* of the language, and cannot be used as ordinary identifiers. They must be spelled exactly as written here:178179```text180False await else import pass181None break except in raise182True class finally is return183and continue for lambda try184as def from nonlocal while185assert del global not with186async elif if or yield187```188189### 2.3.2. Зарезервированные классы идентификаторов190191Некоторые классы идентификаторов (помимо ключевых слов) имеют специальное значение. Эти классы определяются по шаблонам ведущих и завершающих символов подчёркивания:192193**`_*`**194195Не импортируется конструкцией `from module import *`. Специальный идентификатор `_` используется в интерактивном интерпретаторе для хранения результата последнего вычисления; он хранится в модуле [`builtins`](https://python-all.ru/3.7/library/builtins.html#module-builtins). Если не в интерактивном режиме, `_` не имеет специального значения и не определён. См. раздел [Оператор import](https://python-all.ru/3.7/reference/simple_stmts.html#import).196197> **Примечание**198>199> Имя `_` часто используется в связи с интернационализацией; обратитесь к документации модуля [`gettext`](https://python-all.ru/3.7/library/gettext.html#module-gettext) для получения дополнительной информации об этом соглашении.200201**`__*__`**202203Системные имена, неформально известные как «dunder»-имена. Эти имена определяются интерпретатором и его реализацией (включая стандартную библиотеку). Текущие системные имена обсуждаются в разделе [Специальные имена методов](https://python-all.ru/3.7/reference/datamodel.html#specialnames) и в других местах. Вероятно, в будущих версиях Python будут определены новые. *Любое* использование `__*__` имён, в любом контексте, не соответствующее явно документированному использованию, может быть нарушено без предупреждения.204205**`__*`**206207Приватные имена классов. Имена этой категории при использовании в контексте определения класса переписываются в искажённую форму, чтобы избежать конфликтов имён между «приватными» атрибутами базовых и производных классов. См. раздел [Идентификаторы (имена)](https://python-all.ru/3.7/reference/expressions.html#atom-identifiers).208209## 2.4. Литералы210211Литералы – это обозначения константных значений некоторых встроенных типов.212213### 2.4.1. Строковые литералы и литералы байтов214215Строковые литералы описываются следующими лексическими определениями:216217```218219stringliteral ::= [stringprefix](shortstring | longstring)220stringprefix ::= "r" | "u" | "R" | "U" | "f" | "F"221 | "fr" | "Fr" | "fR" | "FR" | "rf" | "rF" | "Rf" | "RF"222shortstring ::= "'" shortstringitem* "'" | '"' shortstringitem* '"'223longstring ::= "'''" longstringitem* "'''" | '"""' longstringitem* '"""'224shortstringitem ::= shortstringchar | stringescapeseq225longstringitem ::= longstringchar | stringescapeseq226shortstringchar ::= <any source character except "\" or newline or the quote>227longstringchar ::= <any source character except "\">228stringescapeseq ::= "\" <any source character>229```230231```232233bytesliteral ::= bytesprefix(shortbytes | longbytes)234bytesprefix ::= "b" | "B" | "br" | "Br" | "bR" | "BR" | "rb" | "rB" | "Rb" | "RB"235shortbytes ::= "'" shortbytesitem* "'" | '"' shortbytesitem* '"'236longbytes ::= "'''" longbytesitem* "'''" | '"""' longbytesitem* '"""'237shortbytesitem ::= shortbyteschar | bytesescapeseq238longbytesitem ::= longbyteschar | bytesescapeseq239shortbyteschar ::= <any ASCII character except "\" or newline or the quote>240longbyteschar ::= <any ASCII character except "\">241bytesescapeseq ::= "\" <any ASCII character>242```243244Одно синтаксическое ограничение, не указанное в этих продукциях, заключается в том, что пробелы не допускаются между [`stringprefix`](https://python-all.ru/3.7/reference/lexical_analysis.html#grammar-token-stringprefix) или [`bytesprefix`](https://python-all.ru/3.7/reference/lexical_analysis.html#grammar-token-bytesprefix) и остальной частью литерала. Набор символов источника определяется объявлением кодировки; по умолчанию используется UTF-8, если в исходном файле нет объявления кодировки; см. раздел [Объявления кодировок](https://python-all.ru/3.7/reference/lexical_analysis.html#encodings).245246Простыми словами: оба типа литералов могут быть заключены в парные одинарные кавычки (`'`) или двойные кавычки (`"`). Они также могут быть заключены в парные группы из трёх одинарных или двойных кавычек (обычно называются *строками в тройных кавычках*). Символ обратной косой черты (`\`) используется для экранирования символов, которые в противном случае имеют специальное значение, таких как новая строка, сама обратная косая черта или символ кавычки.247248Литералы байтов всегда имеют префикс `'b'` или `'B'`; они создают экземпляр типа [`bytes`](https://python-all.ru/3.7/library/stdtypes.html#bytes) вместо типа [`str`](https://python-all.ru/3.7/library/stdtypes.html#str). Они могут содержать только символы ASCII; байты с числовым значением 128 или больше должны быть представлены с помощью управляющих последовательностей.249250Как строковые литералы, так и литералы байтов могут необязательно иметь префикс из буквы `'r'` или `'R'`; такие строки называются *сырыми строками* и обрабатывают обратные косые черты как буквальные символы. В результате в строковых литералах экранирование `'\U'` и `'\u'` в сырых строках не обрабатывается особым образом. Учитывая, что сырые литералы Unicode в Python 2.x ведут себя иначе, чем в Python 3.x, синтаксис `'ur'` не поддерживается.251252Новое в версии 3.3: Префикс `'rb'` литералов сырых байтов добавлен как синоним `'br'`.253254Новое в версии 3.3: Поддержка устаревшего литерала Unicode (`u'value'`) была повторно введена для упрощения поддержки кодовых баз, работающих одновременно на Python 2.x и 3.x. Подробнее см. [**PEP 414**](https://python-all.ru/3.7/reference/lexical_analysis.html).255256Строковый литерал с префиксом `'f'` или `'F'` является *отформатированным строковым литералом*; см. [Форматированные строковые литералы](https://python-all.ru/3.7/reference/lexical_analysis.html#f-strings). Префикс `'f'` можно комбинировать с `'r'`, но не с `'b'` или `'u'`, поэтому возможны необработанные форматированные строки, но не форматированные литералы байтов.257258В литералах в тройных кавычках разрешены неэкранированные символы новой строки и кавычки (и они сохраняются), за исключением того, что три неэкранированные кавычки подряд завершают литерал. («Кавычка» – это символ, используемый для открытия литерала, т.е. либо `'`, либо `"`.)259260Если префикс `'r'` или `'R'` отсутствует, управляющие последовательности в строковых и байтовых литералах интерпретируются по правилам, аналогичным используемым в стандарте C. Распознаваемые управляющие последовательности:261262| Escape-последовательность | Значение | Примечания |263| --- | --- | --- |264| `\newline` | Обратная косая черта и новая строка игнорируются | |265| `\\` | Обратная косая черта (`\`) | |266| `\'` | Одинарная кавычка (`'`) | |267| `\"` | Двойная кавычка (`"`) | |268| `\a` | ASCII Звонок (BEL) | |269| `\b` | ASCII Забой (BS) | |270| `\f` | ASCII Перевод страницы (FF) | |271| `\n` | ASCII Перевод строки (LF) | |272| `\r` | ASCII Возврат каретки (CR) | |273| `\t` | ASCII горизонтальная табуляция (TAB) | |274| `\v` | ASCII вертикальная табуляция (VT) | |275| `\ooo` | Символ с восьмеричным значением *ooo* | (1,3) |276| `\xhh` | Символ с шестнадцатеричным значением *hh* | (2,3) |277278Управляющие последовательности, распознаваемые только в строковых литералах:279280| Escape-последовательность | Значение | Примечания |281| --- | --- | --- |282| `\N{name}` | Символ с именем *name* в базе данных Unicode | (4) |283| `\uxxxx` | Символ с 16-битным шестнадцатеричным значением *xxxx* | (5) |284| `\Uxxxxxxxx` | Символ с 32-битным шестнадцатеричным значением *xxxxxxxx* | (6) |285286Примечания:2872881. Как и в стандарте C, допускается до трёх восьмеричных цифр.2892. В отличие от стандартного C, требуется ровно две шестнадцатеричные цифры.2903. В байтовом литерале шестнадцатеричные и восьмеричные управляющие последовательности обозначают байт с заданным значением. В строковом литерале эти управляющие последовательности обозначают символ Unicode с заданным значением.2914. Изменено в версии 3.3: Добавлена поддержка псевдонимов имён [1](https://python-all.ru/3.7/reference/lexical_analysis.html#id13).2925. Требуется ровно четыре шестнадцатеричные цифры.2936. Любой символ Unicode может быть закодирован таким образом. Требуется ровно восемь шестнадцатеричных цифр.294295В отличие от стандарта C, все нераспознанные управляющие последовательности остаются в строке без изменений, т.е. *обратная косая черта сохраняется в результате*. (Это поведение полезно при отладке: если управляющая последовательность введена с ошибкой, полученный результат легче распознать как сломанный.) Также важно отметить, что управляющие последовательности, распознаваемые только в строковых литералах, попадают в категорию нераспознанных управляющих последовательностей для байтовых литералов.296297> Изменено в версии 3.6: Нераспознанные управляющие последовательности вызывают предупреждение DeprecationWarning. В одной из будущих версий Python они станут ошибкой SyntaxError.298299Даже в сыром литерале кавычки можно экранировать обратной косой чертой, но обратная косая черта остаётся в результате; например, `r"\""` – это допустимый строковый литерал, состоящий из двух символов: обратной косой черты и двойной кавычки; `r"\"` – это недопустимый строковый литерал (даже сырая строка не может заканчиваться нечётным количеством обратных косых черт). В частности, *сырой литерал не может заканчиваться одной обратной косой чертой* (поскольку обратная косая черта экранировала бы следующий символ кавычки). Также обратите внимание, что одиночная обратная косая черта, за которой следует новая строка, интерпретируется как эти два символа в составе литерала, *а не* как продолжение строки.300301### 2.4.2. Конкатенация строковых литералов302303Допускается несколько расположенных рядом строковых или байтовых литералов (разделённых пробелами), возможно, с использованием разных соглашений о кавычках, и их значение совпадает со значением их конкатенации. Таким образом, `"hello" 'world'` эквивалентно `"helloworld"`. Эта возможность может использоваться для уменьшения количества необходимых обратных косых черт, для удобного разбиения длинных строк на несколько строк или даже для добавления комментариев к частям строк, например:304305```python306re.compile("[A-Za-z_]" # буква или подчёркивание307 "[A-Za-z0-9_]*" # буква, цифра или подчёркивание308 )309```310311Обратите внимание, что эта возможность определена на синтаксическом уровне, но реализуется на этапе компиляции. Оператор '+' необходимо использовать для конкатенации строковых выражений во время выполнения. Также обратите внимание, что литеральная конкатенация может использовать разные стили кавычек для каждого компонента (даже смешивая сырые строки и строки в тройных кавычках), а форматированные строковые литералы могут конкатенироваться с обычными строковыми литералами.312313### 2.4.3. Форматированные строковые литералы314315Новое в версии 3.6.316317*Форматированный строковый литерал* или *f-строка* – это строковый литерал, имеющий префикс `'f'` или `'F'`. Такие строки могут содержать поля подстановки – выражения, ограниченные фигурными скобками `{}`. В то время как другие строковые литералы всегда имеют постоянное значение, форматированные строки на самом деле являются выражениями, вычисляемыми во время выполнения.318319Управляющие последовательности декодируются так же, как в обычных строковых литералах (за исключением случаев, когда литерал также помечен как сырая строка). После декодирования грамматика содержимого строки выглядит следующим образом:320321```322323f_string ::= (literal_char | "{{" | "}}" | replacement_field)*324replacement_field ::= "{" f_expression ["!" conversion] [":" format_spec] "}"325f_expression ::= (conditional_expression | "*" or_expr)326 ("," conditional_expression | "," "*" or_expr)* [","]327 | yield_expression328conversion ::= "s" | "r" | "a"329format_spec ::= (literal_char | NULL | replacement_field)*330literal_char ::= <any code point except "{", "}" or NULL>331```332333Части строки вне фигурных скобок интерпретируются буквально, за исключением того, что удвоенные фигурные скобки `'{{'` или `'}}'` заменяются на соответствующие одинарные фигурные скобки. Одиночная открывающая фигурная скобка `'{'` обозначает поле подстановки, которое начинается с выражения на Python. После выражения может быть поле преобразования, вводимое восклицательным знаком `'!'`. Также может быть добавлен спецификатор формата, вводимый двоеточием `':'`. Поле подстановки завершается закрывающей фигурной скобкой `'}'`.334335Выражения в форматированных строковых литералах обрабатываются как обычные выражения Python, заключённые в круглые скобки, за несколькими исключениями. Пустое выражение не допускается, а выражение [`lambda`](https://python-all.ru/3.7/reference/expressions.html#lambda) должно быть заключено в явные круглые скобки. Выражения подстановки могут содержать переносы строк (например, в строках с тройными кавычками), но не могут содержать комментарии. Каждое выражение вычисляется в контексте, где встречается форматированный строковый литерал, по порядку слева направо.336337Изменено в версии 3.7: До Python 3.7 выражение [`await`](https://python-all.ru/3.7/reference/expressions.html#await) и генераторы, содержащие условие [`async for`](https://python-all.ru/3.7/reference/compound_stmts.html#async-for), были недопустимы в выражениях в форматированных строковых литералах из-за проблемы в реализации.338339Если указано преобразование, результат вычисления выражения преобразуется перед форматированием. Преобразование `'!s'` вызывает [`str()`](https://python-all.ru/3.7/library/stdtypes.html#str) для результата, `'!r'` вызывает [`repr()`](https://python-all.ru/3.7/library/functions.html#repr), а `'!a'` вызывает [`ascii()`](https://python-all.ru/3.7/library/functions.html#ascii).340341Затем результат форматируется с использованием протокола [`format()`](https://python-all.ru/3.7/library/functions.html#format). Спецификатор формата передается методу [`__format__()`](https://python-all.ru/3.7/reference/datamodel.html#object.__format__) результата выражения или преобразования. Пустая строка передается, если спецификатор формата опущен. Отформатированный результат затем включается в итоговое значение всей строки.342343Спецификаторы верхнего уровня могут включать вложенные поля замены. Эти вложенные поля могут содержать собственные поля преобразования и [спецификаторы формата](https://python-all.ru/3.7/library/string.html#formatspec), но не могут содержать более глубоко вложенные поля замены. [Мини-язык спецификаторов формата](https://python-all.ru/3.7/library/string.html#formatspec) такой же, как используемый методом строк .format().344345Форматированные строковые литералы могут конкатенироваться, но поля подстановки не могут разделяться между литералами.346347Некоторые примеры форматированных строковых литералов:348349```python350>>> name = "Fred"351>>> f"He said his name is {name!r}."352"He said his name is 'Fred'."353>>> f"He said his name is {repr(name)}." # repr() эквивалентно !r354"He said his name is 'Fred'."355>>> width = 10356>>> precision = 4357>>> value = decimal.Decimal("12.34567")358>>> f"result: {value:{width}.{precision}}" # вложенные поля359'result: 12.35'360>>> today = datetime(year=2017, month=1, day=27)361>>> f"{today:%B %d, %Y}" # использование спецификатора формата даты362'January 27, 2017'363>>> number = 1024364>>> f"{number:#0x}" # использование спецификатора формата целого числа365'0x400'366```367368Следствием использования того же синтаксиса, что и у обычных строковых литералов, является то, что символы в полях подстановки не должны конфликтовать с кавычками, используемыми во внешнем форматированном строковом литерале:369370```python371f"abc {a["x"]} def" # ошибка: внешний строковый литерал закончился преждевременно372f"abc {a['x']} def" # обходной путь: используйте другие кавычки373```374375Обратные косые черты не допускаются в выражениях форматирования и вызывают ошибку:376377```python378f"newline: {ord('\n')}" # возбуждает SyntaxError379```380381Чтобы включить значение, в котором требуется экранирование обратной косой чертой, создайте временную переменную.382383```python384>>> newline = ord('\n')385>>> f"newline: {newline}"386'newline: 10'387```388389Форматированные строковые литералы нельзя использовать в качестве строк документации, даже если они не содержат выражений.390391```python392>>> def foo():393... f"Not a docstring"394...395>>> foo.__doc__ is None396True397```398399См. также [**PEP 498**](https://python-all.ru/3.7/reference/lexical_analysis.html), в котором предлагается добавление форматированных строковых литералов, и [`str.format()`](https://python-all.ru/3.7/library/stdtypes.html#str.format), в котором используется связанный механизм форматных строк.400401### 2.4.4. Числовые литералы402403Существует три типа числовых литералов: целые числа, числа с плавающей запятой и мнимые числа. Комплексных литералов нет (комплексные числа можно получить сложением действительного и мнимого чисел).404405Обратите внимание, что числовые литералы не включают знак; фраза вида `-1` на самом деле является выражением, состоящим из унарного оператора '`-`' и литерала `1`.406407### 2.4.5. Целочисленные литералы408409Целочисленные литералы описываются следующими лексическими определениями:410411```412413integer ::= decinteger | bininteger | octinteger | hexinteger414decinteger ::= nonzerodigit (["_"] digit)* | "0"+ (["_"] "0")*415bininteger ::= "0" ("b" | "B") (["_"] bindigit)+416octinteger ::= "0" ("o" | "O") (["_"] octdigit)+417hexinteger ::= "0" ("x" | "X") (["_"] hexdigit)+418nonzerodigit ::= "1"..."9"419digit ::= "0"..."9"420bindigit ::= "0" | "1"421octdigit ::= "0"..."7"422hexdigit ::= digit | "a"..."f" | "A"..."F"423```424425Не существует ограничения на длину целочисленных литералов, кроме того, что может быть сохранено в доступной памяти.426427Символы подчеркивания игнорируются при определении числового значения литерала. Они могут использоваться для группировки цифр для повышения читаемости. Один символ подчеркивания может стоять между цифрами и после указателей основания, например `0x`.428429Обратите внимание, что ведущие нули в ненулевом десятичном числе не допускаются. Это сделано для устранения неоднозначности с восьмеричными литералами в стиле C, которые Python использовал до версии 3.0.430431Некоторые примеры целочисленных литералов:432433```python4347 2147483647 0o177 0b1001101114353 79228162514264337593543950336 0o377 0xdeadbeef436 100_000_000_000 0b_1110_0101437```438439Изменено в версии 3.6: В литералах теперь разрешены символы подчёркивания для группировки.440441### 2.4.6. Литералы с плавающей запятой442443Литералы с плавающей запятой описываются следующими лексическими определениями:444445```446447floatnumber ::= pointfloat | exponentfloat448pointfloat ::= [digitpart] fraction | digitpart "."449exponentfloat ::= (digitpart | pointfloat) exponent450digitpart ::= digit (["_"] digit)*451fraction ::= "." digitpart452exponent ::= ("e" | "E") ["+" | "-"] digitpart453```454455Обратите внимание, что целая часть и часть экспоненты всегда интерпретируются с основанием 10. Например, `077e010` допустимо и обозначает то же число, что и `77e10`. Допустимый диапазон литералов с плавающей запятой зависит от реализации. Как и в целочисленных литералах, поддерживаются символы подчёркивания для группировки цифр.456457Некоторые примеры литералов с плавающей запятой:458459```python4603.14 10. .001 1e100 3.14e-10 0e0 3.14_15_93461```462463Изменено в версии 3.6: В литералах теперь разрешены символы подчёркивания для группировки.464465### 2.4.7. Мнимые литералы466467Мнимые литералы описываются следующими лексическими определениями:468469```470471imagnumber ::= (floatnumber | digitpart) ("j" | "J")472```473474Мнимый литерал даёт комплексное число с действительной частью 0.0. Комплексные числа представляются в виде пары чисел с плавающей запятой и имеют те же ограничения по диапазону. Чтобы создать комплексное число с ненулевой действительной частью, добавьте к нему число с плавающей запятой, например, `(3+4j)`. Некоторые примеры мнимых литералов:475476```python4773.14j 10.j 10j .001j 1e100j 3.14e-10j 3.14_15_93j478```479480## 2.5. Операторы481482Следующие токены являются операторами:483484```text485+ - * ** / // % @486<< >> & | ^ ~487< > <= >= == !=488```489490## 2.6. Разделители491492Следующие токены служат разделителями в грамматике:493494```text495( ) [ ] { }496, : . ; @ = ->497+= -= *= /= //= %= @=498&= |= ^= >>= <<= **=499```500501Точка может также встречаться в литералах с плавающей точкой и мнимых литералах. Последовательность из трех точек имеет особое значение как литерал многоточия. Вторая половина списка – операторы присваивания с дополнением – лексически служат разделителями, но также выполняют операцию.502503Следующие печатные ASCII-символы имеют специальное значение как часть других токенов или иным образом значимы для лексического анализатора:504505```text506' " # \507```508509Следующие печатные ASCII-символы не используются в Python. Их появление вне строковых литералов и комментариев является безусловной ошибкой:510511```text512$ ? `513```514515Сноски516517**[1](https://python-all.ru/3.7/reference/lexical_analysis.html#id10)**518519[http://www.unicode.org/Public/11.0.0/ucd/NameAliases.txt](https://python-all.ru/3.7/reference/lexical_analysis.html)520