C++模板实例化 模板显示实例化有什么好处

分享一下我老师大神的人工智能教程！零基础，通俗易懂！http://blog.youkuaiyun.com/jiangjunshow

也欢迎大家转载本篇文章。分享知识，造福人民，实现我们中华民族伟大复兴！

               

C++模板实例化

分类： c++ 2011-03-29 12:12  1873人阅读  评论(0)  收藏  举报

c++ 编译器 c class

实例化：一个通过使用具体值替换模板参数，从模板产生的普通类，函数或者成员函数的过程。

特化：就是上述过程最终获得实体。

延迟实例化： 
当隐式实例化类模板时，同时也实例化了该模板的每个成员声明，但并没有实例化相应的定义，然而，存在例外：
1.如果类模板包含了一个匿名的union，那么该union定义的成员同时也被实例化了
2.作为实例化类模板的结果，虚函数的定义可能被实例化，但也可能没有，这依赖于具体实现

C++的实例化模型：

两阶段查找：
第1阶段：发生在模板的解析阶段
非依赖型名称：普通查找＋ADL
非受限的依赖型名称：普通查找，但它的查找是不完整的，在实例化的时候，还会再次进行查找。

 

第2阶段：发生在模板的实例化阶段，此时发生的地点称为一个实例化点POI
依赖受限名称：普通查找＋ADL
非受限的依赖型名称：ADL （查询完后，和第1阶段的查找结果合并成为候选函数集合）

实例化地点POI:
当某些代码构造引用了模板特化，而且为了生成这个完整的特化，需要实例化相应模板的定义时，就会在源代码中产生一个实例化点（POI）。POI是位于源代码中的一个点，在该点会插入替换后的模板实例。

[cpp]  view plain copy

1. class MyInt  
2. {  
3. public:  
4.     MyInt(int i);  
5. };  
6.   
7. MyInt operator - (const MyInt& );  
8. bool operator > (const MyInt&,const MyInt&);  
9.   
10. typedef MyInt Int;  
11.   
12. template <typename T>  
13. void f(T i)  
14. {  
15.     if(i > 0)  
16.         g(-i);  
17. }  
18.   
19. //(1)  
20. void g(Int)  
21. {  
22.     //(2)  
23.     f<Int>(32);  //调用点  
24.     //(3)  
25. }  
26. //(4)  

当C++编译器看到f<Int>(32)时，它知道要用MyInt来替换T来实例化模板，即生成了一个POI。（2）和（3）处，C++并不允许把::f<Int>(Int)的定义在这里插入。（1）和（4）的区别在于：在（1）处g(Int)是不可见的，所以在（4）处。

C++规定：对于指向非类型特化的引用，它的POI定义在“包含这个引用的定义或声明后的最近名字空间域”。

 

对于类的特化有点不同，例如：

[c-sharp]  view plain copy

1. template <typename T>  
2. class S  
3. {  
4. public:  
5.     T m;  
6. };  
7.   
8. //(5)  
9. unsigned long h()  
10. {  
11.     //(6)  
12.     return ((unsigned long) sizeof(S<int>));  
13.     //(7)  
14. }  
15. //(8)  

当C++编译器看到S<int>时，它知道要用int来替换T来实例化模板，即生成了一个POI。（6）和（7）处，C++并不允许把的定义在这里插入。如果在（8）处，sizeof(S<int>)表达式是无效的，因为要编译到（8）只有才能知道S<int>的大小，而sizeof(S<int>)在（8）之前。C++规定：对于指向产生自模板的类实例的引用，它的POI定义在“包含这个实例引用的定义或声明之前的最近名字空间域”。

 

在实例化模板的时候，可能还需要进行某些附带的实例化。

[cpp]  view plain copy

1. template <typename T>  
2. class S {  
3. public:  
4.     typename int I;  
5. };  
6. //(1)  
7. template <typename T>  
8. void f() {  
9.     S<char>::I var1 = 41;  
10.     typename S<T>::I var2 = 42;  
11. }  
12. int main() {  
13.     f<double>();  
14. }  
15. //(2):(2a)(2b)  

对于非类型实体，这种二次POI的位置和主POI的位置相同。
对于类型实体，二次POI的位置位于主POI位置的紧前处。
对于上例中，(1)处是S<char>的POI，(2a)是S<double>的POI，(2b)是f<double>的POI。

