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

Question

我正在尝试使用 c++14，想知道为什么 std::get_deleter 从来没有 return 它应该做的指针。这是代码，请告诉我为什么它的输出是 0:

#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 表达式的类型不可命名，因此您不能以您想要的简单方式进行。

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

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。但是该信息在运行时不可用。

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

Why std::get_deleter() always yields nullptr

c++

smart-pointers

shared-ptr

c++11