为什么非常量引用不能绑定到 C 中不相关的左值或临时值？

非常量引用绑定限制

在 C 中，常量引用可以绑定到相同类型和不相关类型的左值。然而，非常量引用在绑定到左值时面临额外的限制。

无关的左值绑定失败

考虑以下代码：

int a;
double &m = a; // error: non-const lvalue reference to type 'double' cannot bind to a value of unrelated type 'int'

这里，尝试将非常量引用 m 绑定到 int 类型的左值。这会失败，因为非常量引用无法绑定到不相关的左值。

临时对象绑定禁止

非常量引用也无法绑定到临时对象。例如：

double &m = a; // compilation error: temporary bound to non-const reference

在这种情况下，a 到 m 的赋值涉及到将 int 转换为 double 并创建一个临时对象。非常量引用不能绑定到这样的临时对象。

此限制背后的基本原理是非常量引用需要访问原始对象的地址，这对于临时对象来说是不可能的，因为它们在使用后立即被销毁.

Visual Studio 编译器扩展

需要注意的是，在 Visual Studio 中，此错误由于编译器扩展允许在某些情况下绑定到临时对象，因此可能不会发生。但是，其他编译器（例如 GCC）将严格执行非约束性规则。

以上是为什么非常量引用不能绑定到 C 中不相关的左值或临时值？的详细内容。更多信息请关注PHP中文网其他相关文章！