将 std::minmax 与一对进行比较

Question

标准算法min 和max 可以与单个值进行比较。但是，minmax 算法的返回值无法与一对值进行比较：

#include <algorithm>
#include <utility>

template<class T1, class T2>
constexpr auto make_cref_pair(T1&& t1, T2&& t2)
{
    return std::pair<T1 const&, T2 const&>(std::forward<T1>(t1), std::forward<T2>(t2));
}

int main()
{
    static_assert(std::min(2, 1) == 1); // OK
    static_assert(std::max(2, 1) == 2); // OK
    //static_assert(std::minmax(2, 1) == std::make_pair(1, 2)); // ERROR, const int& vs int pair comparison
    static_assert(std::minmax(2, 1) == std::pair<const int&, const int&>(1, 2)); // OK
    static_assert(std::minmax(2, 1) == make_cref_pair(1, 2)); // OK
}

Live Example

原因是make_pair(2, 1) 返回一个pair<int, int> 而minmax(1, 2) 返回一个pair<const int&, const int&>。 pair 没有引用混合 operator== 重载。

然后解决方法是显式编写 std::pair<const int&, const int&>(int, int) 或将其包装在自制的 make_cref_pair 函数中。

问题：有没有更简洁的方法来比较 minmax 返回值和 pair 的值？我是否正确处理了make_cref_pair 中的引用？

Answer 1

std::minmax 有一个initializer_list 过载。这将返回一个 non-const 非引用对：

static_assert(std::minmax({2, 1}) == std::make_pair(1, 2));

不幸的是，这可能会降低性能，因为复杂性分别是“恰好一个比较”和“最多(3/2) * t.size() 相应谓词的应用程序”。

Answer 2

您可以做的一件事是利用std::minmax 重载，它接受std::initializer_list<T> 并返回std::pair<T,T>。使用它你可以拥有

int main()
{
    const int a = 10, b = 20;
    static_assert(std::minmax({2, 1}) == std::make_pair(1, 2));
    static_assert(std::minmax({a, b}) == std::make_pair(a, b));
}

其中will compile 并允许您摆脱make_cref_pair。它确实调用了std::minmax_element，所以我不确定这是否会降低效率。

Answer 3

一种选择是将左侧显式转换为std::pair<int,int>：

#include <algorithm>
#include <utility>

template <typename T1, typename T2>
constexpr std::pair<T1,T2> myminmax(const T1& t1, const T2& t2)
{
    return std::minmax(t1,t2);
}

int main()
{
    static_assert(myminmax(2, 1) == std::make_pair(1, 2));
}