目录
一，非类型模板参数
模板参数分类
二，模板特化
函数模板特化
类模板特化
三，模板分离编译
分离编译
链接失败原因
解决方法
附
模板优点
模板缺点
一，非类型模板参数
template<class T, size_t N=10>
class array
{
public:
size_t size()
{
return sizeof(_array) / sizeof(T);
}
private:
T _array[N];
};
int main()
{
array<char>arr;
std::cout << arr.size() << std::endl;
return 0;
}注：
二，模板特化
通常，使用模板可实现与类型无关的代码，但对一些特性的类型可能会得到错误的结果，此时需对模板进行特化，即在原模板类的基础上，针对特殊类型进行特殊化实现方式；
template<class T>
bool IsEqual(const T& left, const T& right)
{
return left == right;
}
int main()
{
//实参为整数，调用IsEqual没问题
cout << IsEqual(1, 1) << endl;
//实参为指针，调用IsEqual实际上是指针的比较
const char p1[] = "ab";
const char p2[] = "ab";
cout << IsEqual(p1, p2) << endl;
return 0;
}template<class T>
bool IsEqual(const T& left, const T& right)
{
return left == right;
}
//优先匹配现成的
bool IsEqual(const char* left, const char* right)
{
return strcmp(left, right) == 0;
}
int main()
{
cout << IsEqual(1, 1) << endl;
const char p1[] = "ab";
const char p2[] = "ab";
cout << IsEqual(p1, p2) << endl;
return 0;
}//模板特化
template<>
bool IsEqual<const char* const >(const char* const& left, const char* const& right)
{
return strcmp(left, right) == 0;
}
//如函数模板遇到不能处理或处理有误的类型，可直接将该函数给出
bool IsEqual(char* left, char* right)
{
return strcmp(left, right) == 0;
}//类模板
template<class T1, class T2>
class Data
{
public:
Data()
{
cout << "Data<T1, T2>" << endl;
}
private:
T1 _d1;
T2 _d2;
};
//类模板特化，全特化
template<>
class Data<int, double>
{
public:
Data()
{
cout << "Data<int, double>" << endl;
}
private:
int _d1;
double _d2;
};//类模板偏特化
template<class T1>
class Data<T1, double>
{
public:
Data()
{
cout << "Data<T1, double>" << endl;
}
private:
T1 _d1;
double _d2;
};//参数偏特化为指针类型
template<class T1, class T2>
class Data<T1*, T2*>
{
public:
Data()
{
cout << "Data<T1*, T2*>" << endl;
}
private:
T1 _d1;
T2 _d2;
};
//参数偏特化为引用类型
template<class T1, class T2>
class Data<T1&, T2&>
{
public:
Data()
{
cout << "Data<T1&, T2&>" << endl;
}
private:
T1 _d1;
T2 _d2;
};三，模板分离编译
程序在计算机中的执行过程：
模板不可分离编译，即在头文件声明，源文件定义，此时会报链接错误；
//头文件add.h
template<class T>
T add(const T& a, const T& b);
//源文件add.cpp
template<class T>
T add(const T& a, const T& b)
{
return a + b;
}
//源文件main.cpp
#include "head.h"
#include<iostream>
int main()
{
std::cout << add(1, 2) << std::endl;;
return 0;
}
注：在分离编译环境下，源文件都是独立编译的，编译器并不知道其他源文件的存在，对于函数的调用只能靠链接器；在普通函数情况下没有问题，但遇到模板时就会容易导致链接错误，因为模板仅在需要时才会实例化；当编译器遇到模板声明时，不会实例化模板仅常见具有外部链接的符号期待链接时能够得到符号的地址；
//头文件add.h
template<class T>
T add(const T& a, const T& b);
template<class T>
T add(const T& a, const T& b)
{
return a + b;
}//源文件add.cpp
template<class T>
T add(const T& a, const T& b)
{
return a + b;
}
//显示实例化
//缺点是用一个类型就需实例化一个类型
template
int add(const int& a, const int& b);
//或
template<>
int add(const int& a, const int& b)
{
return a + b;
}
注：模板是按需实例化的，没有实例化编译器不会检测模板内部语法错误，对类模板的成员函数也是按需实例化的，即调用时才实例化；
附