《深度探索C++对象模型》第二章 | 构造函数语意学

默认构造函数的构建操作

默认构造函数在需要的时候被编译器合成出来。这里“在需要的时候”指的是编译器需要的时候。

带有默认构造函数的成员对象

如果一个类没有任何构造函数,但是它包含一个成员对象,该成员对象拥有默认构造函数,那么这个类的隐式默认构造函数就是非平凡的,编译器需要为该类合成默认构造函数。为了避免合成出多个默认构造函数,编译器会把合成的默认构造函数、拷贝构造函数、析构函数和赋值拷贝操作符都以内联的方式完成。一个内联含有具有静态链接,不会被文件以外者看到。如果函数不适合做成内联,就会合成出一个显式非内联静态(explicit non-inline static)实体。

如果默认构造函数已经被显式定义,那么编译器会扩张已经存在的构造函数,使得在用户代码执行前,先调用默认的构造函数。如果有多个成员对象都要求构造初始化操作,那么编译器就会按照成员对象在类中的声明顺序依次调用每个成员对象所关联的默认构造函数

带有默认构造函数的基类

类似的,如果一个没有任何构造函数的类派生自一个带有默认构造函数的基类,那么这个派生类的默认构造函数就是非平凡的,因此编译器会为它合成一个默认构造函数。如果派生类拥有多个构造函数,但没有默认构造函数,编译器就会扩张现有的每一个构造函数,而不会合成一个新的默认构造函数。

带有虚函数的类

class Widget{
public:
    virtual void filp() = 0;
    // ...
};

void flip(const Widget& widget) {widget.flip();}

// 假设Bell和Whistle都派生自Widget
void foo{
    Bell b;
    Whistle w;

    flip(b);
    flip(w);
}

在编译期,对于上述代码编译器会执行下面两个扩张操作:

  • 产生一个虚函数表,里面存放的是虚函数地址
  • 在每个类对象中合成一个额外的指针成员,内含相关的类的虚表地址

为了让上述机制发挥功效,编译器必须为每个Widget或其派生类对象的虚指针设定初值,以存放适当的虚表地址。因此,对于那些没有声明任何构造函数的类,编译器会为它们合成一个构造函数。

继承自虚基类的类

编译器必须是虚基类再每个派生类对象中的位置能够于执行期准备妥当。例如下面的代码:

class X {public: int i;};
class A : public virtual X {public: int j;};
class B : public virtual X {public: double d;};
class C : public A, public B {public: int k;};

void foo(const A* pa) {pa->i = 1024;}

int main(){
    foo(new A);
    foo(new C);
    // ...
}

编译器无法在编译器foo()之中经由pa二存取的X::i的实际偏移位置,因为pa的真正类型是可以改变的。因此,编译器必须改变“执行存取操作”的那些码,使X::i可以延迟至执行期决定。对于类中定义的每个构造函数,编译器会安插那些“允许每个虚基类的执行期存取操作”的码。如果类中没有声明任何构造函数,编译器必须为它合成一个默认构造函数。

拷贝构造函数的建构操作

拷贝构造函数是一种构造函数,它的一个参数是其本类对象。大部分情况下,当一个对象以另一个同类对象作为初值时,拷贝构造函数就会调用。以下三种情况会调用拷贝构造函数:

  • 显式初始化操作
  • 对象被当作参数传递给某个函数
  • 对象作为函数返回值

默认的逐成员初始化

当需要调用拷贝构造函数而类中没有提供显式的拷贝构造函数时,编译器会执行逐成员初始化,也就是把每个内建或派生的数据成员的值,从某个对象拷贝一份到另一个对象身上。不过它并不会拷贝其中的成员对象,而是以递归的方式进行逐成员初始化。像默认构造函数一样,如果一个类没有声明一个拷贝构造函数,就会有隐式的声明或定义出现。C++标准把拷贝构造函数区分为平凡的和非平凡的,只有非平凡的拷贝构造函数才会被编译器合成。决定一个拷贝构造函数是否平凡的标准在于类是否展现出逐位拷贝语义(bitwise copy semantics)。

逐位拷贝

class Word{
public:
    Word(const char*);
    ~Word(){delete[] str;};
    // ...
private:
    int cnt;
    char* str;
};

这种情况下编译器不会合成一个默认的拷贝构造函数,因为上述Word类的声明展现了默认拷贝语义。然而,如果Word类是以如下形式声明的,且String类声明了一个显式构造函数,那么编译器就必须合成一个拷贝构造函数以调用成员对象str的拷贝构造函数。

class Word{
public:
    Word(const String&);
    ~Word();
    // ...
private:
    int cnt;
    String str;
};

