C++成员在类中的偏移量 & 类成员指针

本文解析了一道C++编程题,通过实例说明了对象如何根据成员变量的偏移量来访问成员,以及成员指针的概念。解释了当对象强制类型转换后调用成员函数时,如何根据偏移量访问原本类中的成员。

首先来看一道编程题:写出输出的结果

#include <stdio.h>

class A
{
public:
    A() {m_a = 1; m_b = 2;}
    ~A() {}
    void fun() {printf("%d %d", m_a, m_b);}
private:
    int m_a;
    int m_b;
};

class B
{
public:
    B() {m_c = 3;}
    ~B() {}
    void fun() {printf("%d", m_c);}
private:
    int m_c;
};

void main()
{
    A a;
    B *pb = (B*)(&a);
    pb->fun();
}

程序的输出结果为1

这里主要涉及两个方面:1)对象调用成员函数的时候会将对象与函数绑定;****2)对象访问成员变量是根据成员变量距离对象的偏移量来访问的,而不是根据成员名来访问。(所谓偏移量就是告诉你一个特定的成员位置距离对象起点有多少个字节)

接着来分析为什么输出结果是1.
a.内存中实例化一个A的对象a。
b.将a对象的地址强制转化为B类的地址。
c.pb为B类的指针,理所当然调用的是B类的fun函数。
d.当调用fun函数的时候,调用对象与该函数进行绑定,即fun函数中隐含的形参this指针初始化为调用A类对象的地址。
e.按照道理,应该直接打印m_c的值。这里要注意,对象在访问类成员的时候,编译器并没有存储对象各个成员的实际地址,而是存储了其相对对象首地址的偏移量。
f.由于类B只有一个成员m_c,在编译阶段,编译器就记录了m_c相对于B类的偏移量为0,故访问m_c的时候,便是访问当前对象this+偏移量
g.注意,这里的this指针指向的是A类对象的首地址,在A类中偏移量 为0的是m_a。故打印m_a的值。

二.关于成员指针
1)成员指针只是记录一个成员的偏移量,而非地址,因为类中没有地址。
2)选择一个类的成员只是意味着在类中偏移,只有把这个偏移和具体对象的首地址结合,才能得到实际地址。
3)成员指针并不指向一个具体的内存位置,它指向的是一个类的特定成员,而不是指向一个特定对象的特定成员,最直接的理解是将其理解为一个偏移量。这个偏移量适用于某一类A的任何对象,换言之,如果一个A类对象的成员a距离起点的偏移量是4,那么任何其他A类对象中,a的偏移都是4字节。

总结:
1.类对象访问成员时候,是根绝成员函数相对于类对象的地址偏移来访问的。
2.类成员指针,可以理解为指向类数据成员的一个偏移量,而非地址。

http://www.ahathinking.com/archives/98.html

&lt;think&gt;好的,我现在需要解释C++类成员指针的工作原理。首先,用户已经提供了一些相关的引用资料,我需要结合这些资料来构建一个清晰的解释。 首先,类成员指针分为数据成员指针成员函数指针。根据引用[1],数据成员指针的声明方式是使用auto或decltype来简化,例如auto pdata = &amp;Screen::contents;。这说明数据成员指针存储的是成员内的偏移量,而不是绝对地址。因为每个实例的成员位置可能不同,偏移量可以帮助找到具体对象中的成员。 然后看引用[2],里面提到成员函数指针的声明需要显式使用取址运算符,比如int (A::*pf)(int, int) = &amp;A::add;。这里强调了成员函数指针和普通函数指针的不同,没有自动转换,必须用&amp;。这说明成员函数指针同样与的结构有关,可能涉及到虚函数表或者调用约定,但具体机制可能更复杂。 引用[3]中的宏定义展示了如何通过成员指针获取对象的指针,这涉及到计算成员中的偏移量。例如,通过将成员指针转换为char*并减去偏移量得到对象的起始地址。这进一步证实了成员指针存储的是偏移量的概念。 引用[4]提到了智能指针的使用,虽然与成员指针不直接相关,但可能需要注意在智能指针对象中使用成员指针时的生命周期问题,但暂时可能不需要深入讨论这部分。 接下来,我需要将这些信息组织起来,分点解释数据成员指针成员函数指针的原理。可能需要包括以下几点: 1. 数据成员指针:存储的是相对于对象起始地址的偏移量,访问时需要结合具体对象的地址。 2. 成员函数指针:存储的可能是函数地址或虚表索引,调用时需要传递对象实例以提供this指针。 3. 使用方式:必须通过对象实例来解引用成员指针,例如使用.*或-&gt;*运算符。 4. 内存布局的影响:类成员的访问权限、继承、虚函数等可能影响偏移量的计算,但编译器会处理这些细节。 需要注意区分普通指针成员指针的不同,比如成员指针不指向具体内存地址,而是相对于对象的偏移。同时,成员函数指针需要考虑非静态成员函数隐含的this参数,因此在调用时必须绑定到一个对象实例。 可能的问题是如何解释成员函数指针的内部结构,但由于不同编译器实现可能不同,可以提到这一点,但不必深入。此外,引用中的宏定义展示了如何通过偏移量反向获取对象指针,这可以作为一个例子说明偏移量的存在。 最后,要确保回答符合用户的要求:结构清晰,分点解释,使用中文,正确使用LaTeX格式,并生成相关问题。同时,正确添加引用标记。&lt;/think&gt;### C++类成员指针的工作原理 #### 1. **数据成员指针** 数据成员指针用于指向的非静态数据成员,其本质是存储成员中的**内存偏移量**,而非绝对地址。例如: ```cpp class Screen { public: std::string contents; }; auto pdata = &amp;Screen::contents; // 数据成员指针 ``` - **原理**:`pdata` 的值是 `contents` 相对于 `Screen` 对象起始地址的偏移量。当通过对象访问时,实际地址为 `对象地址 + 偏移量`。 - **使用方式**: ```cpp Screen obj; std::string s = obj.*pdata; // 通过对象解引用 ``` #### 2. **成员函数指针** 成员函数指针指向的非静态成员函数,其存储函数的地址或虚函数表中的索引。例如: ```cpp class A { public: int add(int a, int b) { return a + b; } }; int (A::*pf)(int, int) = &amp;A::add; // 成员函数指针 ``` - **原理**:成员函数隐含 `this` 参数,因此调用时必须绑定对象实例。编译器会隐式传递 `this` 指针。 - **使用方式**: ```cpp A obj; (obj.*pf)(3, 4); // 通过对象调用 ``` #### 3. **内存布局与偏移量** - 类成员偏移量由编译器根据**内存对齐规则**和**声明顺序**计算。例如,引用[3]中的宏通过计算偏移量反向获取对象指针: ```cpp #define get_class_ptr(memberPtr, classType, memberName) \ ((classType*)(reinterpret_cast&lt;char*&gt;(memberPtr) - offsetof(classType, memberName))) ``` 这里 `offsetof` 宏(或手动计算)用于获取成员偏移量[^3]。 #### 4. **与普通指针的区别** - **依赖对象实例**:类成员指针必须通过对象实例访问(`.*` 或 `-&gt;*` 运算符)[^1][^2]。 - **无自动转换**:成员函数指针和普通函数指针之间不能隐式转换,必须显式取址。 ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值