类和对象(上)

在这里插入图片描述

前言

在这里插入图片描述哈喽大家好,我是 鹿 九 丸 color{red}{鹿九丸} 鹿,今天给大家带来的是C++系列类和对象的上卷内容。
如果大家在看我的博客的过程中或者学习的过程中以及在学习方向上有什么问题或者想跟我交流的话可以加我的企鹅号: 2361038962 color{red}{2361038962} 2361038962,或者寄邮件到相应的邮箱里: 2361038962 @ q q . c o m color{red}{2361038962@qq.com} 2361038962@qq.com,我会尽量帮大家进行解答!

1.面向过程和面向对象初步认识

C语言是面向过程的,关注的是过程(函数),分析出求解问题的步骤,通过函数调用逐步解决问题。

C++是基于面向对象的,关注的是对象(类),将一件事情拆分成不同的对象,靠对象之间的交互完成。

2. 类的引入

C语言中,结构体中只能定义变量。在C++中,结构体内不仅可以定义变量也可以定义函数同时结构体的名称可以做类型。(在C++中struct 被升级成了类)

struct Student
{
	void SetStudentInfo(const char* name, const char* gender, int age)
	{
		strcpy(_name, name);
		strcpy(_gender, gender);
		_age = age;
	}

	void PrintStudentInfo()
	{
		cout << _name << " " << _gender << " " << _age << endl;
	}
	char _name[20];//_用来标识成员变量,同时可以区分成员变量和形参
	char _gender[3];
	int _age;
};
int main()
{
	Student s;//结构体的名称做类型
	s.SetStudentInfo("张三", "男", 20);
    s.PrintStudentInfo();
	return 0;
}

上面结构体的定义,在C++中更喜欢用class来代替。

class student
{}

注意:C++中struct被升级成类,类是一个整体,比如上面的函数SetStudentInfo()中使用到了_name,虽然类中的_name在后面,但是在SetStudentInfo()函数中也是可以使用的。

3.类的定义

class className
{
	// 类体:由成员函数和成员变量组成

}; // 一定要注意后面的分号

class为定义类的关键字ClassName为类的名字{}中为类的主体注意类定义结束时后面分号

类中的元素称为类的成员:类中的数据称为类的属性或者成员变量; 类中的函数称为类的方法或者成员函数。

类的两种定义方式:

  1. 声明和定义全部放在类体中,需要注意:成员函数如果在类中定义,编译器可能会将其当成内联函数处理(一般较短的函数会在类内定义)。

    class student//学生类
    {
    public:
        //显示学生基本信息
    	void showInfo()
    	{
    		···
    	}
    public:
    	char* _name;//学生的姓名
    	int _age;//学生的年龄
    };
    
  2. 声明放在.h文件中,类的定义放在.cpp文件中

    //student.h文件
    class student
    {
    public:
        void printInfo();
    public:
        int age;
        char *name;
    }
    //student.cpp文件
    #include"student.h"
    void student :: printInfr()
    {
    }
    

    一般情况下我们会采用第二种方式。

4. 类的访问限定符及封装

4.1 访问限定符

C++实现封装的方式:用类将对象的属性与方法结合在一块,让对象更加完善,通过访问权限选择性的将其接口提供给外部的用户使用。

访问限定符有三种:

  • public(公有)
  • protected(保护)
  • private(私有)

访问限定符说明

  1. public修饰的成员在类外可以直接被访问
  2. protected和private修饰的成员在类外不能直接被访问(此处protected和private是类似的) ,但是在类内可以直接被访问
  3. 访问权限作用域从该访问限定符出现的位置开始直到下一个访问限定符出现时为止
  4. class的默认访问权限为private(我们也可以手动去加)struct为public(因为struct要兼容C)

注意:访问限定符只在编译时有用,当数据映射到内存后,没有任何访问限定符上的区别

【面试题】

问题:C++中struct和class的区别是什么?

解答:C++需要兼容C语言,所以C++中struct可以当成结构体去使用。另外C++中struct还可以用来定义类。 和class是定义类是一样的,区别是struct的成员默认访问方式是public,class是的成员默认访问方式是 private。

4.2 封装

面试题】 面向对象的三大特性:封装、继承、多态

在类和对象阶段,我们只研究类的封装特性,那什么是封装呢?

封装:将数据和操作数据的方法进行有机结合,隐藏对象的属性和实现细节,仅对外公开接口来和对象进行 交互。

5.类的作用域

