【 声明：版权所有，欢迎转载，请勿用于商业用途。 联系信箱：feixiaoxing @163.com】
缺省函数是C++的一个基本特色。缺省函数定义比较简单，也就是说，对于函数的某一个输入参数或者几个输入参数，如果你没有特定的数值的话，那我们就会用缺省的数据进行代替。如果你在调用的过程中使用了自己的数据，那么缺省数据将被我们自己定义的数据覆盖。下面就是一个缺省函数的示例：
int add(int m, int n = 10)
{
return m + n;
} 如果调用呢，有什么区别？
262: int p = add(2);
00401488 push 0Ah
0040148A push 2
0040148C call @ILT+15(add) (00401014)
00401491 add esp,8
00401494 mov dword ptr [ebp-4],eax
263: p = add(3, 4);
00401497 push 4
00401499 push 3
0040149B call @ILT+15(add) (00401014)
004014A0 add esp,8
004014A3 mov dword ptr [ebp-4],eax
可以从上面的代码看到，如果单独输入一个数据2，那么编译器帮我们默认输入了10；如果输了的数据是3、4呢，那么编译器将用4代替默认的数据10。所以说，编译器帮我们做了中间的替换和判断工作。那么回到我们今天讨论的缺省模板类型上面，那会是什么样的情形呢？我们可以编写一个范例：
template <typename type1, typename type2 = int>
class data
{
type2 value;
public:
data(type2 m): value(m) {}
~data() {}
};
可以看到，我们在第二个参数使用了缺省类型int，那么怎么证明缺省类型可以使用呢？我们设计了下面一个测试用例：
239: data<int, int> m(2);
004013BD push 2
004013BF lea ecx,[ebp-10h]
004013C2 call @ILT+5(data<int,int>::data<int,int>) (0040100a)
004013C7 mov dword ptr [ebp-4],0
240: data<int> n(3);
004013CE push 3
004013D0 lea ecx,[ebp-14h]
004013D3 call @ILT+5(data<int,int>::data<int,int>) (0040100a)
上面的代码定义了两个临时变量，其中第一个是m，输入类型是int；第二个临时变量是n，输入类型是int和int。前面我们说过缺省类型是int，那么第一个临时变量m和第二个临时变量n的构造函数地址应该是一样的。那么事实上两者的构造函数是不是一样的呢？我们可以查看两者的函数地址，发现一个是0x0040100a，另外一个也是0x0040100a。范例证明我们的判断是正确的。
明白了上面的缺省模板构造，下面我们谈一下特化模板。特化模板是什么意思呢？其实并不复杂。因为模板类既然是通用模板，那么其中的数据类型可以是任意数据类型，但是难免有一些数据类型（比如说指针），我们需要对其中的一些操作做一些细微的修改，但是这些小的修改在原来的模板定义上是无法做的。那么怎么办？我们只好重新定义一种形式，它和模板类定义的名称一致，但是形式稍有差别。我们可以编写一个测试看看：
template <typename type>
class data
{
public:
data() {printf("normal!\n");}
~data() {printf("~normal!\n");}
};
template <>
class data<int*>
{
public:
data() {printf("point!\n");}
~data() {printf("point!\n");}
};
上面的代码定义了两个类模板。但是两者的名称是一样的，说明这两个类定义的内容其实具有很大的相似性。第一种定义就是标准模板类的定义，第二中稍微复杂一点，使用缺省的int*，因为没有使用到特定的type类型，所以此时template后面的内容为空。那么怎么判断这两个类都是可以正常使用的呢？大家可以看看下面的范例：
249: data<int> p;
004013BD lea ecx,[ebp-10h]
004013C0 call @ILT+45(data<int>::data<int>) (00401032)
004013C5 mov dword ptr [ebp-4],0
250: data<int*> q;
004013CC lea ecx,[ebp-14h]
004013CF call @ILT+35(data<int *>::data<int *>) (00401028)
251: }
我们发现，第一个函数的call地址是0x00401032，第二个地址为0x00401028。但是这说明不了什么，因为第二个地址完全也可能是第一个模板类引申的。我们应该跟到每一个函数里面（其实这里的地址在VC下都是跳转地址）。
第一个变量的实际进入函数如下所示：
234: data() {printf("normal!\n");}
00401340 push ebp
00401341 mov ebp,esp
00401343 sub esp,44h
00401346 push ebx
00401347 push esi
00401348 push edi
00401349 push ecx
0040134A lea edi,[ebp-44h]
0040134D mov ecx,11h
00401352 mov eax,0CCCCCCCCh
00401357 rep stos dword ptr [edi]
00401359 pop ecx
0040135A mov dword ptr [ebp-4],ecx
0040135D push offset string "normal!\n" (0042607c)
00401362 call printf (00401540)
00401367 add esp,4
0040136A mov eax,dword ptr [ebp-4]
0040136D pop edi
0040136E pop esi
0040136F pop ebx
00401370 add esp,44h
00401373 cmp ebp,esp
00401375 call __chkesp (004023b0)
0040137A mov esp,ebp
0040137C pop ebp
0040137D ret
那么，第二个变量呢，同样需要跟入函数：
242: data() {printf("point!\n");}
00401430 push ebp
00401431 mov ebp,esp
00401433 sub esp,44h
00401436 push ebx
00401437 push esi
00401438 push edi
00401439 push ecx
0040143A lea edi,[ebp-44h]
0040143D mov ecx,11h
00401442 mov eax,0CCCCCCCCh
00401447 rep stos dword ptr [edi]
00401449 pop ecx
0040144A mov dword ptr [ebp-4],ecx
0040144D push offset string "point!\n" (00426074)
00401452 call printf (00401540)
00401457 add esp,4
0040145A mov eax,dword ptr [ebp-4]
0040145D pop edi
0040145E pop esi
0040145F pop ebx
00401460 add esp,44h
00401463 cmp ebp,esp
00401465 call __chkesp (004023b0)
0040146A mov esp,ebp
0040146C pop ebp
0040146D ret
看到上面的函数，大家应该明白了两者调用的构造函数并不一样。所以说，特化模板通常就是为了那些特殊的数据类型准备的。这样我们使用者在使用模板的时候就没有什么顾虑了，可以忽略各个数据类型处理上的差别了。当然，特化模板因为考虑了特殊模型数据，使得我们的代码更加完毕，更加健壮了，建议在设计模板的时候适当多使用。
思考题：
（1）模板类第一个type可以缺省吗？为什么会这么考虑？
（2）下面的代码在vc 6.0和vc 2005上都能编译过？为什么呢？对于我们设计代码有什么思考呢？ （建议从兼容性上面考虑）
template <typename type>
class data
{
public:
data() {printf("normal!\n");}
~data() {printf("~normal!\n");}
};
template <typename type>
class data <type*>
{
public:
data() {printf("point!\n");}
~data() {printf("point!\n");}
};
【预告： 下面的两个博客非常有意思，介绍递归模板和模板的模板内容】
分享到：
相关推荐
C++模板特化匹配规则
说到C++模板，这个已经不是什么新东西了，自己在实际开发中也用过；对于C++模板特化和偏特化，对于别人来说，已经不是什么新东西了，但是对于我来说，的确是我的盲区，那天在群里讨论这个问题，自己对于这部分确实...
模板特化有时也称之为模板的具体化，分别有函数模板特化和类模板特化。 1.2函数模板特化 函数模板特化是在一个统一的函数模板不能在所有类型实例下正常工作时，需要定义类型参数在实例化为特定类型时函数模板的特定...
说起C++的模板及模板特化， 相信很多人都很熟悉，但是说到模板特化的几种类型， 相信了解的人就不是很多。我这里归纳了针对一个模板参数的类模板特化的几种类型， 一 是特化为绝对类型； 二是特化为引用，指针类型；...
C++模板类型题型，更全面，也可以更从中了解模板的运用与技术。
泛型容器的设计实现大多只是存储了类型的单个对象，而没有存储类型的多个对象，如果有这样特定的需求，容器内的元素要求都是某个类型的多个对象，那么这时就可以考虑用模板类的数组特化来实现了
一、类模板全特化、偏特化 #pragma once #include #include template class TC { public: TC() { std::cout << "泛化版本构造函数" < class TC { public: TC() { std::cout << "全特化版本...
模板的 主版本模板类、全特化、偏特化
函数模板完全特化 C++ Builder 示例 代码参考： 余文溪的《C++ STL --数据结构与算法实现》原书代码为控制台。 这里用 C++ Builder代码演示
C++模板学习记录 模板定义 模板使用 类模板 函数模板 特化模板 编译器
C++函数模板是一种通用的代码结构，可以用于创建可以处理多种数据类型的函数。函数模板通过参数化类型来实现代码的重用和泛化。 代码中，我们定义了一个函数模板 findMax()，用于在给定的容器中查找最大值。该函数...
模板编程中如果要特化或偏特化(局部特化)一个类模板，需要特化该类模板的所有成员函数。类模板中大多数成员函数的功能可能是一模一样的，特化时我们可能只需要重新实现1、2个成员函数即可。在这种情况下，如果全部...
多处使用了条件编译，可以利用条件编译出不同特性的结构体（具体使用参考其中的代码），文件包括两个codeblocks工程，一个是LuaMe，另一个是使用LuaMe封装的一个SDL库，还是主要作为封装的C结构体的代码，但是加入了...
本文学习自 狄泰软件学院 唐佐林老师的 C++课程，文中图片源自老师课程PPT。 实验1：类模板的特化 实验2：特化的深入理解：函数模板的完全特化 实验1：类模板的特化 #include #include using namespace std; ...
编译环境： Windows 7 Service Pack 1 C++ Builder Embarcadero RAD Studio XE Version 15.0.3890.34076 代码参考： 余文溪的《C++ STL --数据结构与算法实现》原书代码为控制台。... 这里用 C++ Builder代码演示
函子及其在QTL（Qt Template Library）中的应用，QTL是如何使用模板特化技术优化QList性能的；如何在C++程序中嵌入汇编代码，实现一个原子操作，以很小的开销实现线程间通信；信号与槽机制；Graphics/View框架等。
我们知道在C++模板编程中如果我们特化或是偏特化某个模板类， 我们需要重写整个模板类中的所有函数， 但是这些代码通常是非常相似的， 甚至在某些情况下可能只有一两个函数会不一样，其他函数都是一样的。...