显式实例化： 
从语法上讲，显式实例化指示符由关键字template和后面的特化声明组成，所声明的特化就是即将由实例化获得的特化。
在同一个程序中，每个特定的模板特化最多只能存在一处显式实例化，而且，如果某个模板特化已经被显式实例化了，就不能对它进行显式特殊化。
提高创建效率的一种方法是：在某一个位置手工实例化特定的模板特化，并且禁止在所有其他的翻译单元中进行模板的实例化。
在显式实例化指示符的前面，添加一个关键字extern，并且指出，只有不具备这个关键字的情况下，才会引发实例化过程。
例：

[cpp]  view plain copy

1. //翻译单元1  
2. template <typename T>  
3. void f() { }  
4. extern template void f<int> ();   //声明但没有定义  
5. void g() {  
6.     f<int>();  
7. }  
8. //翻译单元2  
9. template <typename T>   
10. void f() { }  
11. template void f<int>();       //手工实例化，这是实例化  
12. void g();  
13. int main() {  
14.     g();  
15. }   

模板显示实例化有什么好处? [问题点数：30分，结帖人xxc19812]

       不显示删除回复       显示所有回复       显示星级回复       显示得分回复       只显示楼主       收藏

xxc19812 xxc19812 等级： 结帖率：100%	楼主 发表于： 2012-03-31 10:27:44 本帖最后由 xxc19812 于 2012-03-31 10:32:24 编辑 既然模板在在实际被使用的时候, 可以隐式实例化, 那手工的显示实例化有什么好处呢? template<typename T> T add(T a, T b) { return a+b; } template int add<int>(int a, int b); //这一句有什么好处吗? int _tmain(int argc, _TCHAR* argv[]) { int c= add(5,6); return 0; } 求真相!
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理 回复次数：20

tianhaoma8888 大海啊全是水 等级：	#1 得分：0 回复于： 2012-03-31 10:48:23 手工的显示实例化.... 这个大概的意思是 特殊化。 就是说你可以 template<int> int add(int a, int b) {    return a + b + 1; } 让int类型的add的特殊，区别与其他。。。虽然在这里举的例子不太正常，但是模版里面很多这么使用的。 可以瞧瞧模板的元编程
	专访邓凡平：Android开发路上的快速学习之道 对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

xxc19812 xxc19812 等级：	#2 得分：0 回复于： 2012-03-31 10:52:06 引用 1 楼  的回复: 手工的显示实例化.... 这个大概的意思是 特殊化。 就是说你可以 template<int> int add(int a, int b) {    return a + b + 1; } 让int类型的add的特殊，区别与其他。。。虽然在这里举的例子不太正常，但是模版里面很多这么使用的。 可以瞧瞧模板的元编程 你说的是模板特殊化, 不是模板实例化, 这是2个概念. 实例化只是把模板实例化到一个具体的类型, 特殊化是对于某个类型进行特殊化的定义.
	别让高能耗机房拖了企业发展的后腿 对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

tianhaoma8888 大海啊全是水 等级：	#3 得分：0 回复于： 2012-03-31 10:59:36 我觉得你那个 感觉就是特殊化啊。 显示实例化 应该是 int c= add<int>(5,6);
	有奖征集活动系列——【HTML5游戏编程之旅】 . 对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

adlay www_adintr_com 等级：	#4 得分：30 回复于： 2012-03-31 11:04:36 通过显示实例化你可以把模版的实现放在 cpp 里, 要不然的话模版实现必须放在 .h 里面.
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

xxc19812 xxc19812 等级：	#5 得分：0 回复于： 2012-03-31 11:05:34 引用 3 楼  的回复: 我觉得你那个 感觉就是特殊化啊。 显示实例化 应该是 int c= add<int>(5,6); 你这个应当是隐式实例化.
	对我有用[0]  丢个板砖[0]  引用 |  举报 |  管理

xxc19812 xxc19812 等级：	#6 得分：0 回复于： 2012-03-31 11:07:52 引用 4 楼  的回复: 通过显示实例化你可以把模版的实现放在 cpp 里, 要不然的话模版实现必须放在 .h 里面. 好像不显示实例化, 我把模板放在main.cpp里面也没报错啊, 比如你把刚才我那句注释掉, 也可以运行的.
	对我有用[0]  丢个板砖[0]

新的改变

我们对Markdown编辑器进行了一些功能拓展与语法支持，除了标准的Markdown编辑器功能，我们增加了如下几点新功能，帮助你用它写博客：

