为什么临时不能作为 ref args 发送到 C++ 中的函数？

Why can't a temporary be sent as ref args to a function in C++?

本文关键字：C++ 函数 args 不能 ref 为什么      更新时间：2023-10-16

这很有效：

class Foo {};
void external_function(Foo&);
void f() {
  Foo b;                                                                                                                                         
  external_function(b);                                                                                                                          
}

这不是：

class Foo {};
void external_function(Foo&);
void f() {
  external_function(Foo());
}

Clang说：

aac.cc:3:6: note: candidate function not viable: no known conversion from 'Derived' to 'Base &' for 1st argument;

GCC实际上对更有帮助

aac.cc:7:30: error: invalid initialisation of non-const reference of type ‘Base&’ from an rvalue of type ‘Derived’

赫伯萨特(http://herbsutter.com/2008/01/01/gotw-88-a-candidate-for-the-most-important-const/)说一个非常量引用不能用于右值，这在他的例子中是有意义的，但在我的例子中不是，因为对象在external_function（）调用期间存在，不是吗？

我知道如何让它发挥作用；只需创建一个命名对象，使其不是右值（如上所述），或使用const ref。但我想知道为什么它是不允许的，因为它对我来说似乎是安全的。

您不能将任何类型的临时绑定到非常值引用。这里的继承只是一种消遣。

struct Foo{};
void bar(Foo&) {}
void cbar(const Foo&) {}
int main()
{
  Foo f;
  bar(f);      // OK
  bar(Foo());  // ERROR
  cbar(Foo()); // OK: const reference binds to temporary
}

至于最终的"为什么？"，允许通过左值引用修改右值被认为是容易出错的。引用自"C++编程语言，第四版"§7.7.1

对变量的引用和对常量的引用是有区别的，因为为变量引入临时变量会非常容易出错；对变量的赋值将变为对即将消失的临时变量的赋值。引用常量不存在这样的问题。。。

"为什么"是为了避免难以检测的错误。如果参数不是const，则意味着函数正计划更改它（否则就将其设为const！）更改临时对象不太可能是您想要的，而且通常很难找出错误。

因为标准是这么说的，因为他们认为这可能会导致bug（我不同意）。没有技术上的理由不允许这样做。

相关文章：