类成员上的 Decltype 作为模板参数

Question

我正在尝试将类成员的类型作为模板参数传递。为此，我使用以下代码：

class C
{
public:
    int a;
};
class B
{
public:
    template<typename _T> void Test() {}
    // Specialize for int for Test testing purposes.
    template<> void Test<int>() { printf("Success!\n"); }
};

//Later:
B b;
C c;
b.Test<decltype(c.a)>();

这给了我以下错误：

错误 C2662: 'void B::Test(void)' : 无法转换 'this' 指针 从 'C' 到 'B &' 原因：无法从 'C' 转换到 'B' 转换 需要第二个用户定义的转换运算符或构造函数

但是，如果我使用以下代码，它确实有效：

decltype(c.a) d;
b.Test<decltype(d)>();

如果我只是直接使用类成员，为什么它不起作用？ 我正在使用 Visual Studio 2012。

Answer 1

我认为在类中定义特化是不合法的，它必须在命名空间级别（g++ 不会编译你的代码，error: explicit specialization in non-namespace scope 'class B'）。尝试在类外定义模板，

template<> void B::Test<int>() { printf("Success!\n"); }

这段代码对我来说非常好（在 g++ 上），如果它不适合你，那可能是 VS 问题。

#include <iostream>

using namespace std;

class C
{
public:
    int a;
};

class B
{
public:
    template<typename _T> 
    void Test() {}
    // Specialize for int for Test testing purposes.
};

template<> void B::Test<int>() { cout << "Success!\n"; }

int main()
{
    B b;
    C c;
    b.Test<decltype(c.a)>();
}

Answer 2

7.1.6.2(4)

对于表达式e，decltype(e)表示的类型定义如下：

• 如果e 是一个未加括号的id-expression 或一个未加括号的类成员访问 (5.2.5)，decltype(e) 是由 命名的实体的类型e。
• 如果不存在这样的实体，或者如果e 命名了一组重载函数，则程序是非良构的；
• 否则，如果e是一个xvalue，decltype(e)就是T&&，其中T是e的类型；
• 否则，如果e是左值，decltype(e)就是T&，其中T是e的类型；
• 否则，decltype(e) 是 e 的类型。

VS2012 似乎忘记了（或从未被告知）我加粗的部分，e 是一个未加括号的类成员访问。因此它可能会退回到e 是左值时的规则，因此对于 VS2012，decltype(c.a) 表示int&（对int 的引用）。

您的示例还包含一个以 _ 开头的标识符和一个大写字母 (_T)，这是未定义的行为。见What are the rules about using an underscore in a C++ identifier?