如何解决为什么非const引用无法初始化为不同类型的对象?
我正在阅读本书,并写到我们可以将一种类型的const引用分配给任何其他类型的对象,并且给出了原因,内部编译器将Rvalue分配给与引用相同类型的对象然后将const引用初始化为相同类型的对象,但是,如果这种类型的隐式转换有助于将const引用分配给不同类型的对象,那么为什么不能隐式地进行相同的转换,因为为此显式转换。
#include<iostream>
using namespace std;
int main()
{
int a = 10;
double temp = (double)a;
double &x = temp;
cout << x << endl;
return 0;
}
它以相同的方式工作,为什么在编译器中未对其进行预配置?
解决方法
如果编译器必须执行从一种类型到另一种类型的隐式转换,这意味着它必须创建一个临时文件来保存转换后的值。
非常量引用不能绑定到临时目录。期间。
const引用可以,它将延长临时引用的寿命。
换句话说:
#include <iostream>
using namespace std;
int main()
{
int a = 10;
double &x = (double)a; // ERROR! Can't bind to the temporary double
cout << x << endl;
const double &x2 = (double)a; // OK! Binds to the temporary double
cout << x2 << endl;
return 0;
}
,
简而言之,这是为了帮助您避免错误。暂时,您可以将一个对象分配给另一种类型的非常量引用,如:
// DISCLAIMER: bad code; does not compile
int a = 10;
double &x = a;
x = 2.0;
这是什么意思?第二行表示x
是a
的别名,这意味着对x
的更改反映在a
中。如果您不打算这样做,那么非const
引用不是正确的工具。 (如果对x
没有任何更改,请使用const
引用。如果不应该在a
中反映更改,请使用副本代替引用。)因此,第三个行应将a
的值设置为2
。但是不能。
-
隐式转换很容易是单向的。可能没有反向转换。当然,在此特定示例中,将浮点
2.0
转换为整数2
没问题,但这是一种特殊情况。当您查看更复杂的场景时,尤其是涉及类而不是基本类型的场景时,反向转换甚至没有任何意义。通过引用进行修改不是该语言可以保证的,因此在所有情况下都禁止出于一致性考虑。 -
隐式转换涉及创建一个临时对象。如果编译行
const double &x = a;
,则编译器将执行与代码相同的操作:创建一个新的float
对象,并让x
引用此新对象。在编译器版本中,float
对象没有名称,而在您的代码中,它称为temp
。在您的代码中,如果要尝试修改x
,则这些修改将显示在temp
中,但不会出现在a
中,因为它们是不同的对象。与编译器的版本相同–如果您能够通过引用进行修改,则将修改临时对象,而不是原始对象。这破坏了引用的语义。
结果是,如果您认为需要非const
引用不同类型的对象(需要转换的对象),则逻辑可能存在问题。编译器可以快速识别出这种情况,并告诉您您正在尝试某些可能无法正常工作的方法。这是一个未知的陷阱,没有已知的实用程序,因此这里有大的橙色圆锥体可以抵御那些粗心的人。不要浪费时间测试可执行文件,因为已经发现了一个错误。
The language rules通过在编译时指出此几乎确定的错误,使编译器有所帮助,从而省去了调试运行时症状的麻烦。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。