在Python中使用「assert」有什麼用？

我一直在閱讀一些源代碼，在一些地方我已經看到了assert的用法。

這到底是什麼意思？ 它的用途是什麼？

---

#1樓

斷言語句有兩種形式。

簡單的形式， assert <expression> ，至關於

if __​debug__:
    if not <expression>: raise AssertionError

擴展形式assert <expression1>, <expression2>等同於

if __​debug__:
    if not <expression1>: raise AssertionError, <expression2>

---

#2樓

這是一個簡單的例子，將其保存在文件中（假設爲b.py）

def chkassert(num):
    assert type(num) == int


chkassert('a')

和$python b.py時的結果

Traceback (most recent call last):
  File "b.py", line 5, in <module>
    chkassert('a')
  File "b.py", line 2, in chkassert
    assert type(num) == int
AssertionError

---

#3樓

斷言是一種系統的方法，用於檢查程序的內部狀態是否與程序員預期的同樣，目的是捕獲錯誤。 請參閱下面的示例。

>>> number = input('Enter a positive number:')
Enter a positive number:-1
>>> assert (number > 0), 'Only positive numbers are allowed!'
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AssertionError: Only positive numbers are allowed!
>>>

---

#4樓

若是assert以後的語句爲true，則程序繼續，但若是assert以後的語句爲false，則程序會給出錯誤。 就那麼簡單。

例如：

assert 1>0   #normal execution
assert 0>1   #Traceback (most recent call last):
             #File "<pyshell#11>", line 1, in <module>
             #assert 0>1
             #AssertionError

---

#5樓

format：assert Expression [，arguments]當assert遇到一個語句時，Python會計算表達式。若是該語句不爲true，則引起異常（assertionError）。 若是斷言失敗，Python使用ArgumentExpression做爲AssertionError的參數。 能夠使用try-except語句像任何其餘異常同樣捕獲和處理AssertionError異常，但若是不處理，它們將終止程序併產生回溯。 例：

def KelvinToFahrenheit(Temperature):    
    assert (Temperature >= 0),"Colder than absolute zero!"    
    return ((Temperature-273)*1.8)+32    
print KelvinToFahrenheit(273)    
print int(KelvinToFahrenheit(505.78))    
print KelvinToFahrenheit(-5)

執行上面的代碼時，會產生如下結果：

32.0
451
Traceback (most recent call last):    
  File "test.py", line 9, in <module>    
    print KelvinToFahrenheit(-5)    
  File "test.py", line 4, in KelvinToFahrenheit    
    assert (Temperature >= 0),"Colder than absolute zero!"    
AssertionError: Colder than absolute zero!