有關make shared與class specific operator new的問題？

1樓：mwish

Is it possible to force `std::make_shared` to use a class's new operator?

這個對你有幫助嗎...

2樓：暮無井見鈴

看了原文之後感覺反而不清晰了，似乎是作者認為 make_shared 會採用 T::operator new ，從而導致問題。

我查了下標準（最新草案），好像沒有說 make_shared 如何分配記憶體，只說了 allocate_shared 的， cppreference 上的 ::new 可能對應的是標準中要求的原位構造物件的方式。

從實現來看，實際上 libstdc++ 、 libc++ 和 MSVC STL 都沒有採用類特定的 T::operator new 。

目前（ 2020 年 2 月）三家的 make_shared 實現都只支援非陣列版本，都把動態分配的物件和控制塊組合到乙個物件型別裡，然後分配該型別的物件。

libstdc++ 把 make_shared 委託到 allocate_shared （分配器用 std::allocator 的特化），然後最終是用 rebind 到那個組合型別的分配器分配記憶體。

libc++ 直接在 make_shared 裡面使用 std::allocator 的特化分配記憶體。

MSVC STL 直接用 new 表示式建立那個組合型別的物件。（而組合型別沒有類內的 opeartor new ）

三家的 make_shared 實現最終都是用全域性的 ::operator new 分配記憶體。不過我沒查到標準是否要求這點。

（ make_shared 和 allocate_shared 由 N2351 加入。原提案裡有說 make_shared 用全域性 ::operator new 分配記憶體，但似乎整合到標準裡的文字沒有顯式說明這點。

）（ boost::shared_ptr 的對應函式有一些替換機制，不過應該與此問題關係不大）

總的來說，目前可以說類特定的 T::operator new 和 make_shared 無關。

假如作者確實認識到這一點的話，可能他的意思是全域性 ::operator new 的策略一般不適合帶有 T::operator new 的類。

這樣一來問題不僅在 make_shared ，其他標準庫容器（除了 array ）如果使用預設分配器則存在同樣的問題。