c++ - 引用类型转换运算符 : asking for trouble?

Question

当我使用 g++ 编译以下代码时

class A {};

void foo(A&) {}

int main()
{
  foo(A());
  return 0;
}

我收到以下错误消息:

> g++ test.cpp -o test     
test.cpp: In function ‘int main()’:
test.cpp:10: error: invalid initialization of non-const reference of type ‘A&’ from a temporary of type ‘A’
test.cpp:6: error: in passing argument 1 of ‘void foo(A&)’

经过一番思考，这些错误对我来说很有意义。 A()只是一个临时值，而不是堆栈上的可分配位置，因此它似乎没有地址。如果它没有地址，那么我就无法引用它。好的，好的。

但是等等!如果我将以下转换运算符添加到类 A

class A
{
public:
  operator A&() { return *this; }
};

那么一切都很好!我的问题是这是否远程安全。 this 到底是什么？指向何时A()被构造为临时值？

我对这个事实充满信心

void foo(const A&) {}

可以根据 g++ 接受临时值以及我使用过的所有其他编译器。 const关键字总是可以被抛弃，所以如果 const A& 之间存在任何实际的语义差异，我会感到惊讶。参数和 A&范围。所以我想这是问我问题的另一种方式:为什么是 const引用编译器认为安全的临时值，而非 const引用是不是？

Answer 1

并不是不能获取地址(编译器总是可以命令将其插入堆栈，它使用 ref-to-const 执行此操作)，这是程序员意图的问题。使用带有 A& 的接口(interface)，它表示“我将修改此参数中的内容，以便您可以在函数调用后阅读”。如果你给它一个临时的，那么它“修改”的东西在函数之后就不存在了。这(可能)是一个编程错误，因此是不允许的。例如，考虑:

void plus_one(int & x) { ++x; }

int main() {
   int x = 2;
   float f = 10.0;

   plus_one(x); plus_one(f);

   cout << x << endl << f << endl;
}

这不会编译，但如果临时变量可以绑定(bind)到 ref-to-non-const，它会编译但会产生令人惊讶的结果。在 plus_one(f) 中，f 将被隐式转换为临时 int，plus_one 将获取 temp 并递增它，而底层浮点 f 保持不变。当 plus_one 返回时，它没有任何效果。这几乎肯定不是程序员的本意。

---

规则偶尔会搞砸。一个常见的例子(描述为 here)是试图打开一个文件，打印一些东西，然后关闭它。您希望能够做到:

ofstream("bar.t") << "flah";

但你不能，因为 operator<< 需要一个 ref-to-non-const。您的选择是将其分成两行，或调用返回 ref-to-non-const 的方法:

ofstream("bar.t").flush() << "flah";