那么,一个类什么时候不展现出逐位拷贝语义呢?有以下四种情况:

  1. 类中含有一个成员对象而后者的类声明中有一个拷贝构造函数(无论此拷贝构造函数是被显式声明的还是由编译器合成的)
  2. 继承自一个基类而后者存在一个拷贝构造函数(无论此拷贝构造函数是被显式声明的还是由编译器合成的)
  3. 声明一个或多个虚函数
  4. 派生自一个继承链,其中有一个或多个虚基类

前两种情况,编译器必须将成员或基类的“拷贝构造函数调用操作”安插到被合成的拷贝构造函数中。

重新设定虚表指针

前面提到,只要一个类声明一个或多个虚函数,编译器就会进行如下扩张操作:

  • 增加一个虚函数表,内含每一个有作用的虚函数地址
  • 将一个指向虚函数表的指针,安插在每个类对象内

显然,如果编译器对于每个新产生的对象的虚指针不能设定正确的初始值,将会导致不可预料的后果。一般来说,当我们使用一个基类对象作为同类对象的初始值,或者使用一个派生类对象作为同类对象的初始值时,都可以直接依靠逐位拷贝操作完成,这种情况下编译器不会合成拷贝构造函数。当一个基类对象用其派生类对象做初始化操作时,必须保证虚指针的赋值操作安全的。我们知道,基类的虚指针不可以指向派生类的虚表。但是,如果直接进行逐位拷贝操作,基类的虚指针就指向了派生类的虚函数表,这是不被允许的。因此,编译器会为基类合成出一个拷贝构造函数,该函数会明确设定基类对象的虚指针指向基类的虚表,而非直接拷贝派生类对象中虚指针的现值。

处理虚基类对象

在虚拟继承方面,编译器必须让“派生类对象中的虚基类子对象位置”在执行期准备妥当,维护“位置的完整性”是编译器的责任。而逐位拷贝语义可能会破外这个位置,所以编译器必须在它自己合成出来的拷贝构造函数中做出仲裁。ZooAnimal是Raccoon的一个虚基类:

class Raccoon : public virtual ZooAnimal{
public:
    Raccoon(){}
    Raccoon(int val){}
private:
};

编译器所产生的代码(用以调用ZooAnimal的默认构造函数、将Raccoon的虚指针初始化,并定位出Raccoon中的ZooAnimal子对象)被安插在两个构造函数中。

class RedPanda : public Raccoon{
public:
    RedPanda(){}
    RedPanda(int val){}
private:
};

如果以一个RedPanda对象作为Raccoon对象的初值,编译器必须判断“后续当程序员企图存取其ZooAnimal子对象时是否能够正确地执行”。这种情况下,为了完成对Raccoon对象的初值设定,编译器必须合成一个拷贝构造函数,安插一些代码以设定虚基类的指针或偏移量的初值(或简单地确定它有没有被抹消),对每个成员执行必要的初始化操作,以及其他的内存相关工作(将在第三章讨论)。

下面这种情况中,编译器无法知道逐位拷贝语义还保持着,因为它无法知道Raccoon指针是否指向一个真正的Raccoon对象,或是指向一个派生类对象:

Raccoon *ptr;
Raccoon littlr_critter = ptr;

程序转化语意学

显式初始化操作

X x0;

void foo_bar(){
    X x1(x0);
    X x2 = x0;
    X x3 = X(x0);
}

两个阶段:

  • 重写每条语句,其中的初始化操作会被剥除
  • 类的拷贝构造函数调用操作会被安插进去

转化后的代码可能是这样:

void foo_bar(){
    X x1;
    X x2;
    X x3;

    // 编译器安插拷贝构造函数调用操作
    x1.X::X(x0);
    x2.X::X(x0);
    x3.X::X(x0);
    //...
}

其中x1.X::X(x0);就表现出对拷贝构造函数X::X(const X& xx)的调用。

参数初始化

把类的对象当作参数传给一个函数(或作为函数的返回值),相当于以下形式的初始化操作:

X xx = arg;

其中xx代表形式参数(或返回值)而arg代表真正的参数值。因此,对于函数void foo(X x0),下面这种调用方式:

X xx;
foo(xx);

将会要求局部变量x0以逐成员的方式将xx当作初值。在编译器实现技术上,一种策略是导入暂时性对象,并调用拷贝构造函数将它初始化,然后将该暂时性对象交给函数。

X __temp0;
__temp0.X::X(xx);
foo(__temp0);

