模板参数分为类型形参与非类型形参。
相当于一个整型常量
template<size_t N>
void Print()
{
cout << "N = " << N << endl;
}
int main()
{
Print<10>();
Print<20>();
Print<30>();
return 0;
}
注意:
一般设计的模板是具有普适性的,但有时候会有一些特殊情况,是模板不能正常处理的,这时候就需要设计一个特例化的模板出来,这就叫做模板的特化。
设计一个比较函数模板 ,对普通的单个变量可以正常比较,但是对于一个字符数组呢?
template<class T>
bool IsEqual(const T& left, const T& right)
{
return left == right;
}
而这个时候我们需要对字符串特殊处理,让这个函数能够比较字符串
函数模板的特化步骤:
template<class t>
bool isequal(const t& left, const t& right)
{
return left == right;
}
// 函数模板的特化, 针对字符串
template<>
bool isequal<const char*>(const char* left , const char* right )
{
return strcmp(left, right) == 0;
}
//针对字符数组
bool IsEqual(const char* left , const char* right)
{
return strcmp(left, right) == 0;
}
类模板的特化有可以分为两类:全特化和偏特化
例如对Date类:
template<class T1, class T2>
class Date
{
public:
Date(int d)
:_d1(d)
{
cout << "Date :" << _d1 << endl;
}
private:
int _d1;
};
偏特化又有以下两种表现方式
template<class T1>
class Date<T1,int>
{
public:
Date(int d)
:_d1(d)
{
cout << "Date :" << _d1 << endl;
}
private:
int _d1;
};
template<class T1,class T2>
class Date<T1&, T2&>
{
public:
Date(int d)
:_d1(d)
{
cout << "Date :" << _d1 << endl;
}
private:
int _d1;
};
template<>
class Date<int, int>
{
public:
Date(int d)
:_d1(d)
{
cout << "Date :" << _d1 << endl;
}
private:
int _d1;
};
此时对于普通函数,在链接的时候,就能找到另一个文件函数实现对应的地址,但是模板没有编译,就没有生成对应机器码,也就不存在函数的地址,所以对于函数模板,就会出现链接失败错误,其实是编译时就出了错误。
模拟一下
project.h 声明模板函数
#pragma once
#include
using namespace std;
template<class T>
void Swap(T& x, T& y);
template<class T>
class A
{
public:
void f();
};
project.cpp 定义模板函数
#define _CRT_SECURE_NO_WARNINGS 1
#include"project.h"
template<class T>
void Swap(T& x, T& y)
{
T tmp = x;
x = y;
y = tmp;
}
template<class T>
void A<T>::f()
{
cout << "f()" << endl;
}
test.cpp 调用模板函数
#include"project.h"
int main()
{
int a = 10, b = 20;
Swap(a, b);
//A a; 构造函数也没有编译生成,无法定义对象
A<int>* p = nullptr;
p->f();
return 0;
}
//在project.cpp文件里面
//用一个就得显示实例化一个,非常麻烦
//实例化模板函数,实例化为一个int型的
template void Swap<int>(int& x, int& y);
//实例化类里面的函数
template void A<int>::f();