在 C++11 中使用 max 作为谓词会中断

在 C++03 中，以下代码工作正常：

int main()
{
    std::vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);

    std::vector<int> v2;
    v2.push_back(2);
    v2.push_back(3);
    v2.push_back(4);

    std::transform(v.begin(), v.end(), v2.begin(), v2.begin(), std::max<int>);
    return 0;
}

在 C++11 中这不起作用，因为它添加了重载std::max其中包含一个initializer_list。因此，您必须使用非常丑陋的强制转换来选择正确的重载：

static_cast<const int& (*)(const int&, const int&)>(std::max)

我有几个问题。

• 为什么标准委员会决定这样做，因为知道它（可能）会破坏现有代码并迫使用户创建丑陋的强制转换？
• C++ 的未来标准是否会尝试缓解这个问题？
• 什么是解决方法？

如果您经常这样做，您可能需要编写一个透明函子包装器：

struct my_max {
    template<class T>
    const T& operator()(const T& a, const T& b) const{
        return std::max(a, b);
    }
};

然后你可以简单地做

std::transform(v.begin(), v.end(), v2.begin(), v2.begin(), my_max());

当您需要时，而不是每次都编写 lambda 或强制转换。这基本上与透明运算符函子的想法相同 - 让模板参数在实际调用站点推导，而不是在创建函子时显式指定。

如果你想让这个更高级，你甚至可以operator()采用异构类型并添加完美转发并使用尾随返回类型：

struct my_max {
    template<class T, class U>
    constexpr auto operator()( T&& t, U&& u ) const
      -> decltype(t < u ? std::forward<U>(u) : std::forward<T>(t)){
        return t < u ? std::forward<U>(u) : std::forward<T>(t);
    }
};

在 C++14 中，这被简化为

struct my_max {
    template<class T, class U>
    constexpr decltype(auto) operator()( T&& t, U&& u ) const{
        return t < u ? std::forward<U>(u) : std::forward<T>(t);
    }
};