python assert с круглыми скобками и без них

Вот четыре простых вызова assert:

>>> assert 1==2
Traceback (most recent call last):
  File "<stdin>", line 1, in ?
AssertionError

>>> assert 1==2, "hi"
Traceback (most recent call last):
  File "<stdin>", line 1, in ?
AssertionError: hi

>>> assert(1==2)
Traceback (most recent call last):
  File "<stdin>", line 1, in ?
AssertionError

>>> assert(1==2, "hi")

Обратите внимание, что последний не вызывает ошибки. В чем разница между вызовом assert с круглыми скобками или без них, который вызывает такое поведение? Моя практика заключается в использовании скобок, но из сказанного выше следует, что я не должен.

Последний assertвыдал бы вам предупреждение ( SyntaxWarning: assertion is always true, perhaps remove parentheses?), если бы вы запустили его через полный интерпретатор, а не через IDLE. Поскольку assertэто ключевое слово, а не функция, вы фактически передаете кортеж в качестве первого аргумента и опускаете второй аргумент.

Напомним, что непустые кортежи оцениваются до True, и поскольку сообщение утверждения является необязательным, вы, по сути, вызывали, assert Trueкогда писали assert(1==2, "hi").

Если вы вставили круглые скобки, потому что хотели многострочное утверждение, то альтернативой является установка обратной косой черты в конце строки, например:

foo = 7
assert foo == 8, \
    "derp should be 8, it is " + str(foo)

Печать:

AssertionError: "derp should be 8, it is 7

Почему этот питон assertдолжен отличаться от всего остального:

Я думаю, что идеология питонов состоит в том, что программа должна самокорректироваться, не беспокоясь о специальном флаге для включения утверждений. Искушение отключить утверждения слишком велико, и поэтому оно устарело.

Я разделяю ваше раздражение тем, что Python assertимеет уникальный синтаксис по сравнению со всеми другими конструкциями программирования Python, и этот синтаксис снова изменился с python2 на python3 и снова изменился с python 3.4 на 3.6. Обеспечение обратной совместимости операторов assert от любой версии к любой другой версии.

Это постукивание по плечу assertгражданина 3-го класса, оно будет полностью удалено в python4 и, конечно же, снова в Python 8.1.

assert 1==2, "hi"анализируется как assert 1==2, "hi""привет" в качестве второго параметра ключевого слова. Следовательно, почему он правильно выдает ошибку.

assert(1==2)анализируется как assert (1==2)который идентичен assert 1==2, поскольку скобки вокруг одного элемента не создают кортеж, если нет конечной запятой, например (1==2,).

assert(1==2, "hi")анализируется как assert (1==2, "hi"), что не вызывает ошибки, потому что непустой кортеж (False, "hi")не является ложным значением, и для ключевого слова не указан второй параметр.

Вы не должны использовать круглые скобки, потому что assertэто не функция в Python, это ключевое слово.

Вы можете прервать оператор assert и без \этого:

foo = 7
assert foo == 8, (
    'derp should be 8, it is ' + str(foo))

Или, если у вас еще более длинное сообщение:

foo = 7
assert foo == 8, (
    'Lorem Ipsum is simply dummy text of the printing and typesetting '
    'industry. Lorem Ipsum has been the industry\'s standard dummy text '
    'ever since the 1500s'
)

Ниже приводится цитата из документа Python.

Операторы Assert - удобный способ вставки отладочных утверждений в программу:

assert_stmt ::= "assert" expression ["," expression]

Простая форма выражения assert эквивалентна if __debug__: if not expression: raise AssertionError

Расширенная форма assert expression1, expression2 эквивалентна if __debug__: if not expression1: raise AssertionError(expression2)

Итак, когда вы используете здесь круглые скобки, вы используете простую форму, а выражение оценивается как кортеж, который всегда имеет значение True при преобразовании в bool