parzialmente specializzata in materia di non-tipo di parametro template del tipo sbagliato

Question

Si consideri il seguente:

template <unsigned > 
struct uint_ { }; 

template <class > 
struct X { 
    static constexpr bool value = false; 
}; 

template <int I> // NB: int, not unsigned 
struct X<uint_<I>> { 
    static constexpr bool value = true; 
}; 

int main() { 
    static_assert(X<uint_<0>>::value, "!"); 
} 

clang compila il codice, gcc non lo fa.

Tuttavia, nel seguente esempio altamente corrispondenti

template <unsigned > 
struct uint_ { }; 

template <int I> // NB: int, not unsigned 
void foo(uint_<I>) { } 

int main() { 
    foo(uint_<0>{}); 
} 

entrambi compilatori respingono senza alcuna funzione di corrispondenza chiamata foo. Il comportamento di gcc è coerente, Clang's non lo è, quindi uno o l'altro compilatore ha un bug per uno o entrambi gli esempi. Quale compilatore è corretto?

Answer 1

GCC è corretto. [temp.deduct.type]/17:

Se P ha una forma che contiene <i>, e se il tipo di corrispondente valore A differisce dal tipo di i, deduzione fallisce.