constexpr構造函數與編譯時驗證

Question

我想用constexpr-ness選項建立一個類。 並且，當然，我想利用編譯時錯誤檢查。

當給定參數不是常量表達式時，每個包含構造函數的constexpr函數也必須在運行時工作。 這應該是每次在函數參數的constexpr函數中使用static_assert時無法編譯的原因。

這樣說，我已經讀過，可以使用拋出mechnanism的異常，因為當函數被調用為常量表達式時，可以在編譯時評估這些異常。 如果可行，對於功能可以解決問題。

但是問題仍然沒有解決構造函數，因為constexpr構造函數似乎必須沒有正文...所以看起來我不能使用那里的異常拋出！

任何想法？

Answer 1

以下可能有所幫助

class A
{
public:
    constexpr A(int i) : i(i != 42 ? throw 42 : i) {}
private:
    int i;
};

int main(int argc, char *argv[])
{
    constexpr A a1(42);
    //constexpr A a2(41); // Compile error as expected.
    return 0;
}