类定义了一个新的作用域,类的所有成员都在类的作用域中。在类体外定义成员,需要使用 :: 作用域解析符 指明成员属于哪个类域。

class Person
{
public:
	void PrintPersonInfo();
private:
	char _name[20];
	char _gender[3];
	int _age;
};
// 这里需要指定PrintPersonInfo是属于Person这个类域
void Person::PrintPersonInfo()
{
	cout << _name << " "_gender << " " << _age << endl;//_name和_gender都是类里面的
}

6. 类的实例化

用类类型创建对象的过程,称为类的实例化

  1. 类只是一个模型一样的东西,限定了类有哪些成员,定义出一个类并没有分配实际的内存空间来存储它
  2. 一个类可以实例化出多个对象,实例化出的对象 占用实际的物理空间,存储类成员变量
  3. 做个比方。类实例化出对象就像现实中使用建筑设计图建造出房子,类就像是设计图,只设计出需要什 么东西,但是并没有实体的建筑存在,同样类也只是一个设计,实例化出的对象才能实际存储数据,占用物理空间

image-20220512180502101

image-20220512191918308

  1. 类的定义不能像下面这样进行定义,否则在实例化的时候会出现错误。

    class Person
    {
    public:
    	void PrintPersonInfo();
    private:
    	char _name[20];
    	char _gender[3];
    	int _age;
        Person p;
    };
    

    在实例化的过程中将会无穷无尽,这是被C++语法所不允许的。
    结论:在类的定义中成员变量中不能出现当前成员变量的变量。

7. 类对象模型

7.1 如何计算类对象的大小

class A
{
public:
	void PrintA()
	{
		cout << _a << endl;
	}
private:
	char _a;
};

问题:类中既可以有成员变量,又可以有成员函数,那么一个类的对象中包含了什么?如何计算一个类的大小?

7.2 类对象的存储方式猜测

class stu
{
public:
	void SetStuInfo()
	{

	}
	void PrintInfo()
	{

	}
private:
	char _name[10];
	int _age;
	char _sex[5];
};
  • 对象中包含类的各个成员
    image-20220512193608794

    缺陷:每个对象中成员变量是不同的,但是调用同一份函数,如果按照此种方式存储,当一个类创建多 个对象时,每个对象中都会保存一份代码,相同代码保存多次,浪费空间。

  • 只保存成员变量,成员函数存放在公共的代码段

    image-20220512193819869

对于上述两种方式,计算机采用的是第二种方式,在计算类变量所占内存空间的时候和结构体相类似(C语言中已经介绍),也遵循内存对齐。

注意:空的类,即像下面这样的类,也会在内存中占据一个字节:

class A
{};

问:为什么一定要在内存中占据一个字节呢?

答:因为定义变量的时候总要在内存中占据一个地址空间的,用来标识变量的存在。

8.this指针

8.1 this指针的引出

class Date
{
public:
	void Print()
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}

	void Init(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year; // 年
	int _month; // 月
	int _day; // 日
};
int main()
{
	Date d1, d2;
	d1.Init(2022, 5, 12);
	d2.Init(2022, 5, 12);
	d1.Print();
	d2.Print();
	return 0;
}

输出结果:

image-20220512195003971

对于上述类,有这样的一个问题: Date类中有Init与Print两个成员函数,函数体中没有关于不同对象的区分,那当s1调用Init函数时,该函数是如何知道应该设置s1对象,而不是设置s2对象呢?当s1调用Print函数时,该函数是如何知道打印的是s1对象而不是s2对象呢?

C++中通过引入this指针解决该问题,即:C++编译器给每个“非静态的成员函数“增加了一个隐藏的指针参 数,让该指针指向当前对象(函数运行时调用该函数的对象),在函数体中所有成员变量的操作,都是通过该指针去访问。只不过所有的操作对用户是透明的,即用户不需要来传递,编译器自动完成。

8.2 this指针的特性

  1. this指针的类型:类类型 const*
  2. 只能在“成员函数”的内部使用
  3. this指针本质上其实是一个成员函数的形参,是对象调用成员函数时,将对象地址作为实参传递给this形参。所以对象中不存储this指针。
  4. **this指针是成员函数第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传递,不需要用户传递,如果用户强制传递,那么编译器会报错,当然,我们可以在成员函数中使用this指针但是不能对this指针的指向进行修改(当然,我们可以通过一些其它的方法进行修改,此处的不可修改是不可显式的进行修改),**即this是一个指针常量但是不能在参数(实参和形参中均不可)中写this指针。
  5. this指针式编译器默认加上的,无论在我们的成员函数内是否用的到,即使你的函数内容为空

