如果unique\u ptr需要存储deleter,它怎么可能没有开销?

std::unique_ptr<T> 很可能是零开销(对于任何sane标准库实现)。 std::unique_ptr<T, D> ,对于任意 D ,通常不是零开销。

原因很简单:如果deleter是空的(因而是无状态的)类型(例如 std::default_delete 实例化)。

让你困惑的关键短语是“删除者” 可以 但存储类型为“”的删除器没有意义 std::default_delete 。如果需要,可以创建一个 std::default_delete{} 。

通常,无状态删除程序不需要存储,因为您可以根据需要创建它们。

Angew's answer 非常彻底地解释了发生的事情。

对于那些好奇的人来说

template<typename T, typename D, bool Empty = std::is_empty_v<D>>
class unique_ptr
{
    T* ptr;
    D d;

    // ... 
};

template<typename T, typename D>
class unique_ptr<T, D, true> : D
{
    T* ptr;

    // ...
};

专门用于空删除程序并利用 empty base optimization 。

简介:

唯一\u ptr 可以 引入一些小的开销,但这并不是因为deleter,而是因为当您离开它时,值必须设置为null,如果您使用的是原始指针,那么旧指针可能会处于容易出现错误但合法的状态,它仍然指向它之前指向的位置。显然,智能优化器可以进行优化,但不能保证。

返回删除程序:

其他答案是正确的,但要详细说明。因此,这里是简化版,没有提及EBO或其他复杂术语。

如果deleter为空(没有状态),则不需要将其保存在unique\u ptr中。如果你需要它,你可以在需要的时候构建它。您只需要知道deleter类型(这是unique\u ptr的模板参数之一)。

例如,考虑下面的代码,然后还演示了按需创建无状态对象的简单过程。

#include <iostream>
#include <string>
#include <string_view>

template<typename Person>
struct Greeter{
    void greet(){
        static_assert(std::is_empty_v<Person>, "Person must be stateless");
        Person p; // Stateless Person instance constructed on demand
        std::cout << "Hello " << p() << std::endl;
    }
    // ... and not kept as a member.
};

struct Bjarne{
    std::string_view operator()(){
        return "Bjarne";
    }
};

int main() {
    Greeter<Bjarne> hello_bjarne;
    hello_bjarne.greet();
}