为什么 std::vector 不能采用本地类型？

Question

void foo() {
  struct Foo { .. };
  std::vector<Foo> vec; // why is this illegal?
}

我不会把Foo送回外面的世界。它只是我在函数中使用的临时类型。

Answer 1

本地类不能作为模板参数。因为标准说：-

14.3.1 第 2 段：
“本地类型、无链接的类型、未命名类型或类型
由任何这些类型组成的化合物不得用作
模板类型参数的模板参数。”

[Example:
template <class T> class X { /* ... */ };
void f()
{
struct S { /* ... */ };
X<S> x3; // error: local type used as templateargument
X<S*> x4; // error: pointer to local type used as templateargument
}
-end example] [Note: a template type argument may be an incomplete
type (3.9). ]"

建议一种解决方法 此处，关于 clc++.moderated。

更新：
关于为什么不能将本地类作为模板参数进行了一些讨论？链接 此处和此处 在 c.std.c++ 上讨论相同的内容。

Answer 2

简短回答：
因为 C++ 标准是这么说的（14.3.1 节）

长答案：
在 C++ 标准化时，C++ 标准委员会认为会存在实现和性能问题。事实证明，这些担心是没有根据的，并且从 C++0x 标准的最终草案开始，他们已经撤销了这一决定。

---

更实际的是，一些编译器已经支持新的 C++0x 规则：

• 对于 MacOSX，您需要使用 -std=c++0x 命令 gcc >=4.5 -行参数
• 对于 Microsoft 编译器，您需要 >=vc8/VS2005 不带 /Za 选项（禁用语言扩展）