例如上面的函数被编译器处理之后就变成了下面的函数:

void Print(Date* const this)
{
	cout << this->_year << "-" << this->_month << "-" << this->_day << endl;
}

void Init(Date* const this,int year, int month, int day)
{
	this->_year = year;
	this->_month = month;
	this->_day = day;
}

调用的位置就变成了下面这样:

d1.Init(&d1, 2022, 5, 12);
d2.Init(&d2, 2022, 5, 12);
d1.Print(&d1);
d2.Print(&d2);

但是我们如果像上面那样直接定义函数和调用函数编译器就会报错(因为形参和实参中均主动加上了this指针)。为什么?因为这是编译器的任务,而不是程序员的任务!

注意:我们可以在函数体内显式的使用this指针,例如下面的代码中我们就显式的使用了this指针:

class Date
{
public:
	void Print()
	{
		cout << this -> _year << "-" << this -> _month << "-" << this -> _day << endl;
	}
	void Init(int year, int month, int day)
	{
		this -> _year = year;
		this -> _month = month;
		this -> _day = day;
	}
private:
	int _year;
	int _month;
	int _day;
};

在上面的函数定义代码中我们就显式的使用了this指针。

8.3 【面试题】

  1. 问:this指针是存在哪的?

    答:是存在于栈区上的,因为this指针是形参。当然,有的编译器会使用寄存器进行优化(为什么进行优化?因为我们可能在函数中频繁的使用this指针),将this指针存放在ecx寄存器上,比如下面的汇编代码中的第一行代码中,将指针变量p中存放的值0传递到ecx寄存器中。

  2. 问:this指针可以为空吗?

    答:可以,因为无论是传递什么,传递过去的都是一个值,空指针也只是一个值(0),但是我们无法通过空指针进行访问成员变量,它指向的空间无法被访问。

8.3.1 面试题1

//1.下面程序编译运行结果是?A、编译报错 B、运行崩溃 C、正常运行
class A
{
public:
    //void Show(A * const this)
	void Show()//传过来的是一个空指针
	{
		cout << "Show()" << endl;
	}
private:
	int _a;
};
int main()
{
	A* p = nullptr;
	p->Show();
    //p->Show(p)
}

首先排除A,为什么?因为即使程序出现了对空指针的解引用问题,那么报错的地方也应该是运行崩溃,所以答案在B和C之间进行选择。

然后查看编译器修饰之后的程序,发现在函数调用Show的过程中并没有对p即空指针指向的那块空间进行访问,所以程序并不会出现崩溃的现象,程序会正常运行,且能打印出Show()来。

问:为什么p->Show这个代码没有出现错误呢?

答:首先因为p是一个A*类型的指针变量,所以可以能够进行->操作对Show()函数进行调用,换句话说,即使我们随便对p赋一个值像下面这样进行操作,程序依旧能够正常运行。

class A
{
public:
	void Show()
	{
		cout << "Show()" << endl;
	}
private:
	int _a;
};
int main()
{
	A* p = (A*)0x11223344;
	p->Show();
}

上面的代码中,我们随便给p赋了一个地址值0x11223344,此时依旧能够正确打印出来结果,即Show(),首先我们需要明确为什么对空指针不能进行解引用?因为NULL代表逻辑地址0,指向那段空间被认为是不可访问的且在那块空间中没有存在有效且合法的数据。而对象中只有成员变量,只有对对象指针指向的成员变量进行访问才属于对空指针的解引用,上面的例子中我们通过p指针访问的是公共代码区中的函数show(),这是完全合法的。如果我们通过指针p对_a进行访问那就属于对空指针进行解引用了,这也是为什么下一个面试题会出现程序崩溃的原因。

下面我们看一下汇编:

image-20220515155707490

8.3.2 面试题2

//2.下面程序编译运行结果是?A、编译报错 B、运行崩溃 C、正常运行
class A
{
public:
	void PrintA()
	{
		cout << _a << endl;//this->_a,此时出现了对this指针的解引用,即对空指针的解引用,访问this指针指向的对象空间,所以程序会运行崩溃
	}
private:
	int _a;
};
int main()
{
	A* p = nullptr;
	p->PrintA();//这里不会出现问题,只是将p赋值给this指针
}