noexcept operator i enable_if_t: czy współpracują ze sobą?

Question

Rozważmy następujące klasy:

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 {} 
}; 

Zgodnie z oczekiwaniami, to kompiluje:

s.f<void>(); 

Ten jeden nie zamiast:

s.g<void>(); 

Co mnie zastanawia to, że następujący main kompiluje z GCC (6.2) i nie kompiluje się z klangiem (3.9):

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

Powiedziałbym, że drugie twierdzenie nie powiodło się z powodu nieważnej specjalizacji. Dwa kompilatory nie zgadzają się z tym.

Która z nich jest poprawna?

Answer 1

[except.spec]/13:

Zestaw potencjalnych wyjątkami wyrażenia e jest pusty, gdy e jest rdzeń wyrażenie stałe (5,20).

Oznacza to, że GCC nawet nie rozwiąże Template-id, ponieważ wie, z get-go, że wynik jest true (od g<void> nie jest statycznym członkiem dane specjalizacja szablonu, którego typ jest przeciążony operator&). Będąc sprytnym, zachowanie jest niezgodne, ponieważ każde wystąpienie szablonu powoduje zastąpienie argumentów w deklaracji szablonu funkcji.