C++11: static_assert() 中的 std::max(a,b)？

Question

我注意到，在最后一个 C++-Std Doc N3291 max 的 [24.4.7] 中，它不是 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 和 std：调用 T::operator< ： :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

Answer 3

这适用于 c++ 11

template<const Sz a,const Sz b> constexpr Sz staticMax() {return a>b?a:b;}

使用：

staticMax<a,b>()

当然 a 和 b 必须是 constexpr