int i=1|double a = i和double& a = i和const double a=i的区别-优快云博客

深入探讨以下代码：

int main()
{
   int i = 1;
   double a = i;
}

运行成功

本质：隐式类型转换

i会创建一个类型为double的临时变量（在C++中，从 int 到 double 是一种标准隐式类型转换。编译器知道如何安全地将一个整数转换为一个浮点数（例如，整数 1 被转换为浮点数 1.0）。这个过程是安全的，因为 double 通常有更宽的范围和精度，可以无损地表示 int 的值。）并赋值，然后这个临时变量再赋值给a，a 和 i 是两个完全独立的变量，修改其中一个不会影响另一个。

int main()
{
   int i = 1;
   double& a = i;
}

运行失败

引用（double& a）不是一个独立的对象，不开辟空间，它只是一个别名。它必须绑定到一个已经存在的、特定类型的对象上，并与这个对象同一块空间。a 被声明为 double 的引用，这意味着它期望绑定到一个 double 类型的变量上。

你可能会想，编译器为什么不自动将 i 转换成一个临时的 double 值，然后让引用绑定到这个临时对象呢？

代码中，a引用的是i创建的一个类型为double的临时变量，但临时变量具有常量性，所以i的临时变量不能被修改，也就是a也不能修改i的值。

在C++中，非常量引用不能绑定到临时对象。如果允许，你会遇到一个非常矛盾的情况：你通过引用 a 修改了这个临时对象，但这个修改完全不会影响原来的 i，这违背了“引用是别名”的初衷

小结：引用是“固执的别名”，它要求类型严格匹配，并且不能为了匹配而绑定到一个临时拷贝上（除非是常量引用 const double&，后面会提到）。

int main()
{
   int i = 1;
   const double& a = i;
}

运行成功

a 是一个常量引用，它承诺“我不会修改你绑定的东西”。在这种情况下，编译器允许创建一个从 i 转换而来的临时 double 对象。然后，这个常量引用 a 会绑定到这个临时的 double 对象上。由于 a 是 const 的，你无法通过它来修改值，这就避免了“修改临时对象却影响不到原变量”的逻辑困惑和错误

这个过程实际上是：

int main()
{
   int i = 1;
   double _temp = i;       // 编译器创建的临时double变量
   const double& a = _temp; // 引用绑定到这个临时变量
   return 0;
}