如何组合std :: make_shared和new（std :: nothrow）

Question

C ++的new有一个选项可以返回空指针，而不是在分配失败时抛出bad_alloc异常。

Foo * pf = new(std::nothrow) Foo(1, 2, 3);

（是的，我理解这只会阻止new抛出bad_alloc;它不会阻止Foo的构造函数抛出异常。）

如果你想使用共享指针而不是原始指针，你通常应该使用make_shared，因为它对控制块的分配很聪明。

auto pf = std::make_shared<Foo>(1, 2, 3);

make_shared封装了new，这使得（？）无法选择nothrow版本。 因此，您似乎必须放弃make_shared并明确调用new。

std::shared_ptr<Foo> pf(new(std::nothrow) Foo(1, 2, 3));

这消除了使用Foo分配控制块的优化，并且控制块分配可能独立于Foo分配而失败，但我不想关注它。 让我们假设控制块很小，所以它的分配在实践中永远不会失败。 这是为我担心的Foo分配空间的失败。

有没有办法获得make_shared的单一分配优势，同时保留在为Foo分配空间时简单地获取空指针而不是bad_alloc异常的能力？

Answer 1

它看起来像allocate_shared ，传入一个使用nothrow new的分配器应该为你做的伎俩。

Answer 2

只需要一个自定义的nake_foo并捕获异常：

#include <memory>

struct Foo {
    Foo(int, int, int) { throw std::bad_alloc(); }
};

std::shared_ptr<Foo> make_foo(int a, int b, int c) {
    try { return std::make_shared<Foo>(a, b, c); }
    catch (const std::bad_alloc&) { return std::shared_ptr<Foo>(); }
}