Разрешение имен для зависимых типов

Используйте имя типа для полных имен в определении шаблона, чтобы сообщить компилятору, что заданное полное имя определяющего тип.Дополнительные сведения см. в разделе typename.

// template_name_resolution1.cpp
#include <stdio.h>
template <class T> class X
{
public:
   void f(typename T::myType* mt) {}
};

class Yarg
{
public:
   struct myType { };
};

int main()
{
   X<Yarg> x;
   x.f(new Yarg::myType());
   printf("Name resolved by using typename keyword.");
}

Output

Name resolved by using typename keyword.

Поиск имени для зависимых имен анализирует имена из обоих контекст шаблона определение- в следующем примере этот контекст находитьTm бы myFunction(char)— и контекст экземпляр шаблона.В следующем примере создан на основе шаблона; поэтому MyNamespace::myFunction отображается с момента создания и скомплектованно, как лучше подходит.Если MyNamespace::myFunction было переименовано, myFunction(char) было бы вызывается.

Все имена допускаются, если их зависимыми именами.Однако рекомендуется использовать полные имена, если любой возможный конфликт.

//template_name_resolution2.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;

void myFunction(char)
{
   cout << "Char myFunction" << endl;
}

template <class T> class Class1
{
public:
   Class1(T i)
   {
      // If replaced with myFunction(1), myFunction(char)
      // will be called
      myFunction(i);
}
};

namespace MyNamespace
{
   void myFunction(int)
   {
      cout << "Int MyNamespace::myFunction" << endl;
   }
};

using namespace MyNamespace;

int main()
{
   Class1<int>* c1 = new Class1<int>(100);
}

Output

Int MyNamespace::myFunction

Disambiguation шаблона

Visual C++ в Visual Studio 2012 обеспечивает стандартные правила C++98/03/11 для disambiguation с ключевым словом "template".В следующем примере Visual C++ 2010 признавало минимум и nonconforming линии и соответствующей линии. Visual C++ в Visual Studio 2012 принимает только соответствующей линии.

#include <iostream>
#include <ostream>
#include <typeinfo>
using namespace std;

template <typename T> struct Allocator {
    template <typename U> struct Rebind {
        typedef Allocator<U> Other;
    };
};

template <typename X, typename AY> struct Container {
    #if defined(NONCONFORMANT)
        typedef typename AY::Rebind<X>::Other AX; // nonconformant
    #elif defined(CONFORMANT)
        typedef typename AY::template Rebind<X>::Other AX; // conformant
    #else
        #error Define NONCONFORMANT or CONFORMANT.
    #endif
};

int main() {
    cout << typeid(Container<int, Allocator<float>>::AX).name() << endl;
}

Соответствие правилам disambiguation необходимо, поскольку по умолчанию C++ предполагается, что AY::Rebind не является шаблоном, поэтому компилятор интерпретирует ниже "<" a менее- меньше. Он должен знать, что Rebind шаблона таким образом, чтобы он мог правильно проанализировать "<" в качестве стенной угольник.

См. также

Ссылки

Шаблоны и разрешение имен