Lỗi thay thế có phải là lỗi với các tham số mẫu không phụ thuộc không?

Question

Hãy nói rằng tôi có những mẫu bí danh:

enum class enabler {}; 

template <typename T> 
using EnableIf = typename std::enable_if<T::value, enabler>::type; 
template <typename T> 
using DisableIf = typename std::enable_if<!T::value, enabler>::type; 

tôi có thể làm như sau trong GCC:

#include <iostream> 

template <typename T, EnableIf<std::is_polymorphic<T>> = {}> 
void f(T) { std::cout << "is polymorphic\n"; } 

template <typename T, DisableIf<std::is_polymorphic<T>> = {}> 
void f(T) { std::cout << "is not polymorphic\n"; } 

struct foo { virtual void g() {} }; 

int main() { 
    f(foo {}); 
    f(int {}); 
} 

It in:

là đa hình
không phải là đa hình

Điều phù hợp với mong đợi của tôi.

Với mật mã không biên dịch. Nó tạo ra các thông báo lỗi sau.

test.cpp:11:58: error: expected expression 
template <typename T, EnableIf<std::is_polymorphic<T>> = {}> 
                 ^
test.cpp:14:59: error: expected expression 
template <typename T, DisableIf<std::is_polymorphic<T>> = {}> 
                 ^
test.cpp:20:3: error: no matching function for call to 'f' 
    f(foo {}); 
^
test.cpp:12:6: note: candidate template ignored: couldn't infer template argument '' 
void f(T) { std::cout << "is polymorphic\n"; } 
    ^
test.cpp:15:6: note: candidate template ignored: couldn't infer template argument '' 
void f(T) { std::cout << "is not polymorphic\n"; } 
    ^
test.cpp:21:3: error: no matching function for call to 'f' 
    f(int {}); 
^
test.cpp:12:6: note: candidate template ignored: couldn't infer template argument '' 
void f(T) { std::cout << "is polymorphic\n"; } 
    ^
test.cpp:15:6: note: candidate template ignored: couldn't infer template argument '' 
void f(T) { std::cout << "is not polymorphic\n"; } 
    ^
4 errors generated. 

Nó có nên biên dịch không? Trình biên dịch nào trong số hai trình biên dịch bị lỗi?

Answer 1

^{Đầu tiên và trên hết, nhờ @Richard Smith trên số #llvm IRC Channel on oftc để giải thích.}
Thật không may, đây là không hợp pháp C++ và như vậy Clang là đúng: {} không phải là một biểu hiện nhưng một chuẩn bị tinh thần-init-list và như vậy sẽ không bao giờ là một hằng số biểu như là cần thiết trong initializer của một tham số mẫu không phải kiểu.

§14.3.2 [temp.arg.non-type] p1

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

• cho một template- không loại tham số loại tích phân hoặc kiểu liệt kê, biểu thức hằng số được chuyển đổi (5.19) của loại templat thông số điện tử; hoặc
• [...]

Một giải pháp sẽ là một giá trị dummy trong enabler.