1. 全新的界面设计 ，将会带来全新的写作体验；
2. 在创作中心设置你喜爱的代码高亮样式，Markdown 将代码片显示选择的高亮样式 进行展示；
3. 增加了 图片拖拽 功能，你可以将本地的图片直接拖拽到编辑区域直接展示；
4. 全新的 KaTeX数学公式 语法；
5. 增加了支持甘特图的mermaid语法¹ 功能；
6. 增加了 多屏幕编辑 Markdown文章功能；
7. 增加了 焦点写作模式、预览模式、简洁写作模式、左右区域同步滚轮设置 等功能，功能按钮位于编辑区域与预览区域中间；
8. 增加了 检查列表 功能。

功能快捷键

撤销：Ctrl/Command + Z
重做：Ctrl/Command + Y
加粗：Ctrl/Command + B
斜体：Ctrl/Command + I
标题：Ctrl/Command + Shift + H
无序列表：Ctrl/Command + Shift + U
有序列表：Ctrl/Command + Shift + O
检查列表：Ctrl/Command + Shift + C
插入代码：Ctrl/Command + Shift + K
插入链接：Ctrl/Command + Shift + L
插入图片：Ctrl/Command + Shift + G

合理的创建标题，有助于目录的生成

直接输入1次#，并按下space后，将生成1级标题。
输入2次#，并按下space后，将生成2级标题。
以此类推，我们支持6级标题。有助于使用TOC语法后生成一个完美的目录。

如何改变文本的样式

强调文本 强调文本

加粗文本 加粗文本

标记文本

删除文本

引用文本

H₂O is是液体。

2¹⁰ 运算结果是 1024.

插入链接与图片

链接: link.

图片:

带尺寸的图片:

当然，我们为了让用户更加便捷，我们增加了图片拖拽功能。

如何插入一段漂亮的代码片

去博客设置页面，选择一款你喜欢的代码片高亮样式，下面展示同样高亮的 代码片.

// An highlighted block var foo = 'bar'; 

生成一个适合你的列表

• 项目
  • 项目
    • 项目

1. 项目1
2. 项目2
3. 项目3

• 计划任务
• 完成任务

创建一个表格

一个简单的表格是这么创建的：

项目	Value
电脑	$1600
手机	$12
导管	$1

设定内容居中、居左、居右

使用:---------:居中
使用:----------居左
使用----------:居右

第一列	第二列	第三列
第一列文本居中	第二列文本居右	第三列文本居左

SmartyPants

SmartyPants将ASCII标点字符转换为“智能”印刷标点HTML实体。例如：

TYPE	ASCII	HTML
Single backticks	'Isn't this fun?'	‘Isn’t this fun?’
Quotes	"Isn't this fun?"	“Isn’t this fun?”
Dashes	-- is en-dash, --- is em-dash	– is en-dash, — is em-dash

创建一个自定义列表

Markdown

Text-to- HTML conversion tool

Authors

John

Luke

如何创建一个注脚

一个具有注脚的文本。²

注释也是必不可少的

Markdown将文本转换为 HTML。

KaTeX数学公式

您可以使用渲染LaTeX数学表达式 KaTeX:

Gamma公式展示 $\Gamma (n)=(n-1)!\forall n\in \mathbb{N}$ 是通过欧拉积分

$$\Gamma (z)={\int }_0^{\infty }{t}^{z-1}{e}^{-t}dt.$$

你可以找到更多关于的信息 LaTeX 数学表达式here.

新的甘特图功能，丰富你的文章

gantt
        dateFormat  YYYY-MM-DD
        title Adding GANTT diagram functionality to mermaid
        section 现有任务
        已完成               :done,    des1, 2014-01-06,2014-01-08
        进行中               :active,  des2, 2014-01-09, 3d
        计划一               :         des3, after des2, 5d
        计划二               :         des4, after des3, 5d

• 关于 甘特图 语法，参考 这儿,

UML 图表

可以使用UML图表进行渲染。 Mermaid. 例如下面产生的一个序列图：:

这将产生一个流程图。:

• 关于 Mermaid 语法，参考 这儿,

FLowchart流程图

我们依旧会支持flowchart的流程图：

• 关于 Flowchart流程图 语法，参考 这儿.

导出与导入

导出

如果你想尝试使用此编辑器, 你可以在此篇文章任意编辑。当你完成了一篇文章的写作, 在上方工具栏找到 文章导出 ，生成一个.md文件或者.html文件进行本地保存。

导入

如果你想加载一篇你写过的.md文件或者.html文件，在上方工具栏可以选择导入功能进行对应扩展名的文件导入，
继续你的创作。

---

1. mermaid语法说明 ↩︎

2. 注脚的解释 ↩︎