调用“this->template [somename]”是什么意思？做？

Question

我搜索过这个问题，但找不到任何相关内容。有没有更好的方法在 Google 中查询类似的内容，或者任何人都可以提供一个或多个链接或相当详细的解释吗？谢谢！

编辑：这是一个示例

template< typename T, size_t N>
struct Vector {
public:
   Vector() {
       this->template operator=(0);
   }

   // ...       

   template< typename U >
   typename boost::enable_if< boost::is_convertible< U, T >, Vector& >::type operator=(Vector< U, N > const & other) {
       typename Vector< U, N >::ConstIterator j = other.begin();
       for (Iterator i = begin(); i != end(); ++i, ++j)
           (*i) = (*j);
       return *this;
   } 
};

此示例来自 Google 代码上的 ndarray 项目，不是我自己的代码。

Answer 1

下面是一个需要 this->template 的示例。但它与OP的示例并不真正匹配：

#include <iostream>

template <class T>
struct X
{
    template <unsigned N>
        void alloc() {std::cout << "alloc<" << N << ">()\n";}
};

template <class T>
struct Y
    : public X<T>
{
    void test()
    {
        this->template alloc<200>();
    }
};

int main()
{
    Y<int> y;
    y.test();
}

在此示例中，需要 this ，否则不会在基类中查找 alloc 因为基类是依赖的在模板参数 T 上。需要模板，因为否则“<”其目的是打开包含 200 的模板参数列表，否则将指示小于号 ([temp.names]/4)。

Answer 2

当扩展依赖于模板参数的类时，这种类型将成为依赖名称。

问题是，在执行两阶段名称查找时，编译器无法知道在哪里可以找到函数hello。他不知道它来自父母。因为模板专门化是一件事，所以 Base 和 Base 可能是两个完全不同的类，具有不同的函数和成员。

添加 this 关键字后，编译器知道 hello 必须是一个成员函数。

如果没有它，它可能是成员函数或非成员函数。

#include <iostream>

template <class T>
class Base {
public:

    void hello() {std::cout << "hello\n";}
    
    void hello1() {std::cout << "hello1\n";}

    template <unsigned N>
    void hello2() {std::cout << "hello2<" << N << ">()\n";}
    
};

template <class T>
class Drivered: public Base<T> {
public:
    
    using Base<T>::hello;

    void test()
    {
        hello();
        this->hello1();
        this->template hello2<200>();
 }
};
int main() {
    Drivered<int> d;
    d.test();
}

【1】https://stackoverflow.com/a/39667832/4268594

Answer 3

它用于消除歧义，

// maybe: (handle->appendArray < 13) > (myarray);
handle->appendArray<13>(myarray);

也许某些编译器可以自动推断它。