我们什么时候需要 .template 构造

Question

我编写了以下程序

#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);
}

上面的程序无法编译，因为 display() 是一个模板成员函数，因此在 display() 之前有 .template 的限定> 必须完成。我说得对吗？

但是当我编写以下程序时，

#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();
}

为什么即使在给出 .template 构造后 k.func(k); 也无法编译？

Answer 1

< 符号表示“小于”和“开始模板参数”。为了区分这两种含义，解析器必须知道前面的标识符是否命名了模板。

例如，考虑代码

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

T::variable 或 T::constant 必须是模板。该函数意味着不同的东西，具体取决于哪个是哪个不是：

1. T::constant 与 3 进行比较，布尔结果成为 T::variable<>< /code>
2. 或 T::constant<3> 与 x->variable 进行比较。

为了消除歧义，在 variable 或 constant 之前需要使用 template 关键字。情况 1：

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

情况 2：

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

如果仅在实际不明确的情况下需要关键字（这种情况很少见），那就太好了，但它使解析器更容易编写，并且可以防止此类问题让您措手不及。

对于标准语言，请参阅 14.2/4：

当成员模板的名称
专业化出现在 .或->
在后缀表达式中，或之后
嵌套名称说明符
合格的 ID，以及
后缀表达式或限定 ID
明确依赖于
模板参数（14.6.2），
成员模板名称必须带有前缀
通过关键字模板。否则
假设名称为a
非模板。

Answer 2

C++ 模板 的第 5.1 节详细解释了此构造

下面的函数有一个问题

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

} 

Here T = char 和 U = int

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

正在被调用。然而这样的函数并不存在

即使在正常情况下“char”可以转换为“int”，但这对于显式指定的模板参数来说并不适用

Answer 3

该标准要求 template 或 typename 关键字“nofollow noreferrer”>消除依赖于模板上下文的事物的歧义。