在 C++ 中使用模板专门化

Question

如何使用模板专业化编写一个具有 2 种不同输入类型和输出类型的函数：

template <class input1, class input2, class output>

并返回 2 个数字（整数/双精度）的总和。但是，如果我得到 2 个整数，我想返回整数类型，但对于整数和双精度数的任何其他组合，我将始终返回双精度数。

我试图在不直接使用“+”运算符的情况下做到这一点，而是使用下一个函数：

double add_double_double(double a, double b) {return (a+b);}
double add_int_double(int a, double b) {return ((double)(a)+b);}
int   add_int_int(int a, int b) {return (a+b);}

Answer 1

如果你可以使用 C++0x，你可以这样做：

template <typename T, typename U>
auto add(T lhs, U rhs) -> decltype(lhs+rhs)
{
    return lhs+rhs;
}

Answer 2

不要使用模板专门化。请改用重载。专门化函数很复杂并且很少需要：

template <typename T1, typename T2>
double sum(T1 a, T2 b) { return a + b; }

int sum(int a, int b) { return a + b; }

当且仅当两个参数都是 int 时才会调用第二个版本；否则，将调用第一个版本。

Answer 3

函数模板的返回类型可能取决于模板参数的类型。在您的情况下，您可以执行类似以下操作：

template <typename L, typename R>
struct sum_traits { typedef double return_type; };

template <>
struct sum_traits<int, int> { typedef int return_type; };

template <typename L, typename R>
typename sum_traits<L, R>::return_type
sum(L l, R r) { 
  typedef typename sum_traits<L, R>::return_type ret_t;
  return ret_t(l) + ret_t(r); 
}

我认为在本例中实际上并不需要对 ret_t 的显式转换，但它演示了更多技术。

这仅处理整数，但这个想法可以很容易地推广到处理更复杂的情况。

Answer 4

这可能是您所需要的：

#include <iostream>
using namespace std;

template <class input1, class input2, class output> output add(input1 n1, input2 n2) {
   return (output) n1 + (output) n2;
}

int main(int argc, char **argv) {

   cout << add<int, int, int>(1,1) << endl;
   cout << add<float, int, float>(1.1f,1) << endl;
   cout << add<int, float, float>(1,1.1f) << endl;
   cout << add<float, float, int>(1.1f,1.1f) << endl;

   return 0;
}

结果：

quad: > ./a.out 
2
2.1
2.1
2
Sun 09 Jan 2011 12:57:57 PM MST

quad: > 

Answer 5

您问题的答案位于C++ 模板一书的第15章。本章有一个累加器示例来解决您的问题。本章接下来将讨论升级特征，其中它将解决添加两种不同类型的问题，并解决类型升级的问题。