那么为什么将函数封装在结构体内部编译器就会给函数多传一个参数呢?
我们写一个空的结构体将函数封装进去看看它还会不会传参数进去:
#include <stdio.h> struct Base{ //int a; //int b; void Max(){ /* if(in.a>in.b){ return in.a; } else{ return in.b; } } */ printf("fjdksalfjdksa\n"); } }; int main(){ Base one; //one.a=1; //one.b=2; //int c= one.Max(); //printf("%d",c); return 0; }
我们可以看到这里的Max函数不需要任何参数,也没有任何返回值,Base结构体内也没有变量,现在我们来到反汇编看看:
lea ecx,[ebp-4] call @ILT+15(Base::Max) (00401014)
我们可以看到,即使函数不需要任何参数,编译器也会为封装在结构体内的函数传入参数(一个地址,也就是指针),而且我们可以观察到,这个指针指向了结构体的首地址,那么这个指针,我们叫做this执政。
我们来看看this指针的用法:
#include <stdio.h> struct Base{ int a; int b; int Max(Base* in){ if(this->a>this->b){ return this->a; } else{ return this->b; } } }; int main(){ Base one; one.a=1; one.b=2; int c=one.Max(&one); printf("%d",c); return 0; }
我们可以发现,我们在函数内部可以通过this指针来获取结构体内成员的值。
我们来到反汇编查看:
lea eax,[ebp-8] push eax lea ecx,[ebp-8] call @ILT+25(Base::Max) (0040101e) mov dword ptr [ebp-0Ch],eax
我们可以看到,这样调用函数的时候,函数的堆栈就会减少,节省了内存空间。
2.封装
封装是面向对象程序设计思想最重要的特征。封装就是隐藏,它将数据和数据处理过程封装成一个独立性很强的模块,避免外界直接访问对象属性而造成耦合度过高以及过度依赖。
封装是面向对象的核心思想,将对象的属性和行为封装起来,行为对外提供接口,不需要让外界知道具体的实现细节。
3.类
类是对象的抽象,是一种自定义数据类型,这和C语言中的自定义结构体很像, 它用于描述一组对象的共同属性和行为。
类的定义:
class 类名 { 权限控制符; 成员; }
关于类定义的具体介绍如下:
(1).class是定义类的关键字
(2).类名是类的标识符,其命名遵循标识符的命名规范
(3).类名后面的大括号,用于包含类的成员,类的所有成员都要在这一对大括号中声明。类中可以定义成员变量(也成为属性)和成员函数(也成为方法),成员变量用于描述对象的属性,成员函数用于描述对象的行为。
(4).声明类的成员时,通常要使用权限控制符限定成员的访问规则,权限控制符包括public,protected和private,这三种权限控制符的权限依次递减。
(5).大括号后面的一个分号,用于表示类定义的结束。
权限控制符具体介绍:
public(共有类型):被public修饰的成员也被成为共有成员。共有成员是类的外部接口,可以被所属类的成员函数,类对象,派生类对象,友元函数,友元类访问。
protected(保护类型):被protected修饰的成员被称为保护成员,其访问权限介于私有和共有之间,可以被所属类的成员函数,派生类对象,友元类和友元函数访问。
private(私有类型):被private修饰的成员成为私有成员,只能被所属类的成员函数,友元函数,友元类访问。
4.this指针
this指针是C++实现封装的一种机制,它将对象和对象调用的非静态成员函数联系在一起,从外部看来,每个对象拥有自己的成员函数。当创建一个对象时,编译器会初始化一个this指针,指向创建的对象,this指针并不存储在对象内部(这就是封装在结构体内部的函数不占用结构体内存的原因),而是作为所有非静态成员函数的参数。
实现类的成员函数时,如果形参与类的属性重名,那么this指针能很好地解决这个问题。
如果类的成员返回值为一个对象,那么可以用return *this
来直接返回对象本身。