static_assert 是 C++11 引入的一個關鍵字，用于在編譯時期進行斷言檢查。它允許程序員在代碼中定義一些條件，如果這些條件不滿足，編譯器將產生編譯錯誤。這有助于在開發過程中捕獲潛在的問題，提高代碼的健壯性。

static_assert 的限制條件如下：

1. 類型檢查：static_assert 可以對類型進行檢查。例如，你可以檢查一個類型是否為特定類型或其派生類型。

   static_assert(std::is_same<int, int>::value, "int 類型檢查失敗");
   static_assert(std::is_base_of<Base, Derived>::value, "Derived 類不是 Base 類的派生類");
   

2. 常量表達式：static_assert 必須使用常量表達式作為其參數。這意味著你不能使用變量或運行時計算的值。

   constexpr int value = 42;
   static_assert(value == 42, "value 檢查失敗");
   

3. 錯誤信息：當 static_assert 條件為 false 時，編譯器將生成一條錯誤信息。這條信息應足夠詳細，以便于程序員快速定位問題。

   static_assert(sizeof(int) == 4, "int 類型大小檢查失敗");
   

4. 嵌套使用：你可以在一個 static_assert 中嵌套使用另一個 static_assert，以進行更復雜的條件檢查。

   static_assert(std::is_integral<int>::value, "int 必須是整數類型");
   static_assert(std::is_floating_point<double>::value, "double 必須是浮點類型");
   

5. 與條件運算符結合使用：你可以使用條件運算符（? :）將 static_assert 與其他表達式結合使用，以實現更復雜的條件檢查。

   static_assert((true ? 1 : 0) == 1, "條件運算符測試失敗");
   

6. 與模板特化結合使用：你可以使用 static_assert 與模板特化結合使用，以便在不同的模板參數下執行不同的檢查。

   template <typename T>
   void foo() {
       static_assert(std::is_integral<T>::value, "T 必須是整數類型");
   }
   

總之，static_assert 是一個強大的編譯時斷言工具，可以幫助你在開發過程中捕獲潛在的問題。然而，由于它依賴于編譯時計算，因此不能用于運行時錯誤檢查。