Що таке дивна поведінка товстої кишки?

Я використовую Python 3.6.1, і мені траплялося щось дуже дивне. У мене був простий типовий склад словника, який знадобився мені довго.

context = {}
context["a"]: 2
print(context)

Вихід

{}

Що context["a"]: 2робить код ? Він не піднімає, SyntaxErrorколи повинен ІМО. Спочатку я подумав, що це створює шматочок. Однак введення тексту repr(context["a"]: 2)піднімає a SyntaxError. Я також набрав context["a"]: 2консоль, і консоль нічого не надрукувала. Я думав, може, це повернулося None, але я не такий впевнений.

Я також думав, що це може бути один рядок, якщо заява, але це також не повинен бути правильним синтаксисом.

Крім того, context["a"]слід підняти a KeyError.

Я здивований. Що відбувається?

Ви випадково написали синтаксично правильну анотацію змінної . Ця функція була введена в Python 3.6 (див. PEP 526 ).

Хоча змінна анотація аналізується як частина аннотованого призначення , оператор призначення не є обов'язковим :

annotated_assignment_stmt ::=  augtarget ":" expression ["=" expression]

Таким чином, в context["a"]: 2

• context["a"] є ціллю коментарів
• 2 - це сама анотація
• context["a"] залишається неініціалізованим

PEP заявляє, що "ціллю анотації може бути будь-яка дійсна ціль єдиного призначення, принаймні синтаксично (це залежить від перевірки типу, що з цим робити") , це означає, що ключ не повинен існувати, щоб бути зазначається (отже, ні KeyError). Ось приклад з оригінального PEP:

d = {}
d['a']: int = 0  # Annotates d['a'] with int.
d['b']: int      # Annotates d['b'] with int.

Зазвичай вираз анотації повинен оцінюватися типу Python - адже основне використання анотацій - це натяк на тип, але він не застосовується. Анотація може бути будь-якою дійсним виразом Python, незалежно від типу або значення результату.

Як бачите, в цей час підказки типу дуже дозвільні та рідко корисні, якщо у вас немає перевірки статичного типу, наприклад, mypy .