对于基本类型来说，并没有一个default模式来讲他们初始化为有意义的值，没有初始化的变量，其指都是未定义的，但是在模板这一块呢？我们可以采用下面的形式：
templatevoid foo() { T x = T(); // x is zero (or false)ifT is a built-in type }
对于class template我们可以采用下面例子的方式：
templateclass MyClass { private: T x; public: MyClass() : x() { // ensures that x is initialized even for built-in types } … };
通过引用形式将字串字面常数传递给模板，有时候会遇到错误：
#include// note: reference parameters template inline T const& max (T const& a, T const& b) { return a < b ? b : a; } int main() { std::string s; ::max("apple","peach"); // OK: same type ::max("apple","tomato"); // ERROR: different types ::max("apple",s); // ERROR: different types }
问题出在于这几个字串字面常数的长度不同，因此其底层的Array也是不同的。换句话说“apple”
是char const[6],”tomato“是char const[7].
但是如果你使用传值形式的话，那么久是可以的。
#include// note: nonreference parameters template inline T max (T a, T b) { return a < b ? b : a; } int main() { std::string s; ::max("apple","peach"); // OK: same type ::max("apple","tomato"); // OK: decays to same type ::max("apple",s); // ERROR: different types }
这种方式之所以可以，是因为在引数的推倒过程中，只有当参数不是一个引用的时候，【array转换为pointer】的动作才会发生，这个规则我们用下面的例子来说明：
#include#include template void ref (T const& x) { std::cout << "x in ref(T const&): " << typeid(x).name() << '\n'; } template void nonref (T x) { std::cout << "x in nonref(T): " << typeid(x).name() << '\n'; } int main() { ref("hello"); nonref("hello"); }
结果为:
其实在这个例子中，最好的方式是对string进行重载，这么做尤其必要的，如果不这么做的弧啊，对于两个字串字面常熟调用max（）是合法的，但是max（）会以operator<比较两个指针的大小，所比较的其实是两个指针的地址，而不是其字面值，这也就是为什么使用std::string比C-style字串要好的原因之一。
只有当你以by value的方式使用字串字面常熟的时候，字串底部的array才会被转型（退化）为一个字元指针。也就是array to pointer。
