В Python 3.2, «лямбда» считается «ключевым словом», «оператором» или обоими?

Question

В Python 3.2, в соответствии с этим: http://docs.python.org/py3k/reference/expressions.html#summary

lambda является оператором с самым низким приоритетом в Python.

И в соответствии с этим: http://docs.python.org/py3k/reference/lexical_analysis.html#keywords

lambda является языком Python ключевым словом.

ОДНАКО, в соответствии с этим: http://docs.python.org/py3k/reference/lexical_analysis.html#other-tokens

Операторы и ключевые слова являются различными объектами.

Я пытаюсь систематически объяснить Python 3.2 кому-то, и я не хочу их путать. Я, сам, в замешательстве, однако, о точных определениях операторов и ключевых слов.

Мое лучшее предположение заключается в том, что термин «оператор» означает нечто немного отличающееся при использовании в контексте парсера Python по сравнению с лексикой Python.

Answer 1

lambda ясно - ключевое слово; это специальное слово, распознанное синтаксическим анализатором, которое в противном случае подпадает под определение identifier.

lambda не семантически Оператор. Оператор - это просто функция, но вызывается с другим синтаксисом. Мы можем представить себе замену оператора + функцией add; все наши программы с добавлением будут более подробными и трудными для чтения, но мы все равно могли бы написать их. С другой стороны, языковая конструкция lambda не может быть заменена функцией; lambda x: x+1 не просто вычисляет результат из значений x и x+1, так как в этом контексте они вообще не являются значениями (x - это имя параметра для определяемой функции, а x+1 - код тела лямбды).

На этой же странице вы связаны мы имеем: http://docs.python.org/py3k/reference/lexical_analysis.html#operators

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

+  -  *  ** /  //  % 
<<  >>  &  |  ^  ~ 
<  >  <=  >=  ==  != 

Это все содержимое подраздела на операторов. Из этого я подразумеваю, что в контексте определения жетонов языка «операторы» являются символьными операторами, тогда как в разделе на ключевые слова прямо указывается, что «эти вещи, которые в противном случае были бы идентификаторами, являются ключевыми словами». Вот почему я думаю, что операторы ключевых слов, такие как not, is, in и т. Д., Не указаны. Но, безусловно, есть вещи, которые являются семантическими операторами, которые являются ключевыми словами, независимо от того, считает ли парсер их отдельными классами.

Я не уверен, почему http://docs.python.org/py3k/reference/expressions.html#summary описывает lambda в качестве оператора; Я, конечно, не стал бы. Строго говоря, он явно не говорит: «lambda - это оператор с наименьшим приоритетом», он просто перечисляет lambda в таблице, заголовок столбца которой «Оператор». Возможно, это было просто удобство; описывая lambda как вещь с низким приоритетом, является хорошим способом разъяснить, как Python будет анализировать lambda x: x + 1 (теоретически это может быть либо , либо lambda x: (x + 1)).

Answer 2

Это не говорит, что они взаимно исключают друг друга, так что:

"следующие категории лексем существуют: идентификаторы, ключевые слова, литералы, операторы и ограничители"

Я в категориях человек и американец. Конечно, это может означать, что они являются взаимоисключающими, и в этом случае документы несовместимы.

Answer 3

Операторы и ключевые слова являются отдельными лицами.

Нет, они не являются. is, in, and, or, not, и я уверен, что еще есть оба.