斷言(Assertion)是Java中一條語句，包含一個(gè)布爾表達(dá)式，當(dāng)該布爾值為真，程序則被認(rèn)為是正確的；當(dāng)布爾值為假，則系統(tǒng)會拋出錯(cuò)誤。

斷言默認(rèn)禁用的，在開發(fā)時(shí)候可開啟功能，有利于糾正錯(cuò)誤，增加可維護(hù)性。

PS：斷言，換句話就是 立flag，false則啪啪啪打臉。

斷言兩種語句形式

assert Expression1 ;
assert Expression1 : Expression2 ;

Expression1是一個(gè)布爾表達(dá)式，作為斷言的真假。

Expression2是一個(gè)有返回值的表達(dá)式，用來提供詳細(xì)的錯(cuò)誤信息。

當(dāng)沒有Expression2時(shí)，默認(rèn)拋出沒有詳細(xì)信息的 AssertionError。

用斷言的場景

1、變量值明確

變量值如果很確定是某個(gè)值，則可以用斷言。

2、執(zhí)行不到的語句

某個(gè)地方語句確定是執(zhí)行不會達(dá)到的，例如沒有default的switch，則default可加上斷言。

3、前置條件

前置條件（precondition）是一條語句，在方法執(zhí)行前必須為真。

例子：判斷線程的擁有鎖，結(jié)合斷言，可以測試當(dāng)前線程是否擁有某對象的鎖。

private Object[] a;
public synchronized int find(Object key) {
  return find(key, a, 0, a.length);
}
// Recursive helper method - always called with a lock on this.
private int find(Object key, Object[] arr, int start, int len) {
  assert Thread.holdsLock(this); // lock-status assertion 
  ...
}

我覺得前置條件的異常不要用斷言為好，無論是public還是private方法。

4、后置條件

后置條件（postcondition）是一條語句，當(dāng)前置條件滿足且完全執(zhí)行方法后，它為真。

/**
  * Returns a BigInteger whose value is (this-1 mod m).
  *
  * @param  m the modulus.
  * @return this-1 mod m.
  * @throws ArithmeticException  m <= 0, or this BigInteger
  *has no multiplicative inverse mod m (that is, this BigInteger
  *is not relatively prime to m).
  */
public BigInteger modInverse(BigInteger m) {
  if (m.signum <= 0)
    throw new ArithmeticException("Modulus not positive: " + m);
  ... // Do the computation
  assert this.multiply(result).mod(m).equals(ONE) : this;
  return result;
}

View Code

5、檢查類的狀態(tài)

加一個(gè)內(nèi)部方法，返回布爾值，當(dāng)檢查類狀態(tài)正常時(shí)返回true。

不要用斷言場景

1、不要用斷言做參數(shù)檢查

因?yàn)闊o論斷言是啟用還是禁用，都必須進(jìn)行參數(shù)檢查的，而斷言是可能被禁用的。并且斷言報(bào)出的AssertionError異常，不能準(zhǔn)確反饋運(yùn)行時(shí)異常（例如IllegalArgumentException，IndexOutOfBoundsException或NullPointerException）。

2、不要用斷言來完成程序正確操作所需的任何工作

例如，假設(shè)你想要從列表名稱中刪除所有空元素，并且知道該列表包含一個(gè)或多個(gè)空值。

錯(cuò)誤的做法：

//行為包含在斷言中
assert names.remove（null）;

當(dāng)斷言被啟用時(shí)，程序會正常工作，但在禁用時(shí)會失敗，因?yàn)樗辉購牧斜碇袆h除空元素。

正確的用法：

//固定 - 動作先于斷言
boolean nullsRemoved = names.remove（null）;
assert nullsRemoved; //運(yùn)行是否啟用斷言

開啟斷言

可在eclipse運(yùn)行配置中VM arguments，添加-ea。

參考文獻(xiàn)

https://docs.oracle.com/javase/8/docs/technotes/guides/language/assert.html

總結(jié)

以上是生活随笔為你收集整理的Java断言(Assertion)的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。