Question

我正在尝试在VC ++ 2005中编译以下基于模板的代码。

    #include <iostream>
using namespace std;


/*
 * T is a template which maps an integer to a specific type.
 * The mapping happens through partial template specialization.
 * In the following T<1> is mapped to char, T<2> is mapped to long
 * and T<3> is mapped to float using partial template specializations
 */
template <int x>
struct T
{
public:
};

template<>
struct T<1>
{
public:
    typedef char xType;
};


template<>
struct T<2>
{
public:
    typedef long xType;
};

template<>
struct T<3>
{
public:
    typedef float xType;
};

// We can easily access the specific xType for a specific T<N>
typedef T<3>::xType x3Type;

/*!
 * In the following we are attempting to use T<N> inside another
 * template class T2<R>
 */

template<int r>
struct T2
{
    //We can map T<r> to some other type T3
    typedef T<r> T3;
    // The following line fails
    typedef T3::xType xType;
};

int main()
{
    T<1>::xType a1;
    cout << typeid(a1).name() << endl;
    T<2>::xType a2;
    cout << typeid(a2).name() << endl;
    T<3>::xType a3;
    cout << typeid(a3).name() << endl;
    return 0;
}

代码中有一条特殊的行无法编译：

typedef T3::xType xType;

如果删除此行，编译就可以了，结果是：

char
long
float

如果我保留此行，则会发现编译错误。

main.cpp(53) : warning C4346: 'T<x>::xType' : dependent name is not a type
    prefix with 'typename' to indicate a type
    main.cpp(54) : see reference to class template instantiation 'T2<r>' being compiled
main.cpp(53) : error C2146: syntax error : missing ';' before identifier 'xType'
main.cpp(53) : error C4430: missing type specifier - int assumed. Note: C++ does not    support default-int

我无法弄清楚如何确保T :: xType可以被视为T2模板中的类型。任何帮助都非常感谢。

Answer 1

由于模板类中的T3取决于模板参数，因此编译器无法确定T3::xType将引用的内容（可能取决于实际类型r）每个实例化T2<r>）。

要告诉编译器T3::xType是一种类型，您需要添加typename关键字：

typedef typename T3::xType xType;

Answer 2

尝试

typedef typename  T3::xType xType;

Answer 3

错误消息告诉您确切需要做什么：在类型之前添加typename。

typedef typename T3::xType xType;

你需要这个的原因是，如果有一个可以被视为变量或类型的标识符，编译器会将其视为一个变量，这就是在这种情况下发生的事情。为了让编译器知道它实际上是一种类型，您使用typename关键字。

在特定情况下，使用C ++模板将整数映射到类型失败

3 个答案: