C++——类与对象（上）

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

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

2.C++是 基于面向对象的， 关注的是 对象，将一件事情拆分成不同的对象，靠对象之间的 交互完

成。重心是对象和对象间的关系与交互。

注意：C++不是 纯面向对象的语言，因为它兼容C语言。

 

面向过程写的都是一个个的函数，这些函数在互相调用、互相交互，处理各种数据.

面向对象则全是一个个的类，这些类在互相交互。

2.类

2.1类的引入

C语言结构体中只能定义变量，在C++中，结构体内不仅可以定义变量，也可以定义函数。比如：

之前在数据结构初阶中，用 C语言方式实现的栈，结构体中只能定义变量；现在以 C++方式实现，

会发现struct中也可以定义函数。

//C++兼容C语言，结构体的用法可以继续使用
//同时struct升级成了类
//Stack是结构体
struct Stack//Stack还是类名
{
	//成员函数
	//C++
	void Init()//可以不传参数，成员函数可以直接访问成员变量
    //函数中使用的成员变量，在类中向上向下都会去搜索
	{
		a = nullptr;
		top = capacity = 0;
	}
	
	void Push(int x)
	{

	}

	//成员变量
	int* a;
	int top;
	int capacity;
};

void StackInit(struct Stack* ps)
{
	//...
}

void StackPush(struct Stack* ps,int x)
{
	//...
}


int main()
{
	struct Stack st1;
	StackInit(&st1);
	StackPush(&st1, 1);
	StackPush(&st1, 2);



	Stack st2;//类名就是类型
	st2.Init();
	st2.Push(1);
	st2.Push(2);
	st2.Push(3);


	return 0;
}

上述结构体的定义，在C++中更喜欢用class来代替。class：班级；类型

2.2类的定义

class className
{
// 类体：由成员函数和成员变量组成
};  // 一定要注意后面的分号

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

号不能省略。

类体中内容称为 类的成员： 类中的变量称为 类的属性或成员变量； 类中的函数称为 类的方法或者

成员函数。

2.2.1类的两种定义方式

1.声明和定义全部放在类体中，需注意：成员函数如果 在类中定义，编译器可能会将其当成 内

联函数处理，这样如果类定义在某个头文件中，头文件可能被多次包含，类中的成员函数就不会形成符号表。

2.类声明放在.h文件中，成员函数定义放在.cpp文件中，注意： 成员函数名前需要加类名::

//头文件
class Stack//C++中，{}定义的都是域,如for循环也是域
	//类定义的也可以叫类域，与命名空间域类似
{
public:
	//成员函数
	void Init();


	void Push(int x);


	int Top();

private:

	//成员变量
	int* a;
	int top;
	int capacity;
};

//源文件
void Stack::Init()//告诉编译器，Init是Stack的成员函数
{
	//这样找成员变量，除了在全局找，还会去类域中找
	//编译器默认只会在当前域和全局域找
	a = nullptr;
	top = capacity = 0;
}

void Stack::Push(int x)
{
	if (top == capacity)
	{
		int newcapacity = capacity == 0 ? 4 : capacity * 2;
		a = (int*)realloc(a, sizeof(int) * newcapacity);
	}
	a[top++] = x;
}


int Stack::Top()
{
	return a[top - 1];
}

2.2.2补充：类的作用域

类定义了一个新的作用域，类的所有成员都在类的作用域中。在类体外定义成员时，需要使用 ::

作用域操作符指明成员属于哪个类域。

2.2.3成员变量命名规则的建议

class Date//成员变量命名习惯、风格
{
public:
	void Init(int year, int month, int day)
	{
		//year = year;//域搜索问题，一个year在局部域，另一个在类域
		//搜索时肯定会优先在局部域，所以相当于自己赋值给了自己
		//...
		_year = year;
	}
	//所以以便区分，成员变量书写时形成了风格
private:
	int _year;//year_  _mYear
	int _month;
	int _day;
};

2.3类的访问限定符

2.3.1 访问限定符

先看一段代码

struct Stack
{
    //成员函数
	void Init()
	{
		a = nullptr;
		top = capacity = 0;
	}
	
	void Push(int x)
	{
		if (top == capacity)
		{
			int newcapacity = capacity == 0 ? 4 : capacity * 2;
			a = (int *)realloc(a, sizeof(int) * newcapacity);
		}
		a[top++] = x;
	}


	//成员变量
	int* a;
	int top;
	int capacity;
};

int main()
{
	Stack st;
	st.Init();
	st.Push(1);
	st.Push(2);
	st.Push(3);
	st.Push(4);

	return 0;
}

为什么会报错？

而把class换成struct就不会报错

struct Stack
{
    //成员函数
	void Init()
	{
		a = nullptr;
		top = capacity = 0;
	}
	
	void Push(int x)
	{
		if (top == capacity)
		{
			int newcapacity = capacity == 0 ? 4 : capacity * 2;
			a = (int *)realloc(a, sizeof(int) * newcapacity);
		}
		a[top++] = x;
	}


	//成员变量
	int* a;
	int top;
	int capacity;
};

int main()
{
	Stack st;
	st.Init();
	st.Push(1);
	st.Push(2);
	st.Push(3);
	st.Push(4);

	return 0;
}

原因就在于class与struct的一些区别。

struct Stack
{
    //成员函数
	void Init()
	{
		a = nullptr;
		top = capacity = 0;
	}
	
	void Push(int x)
	{
		if (top == capacity)
		{
			int newcapacity = capacity == 0 ? 4 : capacity * 2;
			a = (int *)realloc(a, sizeof(int) * newcapacity);
		}
		a[top++] = x;
	}


	//成员变量
	int* a;
	int top;
	int capacity;
};

int main()
{
	Stack st;
	st.Init();
	st.Push(1);
	st.Push(2);
	st.Push(3);
	st.Push(4);

	//访问栈顶元素时
	//1.构建一个类似Top的函数   
	//2.直接访问栈顶元素（不建议），比如：
	cout << st.a[st.top] << endl;
	//这可能是随机值，因为使用者不知道top指向的是最后一个元素还是最后一个元素的下一个
	//而且成员变量可以直接访问也是不合适的，这也是C语言的问题之一

	return 0;
}

C++实现封装的方式：用类将对象的 属性与方法结合在一块，让对象更加完善，通过访问权限选

择性的将其接口提供给外部的用户使用。

2.3.1.1说明

1. public修饰的成员在类外可以直接被访问

2. protected和private修饰的成员在类外不能直接被访问(此处protected和private是类似的)

3. 访问权限 作用域从该访问限定符出现的位置开始直到下一个访问限定符出现时为止

4. 如果后面没有访问限定符，作用域就到}即类结束。

5. class的默认访问权限为private，struct为public(因为struct要兼容C)

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

一般情况下，一个类的数据即成员变量都是私有的，因为不想让人在外随便改。
私有的访问不了，可以通过公有的成员函数来访问。

在C++中，想给人在外能访问的定义成公有，不想给的定义为私有。

class Stack
{
public:
    //成员函数
	void Init()
	{
		a = nullptr;
		top = capacity = 0;
	}
	
	void Push(int x)
	{
		if (top == capacity)
		{
			int newcapacity = capacity == 0 ? 4 : capacity * 2;
			a = (int *)realloc(a, sizeof(int) * newcapacity);
		}
		a[top++] = x;
	}

	int Top()
	{
		return a[top - 1];
	}
private://(限定的是从这个位置开始到下一个访问限定符或者结束)
	//在类里面不受访问限定符的限制，比如这里,在类中就可以访问私有的
	// 访问限定符限定的是类外面 

	//成员变量
	int* a;
	int top;
	int capacity;
};

int main()
{
	Stack st;
	st.Init();
	st.Push(1);
	st.Push(2);
	st.Push(3);
	st.Push(4);

	cout << st.Top() << endl;//一个更好的隔离

	return 0;
}

2.3.1.2C++中struct和class的区别

class与struct的默认权限不一样，struct的默认访问限定符是公有的，而class是私有的。

C++需要兼容C语言，所以C++中struct可以当成结构体使用。另外C++中struct还可以用来定义类。和class定义类是一样的，区别是struct定义的类默认访问权限是public，class定义的类默认访问权限是private。注意：在继承和模板参数列表位置，struct和class也有区别，后序给大家介绍。

2.4类的实例化

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

1. 类是对对象进行描述的，是一个 模型一样的东西，限定了类有哪些成员，定义出一个类 并设 有分配实际的内存空间来存储它；比如：入学时填写的学生信息表，表格就可以看成是一个类，来描述具体学生信息。

类就像谜语一样，对谜底来进行描述，谜底就是谜语的一个实例。

2. 一个类可以实例化出多个对象， 实例化出的对象 占用实际的物理空间，存储类成员变量

