템플릿 별칭 및 파일

Question

템플릿 별칭 (, 예 : 누락 된 멤버 typename의 템플릿 별칭, 아래 코드 조각과 같이)이 포함 된 대체 오류의 경우 오류가 발생해야합니까? 올바른 누가, 왜 : 그래서 질문은

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

을 :

연타와 GCC는 이것에 동의하는 것? 기준에 따르면

Answer 1

:-)

감사합니다, 그것은 별칭 템플릿을 즉시 교체해야하고 보통/보통 SFINAE 나중에 T이 알고있을 때 typename T::member_type에 적용되기 때문에, 정확하다는 것을 분명히 GCC입니다.

그러나 현재이 문제가 있습니다 (http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1554 참조).

회의 결과에 따르면 clangs 동작이 필요합니다. T의 대체는 별칭 템플릿의 컨텍스트에서 수행됩니다 (typename T::member_type의 대체 시간에 별칭에 대한 참조가 없더라도 템플릿이 더 이상 필요하지 않습니다. 매개 변수 유형 패턴의 출처로 참조되어야합니다.

---

이 표준은 규범 적 매개 변수 인 것은 분명하다 내 의견으로는, 너무이 경우 인스턴스화 의미를

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

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

에 영향을 줄 수있는 패턴을 정의 시간에 멀리 던져 다른 상황과 유사 즉시 int*으로 대체되므로 인스턴스화가 작동합니다. http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1322을 참조하십시오.