执行llvm :: SmallVector< T,N>分为许多类型:
> llvm::SmallVectorBase
拥有3个void *,用于开始,结束和容量.
> llvm::SmallVectorTemplateCommon<T>
拥有小存储的第一个元素,作为一个适当对齐和大小的字符数组.
> llvm::SmallVector<T,N>
拥有小存储的下一个N-1个元素,作为一个适当对齐和大小的字符数组.
为什么存储分割在两个类模板之间,而不是拥有最多派生类(SmallVector< T,N>)简单地存储所有N个元素,并将指向该存储的指针传递给基类?也就是说,默认构造函数目前在哪里:
SmallVector() : SmallVectorImpl<T>(N) { }
一个假设的不同实现可以做到:
SmallVector() : SmallVectorImpl<T>(&Storage,T * sizeof(N)) { }
而SmallVectorTemplateCommon将不具有FirstEl成员.实施的优点是什么?