C++ 11 - constexpr函數中的static_assert？

Question

如何將一個適當做constexpr函數內的static_assert？例如：

constexpr int do_something(int x) 
{ 
    static_assert(x > 0, "x must be > 0"); 
    return x + 5; 
} 

這不是有效的C++代碼11，因爲constexpr函數只能包含一個return語句。我認爲標準沒有例外，儘管GCC 4.7不允許我編譯這些代碼。

Answer 1

這是無效的C++ 11代碼，因爲一個constexpr函數只能包含一個return語句。

這是不正確。 static_assert在constexpr功能都很好。什麼是不罰款常數表達式中使用函數的參數，就像你這樣做。

你可以拋出，如果x <= 0。調用在需要常量表達式會失敗，上下文的函數編譯

constexpr int do_something(int x) { 
    return x > 0 ? (x + 5) : (throw std::logic_error("x must be > 0")); 
} 

Answer 2

這工作是有效的C++ 11的代碼，因爲模板參數只有編譯時間：

template <int x> 
constexpr int do_something() { 
    static_assert(x > 0, "x must be > 0"); 
    return x + 5; 
} 

我面臨着與你在C++中使用常量表達式相同的問題。目前幾乎沒有關於constexprs的明確文件。請注意，gcc的問題跟蹤器中存在一些已知的錯誤，但您的問題似乎並不是一個錯誤。

請注意，如果你聲明裏面的類constexpr功能，您將無法使用它們的類中。這似乎也不是一個錯誤。

編輯：這是根據標準允許的：7.1.3狀態

...或複合語句只包含

• 空語句，
• static_assert -declarations
• typedef聲明和別名聲明
  定義類或枚舉，
• 使用申述，
• using指令，
• 和只有一個return語句