là thông báo lỗi này đúng: không kiểu mẫu lập luận không phải là một biểu thức hằng

Question

Chương trình sau biên dịch với GCC 5.2, nhưng không phải với kêu vang 3.6:

constexpr bool flag(); 

template <bool b = flag()> 
constexpr bool test() 
{ 
    return b; 
} 

int main() 
{ 
} 

Thông báo lỗi tôi nhận được với kêu vang là:

main.cpp:3:20: error: non-type template argument is not a constant expression 
template <bool b = flag()> 
        ^~~~~~ 
main.cpp:3:20: note: undefined function 'flag' cannot be used in a constant expression 
main.cpp:1:16: note: declared here 
constexpr bool flag(); 
      ^
main.cpp:4:16: error: no return statement in constexpr function 
constexpr bool test() 
      ^

Câu hỏi của tôi là: Ai là đúng? Hay nói cách khác: Chương trình có hình thành không?

Answer 1

Tôi muốn nói vang đó là đúng:

Từ Tiêu chuẩn:

[temp.param] 14,1 # 9

9 Một mặc định mẫu đối số là một mẫu đối số (14.3) được chỉ định sau = trong tham số mẫu. [...]

Và [temp.arg.nontype] 14.3.2

1 Mẫu đối số cho một tổ chức phi kiểu mẫu tham số phải là một biểu thức hằng số chuyển đổi (5.20) của loại tham số mẫu.

Và [expr.const] 5,20

2 Một điều kiện thể hiện e là một biểu thức hằng lõi trừ khi việc đánh giá e, theo các quy tắc của máy trừu tượng (1.9), sẽ đánh giá một của các biểu thức sau:

[...]

(2.3) - một yêu cầu của một hàm constexpr không xác định hoặc một hàm tạo constexpr không xác định;

Vì flag() được khai báo nhưng không được xác định, nó không phải là biểu thức không đổi và 14.3.2 bị vi phạm.

Answer 2

Theo ISO C++ 14 Chuẩn 5.19.2:

Một điều kiện thể hiện e là một biểu thức hằng lõi trừ khi đánh giá của e, theo các quy tắc của máy trừu tượng (1.9), sẽ đánh giá một trong các biểu thức sau:

• điều này (5.1.1), ngoại trừ hàm constexpr hoặc hàm tạo constexpr đang được đánh giá là một phần của e;
• yêu cầu hàm khác không phải là hàm tạo constexpr cho lớp chữ, hàm constexpr hoặc lời gọi ngầm của hàm hủy nhỏ (12.4) [Lưu ý: Độ phân giải quá tải (13.3) được áp dụng như lưu ý cuối cùng] ;
• yêu cầu hàm constexpr không xác định hoặc hàm tạo constexpr không xác định;
• (...) Blockquote

Kết quả của bất kỳ cuộc gọi chức năng constexpr thực hiện trước khi nó định nghĩa không phải là một biểu thức hằng.

Cuối cùng có vẻ như đó là lỗi GCC.