问常量表达式与纯函数的关系

EN

为了补充其他人所说的内容，请考虑以下constexpr函数模板：

template <typename T>
constexpr T add(T x, T y) { return x + y; }

此constexpr函数模板在某些情况下可在常量表达式中使用(例如，在T为int的情况下)，但在其他情况下不可用(例如，T是具有未声明为constexpr的operator+重载的类类型)。

constexpr并不意味着函数在常量表达式中总是可用的，它意味着函数可以在常量表达式中使用。

(还有涉及非模板函数的类似示例。)

除了前面的回答:函数上的constexpr极大地限制了它的实现:它的主体必须对编译器可见(内联)，并且只能由一条返回语句组成。如果您能够正确地实现sqrt()或sin()，并且仍然满足最后一个条件，我会感到惊讶。

constexpr函数不是pure函数，因为constexpr是对编译器的一个提示，即如果函数的参数是常量，则可以在编译期间计算函数，并且函数体中提到的这些参数的操作本身就是constexpr。

后者使用模板代码，允许我们演示一个不纯的constexpr函数：

template <typename T>
constexpr T add(T lhs, T rhs) { return lhs + rhs; }

使用此类型实例化

DebugInteger operator+(DebugInteger lhs, DebugInteger rhs) {
  printf("operator+ %i %i", lhs._value, rhs._value);
  return DebugInteger(lhs._value + rhs._value);
}

这里，operator+不是常量Here，因此可以读/写全局状态。

我们可以说，当在编译时计算时，constexpr函数是pure ...但就运行时而言，它只是简单地被一个常量替换。