int main()
{
 Person._age = 100;   // 编译失败：error C2059: 语法错误:“.”
 return 0;
}

Person类是没有空间的，只有Person类实例化出的对象才有具体的年龄。

3.做个比方。 类实例化出对象就像现实中使用建筑设计图建造出房子，类就像是设计图，只设计出需要什么东西，但是并没有实体的建筑存在，同样类也只是一个设计，实例化出的对象才能实际存储数据，占用物理空间

//实例化
class Date
{
public:
	void Init(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}

	void Print()
	{
		cout << "/" << endl;
	}
//private:
	int _year;//是声明，声明是一种承诺，定义是之前的承诺实现了
	int _month;
	int _day;
};

int main()
{
	//类只是声明，没有开空间，所以 ::和.用不了
	//Date::_year;//因为_year是声明
	//Date._year;//_year为什么不能访问，因为它没有空间
    //变量定义的特点是什么，就是开空间
	//函数的定义就是它的实现，能够编译成地址
	
	Date d1;//这才是定义，开空间
	//对象定义也叫对象的实例化，它会开空间

	//d._year = 1;//公有的就可以
	//d.Init(2024, 8, 19);

	return 0;
}
//类在内存中不占空间，它存储在文件系统
//类可以类比为图纸，它可以用来建造很多房子，即不同的实例化对象

2.5类的对象模型

2.5.1如何计算类对象的大小

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

class Date
{
public:
	void Init(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}

	void Print()
	{
		cout << "/" << endl;
	}
private:
	int _year;//是声明，声明是一种承诺，定义是之前的承诺实现了
	int _month;
	int _day;
};

int main()
{
    Date d1;
    Date d2;

    cout << sizeof(Date) << endl;//和C语言一样遵循内存对齐规则
	//不同的是C语言结构体中只有变量，没有函数
	cout << sizeof(d1) << endl;
	//都是12,说明函数没有存储在对象中
	//一个函数指针，32位就有16byte

	d1._year;	
	d2._year;//二者不是同一个变量
	//所以要到对象里去找
	

	d1.Print();
	d2.Print();//但这二者是同一个函数，Print对于每个对象都是一样的，所以没有必要存储在对象中
	//所以要到公共的代码区域去找

	//成员函数、全局函数都存储在一个区域：公共代码区（从进程的角度叫做代码段）

    return 0;
}

2.5.2类对象的存储方式

假设存储方式是对象中包含类的各个成员，那么缺点就是每个对象中成员变量是不同的，但是调用同一份函数，如果按照此种方式存储，当一个类创建多个对象时，每个对象中都会保存一份代码，相同代码保存多次，浪费空间。那么如何解决这个问题呢？

假设一、代码只保存一份，在对象中保存存放代码的地址

假设二、只保存成员变量，成员函数存放在公共的代码段

实际上，计算机是使用上面这种方式来存储的。

下面来看段代码，

// 类中既有成员变量，又有成员函数
class A1 {
public:
	void f1() {}
private:
	int _a;
};

// 类中仅有成员函数
class A2 {
public:
	void f2() {}
};

// 类中什么都没有---空类
class A3
{};

int main()
{

	cout << sizeof(A1) << endl;//4
	

	cout << sizeof(A2) << endl;//1
	cout << sizeof(A3) << endl;//1
	//为什么两个都是1？
	//C++规定，针对这种没有成员变量的类，分配1byte进行占位
	//存储什么不重要
	//注意：不存储数据，只是占位，表示对象存在过

	//要表示出来对象存在,分配一个空间表示存在
	A2 aa2;
	A2 aaa2;//如果sizeof(A2)是0，无法区分这两个对象，不开空间无法表示它定义出来了

	cout << &aa2 << endl;
	cout << &aaa2 << endl;


	return 0;
}

综上可知， 一个类的大小，实际就是该类中 ”成员变量”之和，当然，要注意 内存对齐，注意 空类的大小，空类比较特殊，编译器给了空类 一个字节来唯一标识这个类的对象。

2.5.3结构体内存对齐规则

1. 第一个成员在与结构体偏移量为0的地址处。

2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。

注意：对齐数 = 编译器默认的一个对齐数与 该成员大小中的 较小值。VS中默认的对齐数为8

3. 结构体总大小为：最大对齐数（所有变量类型最大者与默认对齐参数取最小）的整数倍。

4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

2.5.3.1面试题

