为什么非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;
}

Live Demo

简而言之，这是为了帮助您避免错误。暂时，您可以将一个对象分配给另一种类型的非常量引用，如：

// 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通过在编译时指出此几乎确定的错误，使编译器有所帮助，从而省去了调试运行时症状的麻烦。

c++implicit-conversion reference