C++中的constexpr引用不是const

在 C++ 中，constexpr 变量和引用是不同于 const 的，它们允许表达式可在编译时求值而不仅仅是在运行时。这就意味着即使 constexpr 引用被声明为 const，也无法通过它来修改调用的对象。考虑以下代码：

constexpr int x = 5;
constexpr int& y = const_cast<int&>(x);
y = 6; // 编译错误

在这个例子中，我们用 const_cast 来创建一个常量对象的非常量引用，但是如果我们尝试修改 y 的值，编译器将会报错。

为了解决这个问题，我们需要用 consteval 关键字替换 constexpr，并且仅使用常量引用。在 consteval 中，表达式将强制在编译时求值，并且它的参数必须是常量表达式。

以下是修复后的代码示例：

consteval int add(const int& x, const int& y) {
  return x + y;
}

constexpr int x = 5;
constexpr int y = 10;
constexpr int z = add(x, y);

int main() {
  return z; // 15
}

在这个例子中，我们将 add() 函数声明为 consteval，并使用常量引用作为参数来强制表达式在编译时求值，而不是在运行时。这也确保了我们无法修改调用的对象。