C++ 的 assert 函數是用于在程序運行時進行調試的一種斷言機制。當斷言的條件為 false 時，程序會終止運行，并輸出相應的錯誤信息。這對于發現程序中的邏輯錯誤或不符合預期的條件非常有用。
assert 可以檢測以下類型的錯誤：
邏輯錯誤：當程序中的某個條件不符合預期時，可以使用 assert 來檢查該條件。例如，檢查循環是否執行了預期的次數，或者檢查某個變量是否已被正確初始化。
int sum = 0;
for (int i = 0; i < 10; ++i) {
sum += i;
}
assert(sum == 45); // 如果 sum 不等于 45，程序將終止并輸出錯誤信息
邊界條件錯誤：當程序處理的數據超出預期范圍時，可以使用 assert 來檢查邊界條件。例如，檢查數組索引是否在有效范圍內。
int arr[] = {1, 2, 3, 4, 5};
int index = 10;
assert(index >= 0 && index < sizeof(arr) / sizeof(arr[0])); // 如果 index 超出范圍，程序將終止并輸出錯誤信息
空指針解引用：當程序試圖訪問空指針指向的內存時，可以使用 assert 來檢查指針是否為空。
int* ptr = nullptr;
assert(ptr != nullptr); // 如果 ptr 為空，程序將終止并輸出錯誤信息
需要注意的是，assert 僅在調試模式下有效。當程序以發布模式編譯時，assert 語句會被禁用，因此不會產生錯誤信息。這使得 assert 成為在開發過程中檢查程序邏輯的有效工具，但在生產環境中可能不足以處理所有錯誤情況。在生產環境中，建議使用異常處理機制（如 try-catch 語句）來處理潛在的錯誤。
