爲什麼C++中的allocator提供了專門化的類型void

Question

我注意到C++中的allocator爲void類型提供了專門化。有沒有特別的目的來做到這一點？爲void類型分配內存沒有意義，對吧？

Answer 1

這個老Standard Librarian列由馬特·Austern在一般分配器，包括本珍聞的相當透徹的討論：

我們該怎麼辦關於無效？有時一個容器必須指向void 指針，並且重新綁定機制幾乎給我們提供了我們需要的東西，但是 不完全。它不起作用，因爲我們需要像malloc_allocator :: pointer那樣寫一些 ，並且我們已經定義了 malloc_allocator，以便將它實例化爲void將是 非法。它使用sizeof（T），它是指T &; T無效時均不合法。 解決方案和問題一樣簡單：專門用於 malloc_allocator，用於void，除了我們需要引用空指針所需的最小值外，其餘所有內容都不包含在內。

malloc_allocator是Austern在他的示例中使用的示例實現，但它適用於一般情況。

Answer 2

分配器需要專用於void，因爲您不能引用void。