摘要：異常處理作用調(diào)試程序定位缺陷。對異常的處理是系統(tǒng)容錯可靠性的一環(huán)。拋出需要具體子異常捕獲同時也需要具體子異常不同子異常處理會不同。如有基礎(chǔ)基類異常調(diào)用者可以選擇使用這個基類該類下面的所有子異常使用統(tǒng)一處理也可以多帶帶對子異常處理。

1年前的文章，源于Sonar靜態(tài)代碼掃描中,項目歷史代碼里有兩個規(guī)則的ISSUE是異常相關(guān)的。

對于如何使用異常和設(shè)計異常,借助于業(yè)界的經(jīng)驗,拋磚引玉給大家分享下。盡量引用Java API和Spring的例子來說明。

正常運行情況下,程序順利運行下來不存在異常情況。但是往往程序正確運行依賴各種條件,既有代碼編寫邏輯正確,也有外部軟件、硬件運行正常。其中一項無法正常工作,程序就會發(fā)生異常。

因此,在程序語言層面,自然就會有異常處理?；虿东@錯誤故障,記錄并處理;或拋出錯誤故障 ,讓上一層調(diào)用方捕獲知道,并做下一步處理。

而Java語言程序語言層面,內(nèi)置支持異常處理。

調(diào)試程序,定位缺陷。

異常是一種調(diào)試手段:什么出錯(異常類型),在哪出錯(異常堆棧),為什么錯(異常信息)

向前恢復(fù),繼續(xù)服務(wù)。

對異常的處理,是系統(tǒng)容錯、可靠性的一環(huán)。

通過當參數(shù)約定不符時,拋出unchecked異常，如ArrayList.get

/**
 * Returns the element at the specified position in this list.
 *
 * @param  index index of the element to return
 * @return the element at the specified position in this list
 * @throws IndexOutOfBoundsException {@inheritDoc}
 */
public E get(int index) {
    rangeCheck(index);
    return elementData(index);
}
 /**
 * Checks if the given index is in range.  If not, throws an appropriate
 * runtime exception.  This method does *not* check if the index is
 * negative: It is always used immediately prior to an array access,
 * which throws an ArrayIndexOutOfBoundsException if index is negative.
 */
private void rangeCheck(int index) {
    if (index >= size)
        // 拋出unchecked異常
        throw new IndexOutOfBoundsException(outOfBoundsMsg(index)); 
}

異常的信息必須清楚,包括但不限于引起異常的參數(shù)值。

/**
 * Constructs an IndexOutOfBoundsException detail message.
 * Of the many possible refactorings of the error handling code,
 * this "outlining" performs best with both server and client VMs.
 */
private String outOfBoundsMsg(int index) {
    return "Index: "+index+", Size: "+size;
}

對代碼錯誤,最好的策略是馬上失敗不要catch unchecked異常。
如NullPointerExceptionIndexOutOfBoundsException，
留下問題的審計日志,便于追蹤問題。

// Noncompliant
public void foo(String bar) throws Throwable {  
  throw new RuntimeException("My Message"); 
}
// Compliant
public void foo(String bar) {
  throw new MyOwnRuntimeException("My Message");
}

try { 
  /* ... */ 
} catch (Exception e) { 
  // Noncompliant - exception is lost
  throw new RuntimeException("context"); 
}

上面的代碼就會把原始異常丟失,正確應(yīng)該保留原始異常。

try { 
  /* ... */ 
} catch (Exception e) { 
  throw new RuntimeException(e); 
}

對同一個代碼問題,多種的日志信息反而會讓開發(fā)人員難以簡單清晰定位問題。

try { 
  /* ... */ 
} catch (Exception e) { 
  LOGGER.error("系統(tǒng)執(zhí)行出錯",e); 
  throw new RuntimeException(e); 
}

雖然成熟的日志系統(tǒng)有調(diào)用鏈ID,方便我們把請求下面的日志全部拖出來。但上面的例子,最終系統(tǒng)日志會出現(xiàn)多個異常日志記錄,反而不及最終一個異常(帶異常鏈)唯一記錄到日志來得清晰。

try {
  //執(zhí)行時拋出異常e1 
  doSomethingThrowExceptionFirst(); 
} finally {
  //同時拋出異常e2
  doFinallyThrowExceptionSecond();
}

try{}異常e1,finally{}異常e2,當同時出現(xiàn)異常時,如果e2拋出e1丟失。
正常做法,doFinallyThrowExceptionSecond內(nèi)處理異?；蛘哂涗洰惓５饺罩?。

Java內(nèi)置異常在能明確表達當前代碼異常情況下可以拿來重用。

異常在java中是對象,保持和提供足夠信息 引起異常的參數(shù)值、錯誤細節(jié)描述、錯誤文本、關(guān)于改正的信息(當前重試的次數(shù))。
如org.springframework.core.convert.ConversionFailedException

/**
 * Create a new conversion exception.
 * @param sourceType the value"s original type
 * @param targetType the value"s target type
 * @param value the value we tried to convert
 * @param cause the cause of the conversion failure
 */
public ConversionFailedException(TypeDescriptor sourceType, TypeDescriptor targetType, Object value, Throwable cause) {
  super("Failed to convert from type " + sourceType + " to type " + targetType + " for value "" + ObjectUtils.nullSafeToString(value) + """cause);
  this.sourceType = sourceType;
  this.targetType = targetType;
  this.value = value;
}

