Template

模板是在编译时期而非执行时期被计算的。因此其不会带来效率的降低。

   1: const Point<float> &ref = 0;

该语句会实例化一个Point的float实例。该语句会被扩展为:

   1: Point<float> temp(float(0));

   2: const Point<float> &ref = temp;

这是因为0需要转换为对象,才能被引用.如果不能转换,该定义就是错误的.会在编译时被发现.

即一个class object的定义,不会是编译器暗中做(临时对象) 或是程序员显示的做(创建对象),都会导致template class的实例化。

C++ 彼岸准要求对于memberfunctions(成员函数),那些未使用的不应该被实例化,只有在member functions被使用的时候,才被实例化。

(但是目前的编译器并不精确遵循该要求。) 该要求主要基于以下两个原因

  1. 空间和时间效率的考虑。比如class中有100个member functions,而你的程序值针对某个类型使用了其中两个,针对另一个类型使用了五个,其他函数的实例化将会花费大量的时间和空间,而实际上是不需要的。
  2. 尚未实现的机能。并不是template实例化的所有类型都能完整支持member functions所需要的函数。如果只实例化真正用到的函数,template就可以支持那些实例化全部函数可能造成编译错误的类型。

Template中,对于一个非成员名字的决议结果,是根据这个名字的使用是否与用以实例化该template的参数类型有关而决定的。

  1. 如果与其实例化类型互不相关,那么就以“scope of the template declaration” 来决定name(就是定义template的程序)
  2. 如果与其实例化类型互有关联,那么就以“scope of the template instantiation” 来决定name(就是实例化template的程序)
   1: // scope of the template definition

   2: extern double foo(double);

   3:  

   4: templte<class type>

   5: class ScopeRules {

   6:   public:

   7:     void invariant() {

   8:       _member = foo(_val);

   9:     }

  10:     type type_dependent() {

  11:       return foo(_member);

  12:     }

  13:   private:

  14:     int _val;

  15:     type _member;

  16: };

  17:  

  18: // scope of the template instantiation

  19: extern int foo(int)

  20: // ...

  21: ScopeRules<int> sr0;

在ScopeRules template中有两个foo()调用操作。在scope of template definition中,只有一个foo()函数声明位于scope之内。而在scope of template instantiation中,两个foo()函数声明都位于scope中。
此时如果有一个函数调用操作:sr0.invariant()
根据上面的规则,该函数和用以实例化该template的参数类型无关,就以scope of the template declaration 来决定,在此scope中,只有一个foo()候选者,即foo(double)
而此时对于另一个函数操作:sr0.type_dependent()
该函数和用以实例化的template类型相关,就以scope of the template instantiation,在此scope中,有两个foo()候选者,由于_member的类型为int,所以调用foo(int)
最后,如果ScopeRules以某一个class类型实例化,而该class没有针对int或double实现出conversion运算符,那么foo()调用操作会被标示为错误。
注:自己测试结果不同 测试代码如下:
测试环境:
测试代码:
测试结果:
而如果代码修改为:
测试结果为:
不知道是不是编译器的问题,从自己测试的结果来看,函数调用是由模板的声明域来决定的。

异常处理

C++异常处理的三个主要的组件:

  1. 一个throw语句。他在程序某处发出一个exception。被抛出的exception可以是内建类型,也可以是自定义类型
  2. 一个或多个catch语句,每个catch语句都是一个exception handler。它用来表示该子句准备处理某种类型的exception,并且在封闭的大括号区段中提供实际的处理逻辑。
  3. 一个try区段。它被围绕以一系列的语句,这些语句可能会引发catch语句起作用。

   当一个exception被抛出去时,控制权会从函数调用中释放出来,并寻找一个合适的catch语句。如果没有,则默认的处理程序terminate()会被调用。

当一个exception发生时,编译系统必须完成以下事情:

  1. 检验发生throw操作的函数。
  2. 决定throw操作是否发生在try区段中。
  3. 若是,编译系统必须吧exception type拿来和每个catch子句进行比较。
  4. 如果比较吻合,控制流程交给catch子句
  5. 如果throw的操作并不发生在try区段中,或没有一个catch子句吻合,那么系统必须
    1. 摧毁所有的active local objects(完成资源回收)
    2. 从对战中将目前的函数unwind
    3. 进行到堆栈的下一个函数中,重复上面2~5

  关于异常的机制和原理参考:http://www.cnblogs.com/lovemdx/p/3254108.html

深度探索C++对象模型读书笔记-第七章站在对象模型的尖端的更多相关文章

  1. Getting Started With Hazelcast 读书笔记(第七章)

    第七章 部署策略 Hazelcast具有适应性,能根据不同的架构和应用进行特定的部署配置,每个应用可以根据具体情况选择最优的配置: 数据与应用紧密结合的模式(重点,of就是这种) 胖客户端模式(最好用 ...

  2. Android深度探索--HAL与驱动开发----第七章读书笔记

    首先创建led驱动的设备文件,可以使用cdev_init,register_chrdev_region,cdev_add等建立主设备号的设备文件.步骤如下: 1使用cdev_init初始化cdev 2 ...

  3. 深度探索C++对象模型读书笔记-第六章执行期语意学

    在函数中,编译器会帮助将析构函数(Destructor) 安插在相应的位置.对于函数中的局部对象,会将析构函数安插在对象的每一个离开点. 例如: 1: void Function(int a) { 2 ...

  4. 《R语言实战》读书笔记 第七章--基本统计分析

    在导入数据并且将数据进行组织和初步可视化以后,需要对数据进行分布探索和两两关系分析等.主要内容有描述性统计分析.频数表和列联表.相关系数和协方差.t检验.非参数统计. 7.1描述性统计分析 7.1.1 ...

  5. 《利用python进行数据分析》读书笔记--第七章 数据规整化:清理、转换、合并、重塑(三)

    http://www.cnblogs.com/batteryhp/p/5046433.html 5.示例:usda食品数据库 下面是一个具体的例子,书中最重要的就是例子. #-*- encoding: ...

  6. #《Essential C++》读书笔记# 第七章 异常处理

    基础知识 异常处理机制有两个主要成分:异常的鉴定和发出,以及异常的处理方式.通常,不论是membe function和non-member function,都有可能产生异常以及处理异常.异常出现后, ...

  7. 深入探索C++对象模型 读书笔记

    第1章 关于对象 1.C++在布局以及存取时间上的主要的额外负担是由virtual引起的,包括: a.virtual function机制,引入vptr以及vtbl,支持一个有效率的"执行期 ...

  8. 《C#从现象到本质》读书笔记(七)第9章 泛型

    <C#从现象到本质>读书笔记(七)第9章 泛型 泛型的三大好处:类型安全,增强性能(避免装箱和拆箱),代码复用. 泛型方法是传入的参数至少有一个类型为T(尚未制定的类型,根据微软的命名规则 ...

  9. 《Linux内核设计与实现》读书笔记——第五章

    <Linux内核设计与实现>读书笔记--第五章 标签(空格分隔): 20135321余佳源 第五章 系统调用 操作系统中,内核提供了用户进程与内核进行交互的一组接口.这些接口让应用程序受限 ...

随机推荐

  1. React的性能优化 - 代码拆分之lazy的使用方法

    我们在某些网站上肯定看到过这样一种现象,页面上图片只有你滚动到那个位置附近的时候才会加载,否则就只占了个位,这就是延迟加载最普遍的应用场景. 我们react框架进行开发的时候也是一样,没有使用的组件是 ...

  2. js 搞点小事情

    <script type="text/javascript"> (function(){ if(!window.console){window.console ={lo ...

  3. css 一行内显示 超出自动隐藏

    一般的文字截断(适用于内联与块): Example Source Code [www.mb5u.com].text-overflow {display:block;/*内联对象需加*/width:31 ...

  4. k8s集群的搭建之三:flannel

    一介绍 flannel是CoreOS提供用于解决Dokcer集群跨主机通讯的覆盖网络工具.它的主要思路是:预先留出一个网段,每个主机使用其中一部分,然后每个容器被分配不同的ip:让所有的容器认为大家在 ...

  5. 关于nodejs+koa中的跨域问题与koa项目创建

    项目快速创建 -1. 安装koa-generator npm install -g koa-generator -2. 使用koa-generator生成koa2项目, koa2 test -3. 完 ...

  6. cocos2D-X 4.0 build

    { cmake . -G "Visual Studio 15 2017" cmake --build ./ }

  7. springcolud依赖

    <parent> <groupId>org.springframework.boot</groupId> <artifactId>spring-boot ...

  8. SQL 与,或,非

    SQL AND, OR and NOT(与,或不是运算符) AND&OR运算符用于根据一个以上的条件过滤记录. SQL AND & OR 运算符 WHERE子句可以与AND,OR和NO ...

  9. thinkphp整合后台模板

    将后台模板源码dist文件夹中的所有文件移动到thinkphp view index中 thinkphp的资源文件都不是从view文件夹下读取的 因此需要资源文件asset文件夹和demo文件夹放到t ...

  10. 最大流EK和Dinic算法

    最大流EK和Dinic算法 EK算法 最朴素的求最大流的算法. 做法:不停的寻找增广路,直到找不到为止 代码如下: @Frosero #include <cstdio> #include ...