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

Question

我最近一直在玩 Compiler Explorer。我加载了他们的一个采用指针参数的示例，并将其更改为采用 unique_ptr 参数。但我注意到在输出程序集中，明显没有对 operator delete 的调用。我很好奇有没有人知道为什么。

这是一个您可以粘贴到资源管理器中的示例。确保在编译器选项中也加入 -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 的代码示例之一，那么我 do get 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

The lifetime of a parameter ends when the function in which it is defined returns. The initialization and destruction of each parameter occurs within the context of the calling function.

换句话说：你的maxArray不需要负责调用x和y的析构函数； gcc 以这种方式实现它，这就是代码生成中没有 delete 调用的原因。

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

unique_ptr not generating delete instruction in Compiler Explorer?

c++

compiler-explorer