Lỗi sử dụng một constexpr làm mẫu tham số trong cùng lớp

Question

Nếu tôi cố gắng biên dịch đoạn mã sau C++ 0x, tôi nhận được một lỗi:

template<int n> struct foo { }; 

struct bar { 
    static constexpr int number() { return 256; } 

    void function(foo<number()> &); 
}; 

Với gcc 4.6.1, thông báo lỗi là :

test.cc:6:27: error: ‘static constexpr int bar::number()’ used before its definition 
test.cc:6:28: note: in template argument for type ‘int’ 

với vang 2.8, thông báo lỗi là:

test.cc:6:20: error: non-type template argument of type 'int' is not an integral 
     constant expression 
     void function(foo<number()> &); 
          ^~~~~~~~ 
1 error generated. 

Nếu tôi di chuyển constexpr chức năng đến một cơ sở c lass, nó hoạt động trên gcc, và đưa ra các thông báo lỗi tương tự trên kêu vang:

template<int n> struct foo { }; 

struct base { 
    static constexpr int number() { return 256; } 
}; 

struct bar : base { 
    void function(foo<number()> &); 
}; 

là sai mã, hoặc là nó một giới hạn hoặc lỗi về việc thực hiện gcc 4.6 của C++ 0x? Nếu mã sai, tại sao nó sai, và mệnh đề nào của tiêu chuẩn C++ 11 nói nó là không chính xác?

Answer 1

Trong C++, định nghĩa nội tuyến của hàm thành viên cho một lớp chỉ được phân tích cú pháp sau mỗi lần khai báo trong lớp được phân tích cú pháp. Do đó, trong ví dụ đầu tiên của bạn, trình biên dịch không thể thấy định nghĩa của number() tại thời điểm mà function() được khai báo.

(Không có phiên bản phát hành của vang có hỗ trợ cho việc đánh giá chức năng constexpr, vì vậy không ai trong số testcases của bạn sẽ làm việc ở đó.)

Answer 2

Tôi đã có một lỗi simillar với đoạn mã sau:

struct Test{ 
    struct Sub{constexpr Sub(int i){}}; 
    static constexpr Sub s=0; 
}; 

"error: 'constexpr Test :: Sub :: Sub (int)' được gọi trong biểu thức hằng số" trên gcc 4.7.1. khi này sẽ biên dịch thành công:

struct Sub{constexpr Sub(int i){}}; 
struct Test{ 
    static constexpr Sub s=0; 
};