数据不匹配，编译器无法推断出模板参数

Question

我有这个模板功能最大

template <typename T>
T max(T a, T b) { return (a > b) ? a : b; }  

我想替换这些：

int max(int a, int b){ return (a > b) ? a : b; }
char cmax(char a, char b){ return (a > b) ? a : b; }  
unsigned int umax(unsigned int a, unsigned int b){ return (a > b) ? a : b; }  

我需要a和b具有相同的类型。
但是我的代码（从C移植到C ++）具有以下内容：

size_t myvar;
...
...
int i = max(myvar,5);  

VS2015输出：

Error   C2672   'max': no matching overloaded function found    
Error   C2672   'max': no matching overloaded function found
Error   C2782   'T max(T,T)': template parameter 'T' is ambiguous
Error   C2784   'T max(T,T)': could not deduce template argument for 'T' from 'int'

好的，我应该将5为size_t 。

我的问题如下：为什么C允许这样做？ 更重要的是，引擎盖下会发生什么？ 编译器是否将5转换为size_t或什么？ 这会有什么后果？

谢谢 ：）

Answer 1

在调用max的C代码中，这两个参数都隐式转换为int类型，因为该函数的参数具有int类型。 因此，将myvar转换为int （不是5转换为size_t ）。 应该避免从size_t到int的转换，因为它通常会变窄（ size_t通常比int ）。

在C ++ 14中，您可以编写一个max模板，该模板可以采用两个不同类型的参数，如下所示：

template <class T, class U>
auto max(T a, U b) {
    return (a > b) ? a : b;
}

在C ++ 11中，解决方案稍微冗长一些：

template <class T, class U>
typename std::common_type<T, U>::type max(T a, U b) {
    return (a > b) ? a : b;
}

返回类型将是三元表达式具有的任何类型。 对于两个大小不同的整数类型，将选择较长的类型，因此不会丢失任何信息。 （如果一种类型是签名的，而另一种是未签名的，并且两种类型的长度相同，则某些信息可能会丢失。）