非常量引用绑定限制
在 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中文网其他相关文章!