Оператор noexcept и enable_if_t: они работают вместе?

Question

Рассмотрим следующий класс:

struct S { 
    template<typename T> 
    std::enable_if_t<std::is_void<T>::value> 
    f() noexcept {} 

    template<typename T> 
    std::enable_if_t<not std::is_void<T>::value> 
    g() noexcept {} 
}; 

Как и следовало ожидать, это компилирует:

s.f<void>(); 

Это один не вместо:

s.g<void>(); 

озадачивает меня в том, что следующий main компилируется GCC (6.2) и не компилируется с помощью clang (3.9):

int main() { 
    static_assert(noexcept(&S::f<void>), "!"); 
    static_assert(noexcept(&S::g<void>), "!"); 
} 

Я бы сказал, что второе утверждение потерпело неудачу из-за недействительной специализации. Эти два компилятора не согласны с этим.

Какой именно?

Answer 1

[except.spec]/13:

Множество потенциальных исключений из выражения e пуст, если e является постоянным выражением ядра (5.20).

То есть, GCC, даже не разрешить шаблонный идентификатор, потому что он знает, с самого начала идти, что результат true (с g<void> не статический член данных специализация шаблона, тип которого имеет перегруженный operator&). Будучи умным, поведение является несоответствующим, поскольку любое появление шаблона влечет за собой замену аргументов в объявление шаблона функции.