c++ - 为什么 std::get_deleter() 总是产生 nullptr

Question

我一直在尝试使用 c++14，想知道为什么 std::get_deleter 从不返回它应该返回的指针。这是代码，请告诉我为什么它的输出是 0:

https://ideone.com/WT5uSR

#include <iostream>
#include <memory>


int main() {
    std::shared_ptr<int> iptr(new int(999), [](int*p){delete(p);});
    auto _d = std::get_deleter<void(*)(int*)>(iptr);

    if(_d)
        std::cout<<"1";
    else
        std::cout<<"0";
    return 0;
}

Answer 1

那是因为 get_deleter是一个类型取消删除函数，它需要你 知道最初输入的是什么类型。由于 lambda 表达式的类型不可命名，因此您不能以您想要的简单方式进行。

要掌握类型，您需要以某种方式将其绑定(bind)到某个名称。例如:

auto my_del = [](int*p){delete(p);};

std::shared_ptr<int> iptr(new int(999), my_del);

现在你可以说:

std::get_deleter<decltype(my_del)>(iptr);
//               ^^^^^^^^^^^^^^^^
//               unspellable type of the lambda expression

重要的是要了解类型删除并不能赋予您神奇的运行时能力来查看一个事物是否可以充当另一个事物。这在一个更简单的例子中得到了最好的证明:std::any(5 /* int */)无法使用 std::any_cast<double> 提取, 即使 int可转换为 double .但该信息在运行时不可用。