类的实例调用成员函数的原理

其实不管是通过对象实例或指针实例调用,其实底层调用的过程都是一样的,都是把当前对象的指针作为一个参数传递给被调用的成员函数。通过下面的相关实例代码进行检验:

实验的C++代码

class Student
{
private:
int age;
public:
Student() {}
Student(int age) : age(age) {}
int getAge() { return this->age; }
}; int main(int argc, char const *argv[])
{
Student s(10);
int age = s.getAge(); Student* ps = new Student(10);
age = ps->getAge(); return 0;
}

基于VS2015调试功能的反汇编代码

int main(int argc, char const *argv[])
{
00A41860 push ebp
00A41861 mov ebp,esp
00A41863 push 0FFFFFFFFh
00A41865 push 0A461D2h
00A4186A mov eax,dword ptr fs:[00000000h]
00A41870 push eax
00A41871 sub esp,104h
00A41877 push ebx
00A41878 push esi
00A41879 push edi
00A4187A lea edi,[ebp-110h]
00A41880 mov ecx,41h
00A41885 mov eax,0CCCCCCCCh
00A4188A rep stos dword ptr es:[edi]
00A4188C mov eax,dword ptr [__security_cookie (0A4B004h)]
00A41891 xor eax,ebp
00A41893 mov dword ptr [ebp-10h],eax
00A41896 push eax
00A41897 lea eax,[ebp-0Ch]
00A4189A mov dword ptr fs:[00000000h],eax
Student s(10);
00A418A0 push 0Ah /*构造函数中的实参值: 10 */
00A418A2 lea ecx,[s] /*取实例s的内存地址,并赋值给寄存器ECX*/
00A418A5 call Student::Student (0A4103Ch) /*调用位于内存地址0A4103Ch的构造函数*/
int age = s.getAge();
00A418AA lea ecx,[s] /*取实例s的内存地址,并赋值给寄存器ECX*/
00A418AD call Student::getAge (0A412D5h) /*调用位于内存地址0A412D5h的成员函数*/
00A418B2 mov dword ptr [age],eax /*成员函数的返回值赋给变量age*/ Student* ps = new Student(10);
00A418B5 push 4 /*类实例所需的内存大小,有一个int类型成员,故为4字节(32位编译)*/
00A418B7 call operator new (0A412A3h) /*调用全局的内存分配函数,类似C的malloc函数*/
00A418BC add esp,4 /*栈顶加4个字节,用于保存operator new内存分配返回的内存地址值*/
00A418BF mov dword ptr [ebp-108h],eax /*eax存的就是返回的内存地址,赋值到ptr [ebp-108h]这是处于栈中的内存*/
00A418C5 mov dword ptr [ebp-4],0
00A418CC cmp dword ptr [ebp-108h],0
00A418D3 je main+8Ah (0A418EAh) /*与上一句联动,如果分配的地址为0,即失败,跳转到0A418EAh*/
00A418D5 push 0Ah /*调用构造函数的实参值: 10*/
00A418D7 mov ecx,dword ptr [ebp-108h] /*取实例s的内存地址值并赋值给寄存器ECX*/
00A418DD call Student::Student (0A4103Ch) /*调用位于内存地址 0A4103Ch 的构造函数*/
00A418E2 mov dword ptr [ebp-110h],eax
00A418E8 jmp main+94h (0A418F4h)
00A418EA mov dword ptr [ebp-110h],0
00A418F4 mov eax,dword ptr [ebp-110h]
00A418FA mov dword ptr [ebp-0FCh],eax
00A41900 mov dword ptr [ebp-4],0FFFFFFFFh
00A41907 mov ecx,dword ptr [ebp-0FCh]
00A4190D mov dword ptr [ps],ecx
age = ps->getAge();
00A41910 mov ecx,dword ptr [ps] /*取实例s的内存地址值并赋值给寄存器ECX*/
00A41913 call Student::getAge (0A412D5h) /*调用位于内存地址 0A412D5h 的成员函数*/
age = ps->getAge();
00A41918 mov dword ptr [age],eax return 0;
00A4191B xor eax,eax
}

