Perché una costante è l'espressione, ma non l'altra?

Question

Perché il compilatore di Visual Studio 2013 rifiuta il primo asser statico (Errore C2057), ma non il secondo?

#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

Direi che, in quel implementazione, max() non è constexpr (come C++ 11 dice che dovrebbe essere), in modo che maxHz non è un'espressione costante, mentre minHz e invalidHz sono.

Quindi la prima affermazione fallisce perché non può essere valutata in fase di compilazione; il secondo ha esito positivo, perché il confronto prima di || è vero, quindi il secondo confronto non viene valutato.