爲什麼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中節省一些內存。