如果绝对没有调用成员函数，是否允许使用类型不完整的向量？如果是，从什么时候开始的？

Question

假设我有某种不完整的类型

// in foo.hh
struct Hidden;

我希望将其用作std::vector的元素类型。使用union，我可以将对std::vector的构造函数和析构函数的调用“推迟”到unions构造函数/析构函数的实现。

// in foo.hh
struct Public {
  union Defer {
    std::vector<Hidden> v;
    Defer();
    // add copy/move constructor if needed
    ~Defer();
  } d;
};

现在，我可以使用public，方法是只包含foo.hh并与实现public::defer::defer()和public::defer::~defer()的文件链接。只有那些用户才需要访问hidden的完整定义。

这是合法的C++吗？如果是，从什么时候开始的？

背景：我在回答另一个问题时提出的问题。

Answer 1

使用不完整类型实例化std::vector t是C++14之前的未定义行为。在C++17中，这一限制有所放宽：

[vector.overview]/3如果分配器满足分配器完整性要求17.6.3.5.1，则在实例化vector时可以使用不完整类型T。在引用生成的vector专门化的任何成员之前，t必须完整。

（注意：默认的分配器std::allocator确实满足这些完整性要求）。

我的理解是，在C++17中，翻译单元包含您的标头（前向声明hidde并定义public)和定义变量public pub；，但不能实际使用pub.d.v的任何成员。在C++17之前，仅仅包含头部就会触发未定义的行为。