c++ - 为什么标准不允许通过非常量引用传递临时变量？

Question

<分区>

Answer 1

原因是 Stroustrup 先生推断传递对可变临时变量的引用很可能是编程错误的结果——因为在函数调用后无法访问临时变量中的任何计算结果。

例子:

struct foo {...};

func(foo());
// the foo has already been destroyed here, so any modified state is inaccessible.

公平地说，尽管自从 r 值引用的发展以来这看起来是短视的，但他的推理是合理的。虽然可能需要多写一行代码，但总有办法达到同样的效果。

例子:

{
  foo f;
  func(f);
}

或

foo_func();

哪里:

void foo_func() {
  foo f;
  func(f);
}

这里是对我所看到的示例的重新引用，该示例被引用为您无法在函数调用中将可变临时值绑定(bind)到左值的原因。这个错误很微妙，但很严重，很难发现:

void inc(int& arg) { arg++; }

typedef long MyInt;

int main() {
  MyInt i = 0;
  inc(i);  // <<-- HINT: implicit conversion from long to int creates a temporary COPY, not reference
  if (i == 1) {
     // Life-saving logic
  }
}

来源:comp.lang.c++.moderated