为什么右值不能分配给 constexpr 引用变量

Question

我有以下代码

constexpr int into(int a,int b)
{
  int c=a*b;
  return c;
}

int main()
{
 constexpr int &n=into(5,5);

}

我已经阅读了（MSDN）

关键字＜code＞constexpr＜/code＞在C 11中引入，并在C 14中进行了改进。它表示常量表达式。与＜code＞const＜/code＞一样，它可以应用于变量，因此如果任何代码试图修改值，就会引发编译器错误。

阅读后，我认为可以使用constexpr代替const，但是对于上面的代码，我收到一个编译器错误，指出

`int main()':
invalid initialization of non-const reference of type 'int&' from an rvalue of type 'int'`

当 constexpr 被 const 替换时，它可以正常工作。我不理解这种行为;有人能说出一些光芒吗？

Answer 1

匿名用户

标记为< code>constexpr的表达式将在编译时解析，这将把< code>into(5，5)的结果视为< code>int文字。众所周知，在C中引用不能绑定到< code>int文字。

您可以通过使在全局范围内并在主范围内显示在调用main之前强制解析x，然后允许将引用绑定到x来实现此工作。出现在全局范围内并在main中创建对x的const引用：

constexpr int into(int a,int b) {
  int c=a*b;
  return c;
}

// guaranteed to be resolved before main is called
constexpr int x = into(5,5);

int main() {
 constexpr const int& n = x;
 static_assert(n == 25, "whoops!");
}

为了具体回答您的问题，这与右值或移动语义学完全正交，而是的细微差别。

如果全局作用域让您感到心痛，那么您可以将x也设置为static，并将其初始化放在引用绑定之前，这在我看来更自然：

constexpr int into(int a,int b) {
  int c=a*b;
  return c;
}  

int main() {
 // guaranteed to be resolved before main is called
 static constexpr int x = into(5,5);
 constexpr const int& n = x;
 static_assert(n == 25, "whoops!");
}

Answer 2

与应用于int的const不同，constexpr关键字将const直接应用于引用类型int>的变量

typedef int &int_ref;

int main() {
    int x = 1;
    int &a = x;          // OK
    int_ref b = x;       // OK, int_ref is 'int &'
    const int &c = 1;    // OK, reference to const int
    const int_ref d = 1; // error: type of d is 'int &'
                         // qualifier on reference are being ignored
}

< code>constexpr int