c++ - 无法将带有 NULL 删除器的 std::unique_ptr move 到 std::shared_ptr？

Question

我想将 NULL std::unique_ptr move 到 std::shared_ptr，如下所示:

std::unique_ptr<float> test = nullptr;
std::shared_ptr<float> test2 = std::move(test);

据我所知这样做应该是合法的，并且它在 Visual Studio 2015 和 GCC 中运行良好。

但是，我不能对具有删除器声明的 std::unique_ptr 做同样的事情，如下所示:

std::unique_ptr<float,void(*)(float*)> test = nullptr;
std::shared_ptr<float> test2 = std::move(test);

上面的代码不会在 visual studio 中编译，并且会触发静态断言失败“error C2338: unique_ptr constructed with null deleter pointer”。

我可以改用 std::function 删除器，在这种情况下可以规避静态断言失败:

std::unique_ptr<float,std::function<void(float*)>> test = nullptr;
std::shared_ptr<float> test2 = std::move(test);

在这种情况下，代码可以正常编译，但是一旦 test2 的最后一个 std::shared_ptr 拷贝被销毁，我就会中止。

为什么后两种情况这么有问题？

奇怪的是，如果我将 test2 的类型从 std::shared_ptr 更改为 std::unique_ptr，第二种情况仍会触发静态断言失败，但情况 1 和情况 3 都工作正常:

{
    std::unique_ptr<float> test = nullptr;
    std::unique_ptr<float> test2 = std::move(test); // Works fine
}
{
    //std::unique_ptr<float,void(*)(float*)> test = nullptr; // triggers a static assert failure
    //std::unique_ptr<float,void(*)(float*)> test2 = std::move(test);
}
{
    std::unique_ptr<float,std::function<void(float*)>> test = nullptr;
    std::unique_ptr<float,std::function<void(float*)>> test2 = std::move(test); // Works fine
}

Answer 1

您尝试使用的 unique_ptr 构造函数(默认构造删除器)格式错误(在 C++17 之前)或被 SFINAE(自 C++17 起)禁用，如果deleter 类型是一个指针，以防止您意外创建一个 unique_ptr，它的 deleter 本身就是一个空指针。如果你真的想创建这样一个 unique_ptr，你可以通过显式传递一个空删除器来实现:

std::unique_ptr<float,void(*)(float*)> test(nullptr, nullptr);

这个unique_ptr对象不是很有用，因为它不能删除任何东西。

通过使用 null std::function 删除器，您已经告诉编译器“是的，我真的想搬起石头砸自己的脚”。当然，当最后一个std::shared_ptr被销毁时，空的std::function被调用，未定义的行为就发生了。您还期待什么？