深度解读《深度探索C++对象模型》之非静态数据成员存取分析

接下来我将持续更新“深度解读《深度探索C++对象模型》”系列,敬请期待,欢迎关注!也可以关注公众号:iShare爱分享,自动获得推文和全部的文章列表。

接下来的几篇将会讲解非静态数据成员的存取分析,讲解静态数据成员的情况请见上一篇:
《深度解读《深度探索C++对象模型》之数据成员的存取效率分析(一)》。

普通数据成员的访问方式

接下来的几节讨论的都是非静态数据成员的情况,非静态数据成员都是存放在对象中的,类的定义中相同名称的数据成员在每个对象中都是相互独立存在的。访问非静态数据成员必须通过隐式的或者显示的类对象来访问,否则将没有权限访问。如通过显示的方式访问:

class Object {
public:
	int x;
	int y;
};
void foo(const Object& obj) {
    int a = obj.x + obj.y;
}

或者通过隐式的方式访问:

class Object {
public:
	void print();
private:
	int x;
	int y;
};
void Object::print() {
    printf("x=%d, y=%d\n", x, y);
}


print

函数中可以直接访问数据成员

x



y

,其实它是通过一个隐式的对象来访问的,这个隐式的对象编译器会把它插入到参数中,真实的函数声明会被编译器转换为下面的方式:

void Object::print(Ojbect* const this) {
    printf("x=%d, y=%d\n", this->x, this->y);
}

普通数据成员在对象中的偏移值

在《深度解读《深度探索C++对象模型》之C++对象的内存布局》一文中知道了对象的非静态成员的布局,由此也可以知道访问非静态数据成员是通过对象的首地址(基地址)加上非静态数据成员的偏移值得到的地址。C++标准规定,对象中的成员排列顺序必须按照类中声明的数据成员的顺序,声明在前面的将排在前面,但没有规定不同的访问权限层级(

public, protected, private

)哪个在前,哪个在后。这个由编译器的实现者自己决定,只要保证在同一层级中先声明的排在前面即可。如果在一个类中有声明了多个的层级,如出现多个

public

和多个

private

层级,是否将多个相同的层级合并在一起也并没有强制规定,在我的测试的编译器中,是不区分不同的层级的,是根据类中的声明顺序来排列,不管将它声明在哪个层,或者分布在不同的层级中,统统按照声明的顺序来排列。

数据成员的偏移值可以通过静态的分析方法来得到,也可以通过动态的方法来获取,如下面的程序中,我们将每个非静态数据成员的偏移值打印出来:

#include <cstdio>

class Base {
public:
    void print() {
        printf("&Base::a1 = %d\n", &Base::a1);
        printf("&Base::b1 = %d\n", &Base::b1);
        printf("&Base::c1 = %d\n", &Base::c1);
        printf("&Base::a2 = %d\n", &Base::a2);
        printf("&Base::b2 = %d\n", &Base::b2);
        printf("&Base::c2 = %d\n", &Base::c2);
    }
public:
    int a1;
    static int s1;
protected:
    int b1;
    static int s2;
private:
    int c1;
    static int s3;
private:
    char a2;
    static int s4;
protected:
    char b2;
    static int s5;
public:
    char c2;
    static int s6;
};

int main() {
    Base b;
    b.print();
    return 0;
}

程序输出结果:

&Base::a1 = 0
&Base::b1 = 4
&Base::c1 = 8
&Base::a2 = 12
&Base::b2 = 13
&Base::c2 = 14

从中可以看出:

  • 静态数据成员不影响非静态数据成员的偏移值,因为他们不存储在对象中,它们也没有偏移值,获取到的只有具体的内存地址值。
  • 类中的非静态数据成员的排列是按照它们的声明顺序来的,跟声明在哪个层级没有关系,相同的层级中的成员也不会合并在一起。

通过

&Base::a1

这种方式得到的是成员在对象中的偏移值,而通过

&b.a1

这种方式得到的将是它的具体的内存地址值,这个内存地址也可以通过偏移值得到,即对象b的地址

&b+&Base::a1

存取普通数据成员在编译器中的实现

独立的类即是不继承其它任何类的类,现在来分析一下独立类的非静态数据成员存取方法及效率,通过对象来存取数据成员和通过指针来存取数据成员有没有效率上的差别?从上面的分析我们已经知道,非静态数据成员在类中的声明顺序决定了它在类中的偏移值,通过偏移值可以计算出它的内存地址,所以对象的非静态数据成员在编译期间就可以获得它的内存地址,这样就相当于跟访问一个普通的局部变量一样,不需要通过在运行期间接地去计算它的内存地址,从而导致运行时的效率损失。那如果是通过指针来访问又如何呢?下面通过一个例子,生成对应的汇编代码来分析一下,假设有一个表示三维坐标的类,类中包含有三个坐标值

x,y,z

class Point {
public:
    int x;
    int y;
    int z;
};

void bar(Point* pp) {
    pp->x = 4;
    pp->y = 5;
    pp->z = 6;
}
int main() {
    Point p;
    p.x = 1;
    p.y = 2;
    p.z = 3;
    bar(&p);

    return 0;
}

生成对应的汇编代码:

bar(Point*):                   # @bar(Point*)
    push    rbp
    mov     rbp, rsp
    mov     qword ptr [rbp - 8], rdi
    mov     rax, qword ptr [rbp - 8]
    mov     dword ptr [rax], 4
    mov     rax, qword ptr [rbp - 8]
    mov     dword ptr [rax + 4], 5
    mov     rax, qword ptr [rbp - 8]
    mov     dword ptr [rax + 8], 6
    pop     rbp
    ret
main:                          # @main
    push    rbp
    mov     rbp, rsp
    sub     rsp, 16
    mov     dword ptr [rbp - 4], 0
    mov     dword ptr [rbp - 16], 1
    mov     dword ptr [rbp - 12], 2
    mov     dword ptr [rbp - 8], 3
    lea     rdi, [rbp - 16]
    call    bar(Point*)
    xor     eax, eax
    add     rsp, 16
    pop     rbp
    ret

从汇编代码中可以看到,在

main

函数中,汇编代码的第18到第20行就是对应上面C++代码的第15到第17行,

[rbp – 16]

存放的是局部变量

Point p

的地址,也是成员

x

的地址,因为成员

x

是排在最前面,偏移值为0,也就是跟对象

p

的地址是一样的。成员

y

的偏移值是4,所以基地址加上4即

[rbp – 12]

,以此类推,成员

z

的地址是

[rbp – 8]

,可见成员变量的地址在编译期间就已确定了的。然后在第21行代码将对象

p

的地址存放在

rdi

寄存器中,将它作为调用

bar

函数的参数,传递给

bar

函数,第22行即调用

bar

函数。

然后看下通过指针的方式来访问数据成员是怎样的?在

bar

函数的汇编代码中,将传递过来的参数

rdi

寄存器(存放着对象p的地址)的值先存放在栈空间中的

[rbp – 8]

位置,然后再加载到

rax

寄存器(第4、5行),之后的第6到第10行是分别给数据成员赋值,可以看到通过指针存取数据成员也是通过偏移值来算出成员的具体地址的,地址在编译期间就已确定,所以跟通过对象来存取是一样的,所以两者的效率是一样的,不存在差别。

如果您感兴趣这方面的内容,请在微信上搜索公众号iShare爱分享并关注,以便在内容更新时直接向您推送。

未经允许不得转载:大白鲨游戏网 » 深度解读《深度探索C++对象模型》之非静态数据成员存取分析