constexpr tĩnh trỏ-to-chức năng, sự khác biệt giữa các trình biên dịch

Question

Khi trả lời this question, tôi đã thử đoạn code sau đây với gcc (code compiled) và kêu vang (code rejected):

typedef long (*func)(int); 

long function(int) { return 42; } 

struct Test 
{ 
    static constexpr func f = &function; 
}; 

template<func c> 
struct Call 
{ 
    static void f() 
    { 
     c(0); 
    } 
}; 

int main() 
{ 
    Call<Test::f>::f(); 
} 

Tôi không chắc chắn mà trình biên dịch là đúng, mặc dù tôi nghĩ rằng việc khởi tạo constexpr của Test::f là ok. Các đầu ra lỗi kêu vang là:

error: non-type template argument for template parameter of pointer type 'func' 
     (aka 'long (*)(int)') must have its address taken 

1. nào biên dịch là đúng?
2. Nếu tiếng kêu là đúng, tại sao và lỗi này thực sự có ý nghĩa gì?

EDIT: vì "lý do", xem DyP's question.

Answer 1

luận

14.3.2 Mẫu phi loại [temp.arg.nontype]

Mẫu đối số cho một tổ chức phi loại, phi mẫu template-tham số sẽ là một trong:

[...]

- một biểu thức hằng số (5,19) mà chỉ định địa chỉ của một đối tượng với tĩnh lưu trữ> thời gian và bên ngoài hoặc nội bộ liên kết hay một chức năng với bên ngoài hoặc nội bộ liên kết, bao gồm mẫu chức năng và chức năng template -trí nhưng ngoại trừ uding thành viên lớp không tĩnh, thể hiện (bỏ qua dấu ngoặc đơn) như & id-expression, ngoại trừ & có thể bỏ qua nếu tên đề cập đến hàm hoặc mảng và sẽ bị bỏ qua nếu tham số mẫu tương ứng là tham chiếu; [...]

(n3485, tôi nhấn mạnh)

Tôi không biết chính xác lý do tại sao nó được hạn chế, nhưng tôi nghĩ rằng nó có thể liên quan đến một thực tế rằng địa chỉ chức năng không có sẵn tại thời gian biên dịch (có thể thay thế cho các mục đích tạo bản mẫu).

---

Edit: Tăng cường câu trả lời do một câu hỏi tiếp theo (comment) của Synxis

constexpr func = &function; 

^đây là tốt được hình thành; bạn có thể sử dụng địa chỉ của hàm để khởi tạo đối tượng constexpr. Vấn đề là nó bị cấm một cách rõ ràng để sử dụng con trỏ như không kiểu mẫu lập luận khác hơn của mẫu &identifier:

using My_Call  = Call < &function >; // fine 

constexpr func mypointer = &function; // fine 
using My_Ind_Call = Call <func>;  // forbidden, argument not of form `&id`