暂时性对象先以类X的拷贝构造函数正确地设定了初值,然后再以bitwise的方式拷贝到x0这个局部变量中。foo()函数的声明因此必须被转化,形式参数必须从原来的对象变成引用void foo(X& x0);。类X需要声明一个析构函数,它会在foo函数完成之后被调用,以销毁那个暂时性对象。

另一种实现策略是以拷贝构造的方式把实际参数直接建构到其应该的位置上,该位置视函数活动范围的不同记录于程序堆栈中。在函数返回之前,局部对象的析构函数(如果有定义的话)会被执行。

返回值初始化

X bar(){
    X xx;
    // 处理 xx ...
    return xx;
}

上述代码中,bar()的返回值如何从局部对象xx中拷贝出来?一种解决方法是双阶段转化:

  1. 首先加上一个额外参数,类型是对象的引用。这个参数用来放置被“拷贝构造”得到的返回值。
  2. 在return指令之前安插一个拷贝构造函数调用操作,以便将传回对象的内容当作上述新增参数的初始值。

第二阶段的转化操作会重新改写函数,使它不传回任何值:

vodi bar(X& __result){
    X xx;
    xx.X::X();
    __result.X::X(xx);
    return;
}

用户层优化

对于像bar()这样的函数,程序员可以定义一个计算用的构造函数。也就是说,程序员不再写如下代码:

X bar(const T& y, const T& z){
    X xx;
    return xx;
}

因为上述的代码要求xx被memberwise地拷贝到编译器产生的__result之中。我们可以定义另一个构造函数,可以直接计算xx的值:

X bar(const T& y, const T& z){
    return X(y, z);
}

这样bar()函数转化之后效率就比较高,__result可以直接被计算出来,而不是经由拷贝构造函数生成。

编译器层优化

命名返回值优化(Named Return Value Optimization)消除了冗余拷贝构造函数和析构函数调用,从而提高了程序性能。对于一个如foo()的函数,编译器可能会对它进行NRVO,方法是以__result参数取代返回对象。

X bar(){
    X xx;
    // 处理 xx ...
    return xx;
}

优化后的foo()以result取代xx:

void bar(X &__result){
    // 调用默认构造函数
    // C++ 伪码
    _result.X::X();

    // ... 直接处理 __result
    return;
}

对比优化前与优化后的代码可以看出,对于一句类似于X xx1 = foo()这样的代码,NRVO后的代码相较于原代码节省了一个临时对象的空间(省略了xx),同时减少了两次函数调用(减少xx对象的默认构造函数和析构函数,以及一次拷贝构造函数的调用,增加了一次对xx1的默认构造函数的调用)

  • NRVO由编译器默默完成,至于它是否真的被完成,我们并不是十分清楚
  • 一旦函数变得比较复杂,优化也就难以进行
  • 破外程序对称性,导致程序出错

需要实现拷贝构造函数吗?

如果一个类没有任何成员对象或基类对象带有构造函数,也没有任何虚函数或继承自虚基类,那么该类的默认拷贝构造函数就被视为平凡的,编译器不会为它合成一个默认拷贝构造函数。所以,默认情况下该类对象的初始化操作就会导致逐位拷贝。这种拷贝操作既快速又安全,因此类的设计者没有必要提供一个显式的拷贝构造函数。但是,如果这个类需要大量的逐成员初始化操作(例如以传值的方式返回对象),那么提供一个显式的拷贝构造函数就非常有必要。

成员初始化列表

除了在构造函数内初始化类成员外,我们还可以通过成员初始化列表对类中的成员进行初始化。一般来说,以下四种情况必须使用成员初始化列表:

  • 初始化引用成员
  • 初始化静态成员
  • 调用基类的构造函数,且它拥有参数
  • 调用成员对象的构造函数,且它拥有参数

编译器会逐个操作初始化列表,按照适当的顺序将初始化操作安插在构造函数中,且在用户代码之前。初始化列表中的项目初始化顺序是由类中成员的声明次序决定的,而不是列表的排列次序决定的。

在构造函数内,我们可以调用成员函数来初始化类成员,因为和此对象相关的this指针已经被建构。但是,不要在成员初始化列表中使用其他成员函数。一般来说,我们可以使用“存在于构造函数内的一个成员”而非“存在于成员初始化列表中的成员”来为另一个成员设置初值。此外,不要把派生类成员函数的返回值当作基类构造函数的参数,相关问题将在后续章节讨论。

原文地址:https://www.cnblogs.com/littleorange/p/12540583.html

时间: 2024-10-03 05:14:45

《深度探索C++对象模型》第二章 | 构造函数语意学的相关文章

深度探索C++对象模型 第二章构造函数语意学

