aliasy szablonów i sfinae

Question

W przypadku niepowodzenia zastępowania z użyciem aliasu szablonu (, np. alias szablonu na brakującym pliku nazwa_pliku, jak w poniższym fragmencie kodu), w przypadku wystąpienia błędu?

Clang i gcc wydają się nie zgodzić na to:

// some types 
struct bar { }; 

struct foo { 
    typedef void member_type; 
}; 


// template alias 
template<class T> 
using member = typename T::member_type; 


template<class T> 
void baz(...) { } 

// only works for gcc, clang fails with: no type named 'member_type' 
// in 'bar' 
template<class T> 
void baz(member<T>*) { } 


int main(int, char**) { 

    baz<bar>(0);   // picks first 
    baz<foo>(0);   // picks second 

    return 0; 
} 

Więc pytanie brzmi: kto jest poprawna i dlaczego?

Dzięki :-)

Answer 1

według standardów, to wyraźnie GCC, że jest poprawne, ponieważ szablon alias należy natychmiast wymienić, a potem normalne/zwykle SFINAE nakłada się typename T::member_type później kiedy T jest znana.

Ale obecnie istnieje problem, zobacz http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1554.

Zgodnie z wynikami spotkań, wydaje się, że pożądane jest zachowanie clangs: Podstawienie T będą wykonywane w kontekście szablonu alias (choć w momencie zastąpienia typename T::member_type, nie ma odniesienie do aliasu szablon już będzie - trzeba będzie odwoływać się do źródła, skąd wziął się wzorzec typu parametru, jeśli tak jest zaimplementowany).

---

ta jest podobna do innej sytuacji, w której wzory są wyrzucane na czas definicji, która mogłaby wpłynąć semantyka instancji

template<int I> 
void f(int x[I]); 

int main() { 
    f<0>(nullptr); 
} 

W tym przypadku, moim zdaniem standard normatywnie jest jasne, że parametr jest natychmiast zastępowany przez int*, a tym samym działa instancja. Zobacz http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1322.