Question

我最近回答了另一个问题，在我的回答中，我有以下代码。

template<typename T, typename ... Ts>
struct are_arithmetic{
    enum {
        value = std::is_arithmetic<T>::value && are_arithmetic<Ts...>::value
    };
};

template<typename T>
struct are_arithmetic<T>{
    enum {
        value = std::is_arithmetic<T>::value
    };
};

template<typename Arg, typename = std::enable_if_t<std::is_arithmetic<Arg>::value>>
Arg max(Arg arg){
    return arg;
}

template<typename Arg, typename Arg1, typename ... Args, typename = typename std::enable_if_t<are_arithmetic<Arg, Arg1, Args...>::value>>
auto max(Arg arg, Arg1 arg1, Args ... args){
    auto max_rest = max(arg1, args...);
    return arg > max_rest ? arg : max_rest;
}

现在，从这段代码开始，我假设max()将从给定的数字列表中返回最大数字并保留其类型。

但是当原始海报尝试了代码时：

int main(){
    auto res = max(1.0, 2, 3.0f, 5, 7l);
    std::cout << typeid(res).name() << " "  << typeid(7l).name();
}

他从stdout获得d l。

这表明函数的返回类型并不是预期的。为什么函数不返回long？

Answer 1

在我看来，max（）函数被称为：

auto res = max(1.0, 2, 3.0f, 5, 7l);

然后给它签名：

auto max(Arg arg, Arg1 arg1, Args ... args){
    auto max_rest = max(arg1, args...);
    return arg > max_rest ? arg : max_rest;
}

此处，Arg显然是double。

然后返回值是三元运算符：

return 1.0 > max_rest ? 1.0 : max_rest;

max_rest结束的重要性并不重要。让我们说它确实是long。所以你有一个三元运算符，有一个double表达式和一个long表达式。

我觉得long表达式会被类型提升为double，因此返回auto类型为double。

Answer 2

的返回类型

template<typename Arg, typename Arg1, typename ... Args, typename = typename std::enable_if_t<are_arithmetic<Arg, Arg1, Args...>::value>>
auto max(Arg arg, Arg1 arg1, Args ... args){
    auto max_rest = max(arg1, args...);
    return arg > max_rest ? arg : max_rest;
}

不依赖于值，而是依赖于给定类型。所以这里它返回所有args的常见类型。

函数在预期的时候返回double

2 个答案: