假设我们有一个这样的函数
template <class T, class T2>
T getMin(T a, T2 b) {
if(a < b)
return a;
return b;
}
如果我们这样调用函数
int a, b;
long c;
a = getMin(b, c);
如果 c 是
是否可以使返回类型灵活，使其返回 int、long 或任何其他被 "
编辑：
函数中涉及的类型可以是从简单类型到有时无法进行类型转换的复杂类的任何类型。
【问题讨论】：
(a > b)? a: b 不能在编译时求值，它仍然有一个类型。使用auto x = (a > b)? a: b; 声明局部变量是有效的，因此使用decltype 也是如此。
C++0x 将允许您使用 auto 关键字，以便让编译器导出表达式的返回时间。
对于 C++03，我发现使此类过程自动化的唯一方法是定义一个模板类 Promotion，它定义了两种类型之间的最强类型，然后将其专门用于您可能需要使用的任何几种类型。
template<> class Promotion< long, int > { typedef long strongest; }
template<> class Promotion< int, long > { typedef long strongest; }
因此：
template< typename T1, typename T2 >
Promotion<T1,T2>::strongest function( const T1 &a, const T2 &b ) { ... }
如果您选择尝试此解决方案，我建议使用自动生成的头文件生成促销专业化。
编辑：我在阅读了另一个（现已删除）答案后重新阅读了这个问题：
您不能返回较小变量的类型。那是因为变量的值只会在运行时被发现，而你的函数返回类型必须在编译时定义。
我提出的解决方案将始终返回两个变量类型之间最强的类型。
【讨论】：
getMin(T a, T2 b) -> decltype(a | b)。那么就不需要手动编写数以万计的专业化了。
auto + decltype 不是 C++03 标准。
T 和一个T2 对象（例如：在一个元组中）加上另一个值来指定哪个是正确的。
如前所述，您希望采用更通用的类型。比如，int 和 double 应该变成 double； char* 和 string 应该变成 string。这适用于我的 promote<> 模板。随便写
template <class T1, class T2>
typename promote<T1, T2>::type getMin(T1 const& a, T2 const& b) {
if(a < b)
return a;
return b;
}
这将始终返回一个副本，即使 T1 和 T2 是相同类型（如 string），这就是为什么我会为非 const 相同类型参数重载它
template <class T>
T &getMin(T &a, T &b) {
if(a < b)
return a;
return b;
}
这两个变体似乎是一个合理的配置。如果您想要一个风险稍大但在更多情况下性能更高的解决方案，您可以接受T const&，也接受临时的。如果你然后像getMin(a + b, b + c) 那样使用它，它可以传递临时变量，并直接使用结果，那很好。结果是可用的，并且仍然可以复制到局部变量中。
【讨论】：