类模板

1.

template <typename T>
int compare(const T &v1, const T &v2)
{
if (v1 < v2) return -1;
if (v2 < v1) return 1;
return 0;
}

当调用两个 string 对象的 compare 时，传递用字符串字面值初始化的两个 string 对象。如果编写以下代码会发生什么？

compare ("hi", "world");

答：会出现编译错误。因为根据第一个实参可将模板形参T推断为char[3],而根据第二个实参可将模板形参T推断为char[6]，T被推断为两个不同的类型，所以编译器无法使用函数模板compare进行适当的实例化以满足需要。所以在进行实例化的时候，要进行参数类型的声明，如：string s1="hi", string s2="world", compare(s1,s2).