หลามยืนยันโดยมีและไม่มีวงเล็บ

ต่อไปนี้คือคำเรียกร้องง่ายๆสี่ข้อของการยืนยัน:

>>> 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จะให้คำเตือนคุณ ( SyntaxWarning: assertion is always true, perhaps remove parentheses?) หากคุณใช้งานผ่านล่ามเต็มรูปแบบไม่ใช่ผ่าน IDLE เนื่องจากassertเป็นคีย์เวิร์ดไม่ใช่ฟังก์ชันคุณกำลังส่งทูเพิลเป็นอาร์กิวเมนต์แรกและออกจากอาร์กิวเมนต์ที่สอง

จำได้ว่า tuples ไม่ว่างเปล่าประเมินTrueและตั้งแต่ข้อความยืนยันเป็นตัวเลือกที่คุณเรียกว่าเป็นหลักเมื่อคุณเขียนassert Trueassert(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เป็นพลเมืองชั้น 3 มันจะถูกลบออกทั้งหมดใน python4 และอีกครั้งใน Python 8.1

assert 1==2, "hi"จะถูกแยกวิเคราะห์เช่นเดียวassert 1==2, "hi"กับ "hi" เป็นพารามิเตอร์ที่สองสำหรับคำหลัก เหตุใดจึงให้ข้อผิดพลาดอย่างถูกต้อง

assert(1==2)จะแยกเป็นassert (1==2)ซึ่งเป็นเหมือนassert 1==2เพราะ parens รอบรายการเดียวไม่ได้สร้าง tuple (1==2,)เว้นแต่มีต่อท้ายเช่นจุลภาค

assert(1==2, "hi")ถูกแยกวิเคราะห์เป็นassert (1==2, "hi")ซึ่งไม่ให้ข้อผิดพลาดเนื่องจากทูเปิลที่(False, "hi")ไม่ว่างเปล่าไม่ใช่ค่าเท็จและไม่มีพารามิเตอร์ที่สองที่ระบุให้กับคีย์เวิร์ด

คุณไม่ควรใช้วงเล็บเพราะassertไม่ใช่ฟังก์ชันใน Python แต่เป็นคีย์เวิร์ด

คุณสามารถทำลายคำสั่งยืนยันได้โดยไม่ต้องทำ\เช่นนี้:

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 doc

คำสั่ง Assert เป็นวิธีที่สะดวกในการแทรกการยืนยันการแก้จุดบกพร่องลงในโปรแกรม:

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

รูปแบบที่เรียบง่ายการแสดงออกที่แสดงออกเทียบเท่ากับ if __debug__: if not expression: raise AssertionError

รูปแบบขยาย assert expression1, expression2เทียบเท่ากับ if __debug__: if not expression1: raise AssertionError(expression2)

ดังนั้นเมื่อคุณใช้วงเล็บตรงนี้คุณกำลังใช้รูปแบบง่ายๆและนิพจน์จะได้รับการประเมินเป็นทูเพิลซึ่งจะเป็นจริงเสมอเมื่อถูกส่งไปที่บูล