分析

通过源码与汇编代码的对比,就可以知道,其实成员函数与类的实例是没有绑定关系,成员函数是属于类的,在内存中仅仅只是一个有效的内存地址。对于成员函数中需要用到实例,就通过寄存器ECX传递过来。

这里引起一上思考,为什么不通过栈传递呢?

首先要明白,栈是位于内存的,而寄存器是位于CPU的,这二者的读写速率就天差地别了, 这是效率的优化;另外只要处于当前成员函数中时,约定不对ECX寄存器进行修改就好。

回归标题

所以回归到标题,如果一个类的空指针调用了成员函数后,编译是通过的。接着在运行过程中,分两种情况:

一、当被调用的成员函数中,未使用this指针去调用当前实例的成员变量,程序正常运行不报错;

class Student
{
private:
int age;
public:
Student() {}
Student(int age) : age(age) {}
void eat() {}
}; int main(int argc, char const *argv[])
{
Student* ps = nullptr;
ps->eat();
return 0;
}

二、当被调用的成员函数中,使用了this指针去读写当前实例的成员变量时,首先调用是成员函数是被成功调用的,代码的执行已经进入了成员函数的领空,但当代码执行到读写当前实例的成员变量里,就会报内存访问异常了。

最后发散思考

回想其中一句话:成员函数是属于类的,而不属于实例的,会不会引发你的思考,类的静态函数,也是属于类的, 那如果用类的空指针调用静态函数,又会发生什么事呢?上代码:

#include <iostream>
using namespace std; class Student
{
private:
int age;
public:
Student() {}
Student(int age) : age(age) {}
static int classtime() {
return 9;
}
void eat() {}
}; int main(int argc, char const *argv[])
{
Student* ps = nullptr;
int time = ps->classtime();
cout << time << endl;
return 0;
}

经过实验就会发现这代码是可以成功运行的。其实原理上面都说了, 这里就不赘述了。主要的一点是类的静态函数绝对不会操作到某一实例的成员数据,所以这种调用是安全的。但在实际编程中, 这个方法应该不会被使用到吧(个人观点,用类名调用它不香吗,还有去写一个类指针再调用)

总结

面试的时候被问到了, 自己会, 但不能回答清晰也是罪,所以在这里总结一下!!

[C++]类的空指针调用成员函数后,会发生什么事?的更多相关文章

  1. 在C++的类中,普通成员函数不能作为pthread_create的线程函数,如果要作为pthread_create中的线程函数,必须是static

    在C++的类中,普通成员函数不能作为pthread_create的线程函数,如果要作为pthread_create中的线程函数,必须是static ! 在C语言中,我们使用pthread_create ...

  2. 4.6 C++抽象基类和纯虚成员函数

    参考:http://www.weixueyuan.net/view/6376.html 总结: 在C++中,可以通过抽象基类来实现公共接口 纯虚成员函数没有函数体,只有函数声明,在纯虚函数声明结尾加上 ...

  3. C++类中的特殊成员函数-------复制构造函数

    在C++中存在一个特殊函数,他就是复制构造函数,假如我们有类A,如果有A a;A b=a;   在这种情况下利用A类变量a来给同是A类变量的b来赋值,这个时候类会使用复制构造函数,如果我们不显式声明复 ...

  4. php – Laravel 5查询关系导致“调用成员函数addEagerConstraints()on null”错误( 转载)

    php – Laravel 5查询关系导致“调用成员函数addEagerConstraints()on null”错误   我一直在尝试创建一个简单的用户管理系统,但在查询关系时不断遇到障碍.例如,我 ...

  5. 类 this指针 const成员函数

    C++ Primer 第07章 类 7.1.2 ​Sales_data类的定义如下: #ifndef SALES_DATA_H #define SALES_DATA_H #include <st ...

  6. 类 this指针 const成员函数 std::string isbn() const {return bookNo;}

    转载:http://www.cnblogs.com/little-sjq/p/9fed5450f45316cf35f4b1c17f2f6361.html C++ Primer 第07章 类 7.1.2 ...

  7. C++类的定义,成员函数的定义,对象的创建与使用

    类是一个模板,可用类生成一系列可用的实例.例如 int B就是生成了一个符合int的数据B,类也是一样,使用类名就可以直接生成一个实例, 该实例中包含类中所有的数据类型和对这些数据的操作方法. 首先, ...

  8. 类里的通用成员函数应声明为static

    类C的成员函数f,如果f的实现实现不依赖于C的任何成员变量,则f为通用函数. 对于通用函数f,可以将其从类C中分离出来做成一个全局函数,也可以仍然让它属于类C,但加上static. 两种处理方法实际都 ...

  9. C++笔记007:易犯错误模型——类中为什么需要成员函数

    先看源码,在VS2010环境下无法编译通过,在VS2013环境下可以编译通过,并且可以运行,只是运行结果并不是我们期待的结果. 最初通过MyCircle类定义对象c1时,为对象分配内存空间,r没有初始 ...

