在编译时获取静态constexpr数组的最小/最大值

Question

假设我有一个如下定义的整数数组:

static constexpr int IntArray[] = {1, 5, 10, 12, 17};

有没有办法在编译时获得最小值或最大值？

Answer 1

让我们为未来的搜索着陆器提供C++ 17解决方案:

constexpr int IntArray[] = {1, 5, 10, 12, 17};
constexpr int min = *std::min_element(std::begin(IntArray), std::end(IntArray));
static_assert(min == 1);

C++ 11对constexpr函数更加挑剔,因此我们必须推出一种递归算法.这是一个简单的,线性的:

template <class T>
constexpr T &constexpr_min(T &a, T &b) {
    return a > b ? b : a;
}

template <class T>
constexpr T &arrayMin_impl(T *begin, T *end) {
    return begin + 1 == end
        ? *begin
        : constexpr_min(*begin, arrayMin_impl(begin + 1, end));
}

template <class T, std::size_t N>
constexpr T &arrayMin(T(&arr)[N]) {
    return arrayMin_impl(arr, arr + N);
}

constexpr int IntArray[] = {1, 5, 10, 12, 17};
constexpr int min = arrayMin(IntArray);

在Coliru上看到它