为什么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表达式的类型不具有名称,因此您无法以您想要的简单方式执行此操作.

要获得类型,您需要以某种方式将其绑定到某个名称.例如:

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 */) 也无法用a提取.但该信息在运行时不可用.std::any_cast<double>intdouble