Что делает вызов этого шаблона [somename]?

Я искал этот вопрос, и я ничего не могу найти на нем. Есть ли лучший способ запросить что-то подобное в Google или кто-нибудь может предоставить ссылку или ссылки или достаточно подробное объяснение? Спасибо!

EDIT: Здесь пример

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

Этот пример из проекта ndarray в Google Code и не является моим собственным кодом.

Ответы

Ответ 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. template необходим, поскольку в противном случае "<" который предназначен для открытия списка параметров шаблона, содержащего 200, в противном случае указывает знак меньше ([temp.names]/4).