为什么llvm :: SmallVector拆分其存储？

Question

的llvm::SmallVector<T,N>实现被分割以及很多类型：

• llvm::SmallVectorBase保持3个void* S代表开始，结束和容量。
• llvm::SmallVectorTemplateCommon<T>持有第一个元素的小型存储，作为一个适当的排列和大小排列的char阵列。
• llvm::SmallVector<T,N>拥有下一个N-1元素的小型存储，作为一个阵列的适当排列和大小的阵列。

为什么是两个类模板之间的存储分裂，而不是具有最派生类（SmallVector<T,N>）简单地存储所有N元素和指针传递给该存储下来的基类？也就是说，在目前的默认构造函数：

SmallVector() : SmallVectorImpl<T>(N) { } 

一个假设的不同实现可以这样做：

SmallVector() : SmallVectorImpl<T>(&Storage, T * sizeof(N)) { } 

和SmallVectorTemplateCommon不会有FirstEl成员。目前实施的优势是什么？

Answer 1

拆分存储可避免在“大小擦除”类型SmallVectorImpl中存储内联容量（或“很小”位）。

SmallVectorImpl<T>可用于引用任何SmallVector<T, N>并支持所有向量操作。当底层存储增长时，如果指针使用内联容量，则不能传递给free。将当前存储的地址与内联容量的第一个元素进行比较很方便，并且可以在SmallVector中节省一些内存。