c++ - 一般最小值和最大值 - C++

Question

写一个通用的最小函数，我想到了两个问题。该代码适用于任何输入类型和不同的参数编号：

namespace xyz
{

template <typename T1, typename T2>
auto min(const T1 &a, const T2 &b) -> decltype(a+b)
{
    return a < b ? a : b;
}

template <typename T1, typename T2, typename ... Args>
auto min(const T1 &a, const T2 &b, Args ... args) -> decltype(a+b)
{
    return min(min(a, b), args...);
}

}

int main()
{
    cout << xyz::min(4, 5.8f, 3, 1.8, 3, 1.1, 9) << endl;
    //                   ^        ^           ^
    //                   |        |           |
    //                 float    double       int
}

 

• 有更好的替代品decltype(a+b)吗？我觉得有一个我不记得的标准课程，比如decltype(std::THE_RESULT<a,b>::type).

• 返回的类型decltype(std::THE_RESULT<a,b>::type)是const &还是不是？

Answer 1

std::common_type( c++11):

对于 non-specialized std::common_type，确定每对之间公共类型的规则T1，T2正是确定三元条件运算符的返回类型的规则，其中 T1和T2是其第二个和第三个操作数的类型。

和

对于算术类型，通用类型也可以视为（可能是混合模式）算术表达式的类型，例如T0() + T1() + ... + Tn().

不确定const&，但您可以使用std::remove_cvand std::remove_reference（并std::is_reference找出答案）。

事实上，这里有一个类型支持实用程序的列表。把自己打昏。

Answer 2

在回答和值得评论之后，我做了如下：

template <typename T1, typename T2>
auto min(const T1 &a, const T2 &b) 
-> typename std::common_type<const T1&, const T2&>::type
{
    return a < b ? a : b;
}

template <typename T1, typename T2, typename ... Args>
auto min(const T1 &a, const T2 &b, const Args& ... args)
-> typename std::common_type<const T1&, const T2&, const Args& ...>::type
{
    return min(min(a, b), args...);
}