特征类的 typedef 中的匿名结构

Question

对不起，这个有趣的标题。

在 C++0x 之前，restrictions 使用函数局部结构（“局部类型”）作为模板参数。我的问题本质上是类似的限制是否适用于匿名结构。具体来说，在 trait 类的上下文中：

template <typename T>
struct trait;

template <>
struct trait<int> {
    typedef int type;
};

template <typename T>
struct trait<std::basic_string<T> > {
    typedef struct {
        T value;
    } type;
};

trait<std::string>::type foo; // Is this valid?

template <typename T>
void f() { }

f<trait<std::string>::type> >(); // Is this?

template <typename T>
void g() { f<typename trait<T>::type>(); }

g<std::string>(); // And this?

这是有效和可靠的吗？它可以在最新版本的 GCC 和 LLVM 中编译，但我仍然不确定这是否严格有效，以及它是否被 VC++ 和 ICC 理解。

Answer 1

作为参考，引用 14.3.1/2 中的链接问题：

本地类型，没有链接的类型， 未命名类型或复合类型 从任何这些类型不得 用作 a 的模板参数 模板类型参数。

我的解释是typedef struct 正在创建一个未命名类型的别名，因此它不能用作模板类型参数。进一步注意，在 C 中，typedef struct {} Foo; 的处理方式与 struct Foo {}; 的处理方式截然不同，因为这两种形式不等价（尽管 C++ 中没有出现这种差异）。

因此，您的第一个示例似乎有效（因为它没有使用未命名类型作为模板类型参数），而第二个和第三个示例在技术上是无效的（因为它们确实将其用作模板类型参数）。

最后我要问的是，你有什么理由不能命名结构而不是typedefing它？

编辑：从 7.1.3/1 开始：

...因此，typedef-name 是 另一种类型。 typedef-name 不 以类的方式引入新类型 声明（9.1）或枚举声明 确实...

这强烈暗示以这种方式使用typedef 不会引入适合用作模板类型参数的类型。

Answer 2

在即将发布的标准中，该限制已从语言中移除。该标准在

中说

14.3.1 [temp.arg.type] /1

作为类型的模板参数的模板参数应该是类型ID。

typedef 是一个有效的type-id。事实上，下一段包含这样一个例子：

14.3.1 [temp.arg.type] /2

template <class T> class X { };
template <class T> void f(T t) { }
void f() { 
   typedef struct { } B;
   B b;
   X<B> x3;
   f(b);
}

（我已经修剪了大部分其他示例）该示例表明，未命名的类型可以用作类模板和函数模板中的类模板参数。

Answer 3

typedef 声明定义了一个匿名类和该类的 typedef-name，typedef-name 是用于链接目的的类的名称。因此，如果该类满足其他条件，则将该类用作模板参数是合法的。

参见 C++03 标准的 7.1.3p5

如果 typedef 声明定义了一个 未命名的类（或枚举），第一个 typedef-name 由声明声明为该类类型（或枚举 type) 用于表示类类型 （或枚举类型）用于链接目的 仅（3.5）。 [示例：

typedef struct { } *ps, S; // S is the class name for linkage purposes

这是 C++0x FDIS 中的 7.1.3p9。

FWIW，此代码可以使用 MSVC2010 编译（模拼写错误）。

Answer 4

嗯，这相当于

template <typename T>
struct trait<std::basic_string<T> > {
    struct type {
        T value;
    };
};

这是完全合法的。