首页 > 编程语言 >深入探索C++对象模型(十一)执行期语义学(临时对象)

深入探索C++对象模型(十一)执行期语义学(临时对象)

时间:2023-06-01 18:02:08浏览次数:63  
标签:string 对象 左值 C++ 临时 编译器 执行期 表达式


关于临时对象的几条准则。

1. 在某些情况下,编译器可以产生必要的,或者可以带来方便的临时对象,具体行为由编译器来定义。例如,对于如下操作:



1. T a, b;  
2. T c = a + b;//T operator+ (const T&, const T&)

a. 编译器会产生一个临时对象,放置a+b的结果,然后使用T的拷贝构造函数,把临时对象当作c的初始值。

b. 另外一种比较可能的方式是直接以拷贝构造的方式将a+b的值放到c中,代码类似于这样:T c( a + b ),这样就避免了临时对象的构造和析构成本。

c. 此外,如果RVO(返回值优化)生效,可以直接在c中求表达式的结果,不再需要拷贝构造。

对于以上三种方式C++是没有明确标准的,而是留有一定的自由度。

由于编译器市场竞争的关系,很多编译器在对以上表达式不会产生临时对象,然而对于赋值构造表达式,却无法避免临时对象产生,所以T c  = a + b要比T c; c = a+ b高效:




1. T a, b;  
2. T c;  
3. c = a + b;

2.  临时对象的销毁,应该在完整表达式求值过程中的最后一步,该表达式造成了临时对象的产生 。也就是说,如果一个表达式导致了临时对象的产生,那么这(些)临时对象需要表达式完全执行完之后才能销毁,例如:



1. ((objA > 1024) && (objB > 1024)) ? objA + objB : foo(objA, objB);


一共有五个子算式,内带在一个问号表达式中,任何一个子表达式所产生的任何一个临时对象,都应该在完整表达式被求值完成后才可以毁去。

3. 凡是含有表达式执行结果的临时性对象,应该保留到object的初始化操作完成为止,例如:





1. T c = isTrue? 0 : a + b;


a+b产生的临时对象必须保留到c被初始化完成为止。

4. 如果一个临时性对象被绑定于一个引用(reference),该临时对象需要保持到由之初始化的引用对象生命结束,或者临时对象的生命周期结束,具体视哪一种情况先发生。例如:




1. const std::string& space = " ";


会产生这样的程序代码:



1. std::string temp;  
2. temp.std::string::string(" ");  
3. const std::string& space = temp;


temp的生命周期必须在space活跃期间保持。


临时对象是一个普通的对象,只是由于它并未提供对象名,同时也不像堆对象(无名对象)一样提供了对象的指针(即知道对象的地址),所以一般只用来作右值,但这并不说明没有左值属性


一个对象必然有左值和右值,系统是否提供给用户使用则是另外一码事

与对象相对的概念是文本常量,二者区别在于,是否能够寻址

一个对象:左值(对象的地址值);右值(对象的数据值)

不是说,一个对象拥有左值和右值,而是一个对象使用的时候,在某时作左值,在某时作右值,有着两种形式,i = i +3;左边的i即左值,右边的i即右值


标签:string,对象,左值,C++,临时,编译器,执行期,表达式
From: https://blog.51cto.com/u_16147764/6397253

相关文章

  • 类 对象 方法
    对象1.万物皆对象:定义(1)对象就是看的见摸得着的物体    (2)世界就是由多个看的见摸得着的物件组成    (3)世界是由多个看的见摸得着的对象构成    (4)多个对象组成在一起就形成了世界2.身边的对象定义:(1)身边看得见摸得着的物件都称之为对象      ......
  • C++温故补缺(二十):杂项补充1
    杂记1布尔型c语言中表示布尔型一般用0/1,或者flag,c++把布尔型内置了,布尔型的变量只有true和false两个值和0/1的关系:true和false不是0/1,c++编译器会把非0处理成true,把0处理成false宽字符型char型只有一个字节的长度,如果要在c中表示汉字,则需要使用字符串数组c++添加......
  • C++中 字符串的常见操作
    字符串分割在一些比较流行的语言中,字符串分割是一个比较重要的方法,不论是在python,java这样的系统级语言还是js这样的前端脚本都会在用到字符串的分割,然而在c++中却没有这样的方法用来调用。但是在boost中却提供分割方法。使用vector实现下面是用vector实现的一个简单的split......
  • C++ 中的运算符优先级
     运算符的优先级确定表达式中项的组合。这会影响到一个表达式如何计算。某些运算符比其他运算符有更高的优先级,例如,乘除运算符具有比加减运算符更高的优先级。例如x=7+3*2,在这里,x被赋值为13,而不是20,因为运算符*具有比+更高的优先级,所以首先计算乘法3*2,然后再加......
  • C++ 循环
     有的时候,可能需要多次执行同一块代码。一般情况下,语句是顺序执行的:函数中的第一个语句先执行,接着是第二个语句,依此类推。编程语言提供了允许更为复杂的执行路径的多种控制结构。循环语句允许我们多次执行一个语句或语句组,下面是大多数编程语言中循环语句的一般形式:https:/......
  • C++中的map用法学习
    map是STL的一个关联容器,它提供一对一的hash。第一个可以称为关键字(key),每个关键字只能在map中出现一次;第二个可能称为该关键字的值(value);map以模板(泛型)方式实现,可以存储任意类型的数据,包括使用者自定义的数据类型。Map主要用于资料一对一映射(one-to-one)的情況,map內部的......
  • slice()函数创建一个slice对象
    slice()函数创建一个slice对象,该对象可用于对字符串,列表,元组等进行切片。slice对象用于切片给定的序列(字符串,字节,元组,列表或范围)或任何支持序列协议的对象(实现__getitem__()和__len__()方法)。slice语法:classslice(stop)classslice(start,stop[,step])my_slice=slice(5)......
  • CLion 2023 mac(C/C++集成开发环境)功能介绍
    CLion2023mac是一个C++集成开发环境,有一些C++常用的库和方法,例如:ClintListMotorolaMSM755的一个简单的应用程序。可以使用ClintSets将MotorolaMSM755转换为C+,从而降低复杂性。有一个可用于CLinux和所有主流操作系统的命令行界面。可用于任何C++编程语言和函数(包括Ruby),包括......
  • Dlib——C++机器学习库,有传统机器学习的,也有深度学习的
    Dlib的目标用户并没有Hyperopt-sklearn细分,它是一个基于C++语言的通用的机器学习和数据分析库。值得一提的是,虽然Dlib的确是由C++实现的,但它却提供了针对Python语言的API。Dlib的官网称:Dlib是一个现代的C++工具包,实现了大量机器学习的相关算法和工具,可用于在C++环境下创建复杂的软......
  • C++ STL string初探:string类剖析
    一、string的基本概念1.1string是管理字符数组的类常见的初始化使用场景:无参构造和拷贝构造strings1;//无参构造strings2("helloworld");//有参构造对string类的总结:string是表示字符串的字符串类该类的接口与常规容器的接口基本相同,再添加了一些专门用来操作string的常规操......