为什么一个表达式不变，而另一个表达式不变？

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是。

因此第一个断言失败，因为它无法在编译时进行评估;第二个成功，因为||之前的比较为真，所以不评估第二个比较。