随机推荐

  1. int c, int ndigit[10]; ++ndigit[c-'0'];

    for example c-'0' is an integer expression with a value between 0and 9 corresponding to the characte ...

  2. (私人收藏)Vue.js手册及教程

    (私人收藏)Vue.js手册及教程 https://pan.baidu.com/s/1XG1XdbbdBQm7cyhQKUIrRQ5lrt Vue.js手册及教程 Vue.js 教程 Vue.js 安 ...

  3. html5中二进制对象Blob的使用——Blob与ArrayBuffer、TypeArray和String的相互转换

    在网页开发中遇到这样一个问题,在使用select的时候,想让里面的文字水平居中.首先想到的是text-align:center;但是发现在Chrome浏览器下不兼容,需要使用到text-align-l ...

  4. 如何使用SVG及其动画技术为你的 Web 前端开发带来一些新鲜的体验

    任何有开发经验的前端工程师都会考虑到不成体系的设备生态所带来的挑战.设备间不同的屏幕尺寸.分辨率和比例使得产品难以提供一致的体验,对于那些对产品有着像素级完美追求的人这种体验差异尤其显著! SVG(可 ...

  5. 复杂链表的复制(剑指offer-25)

    题目描述 输入一个复杂链表(每个节点中有节点值,以及两个指针,一个指向下一个节点,另一个特殊指针random指向一个随机节点),请对此链表进行深拷贝,并返回拷贝后的头结点.(注意,输出结果中请不要返回 ...

  6. python数据处理(四)之数据获取与存储

    1.前烟 几个数据问题 1.1 是否能够联系上作者本人 1.2 数据是否定期检查错误并更新 1.3 数据是否包含数据获取方法的信息,是否包含数据获取过程中使用的样本类型 1.4 有没有其他数据源可以验 ...

  7. RCNN论文阅读笔记

    一摘要: 两个主要工作:1将cnn和自上而下的区域提案结合进行定位和对象分割:2当训练数据稀缺时,先预训练然后微调. rccn工作分为四步:1输入一张图片 2用selective search算法对每 ...

  8. Java多线程详解总结

    一.基本概念 程序(program): 是为完成特定任务.用某种语言编写的一组指令的集合.即指一 段静态的代码,静态对象. 进程(process):是程序的一次执行过程,或是正在运行的一个程序.是一个 ...

  9. 数据结构C语言实现----清空、销毁一个栈

    代码如下: #include<stdio.h> #include<stdlib.h> typedef struct { char *base; char *top; int s ...

  10. 查看锁信息 v$lock 和 v$locked_object

    查看锁住的对象及会话id,serial# select a.*  from (SELECT o.object_name,               l.locked_mode,            ...