1. 结构体怎么对齐？ 为什么要进行内存对齐？

2. 如何让结构体按照指定的对齐参数进行对齐？能否按照3、4、5即任意字节对齐？

3. 什么是大小端？如何测试某台机器是大端还是小端，有没有遇到过要考虑大小端的场景

3.this指针

3.1简介

问题：Date类中有 Init 与 Print 两个成员函数，函数体中没有关于不同对象的区分，那当d1调用Init 函数时，该函数是如何知道应该设置d1对象，而不是设置d2对象呢？

C++中通过引入this指针解决该问题，即： C++编译器给每个“非静态的成员函数“增加了一个隐藏 的指针参数，让该指针指向当前对象(函数运行时调用该函数的对象)，在函数体中所有“成员变量”

的操作，都是通过该指针去访问。只不过所有的操作对用户是透明的，即用户不需要来传递，编 译器自动完成。

class Date
{
public:
	void Init(int year, int month, int day)//实则是4个参数
	{
		cout<<this<<endl;

		_year = year;//this->_year = year;
		_month = month;//this->_month = month;
		_day = day;//this->_day = day;

		Print();//可以在成员函数中调用成员函数
	  //this->Print();

//这里的this和Print函数的this是不一样的，它们是两个形参、局部变量，值可以一样也可以不一样
//名字一样，但是在两个函数，也就是两个局部域中，不同局部域可以定义同名变量
//如果是同一个对象调用，地址就是一样的

	}

	void Print()//看似是0个参数，实际是1个，还有一个是隐含的参数
		//隐含的参数叫隐含的this指针
	{
		cout << this << endl;
		// this在形参和实参的位置不能显示地写
        // 但是在类里面可以显示地使用,但一般不这么做
		//this是形参，函数调用的时候创建，调用完就销毁了

		cout <<_year<<"/"<<_month <<"/"<< _day<< endl;
	}
private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date d1;
	d1.Init(2024, 8, 19);//调用的地方也会被编译器处理掉

	Date d2;
	d2.Init(2024, 8, 20);

	return 0;
}

注意：this在形参和实参的位置不能显示地写，但是在类里面可以显示地使用,但一般不这么做

3.2特性

1.this指针的类型：类类型* const，即成员函数中，不能给this指针赋值，this本身不可更改，this指向的对象可以更改

2. 只能在“成员函数”的内部使用

3. this指针本质上是“成员函数”的形参，当对象调用成员函数时，将对象地址作为实参传递给this形参。所以 对象中不存储this指针。

4. this指针是“成员函数”第一个隐含的指针形参，一般情况由编译器通过ecx寄存器自动传 递，不需要用户传递

3.2.1问题1

//下面程序编译运行结果是？ A、编译报错 B、运行崩溃 C、正常运行
//答案是C

class A
{
public:
	void Print()
	{
		cout << "Print()" << endl;
	}
//private:
	int _a;
};
int main()
{
	A* p = nullptr;
	//就算是空指针问题，也不会报编译错误
	p->Print();//这里没有解引用,Print函数存储在公共代码区
	//成员函数的地址不存储在对象中，存储在公共的代码区域
	
	(*p).Print();
//与上面代码的汇编指令是相同的，看似解引用了实际没有，编译器很智能可以识别

	//p->_a;//将_a改为公开，这里才是空指针的解引用，没有报错是因为VS编译器进行了各种优化
	//p->_a = 1;
	return 0;
}

3.2.2问题2

//下面程序编译运行结果是？ A、编译报错 B、运行崩溃 C、正常运行
//答案是B
class A
{
public:
	void PrintA()
	{
		cout << _a << endl;//cout <<this-> _a << endl;
		//这里传的this指针是p，也就是空指针，所以会运行崩溃
	}
private:
	int _a;
};
int main()
{
	A* p = nullptr;
	p->PrintA();
	return 0;
}

3.2.3补充

this指针是一个形参，一般是存储在栈帧里面，栈帧属于栈这个区域，而VS中一般会用ecx寄存器直接传递

3.3C语言和C++实现Stack的对比

4.封装

面向对象的三大特性： 封装、继承、多态。

在类和对象阶段，主要是研究类的 封装特性，那 什么是封装呢？

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

在C++中，将 数据和操作数据的方法放到 同一个类中去，想给人访问的放到 公有，不想的放到 私有，同时可以 杜绝用户随意自由地访问数据。

封装本质上是一种管理，让用户更方便使用类。