C++ 11 - static_assert trong hàm constexpr?

Question

Làm cách nào để thực hiện đúng cách static_assert trong một chức năng constexpr? Ví dụ:

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

Đây không phải là mã C++ 11 hợp lệ, vì hàm constexpr chỉ được chứa câu lệnh trả về. Tôi không nghĩ rằng tiêu chuẩn có ngoại lệ cho điều này, mặc dù, GCC 4.7 không cho phép tôi biên dịch mã này.

Answer 1

Đây không phải là mã C++ 11 hợp lệ, vì hàm constexpr chỉ được chứa câu lệnh trả về.

Điều này không đúng. static_assert trong một chức năng constexpr là tốt. không phải là Phạt tiền là sử dụng các tham số hàm trong biểu thức hằng số, giống như bạn làm điều đó.

Bạn có thể ném nếu x <= 0. Gọi hàm trong một bối cảnh đó đòi hỏi một biểu thức hằng số sau đó sẽ thất bại trong việc biên dịch

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

Answer 2

này hoạt động và có giá trị mã C++ 11, bởi vì đối số mẫu là thời gian biên dịch chỉ:

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

tôi phải đối mặt với các vấn đề tương tự như bạn đã làm với các biểu thức liên tục trong C++. Có ít tài liệu rõ ràng về constexprs tại thời điểm này. Và lưu ý rằng có một số lỗi đã biết với nó trong trình theo dõi vấn đề của gcc, nhưng vấn đề của bạn có vẻ không phải là một lỗi.

Lưu ý rằng nếu bạn khai báo hàm constexpr bên trong các lớp, bạn không thể sử dụng chúng trong lớp. Điều này cũng có vẻ không phải là một lỗi.

Chỉnh sửa: Đây là phép theo tiêu chuẩn: 7.1.3 bang

... hoặc một hợp chất-tuyên bố rằng chỉ chứa

• báo cáo null,
• static_assert -declarations
• khai báo typedef và khai báo bí danh không
  xác định các lớp hoặc bảng liệt kê,
• sử dụng-khai,
• sử dụng-chỉ thị,
• và chính xác một sự trở lại tuyên bố