为什么只有这些C++标准库容器保证允许不完整的类型?

因为我们知道如何实现这些容器来处理不完整的类型,而不破坏ABI。

std::array 另一方面,需要知道元素有多大(例如)。

但是为什么呢?

标准容器中不允许使用不完整类型的原因是有些容器可以使用它们,但有些容器不能。当时他们不想对这个问题考虑太多,并且全面禁止在所有标准容器中使用不完整的类型。

马特·奥斯特恩(Matt Ostern)在其伟大的文章《标准图书馆员:不完整类型的容器》(The Standard Library:Containers of Complete Type)中记录了这一点,这篇文章已不再可用,但仍有引用 Boost Containers of Incomplete Types

这一C++17更改通过消除全面禁止所造成的伤害来实现正义。