成员指针只是记录一个成员的偏移量,而非地址,因为类中没有地址,选择一个类的成员只是意味着在类中偏移,只有把这个偏移和具体对象的首地址结合,才能得到实际地址。
成员指针并不指向一个具体的内存位置,它指向的是一个类的特定成员,而不是指向一个特定对象的特定成员,最直接的理解是将其理解为一个偏移量。这个偏移量适用于某一类A的任何对象,换言之,如果一个A类对象的成员a距离起点的偏移量是4,那么任何其他A类对象中,a的偏移都是4字节。
- 类对象访问其成员时,是根据该成员在类中的偏移量来访问的。
- 类成员指针,可以理解为指向类数据成员的一个偏移量,而非地址。
#include<stdio.h> #include<string.h> #include <iostream> using namespace std; class A { public: A() {m_a = 1; m_b = 2;} ~A() {} void fun() {printf("%d %d", m_a, m_b);} public: int m_a; int m_b; }; class B { public: B() {m_c = 3;} ~B() {} void fun() {printf("%d", m_c);} public: int m_c; }; int main() { A a; B *pb = (B*)(&a); pb->fun(); //1 m_a的值 cout << &a << endl; //0012FF6C 对象a的首地址 cout << &(a.m_a) << endl; //0012FF6C 对象成员m_a的首地址,也就是对象a的首地址 cout << &(a.m_b) << endl; //0012FF70 printf("%p\n",&A::a.m_a); //00000000 偏移量 printf("%p\n",&A::a.m_b); //00000004 偏移量 printf("%p\n",&B::a.m_c); //00000000 偏移量 cout << &A::a.m_a << endl; //1 输出成员指针的值,最好使用printf,%p输出指针 cout << &A::a.m_b << endl; //1 输出成员指针的值,最好使用printf,%p输出指针 return 0; }
输出成员指针的值,最好使用printf,%p输出指针!
使用语句
1 |
|
结果全是1。
究其原因,应该是ostream对象没有重载类成员指针的参数,故不能直接输出类成员指针的类型,而我们知道指针类型与bool类型的转换属于标准转换的(常常用来测试指针合法性是否为空),而ostream对象可以输出bool类型,故编译器将成员指针类型转换成了bool类型,从而输出,既然这样为什么全是输出1呢?说明地址全是合法的,即偏移量全是大于0,不对呀,第一个类成员的偏移量不是0么,这里真心不明白,不过《C++必知必会》中有这样一句话:大多数编译器都将成员指针实现为一个整数,包含被指向成员的偏移量,另外加上1(加1是为了让值0可以表示一个空的数据成员指针)。这大概就是全输出1的原因了吧。
时间: 2024-08-25 20:18:31