c++ - 为什么不能使用 constexpr 全局变量来初始化 constexpr 引用类型？

Question

#include <iostream>
using namespace std;

constexpr int r =100;
int main()
{
    constexpr int &k = r ;
    cout << k << endl;
}

编译此代码会在编译时出现“错误:将‘const int’绑定(bind)到‘int&’类型的引用会丢弃限定符”。

Answer 1

编译时在int后加入const

constexpr int const & k = r ;
// ...........^^^^^

问题是 constepxr 隐含了 const，所以当你定义 r

constexpr int r =100;

您将 constexpr 定义为 int const 值(还要考虑 const 应用于左侧的类型；在仅当左侧没有类型时才为右；因此 const int 和 int const 是同一件事)。

但是你的k

constexpr int & k = r ;

不是 const(由 constexpr 隐含)对 int const 的引用，而只是 const对 int 的引用。

并且您不能使用 int const 值初始化对 int 变量的引用。

您可以通过使 k 成为 const 对 int const 的引用来解决错误。