Question

我最近一直在玩Compiler Explorer。我加载了一个带有指针参数的示例，并将其更改为取而代之的是unique_ptr参数。但是我注意到在输出程序集中，对操作符删除的调用显然不存在。我很好奇，如果有人知道为什么。

以下是您可以粘贴到资源管理器中的示例。一定要将-O3放在编译器选项中。

#include <memory>

using std::unique_ptr;

void maxArray(unique_ptr<double[]> x, unique_ptr<double[]> y) {
    for (int i = 0; i < 65536; i++) {
        if (y[i] > x[i]) x[i] = y[i];
    }
}

编辑：另外为了比较，如果我粘贴了cppreference中的一个代码示例，那么我做在输出中获取operator delete。

#include <iostream>
#include <memory>

struct Foo
{
    Foo()      { std::cout << "Foo::Foo\n";  }
    ~Foo()     { std::cout << "Foo::~Foo\n"; }
    void bar() { std::cout << "Foo::bar\n";  }
};

void f(const Foo &)
{
    std::cout << "f(const Foo&)\n";
}

int main()
{
    std::unique_ptr<Foo> p1(new Foo);  // p1 owns Foo
    if (p1) p1->bar();

    {
        std::unique_ptr<Foo> p2(std::move(p1));  // now p2 owns Foo
        f(*p2);

        p1 = std::move(p2);  // ownership returns to p1
        std::cout << "destroying p2...\n";
    }

    if (p1) p1->bar();

    // Foo instance is destroyed when p1 goes out of scope
}

编辑：+1到krzaq。它是调用者，而不是被调用者，构造和销毁参数。

Answer 1

这个问题归结为：

void foo(unique_ptr<int>)
{
}

foo(make_unique<int>());

foo的参数在哪里？

以下标准与此问题相关：

N4140§5.2.2[expr.call] / 4

参数的生命周期在其所在的函数结束时结束   定义的回报。每个参数的初始化和销毁   发生在调用函数的上下文中。

换句话说：您的maxArray无需负责调用x和y的析构函数; gcc以这种方式实现它，这就是codegen中没有delete次调用的原因。

unique_ptr在Compiler Explorer中没有生成删除指令？

1 个答案: