Program Transformation Semantics (程序转换语义学)
本文是Inside The C++ Object Model Chapter 2 部分的读书笔记。讨论编译器调用拷贝构造函数时的策略(如何优化以提高效率),侯捷称之为"程序转化的语义学"
或者说是关于编译器对于程序是如何进行有效转化或者说翻译,以实现C++的语法机制。主要来说有以下几种Semantics:
1) 明确的初始化操作(Explicit Initialization)
比如定义: X x0;
那么以下定义: X x1(x0); X x2 = x0; X x3 = X(x0); 都会被转化成: X x1,x2,x3; 在这里编译器并不会做这三个object的初始化,而是调用copy constructor进行初始化:
x1.X::X(x0); x2.X::X(x0); x3.X::X(x0);
2) 参数初始化(Argument Initialization)
C++ Standard ( Section 8.5)说,把一个class object 当做参数传递给一个函数或者把它作为一个函数的返回值时,相当于以下形式的初始化操作:
X xx = arg;其中xx是形式参数或者返回值,arg代表真正的参数值,因此类似于void foo(X x0);这种调用,将会使得local instance x0以memberwise的形式以实际参数为初始值进行初始化。
一般来说,编译器有两种做法:
a) introduce a temporary object
还是以上文的函数声明 void foo(X x0);
调用进入后,1、编译器生成一个temporary object:X _temp;
2、以实际参数xx 拷贝构造 这个temporary object:_temp.X::X(xx);
3、重新改写函数调用操作,foo(_temp);
4、最重要的一点就是修改参数调用方式为引用,否则如何工作又回到原点啦。。。void foo(X &x0);
b) 将参数直接以copy constructor建构到函数的堆栈上,这样也会有一个local object生成;当然在函数返回时该local object也会被destructed。
3) 返回值的初始化(Return Value Initialization)
当返回值是object时,这个object是如何返回的呢?cfront使用的是一个双阶段转化:
a) 首先加上一个额外的参数,是class object的reference,这个参数将放置通过copy constructor得来的返回值
b)在return之前安插一个copy constructor,以便将欲传回之的object当做上述新增参数的处置。
例如:X bar() { X xx; return xx;} 会被转化为:
void bar(X & _res) //这里安插了临时引用参数
{
X xx;
xx.X::X();
_res.X::X(xx); //这里安插了临时引用的拷贝构造函数
return;
}
现在编译器必须转化每个bar调用,以反映其新定义。例如X xx = bar(); ===> X xx; bar( xx );
而相应的 bar().memfunc(); //执行bar()所返回之X class object的member function
会被编译器转化为:
X temp0;
(bar(temp0),temp0).memfunc();
在
返回值优化上,Optimization at the User Level or Optimization at the Compiler
Level。在User Level, 设计者需要创建不同的constructor,这样object直接通过计算,而不需要copy
constructor。这样做如果在非常注重效率的场合可能比较有意义,但是缺乏抽象。
在Compiler Level,现在广为认知的就是 Name Return Value(NRV)Optimization:
void bar(X & _res) //这里安插了临时引用参数
{
_res.X::X();
//直接操作_res
return;
}
也就是说,NRVO 省略了一次copy constructor的调用。但是如果copy constructor有side-effect的话,那么这个优化就会有问题。
书中提到,如果某个class 会有大量的object return value的情况,那么需要为该class define copy
constructor,以触发NRV(或者叫RVO, Return Value
Optimization)。但是,黄俊达先生认为:Lippman 在 p67 最後一行所言『这个程式的第一个版本不能实施 NRV 最佳化,因
为 test class 缺少一个 copy constructor』,
此语错误。黄先生认为如果程式没
有 explicit copy constructor,编译器会自动为我们做出来(如为 trivial,则直接 bitwise copy;如
为 nontrivial,则由编译器为我们合成出一个 copy constructor)。因此,有没有 explicit
copy constructor 并不影响 NRV 最佳化的实施。他认为 NRV 最佳化主要是
由编译器 option 来决定要不要实施。他并且做了一些实验,判断 VC 和 gcc
都没有做到 NRV 最佳化,而其不做的理由不是因为技术上的困难,是为了避免造成「user defined copy constructor 之副
作用失效」-- 所谓副作用
是指,例如「在 user defined copy constructor 中做一个 cout 输出」之类这种「与 memberwise copy 无关」的动作。
NRV优化还是很重要,比如下面的代码,如果没有NRV将会有三次copy 构造,二次析构:
Type get(int I) { return Type(i); } Type t = get(1);
甚至有人认为user defined copy constructor会阻止NRV的优化。更多讨论可以参见: 关于编译器对拷贝构造函数优化的问题再讨论
Program Transformation Semantics (程序转换语义学)的更多相关文章
- C++对象模型(三):Program Transformation Semantics (程序转换语义学)
本文是Inside The C++ Object Model Chapter 2 部分的读书笔记.是讨论编译器调用拷贝构造函数时的策略(如何优化以提高效率),侯捷称之为"程序转化的语义学&q ...
- [文章泛读] The varying faces of a program transformation systems (ACM Inroads, 2012)
Beevi S. Nadera, D. Chitraprasad, and Vinod S. S. Chandra. 2012. The varying faces of a program tran ...
- Linux Debugging(四): 使用GDB来理解C++ 对象的内存布局(多重继承,虚继承)
前一段时间再次拜读<Inside the C++ Object Model> 深入探索C++对象模型,有了进一步的理解,因此我也写了四篇博文算是读书笔记: Program Transfor ...
- 深入探索c++对象模型
第一章关于对象 c++在布局和存取时间的额外负担主要有virtual引起 virtual function:运行期动态绑定 virtual base class :base class多次出现在派生类 ...
- 深度探索C++对象模型
深度探索C++对象模型 什么是C++对象模型: 语言中直接支持面向对象程序设计的部分. 对于各个支持的底层实现机制. 抽象性与实际性之间找出平衡点, 需要知识, 经验以及许多思考. 导读 这本书是C+ ...
- C++对象模型-构造函数语意学
关于C++,最常听到的一个抱怨就是:编译器背着程序员干了太多的事情. default constructor函数的构建 default constructors会在需要的时候被编译器创建出来,关键字是 ...
- 深入探索C++对象模型(二)
构造函数语义学(The Semantics of Constructors) Default Constructor的构造操作 对于class X,如果没有任何user-declared constr ...
- C++ Knowledge series 2
Programming language evolves always along with Compiler's evolvement The semantics of constructors O ...
- C++学习书籍推荐《Inside the C++ Object Model》下载
百度云及其他网盘下载地址:点我 作者简介 Stanley B. Lippman is Architect with the Visual C++ development team at Microso ...
随机推荐
- 1-python django的创建
一.Virtualenv(我的python环境是3.7) 1.虚拟环境创建(针对python版本和django的版本不一致的) 输入 pip install virtuallenv ,看到如下信息就是 ...
- audio隐藏下载按钮
// 这个方法只支持 Chrome 58+, 低于该版本的是没有无法隐藏的 <audio src="/i/horse.ogg" controls="controls ...
- 怎样理解 Vue 中的计算属性 computed 和 methods ?
需求: 在 Vue 中, 我们可以像下面这样通过在 引号 或 双花括号 内写 js 表达式去做一些简单运算, 这是可以的, 不过这样写是不直观的, 而且在 html 中 夹杂 一些运算逻辑这种做法其实 ...
- c#调用带用户名密码验证的wsdl
之前记录过一篇添加带验证的webservice,但是公司的另一个项目是.net framework2.0的项目,没有服务引用,只能添加web引用. 现在记录和分享一下方法: 先添加web引用,选择ws ...
- mongo(一)
入门文章地址:https://blog.csdn.net/muguli2008/article/details/80591256 按下面文件创建好文件下,然后执行下面的命令 mongod --port ...
- RGB2GRAY 各种算法速度比较,整形乘法比查表法快!
1. 查表法,外循环用 这种格式 : //for(int j = 0; j != h; ++j)// for(int i = 0; i!=w;++i)//. for(int j = 0; j != ...
- openlayers 地图移动缩放动画
map.getView().animate({ // 只设置需要的属性即可 center: [data.jd, data.wd], // 中心点 zoom: 11, // 级别 rotation: u ...
- ConfigurableApplicationContext
转自:https://blog.csdn.net/weixin_39165515/article/details/77169231 此接口结合了所有ApplicationContext需要实现的接口. ...
- Shell-使用mkfifo实现多任务并发及并发数控制
以下为代码实现的一个模拟场景:3个生产者,在不断提供服务,处理需求,假设1s处理一个. 20个消费者,在不断消耗供给产品,提交需求,假设3s消耗一个. 情景分析:由于消费者的提交需求能力 和 生产者处 ...
- vue入门 0 小demo (挂载点、模板、实例)
vue入门 0 小demo (挂载点.模板) 用直接的引用vue.js 首先 讲几个基本的概念 1.挂载点即el:vue 实例化时 元素挂靠的地方. 2.模板 即template:vue 实例化时挂 ...