C + + 11：在static_assert（）中的std :: max（a，b）？

Question

我注意到，即最後一個C++的在[24.4.7] - 標準文件N3291 max IST不constexpr：

template<class T> const T& max(const T& a, const T& b); 

因此，不允許在一個static_assert例如使用它。正確？

static_assert(max(sizeof(int),sizeof(float)) > 4, "bummer"); 

Answer 1

這是正確的。

我想象中的原因很簡單，std::max電話T::operator<對於任意類型T和std::max爲constexpr，它需要T::operator<爲constexpr，這還是個未知數。

Answer 2

這是正確的; std::min和std::max不是constexpr，即使在最新的C++ 14草案（N3690）中也沒有，所以它們不能在常量表達式中使用。

沒有很好的理由，只有不好的理由。最明顯的不好的原因是C++委員會由有限的時間進行標準化工作的個人組成，沒有人負責完成這些功能constexpr。

注N3039，變化到在2010年通過的C++標準，特異性略微延長了constexpr設施，使得功能如min和max可以作出constexpr。

您可以解決這個定義自己min和max功能：

template<typename T> 
constexpr const T &c_min(const T &a, const T &b) { 
    return b < a ? b : a; 
} 
template<typename T, class Compare> 
constexpr const T &c_min(const T &a, const T &b, Compare comp) { 
    return comp(b, a) ? b : a; 
} 
template<typename T> 
constexpr const T &c_min_impl(const T *a, const T *b) { 
    return a + 1 == b ? *a : c_min(*a, c_min_impl(a + 1, b)); 
} 
template<typename T> 
constexpr T c_min(std::initializer_list<T> t) { 
    return c_min_impl(t.begin(), t.end()); 
} 
// ... and so on