c++, template，类模板和函数模板，

目录

函数模板：

类模板：

 

类模板 - cppreference.com

函数模板 - cppreference.com

为了解决，一些内容相同，只是类型不同的class和func而产生的代码冗余，而产生。

函数模板：

//template<class T>
//可以多个模板参数，
template<class T, class A = int, class B = int>
void func(T a, T b) {cout << typeid(a + b).name() << endl;
}
void func(int a, int b) {//func(int a, int b)相对于模板函数template<class A = int, class B = int, class T>void func(T a, T b)，// 属于模板的特化，当显示实例化为特化所表示的类型，或者编译器推导出来为特化所表示的类型，走特化的//顺口溜，有现成的，吃现成的。有符合要求的就不用编译器去按照模板去实例化一个对应的函数了。直接走已经实现好的，类模板相同。cout << "int, int ababab" << endl;
}int main()
{func(2.0, 2.0);func<float>(2.0, 2.0);//func(1, 2.0);错误的，ps模板函数不允许自动类型转换，但普通函数可以进行自动类型转换//，一个推出是int, 一个推出是double，冲突，除非你显示指定了（显示实例化）func(1, 1);return 0;
}

类模板：

// 注意：Vector不是具体的类，是编译器根据被实例化的类型生成具体类的模具
template<class T>
class Vector
{
public:Vector(size_t capacity = 10):_pData(new T[capacity]), _size(0), _capacity(capacity){}// 使用析构函数演示：在类中声明，在类外定义。~Vector();void PushBack(const T& data)；void PopBack()；// ...size_t Size() { return _size; }T& operator[](size_t pos){assert(pos < _size);return _pData[pos];}private:T* _pData;size_t _size;size_t _capacity;
};// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{if (_pData)delete[] _pData;_size = _capacity = 0;
}

类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<> 中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

 // Vector类名，Vector<int>才是类型Vector<int> s1;Vector<double> s2;