c++ - 这个最大功能不错吗？

Question

我试图了解新的 C++ 功能，并且想出了 max 函数的实现:

#include <utility>

template <typename T>
concept bool Comparable() {
    return requires(T a, T b) 
    {
        {a > b} -> bool;
        {a < b} -> bool;
        {a >= b} -> bool;
        {a <= b} -> bool;
    };
}

template<Comparable T, Comparable U>
constexpr decltype(auto) max(T&& a, U&& b)
{
    return std::forward<T>(a) > std::forward<U>(b) ? std::forward<T>(a) : std::forward<U>(b);
}

int main()
{
    constexpr int a = 2, b = 3;

    return max(a, b);
}

这个能代替宏版本吗？

#define MAX(a, b) (((a) > (b)) ? (a) : (b)) 

如果不是，可以改进什么？

我正在使用 gcc-8.1.0 和 -std=c++2a、-fconcepts 和 -O3 进行编译 标志

编辑:

谢谢你的建议，现在是这样的:

#include <utility>

template<typename T, typename U>
concept bool TypesLessComparable() {
    return requires(T a, U b)
    {
        {a < b} -> bool;
    };
}

template<typename T, typename U>
constexpr decltype(auto) max(T&& a, U&& b) requires (TypesLessComparable<T, U>() == true)
{
    return a < b ? std::forward<U>(b) : std::forward<T>(a);
}

int main()
{
    constexpr int a = 2, b = 3;

    return max(a, b);
}

Answer 1

std::forward<T>(a) > std::forward<U>(b) ? std::forward<T>(a) : std::forward<U>(b);

您将结果转发了两次。这对大多数类型都是错误的(仅适用于将移动实现为深拷贝的类型)。您应该从比较中删除 forward 。