如何声明同一类的成员向量？

Question

为什么以下代码段有效？

struct A {
    std::vector<A> subAs;
};

A 是不完整的类型，对吧？如果有 A* 的向量，我会理解的。但在这里我不明白它是如何工作的。这似乎是一个递归定义。

Answer 1

这篇论文被引入了C 17，它允许在某些STL容器中使用不完整的类型。在此之前，它是未定义的行为。引用论文：

根据Issaquah会议上的讨论，我们达成共识，继续*采用“不完整类型的容器”方法，但将范围限制为std:：vector、std:：list和td:：forward_list，作为第一步。

至于标准的变化（强调我的）：

如果分配器满足分配器完整性要求（17.6.3.5.1），则在实例化＜code＞vector＜/code＞时可以使用不完整类型＜code＞T＜/code＜。T应在引用所产生的向量专用化的任何成员之前完成。

因此，如果您保留默认的＜code＞std:：allocater

A 是不完整的类型，对吧？如果有 A* 的向量，我会理解的。但在这里我不明白它是如何工作的。这似乎是一个递归定义。

那里没有递归。在极其简化的形式中，它类似于：

class A{
    A* subAs;
};

从技术上讲，除了大小、容量和可能的分配器之外，std：：vector 只需要保存一个指针，指向它通过分配器管理的 A 的动态数组。（指针的大小在编译时是已知的。

因此，实现可能如下所示：

namespace std{

    template<typename T, typename Allocator = std::allocator<T>>
    class vector{

        ....

        std::size_t m_capacity;
        std::size_t m_size;
        Allocator m_allocator;
        T* m_data;
    };

}