¿El error de sustitución es un error con los parámetros de plantilla no de tipo dependiente?

Question

Digamos que tengo estos alias plantilla:

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; 

que pueda hacer lo siguiente en 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 {}); 
} 

Imprime:

es polimórfico
no es polimórfico

que coincide con mis expectativas.

Con clang ese código no se compila. Produce los siguientes mensajes de error.

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. 

¿Debe compilar? ¿Cuál de los dos compiladores está defectuoso?

Answer 1

^{En primer lugar, gracias a @Richard Smith en el para la explicación.}
Por desgracia, esto no es legal C++ y como tal Clang es correcta: {} no es una expresión, sino una -init-lista arriostrados y, como tal, nunca será una constante expresión como se necesita en el inicializador de un parámetro de plantilla sin tipo.

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

A plantilla-argumento para un no-tipo, no molde plantilla-parámetro deberá ser uno de:

• para una plantilla del tipo no-parámetro de tipo integral o de enumeración, una expresión constante convertida (5.19) del tipo de templat e-parameter; o
• [...]

Una solución podría ser un valor ficticio en enabler.