c++ - 使用 STL 容器的对象的前向声明

Question

考虑以下代码片段，其中第一行仅用作前向声明

 class A;

接着定义新类

class B
{
 vector<A> Av;  //line 1
 map<int, A> Am;  //line 2
 pair<int, A> Ap; //line 3
};

第 1 行和第 2 行似乎与前向声明没问题(这可能告诉我那些容器使用指针类型的实现)，而第 3 行似乎无法在 VS2012 上编译。

我的问题是，行为是由标准规定的还是特定于我使用的编译器？

Answer 1

标准库类型的相关规则在[res.on.functions]中:

In particular, the effects are undefined in the following cases: [...] if an incomplete type (3.9) is used as a template argument when instantiating a template component, unless specifically allowed for that component.

这个:

vector<A> Av;

很好。 std::vector 允许用不完整的类型实例化，只要它在您使用任何成员之前变得完整即可。 [vector.overview] 中的标准对此有一个明确的异常(exception):

An incomplete type T may be used when instantiating vector if the allocator satisfies the allocator completeness requirements 17.6.3.5.1. T shall be complete before any member of the resulting specialization of vector is referenced.

std::list 和 std::forward_list 有相似的措辞。

这个:

map<int, A> Am;

格式错误。 std::map 根据第一个引号在实例化时需要一个完整的类型。与 vector 一样，此容器也不异常(exception)。

这个:

pair<int, A> Ap;

不可能工作，因为 pair 只是一个有两个成员的简单结构。为了拥有 A 类型的成员，您需要一个完整的类型。