Question

我试图使用c ++ 14，并想知道为什么std :: get_deleter永远不会返回它应该执行的指针。这是代码，请告诉我某人为什么输出为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

1 个答案: