혼란스러운 템플릿 오류

나는 한동안 clang을 가지고 놀았고 템플릿 오류에서 복구하기위한 힌트를 제공해야하는 "test / SemaTemplate / dependent-template-recover.cpp"(clang 배포판)를 우연히 발견했습니다.

모든 것을 최소한의 예제로 쉽게 제거 할 수 있습니다.

template<typename T, typename U, int N> struct X {
    void f(T* t)
    {
        // expected-error{{use 'template' keyword to treat 'f0' as a dependent template name}}
        t->f0<U>();
    }
};

clang에 의해 생성 된 오류 메시지 :

tpl.cpp:6:13: error: use 'template' keyword to treat 'f0' as a dependent template name
         t->f0<U>();
            ^
            template 
1 error generated.

...하지만 template코드 구문이 정확하도록 키워드를 정확히 삽입해야하는 위치를 이해하기가 어렵습니다 .

ISO C ++ 03 14.2 / 4 :

멤버 템플릿 전문화의 이름이 뒤에 나타날 때. 또는-> postfix-expression에서 또는 규정 된 ID의 중첩 이름 지정자 뒤에 있고 postfix-expression 또는 규정 된 ID가 템플릿 매개 변수 (14.6.2)에 명시 적으로 의존하는 경우 멤버 템플리트 이름은 다음과 같아야합니다. 키워드 template가 앞에 붙습니다 . 그렇지 않으면 이름이 템플릿이 아닌 이름으로 간주됩니다.

In t->f0<U>(); f0<U>은 ->템플릿 매개 변수 뒤에 나타나고 명시 적으로 종속 U되는 멤버 템플릿 전문화이므로 멤버 템플릿 전문화는 template키워드 로 접두사로 지정해야합니다 .

그래서 변경 t->f0<U>()에 t->template f0<U>().

다른 사람들이 지적한 것 외에도 때때로 컴파일러가 마음을 결정할 수 없으며 두 해석 모두 인스턴스화 할 때 대체 유효한 프로그램을 생성 할 수 있습니다.

#include <iostream>

template<typename T>
struct A {
  typedef int R();

  template<typename U>
  static U *f(int) { 
    return 0; 
  }

  static int f() { 
    return 0;
  }
};

template<typename T>
bool g() {
  A<T> a;
  return !(typename A<T>::R*)a.f<int()>(0);
}


int main() {
  std::cout << g<void>() << std::endl;
}

이 인쇄는 0생략 할 때 template전에 f<int()>그러나 1그것을 삽입 할 때. 코드가 무엇을하는지 알아 내기위한 연습으로 남겨 둡니다.

캐럿이있는 지점 바로 앞에 삽입하십시오.

template<typename T, typename U, int N> struct X {
     void f(T* t)
     {
        t->template f0<U>();
     }
};

편집 : 컴파일러처럼 생각하면이 규칙의 이유가 더 명확 해집니다. 컴파일러는 일반적으로 한 번에 하나 또는 두 개의 토큰 만 미리보고 나머지 표현식을 "미리보기"하지 않습니다. [편집 : 주석 참조] 키워드의 이유 typename는 종속 유형 이름을 나타 내기 위해 키워드가 필요한 이유와 같습니다 . 컴파일러에게 "보려는 식별자는 템플릿의 이름이 아니라 템플릿의 이름입니다. 보다 작음 기호가 뒤 따르는 정적 데이터 멤버의 이름 ".

C ++ 템플릿 에서 발췌

.template Construct typename 도입 이후 매우 유사한 문제가 발견되었습니다. 표준 bitset 유형을 사용하는 다음 예제를 고려하십시오.

template<int N> 
void printBitset (std::bitset<N> const& bs) 
{ 
    std::cout << bs.template to_string<char,char_traits<char>, 
                                       allocator<char> >(); 
} 

이 예제에서 이상한 구조는 .template입니다. 템플릿을 추가로 사용하지 않으면 컴파일러는 뒤에 오는보다 작은 토큰 (<)이 실제로 "보다 작음"이 아니라 템플릿 인수 목록의 시작이라는 것을 알지 못합니다. 기간 이전의 구성이 템플릿 매개 변수에 의존하는 경우에만 문제가됩니다. 이 예에서 매개 변수 bs는 템플릿 매개 변수 N에 의존합니다.

결론적으로 .template 표기법 (및-> template과 같은 유사한 표기법)은 템플릿 내에서만 사용되어야하며 템플릿 매개 변수에 의존하는 것을 따르는 경우에만 사용해야합니다.