在使用C++时,常常会好奇或者抱怨,编译器为我们做了什么事呢? 为什么构造函数没有为我初始化呢?为什么我还要写默认构造函数呢? 2.1 Default Constructor 的构造操作 如果没有声明默认构造函数,编译器会在需要的时候帮我们产生出来. 为了避免在多个地方被需要导致重复,则编译器将产生的构造函数声明为inline方式. class Foo {public:Foo(), Foo(int) }; class Bar {public: Foo foo;char *str;} Bar ba

【深度探索C++对象模型】第二章 构造函数语意学(上)

第二章 构造函数语意学(The Semantics of Constructors) -- 本书作者:Stanley B.Lippman 一.前言 首先让我们来梳理一个概念: 默认构造函数(Default Constructor) : 是在没有显示提供初始化式时调用的构造函数.它由不带任何参数的构造函数,或是为所有形参提供默认实参的构造函数定义.如果定义的某个类的成员变量没有提供显示的初始化式时,就会调用默认构造函数(Default Contructor). 如果用户的类里面,没有显示的定义任何

《深度探索c++对象模型》chapter3 Data语意学

一个空的class:如 class X{} ; sizeof(X)==1; sizeof为什么为1,他有一个隐晦的1 byte,那是被编译器安插进去的一个char,这使得class2的两个objects得以在内存中配置独一无二的地址: X a,b; if(&a==&b) cerr<<"yipes!"<<endl; class X{}; class Y:public virtual X{}; class Z:public virtual X{};

Android深度探索读书笔记 第二章

第二章介绍的是搭建android底层的开发环境 ,主要包括android应用程序开发环境.android NDK开发环境和交叉编译环境的搭建.首先介绍的是开发测试和调试Linux驱动.HAl程序需要的工具:JDK6或以上版本:Eclipse3.4或以上版本:ADT:CDT:androidSDK:Android NDk:交叉编译环境:Linux内核源代码:android源代码:用于调试的串口工具 minicom.接着介绍的是JDK的安装:首先从官方网站(http://www.oracle.com/

【C++】深度探索C++对象模型读书笔记--Data语意学(The Semantics of data)

1. 一个空类的大小是1 byte.这是为了让这一类的两个对象得以在内存中配置独一无二的地址. 2. Nonstatic data member 放置的是“个别的class object”感兴趣的数据,static data members则放置的是“整个class”感兴趣的数据. 3. C++对象模型把nonstatic data members直接放在每一个classs object之中.对于继承而来的nonstatic data members(不管是virtual 还是nonvirtua

【C++】深度探索C++对象模型读书笔记--执行期语意学(Runtime Semantics)

对象的构造和析构: 全局对象 C++程序中所有的global objects都被放置在程序的data segment中.如果显式指定给它一个值,此object将以此值为初值.否则object所配置到的内容为0. 如果全局对象如果有构造函数或析构函数的话,我们说它需要静态的初始化操作和内存释放操作.编译器的执行步骤如下: 1.为每一个需要静态初始化的文件产生一个_sti()函数,内含必要的构造函数调用操作. 2. 在每一个需要静态的内存释放操作的文件中,产生一个_std()函数,内含必要的析构操作

Android深度探索-卷1 第二章

本章主要介绍如何搭建Android 底层开发的环境,主要包括Android应用程序开发环境,Android NDK 开发环境和交叉编译环境的搭建. 开发.测试和调试Linux驱动.HAL程序库需要的工具:jdk6或以上版本.eclipse3.4或以上版本 ADT, CDT ,Android SDK ,Android NDK, 交叉编译环境.Linux内核源代码.Android源代码.用于调试开发板的串口工具:minicom. 安装JDK 1.从官方网站下载JDK压缩包(tar.gz)(http:

【C++】深度探索C++对象模型读书笔记--构造函数语义学(The Semantics of constructors)(四)

成员们的初始化队伍(member Initia 有四种情况必须使用member initialization list: 1. 当初始化一个reference member时: 2. 当初始化一个const member时: 3. 当调用一个base class的constructor,而它拥有一组参数时: 4.当调用一个member class的constructor,而它拥有一组参数时: 在这四种情况下,程序可以被正确编译运行,但是效率不高.例如: 1 class Word { 2 Stri

深度探索c++对象模型 第一章

1,声明与定义. //声明式如下: extern int x;   //对象式(变量式)声明 std::size_t numDigits(int number);  //函数式声明 class Widget;    //类声明 template<typename T>    //模板类声明 class GraphNode; //定义式如下: int x;    //对象的定义 std::size_t numDigits(int number)    //函数的定义 { ... } class