c++ - 为什么一个表达式是常量，而另一个不是？

Question

为什么 Visual Studio 2013 编译器拒绝第一个静态断言(错误 C2057)，而不是第二个？

#include <limits>

typedef int Frequency;

const Frequency minHz{ 0 };
const Frequency maxHz{ std::numeric_limits<Frequency>::max() };
const Frequency invalidHz{ -1 };
static_assert(minHz < maxHz, "minHz must be less than maxHz");                // C2057
static_assert(invalidHz < minHz || invalidHz > maxHz, "invalidHz is valid");  // OK

Answer 1

我猜想，在该实现中，max() 不是 constexpr(正如 C++11 所说的那样)，因此 maxHz 不是常量表达式，而 minHz 和 invalidHz 是。

因此第一个断言失败了，因为它不能在编译时求值；第二次成功，因为 || 之前的比较为真，所以不计算第二次比较。