如何根据条件推断可以返回类型的函数的类型？

Question

我有一个模板函数，它接受两种数据类型 - int 和 double 并返回较小的那个，现在，我如何推断该函数将返回的类型？现在，我正在丢失小数点后的部分。

#include <iostream>

using namespace std;

template <class First, class Second>
First smaller(First a, Second b){
   return (a < b ? a : b);
}

int main () {
   int x = 100;
   double y = 15.5;
   cout<< smaller (x,y) << endl;

}

Answer 1

三元运算符的标准行为是执行“通常的算术转换”。在这种情况下，意味着将int 提升为double。 这与auto x=1/1.0; 中的相同是double，因为整数分子与double 分母兼容。

查看What is the type of "auto var = {condition} ? 1 : 1.0" in C++11? Is it double or int? 的答案。 有“外行术语”和标准引用答案。两者都应该有帮助。

但是你所做的是强制类型为“第一”：

template <class First, class Second>
First smaller(First a, Second b){
   return (a < b ? a : b);
}

查看您为smaller 输入的返回类型。 所以发生的事情是它被提升为double，然后转换为int返回值。

看看这个：

#include <iostream>

template <class First, class Second>
First smaller(First a, Second b){
   return (a < b ? a : b);
}


template <class First, class Second>
auto smaller_auto(First a, Second b){
   return (a < b ? a : b);
}


int main() {
    int x=100;
    double y=15.5;

    std::cout<< smaller(x,y)<<std::endl; //First is int returns an int.

    std::cout<< smaller(y,x)<<std::endl;//First is double returns double.


    std::cout<< smaller_auto(x,y)<<std::endl; //Performs the usual arithemtic conversions (returns double).

    std::cout<< smaller_auto(y,x)<<std::endl;//Performs the usual arithemtic conversions (returns double).

    return 0;
}

预期输出：

15
15.5
15.5
15.5