我无法从可转换类型 T2 初始化对类型 T1 的 非常量 引用。但是，我可以使用 const 参考。
long l;
const long long &const_ref = l; // fine
long long &ref = l; // error: invalid initialization of reference of
// type 'long long int&' from expression of type
// 'long int'
我遇到的大多数问题都与无法分配给非常量引用的 r 值有关。这不是这里的情况 - 有人可以解释吗？谢谢。
【问题讨论】：
标签： c++ reference constants type-conversion
整数提升会产生右值。 long 可以提升为 long long，然后绑定到 const 引用。就像你已经做过一样：
typedef long long type;
const type& x = type(l); // temporary!
相反，如您所知，右值不能绑定到非常量引用。 （毕竟没有实际的long long可以参考。）
【讨论】：
type(l) 的结果@ is 一个右值。] 根据第 13.3.3.1.4:3 节，如果需要将非常量引用绑定到右值，则无法形成标准转换序列，隐式对象参数除外。” （在 IBM.com 上找到）
l 不是右值。这是一个左值。没有type(l) 出现在您的示例中，并且这样的转换也没有以任何方式隐式进行（在语言级别，这里没有发生整数提升或转换。绑定只是失败，因为没有规则）。此外，type(l) 不是函数调用，而是函数转换表达式。我仍然同意type(l) 是一个右值。
long long 的大小不一定等于long，甚至可以使用完全不同的内部表示。因此，您不能将对long 的非常量引用绑定到long long 类型的对象或相反。标准禁止它，您的编译器不允许它是正确的。
你可以对下面的代码 sn-p 产生同样的疑惑：
long a = 0;
long long b = 0;
a = b; // works!
long *pa = 0;
long long *pb = pa;
最后一次初始化不起作用。仅仅因为一种类型可以转换为另一种类型，并不意味着复合其中一种的另一种类型可以转换为复合另一种的第三种类型。同样，对于以下情况
struct A { long i; };
struct B { long long i; };
A a;
B b = a; // fail!
在这种情况下，A 和 B 分别复合类型 long 和 long long，就像 long& 和 long long& 复合这些类型一样。然而，它们不会因为这个事实而相互转换。其他规则恰好适用。
如果引用是 const，则创建一个具有正确类型的临时对象，然后将引用绑定到该对象。
【讨论】：
long 到 long long &）。
float 转换为int 并不意味着您可以将float 转换为int*。
long“转换”为const long long &，所以我觉得问题出在其他地方。
我不是标准律师，但我认为这是因为long long 比long 更广泛。允许使用 const 引用，因为您不会更改 l 的值。常规引用可能会导致分配对于l 来说太大，因此编译器不会允许这样做。
【讨论】：
让我们假设这是可能的：
long long &ref = l;
这意味着稍后在代码中您可以将 ref 引用的值更改为大于 long 类型可以保持但可以保持 long long 的值。实际上，这意味着您覆盖了额外的内存字节，这些字节可由不同的变量使用，结果无法预测。
【讨论】：