Kiedy potrzebujemy .template skonstruować

Question

zrobiłem następujący program

#include <iostream> 
#include <typeinfo> 
template<class T> 
struct Class 
{ 
    template<class U> 
    void display(){ 

     std::cout<<typeid(U).name()<<std::endl; 
     return ; 
    } 

}; 


template<class T,class U> 
void func(Class<T>k) 
{ 
    k.display<U>(); 

} 

int main() 
{ 
    Class<int> d; 
    func<int,double>(d); 
} 

Powyższy program nie robi skompilować ponieważ display() jest funkcją członkiem szablon więc kwalifikacja .template przed display() musi być zrobione. Czy mam rację?

Ale kiedy zrobiłem następujący program

#include <iostream> 
#include <typeinfo> 

template<typename T> 
class myClass 
{ 
    T dummy; 
    /*******/ 
public: 
    template<typename U> 
    void func(myClass<U> obj); 

}; 

template<typename T> 
template<typename U> 

void myClass<T>::func(myClass<U> obj) 
{ 
    std::cout<<typeid(obj).name()<<std::endl; 
} 
template<class T,class U> 
void func2(myClass<T>k) 
{ 
    k.template func<U>(k); //even it does not compile 

} 
int main() 
{ 
    myClass<char> d; 
    func2<char,int>(d); 
    std::cin.get(); 
} 

Dlaczego k.func<char>(k); nie kompiluje nawet po złożeniu .template konstruktu?

Answer 1

< symbol oznacza zarówno „mniej niż” i "rozpocznij argumenty szablonu." Aby rozróżnić te dwa znaczenia, analizator składni musi wiedzieć, czy poprzedni identyfikator określa szablon, czy nie.

Na przykład rozważyć kod

template< class T > 
void f(T &x) { 
    x->variable < T::constant <3>; 
} 

Albo T::variable lub T::constant musi być szablon. Funkcja oznacza różne rzeczy w zależności co jest a co nie jest:

1. albo T::constant dostaje w porównaniu do 3 i logiczny wynik staje się szablon argument T::variable<>
2. lub T::constant<3> dostaje porównaniu x->variable.

disambiguate, słowo template jest wymagana przed każdym variable lub constant. Przypadek 1:

template< class T > 
void f(T &x) { 
    x->template variable < T::constant <3>; 
} 

Przypadek 2:

template< class T > 
void f(T &x) { 
    x->variable < T::template constant <3>; 
} 

byłoby miłe, jeśli słowo kluczowe były wymagane tylko w rzeczywistych sytuacjach niejednoznacznych (które są swego rodzaju rzadko), ale to sprawia, że ​​parser dużo łatwiejsze do napisania i zapobiega takim niespodziankom.

Dla standardese patrz 14.2/4:

Gdy nazwa członka szablon specjalizacji pojawia się po. lub -> w postfix ekspresji lub po zagnieżdżonego-NAME specyfikatorem w wykwalifikowanego-ID i postfix ekspresji lub wykwalifikowanego-id wyraźnie zależy na szablonach parametru (14.6.2), Nazwa szablonu elementu członkowskiego musi być poprzedzona prefiksem według szablonu słowa kluczowego. W przeciwnym razie przyjmuje się, że nazwa nie jest nazwą szablonu.

Answer 2

Standard wymaga słów kluczowych template lub typename do disambiguate things that depend on the template context.

Answer 3

Pierwszy przykład kompiluje i działa dobrze dla mnie w VS 2010.

Answer 4

rozdział 5.1 C++ Templates wyjaśnia ten konstrukt szczegółowo

Poniższa funkcja ma problem

template<class T,class U> 
void func2(myClass<T> k) 
{ 
    k.template func<U>(k); //even it does not compile 

} 

Tutaj T = char i U = int

myclass<char>::func<int>(myclass<char>) 

is bei ng zadzwonił. Jednak taka funkcja nie istnieje

Nawet w normalnych okolicznościach „char” jest zamienny do „int”, to nie posiada dobre dla wyraźnie określonych argumentów szablonu