Почему одно выражение постоянное, но не другое?

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 есть.

Таким образом, первое утверждение терпит неудачу, поскольку оно не может быть оценено во время компиляции; второй выполняется успешно, потому что сравнение до || истинно, поэтому второе сравнение не оценивается.