Question

一个函数模板的问题

这是一个俩参数相加功能的模板：
template<class T> T plus(const T& var1, const T& var2) {
return var1 + var2;
}
以下是对两个字符串相加的代码：
#include <iostream>
#include <string>
using std::cout;
using std::endl;
using std::string;
template<class T> T plus(const T& var1, const T& var2);
int main() {
string s = plus("he","llo");
cout << s << endl;
return 0;
}
template<class T> T plus(const T& var1, const T& var2) {
return var1 + var2;
}

编译器提示了这个错误：error C2782: 'T __cdecl plus(const T &,const T &)' : template parameter 'T' is ambiguous
could be 'char [4]'
or 'char [3]'
请问这个错误翻译过来是什么意思？？希望大大能详细解答一下～小弟只是个菜鸟～～

Answer 1

因为编译器对用""圈起的字符串的默认类型是char[]，也就是字符数组，也称C风格字符串，关键在于你的传参是按引用传递：

如果按引用传递：

template <class T>
void foo(T&){}

当使用foo("12")或foo("123")时，传递的都是"12"或"123"的引用，即整个数组，所以会造成char [3] char[4]类型不匹配问题，因为你只有一个模板参数T。

如果是按值传递，则foo("12")或foo("123")传递的是"12"和"123"的首地址，即const char* 类型，因为表达式"xxx"的值就是"xxx"的首地址，所以你的问题用按值传递解决比较好，当然用按引用传递也可以，不过要先自设2个const char*指针指向那2个字符串，然后再作为参数传递。

另外就算以const char* 或const char* const&传递成功后，2个指针相加也是没有意义的，得不到结果，所以还需模板特例化一下：

#include <iostream>
#include <string>
using std::cout;
using std::endl;
using std::string;

template <class T>
T plus(const T& var1, const T& var2)
{
return var1 + var2;
}

// 模板特化
template <>
const char* plus(const char* const & var1, const char* const& var2)
{
return (string(var1) + string(var2)).c_str();
}

// 不传引用以避免char[3]和char[4]类型不匹配问题。
template <class T>
inline T plus2(T lhs, T rhs)
{
return lhs + rhs;
}

template <>
inline const char* plus2(const char* lhs, const char* rhs)
{
return (string(lhs) + string(rhs)).c_str();
}

int main()
{
const char* s1 = "he";
const char* s2 = "llo";

string str1 = plus(s1, s2);
string str2 = plus2("he", "llo");

cout << str1 << endl;
cout << str2 << endl;

return 0;
}

Answer 2

因为string不被template认为是一种类型，所以编译的时候编译器认为var1和var2不是同一个一个类型T，var1是长度为3字符数组，var2是长度为4的数组。你用的是VC？string有蛮多问题的，它不是c++标准，移植性不好，建议还是用char*

Answer 3

#include <iostream>
#include <string>
using std::cout;
using std::endl;
using std::string;
template<class T> T plus(const T& var1, const T& var2) {
return var1 + var2;
}
int main() {
string s = plus(string("he"),string("llo"));
cout << s << endl;
return 0;
}