異常中立性是指c++++標準庫算法不主動拋出或捕獲異常，將錯誤處理責任交予調用者。1. 標準庫允許用戶回調函數拋出異常但不處理；2. 保持性能可預測，避免未使用功能的開銷；3. 跨平臺兼容不同異常實現；4. 兼容項目已有錯誤碼體系；5. 用戶自行決定是否及如何處理異常。例如std::sort中比較函數拋出異常會直接傳播給調用者。開發者需自行捕獲處理傳入算法的可能異常，否則可能導致程序崩潰。
c++標準庫算法在設計時通常不使用異常，背后的核心理念是“異常中立性”（exception neutrality）。也就是說，標準庫本身不會主動拋出異常，也不會限制用戶代碼使用異常的方式。這種設計理念的出發點在于保持靈活性、可預測性和性能可控性。
什么是異常中立性？
異常中立性是指標準庫函數在遇到錯誤時，不會自己處理異常，也不會強制拋出異常，而是將錯誤處理的責任交給調用者。這并不是說標準庫完全不涉及異常——它允許用戶提供的回調函數或操作符可能拋出異常，但標準庫本身不會捕獲或重新拋出這些異常。
舉個簡單的例子：當你使用 std::sort 對一個自定義類型的數組排序時，如果比較函數拋出了異常，這個異常會直接傳播到調用者那里，標準庫不做任何處理。
立即學習“C++免費學習筆記（深入）”；
這樣做有幾個好處：
- 性能可預測：在沒有異常的情況下運行時，不需要為異常機制付出額外代價。
- 行為一致：不同平臺和編譯器對異常實現的支持存在差異，保持中立避免了潛在的兼容問題。
- 用戶控制權更大：是否使用異常、如何處理異常，由程序員自行決定，而不是被庫強制綁定。
C++標準庫為何選擇不拋異常？
C++ 標準庫的設計目標之一就是“不為你不使用的功能買單”。異常機制雖然強大，但也帶來了運行時開銷，尤其是在棧展開和異常捕獲路徑上。
因此，在以下幾種情況下，不使用異常顯得尤為重要：
- 嵌入式系統或高性能場景：對資源敏感、需要確定性執行路徑。
- 跨平臺開發：不同平臺對異常支持程度不同，統一行為更利于移植。
- 已有錯誤碼體系的項目：很多大型項目習慣用返回值或狀態碼來處理錯誤，與之兼容更容易維護。
這也是為什么像 std::vector::at() 這樣的函數會拋出異常（因為它是有意為之），而大多數算法如 std::find、std::copy 等則完全不涉及異常。
異常中立性的實際影響
對于開發者來說，理解這一點有助于正確使用標準庫并寫出健壯的代碼：
- 如果你在傳遞給標準庫算法的函數對象中使用了可能拋出異常的操作，那么你需要自己負責捕獲和處理這些異常。
- 否則，未捕獲的異常可能會導致程序終止或難以調試的行為。
- 另一方面，如果你希望代碼完全無異常（比如關閉了異常支持），你也要確保所有傳入標準庫的函數都不會拋出，否則行為未定義。
例如：
std::for_each(v.begin(), v.end(), may_throw_function);
如果 may_throw_function 拋出了異常，并且你不做任何處理，那這個異常就會從 std::for_each 中繼續往外拋，最終可能導致程序崩潰。
小結
C++標準庫算法不使用異常的主要原因是為了保持異常中立性。這種設計讓標準庫在不同環境下保持高效、靈活，并將錯誤處理方式的選擇權交還給開發者。雖然看起來有些“冷淡”，但在實際開發中，這種中立反而增強了控制力和適應性。
基本上就這些。