往往對異常能做出正確決定的是直接調(diào)用者。
異常離源問題代碼越遠,越難跟蹤到源問題,也更難做有用的處理。
有時最好的異常處理是顯示被設(shè)計來控制流程的對象。

對同一個異常只記錄一次，注意日志級別。

// 日志級別反例
String productsRequest = prepareProductsRequest(productId);
// 生產(chǎn)上日志級別一般為INFO,此處不會打印到日志文件
logger.debug (productsRequest);
try {
  String response = retrieveProducts(productsRequest);
  logger.debug (response);
} catch (NoSuchProductException e) {
  //當發(fā)生異常時,只記錄了異常,沒有productsRequest這個值
  logger.error(e);
}

//日志級別正例
String productsRequest = prepareProductsRequest(productId); 
try {
  String response = retrieveProducts(productsRequest); 
} catch (NoSuchProductException e) {
  //當發(fā)生異常時,把productsRequest也打印出來
  logger.error("request:" + productsRequest, e);
}

名字體現(xiàn)異常是什么。例如Java API中的FileNotFoundException,EOFException。拋出需要具體子異常,捕獲同時也需要具體子異常,不同子異常處理會不同。

按邏輯子模塊定義一個異?；蛘呦嚓P(guān)的一系列異常。
如org.springframework.core.NestedRuntimeException

有基礎(chǔ)基類異常,調(diào)用者可以選擇使用這個基類catch該類下面的所有子異常使用統(tǒng)一處理,也可以多帶帶對子異常處理。

//選擇使用這個基類catch該類下面的所有子異常使用統(tǒng)一處理
private Object getPropertyValue(Object obj) {
  try {
    this.beanWrapper.setWrappedInstance(obj);
    return this.beanWrapper.getPropertyValue(this.sortDefinition.getProperty()); 
  }catch (BeansException ex) { 
    //調(diào)用者可以選擇使用這個基類catch該類下面的所有子異常使用統(tǒng)一處理 
    logger.info("PropertyComparator could not access property - treating as null for sorting", ex); 
    return null;
  } 
}

//也可以多帶帶對子異常處理
} catch (IllegalStateException ex) {
  singletonObject = this.singletonObjects.get(beanName);
  if (singletonObject == null) {
  throw ex; }
} catch (BeanCreationException ex) { 
  //也可以多帶帶對子異常處理
  if (recordSuppressedExceptions) {
    for (Exception suppressedException : this.suppressedExceptions) {
      ex.addRelatedCause(suppressedException); 
    }
  }
  throw ex; 
}

異常拋出聲明是接口定義的一部分 高級別的處理代碼catch低級別的異常,上下文缺少,不能很好的做出處理 如果不進行抽象,違反封裝原則(對外信息隱藏)減少系統(tǒng)可重用和清晰性。

//異常抽象層次和接口抽象層次一致
@Override
public Object getPropertyValue(String propertyName) throws BeansException {
  Field field = this.fieldMap.get(propertyName); 
  if (field == null) {
    //NotReadablePropertyException是InvalidPropertyException的子類 
    throw new NotReadablePropertyException(this.target.getClass(), propertyName, "Field "" + propertyName + "" does not exist"); 
  }
  try { 
    ReflectionUtils.makeAccessible(field); 
    return field.get(this.target);
  }
  catch (IllegalAccessException ex) {
    //封裝IllegalAccessException異常拋出和接口同一抽象層次的異常,InvalidPropertyException是BeansException的子類
    throw new InvalidPropertyException(this.target.getClass(), propertyName, "Field is not accessible", ex); 
  } 
}

大前提:是指如果一個子模塊以package形式組織,對外提供少量public的facade方法,內(nèi)部的異常設(shè)計。

異常嚴格完整設(shè)計(對于其他情況下的代碼也是需要的,5.2 異常定義歸類、有層次)

完整列出有可能異常、checked/unchecked異常;

如果異常能被組織成繼承結(jié)構(gòu),不僅是父類異常,所有異常都要定義。

讓異?？杀磉_、保護封裝(前面已經(jīng)說明)

使用checked異常(注意前提說明,Spring里BeanException是unchecked異常,跟本身Bean在Spring中設(shè)計定位有關(guān))

有可補償條件

調(diào)用方有協(xié)定可以處理

程序代碼錯誤

*接口定義被破壞,如參數(shù)是非法的,拋出IllegalArgumentException

錯誤類型編碼能對錯誤進行分類定義,一般出現(xiàn)沒有內(nèi)置異常處理的編程語言,但有時第三方或者網(wǎng)絡(luò)協(xié)議都會有使用錯誤類型編碼這種方式。
Spring RestClientException的例子,HttpStatusCodeException下定義兩個子異常,分別是

HttpClientErrorException代表收到4xx

HttpServe rErrorException代表收到5xx

判斷請求不能正確執(zhí)行時,不執(zhí)行

請失敗時清理環(huán)境返回來異常,讓請求能根據(jù)異常選擇備選方案

守護掛起,直接條件允許正確執(zhí)行,嘗試完成請求

暫時的完成,請求完成,但不提交它直到可以完成。

恢復(fù),通過可接受的備選方案完成。備份資源須簡單便于使用。

上升到更高的處理。如請求人員來對系統(tǒng)進行操作處理

回滾,失敗時不產(chǎn)生影響

重試,通過重試在系統(tǒng)正常時完成請求。

Exception Handling
知乎：如何優(yōu)雅的處理異常(java)？ylxfc等同學(xué)的回復(fù)