任何编译器实际上会忽略这些副本吗？

Question

给定

struct Range{
    Range(double from, double to) : from(from), to(to) {}
    double from;
    double to;
    // if it matters to the compiler, we can add more fields here to make copying expensive
};

struct Box{
    Box(Range x, Range y) : x(x), y(y) {}
    Range x;
    Range y;
};

someone said 在Box box(Range(0.0,1.0),Range(0.0,2.0)) 中，编译器可以通过在box 中构造它们来完全避免复制Range 对象。

有没有编译器真正做到这一点？

我自己的尝试没有成功。

Answer 1

有人就是我。所以让我澄清一下我的立场。

我从未说过在Box box(Range(0.0,1.0),Range(0.0,2.0)) 中，编译器可以通过在框内构造它们来避免复制 Range 对象完全。我说的是：

是的，它可以，特别是这种复制省略上下文属于标准12.8/p31.3复制和移动类对象[class.copy]中指定的复制省略标准：

(31.3) -- 当一个临时类对象没有绑定到一个引用 (12.2) 将被复制/移动到具有相同类型的类对象 （忽略 cv 限定），复制/移动操作可以省略 将临时对象直接构造到 省略复制/移动。

是的，它可以，部分用于在构造函数中传递的临时对象（如上所述，根据标准可以省略）。我从来没有说过参数可以一直省略到Box构造函数的初始化列表。

毕竟，这种情况不符合任何可以按照标准应用复制省略的条件。

我还说过，即使某个上下文被限定为可以应用复制省略的上下文，编译器也没有义务遵循。如果您依赖这种效果，那么您的程序就不能被认为是可移植的。

Answer 2

编译器可以 - 而且通常会 - 删除从临时到参数的副本。编译器不能从参数中删除副本到成员。虽然在某些情况下可能在技术上可以省略这些副本，但未给予相关许可。该标准的部分是 12.8 [class.copy] 第 31 段，其中阐明了可以省略副本的 4 种情况（确切的规则有点不重要）：

1. 当返回一个命名的函数局部变量时，使用它的名字。
2. 在 throw 表达式中使用命名的函数局部变量时。
3. 复制临时对象时。
4. 按值捕获异常时。

将命名参数作为参数传递给成员变量的构造显然不是这些情况。

复制省略规则的基本背景是，在某些情况下，函数的声明足以确定何时使用对象。如果在构建时明确可以构建对象的位置，则可以省略它。构造函数的调用者不能仅根据构造函数的声明来确定对象将在哪里使用。