无法从可转换类型初始化非常量引用

Question

我无法从可转换类型 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'

我遇到的大多数问题都与无法分配给非常量引用的右值有关。这里的情况并非如此——有人能解释一下吗？谢谢。

Answer 1

整数提升会产生右值。 long 可以提升为 long long，然后绑定到 const 引用。就像您已经完成的那样：

typedef long long type;
const type& x = type(l); // temporary!

相反，如您所知，右值不能绑定到非常量引用。 （毕竟没有实际的long long可以引用。）

Answer 2

long long 的大小不一定等于 long，甚至可能使用完全不同的内部表示形式。因此，您不能将对 long 的非常量引用绑定到 long long 类型的对象，反之亦然。标准禁止它，并且您的编译器不允许它是正确的。

您可能会对以下代码片段有同样的疑问：

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，则会创建一个具有正确类型的临时对象，然后将该引用绑定到该对象。

Answer 3

我不是标准律师，但我认为这是因为 long long 比 long 更宽。允许使用 const 引用，因为您不会更改 l 的值。常规引用可能会导致对于 l 来说太大的赋值，因此编译器不会允许它。

Answer 4

让我们假设这是可能的：

 long long &ref = l; 

这意味着稍后在代码中您可以将 ref 引用的值更改为大于 long 类型可以保存但可以用于 long long 的值。实际上，这意味着您覆盖了额外的内存字节，这些内存字节可以由不同的变量使用，从而产生不可预测的结果。