初识C++|类与对象（下）

mooridy

已于 2024-07-18 21:53:28 修改

阅读量955

点赞数 23

分类专栏： C++ 文章标签： c++ 开发语言

于 2024-07-18 21:53:10 首次发布

本文链接：https://blog.csdn.net/mooridy/article/details/140431155

版权

C++ 专栏收录该内容

12 篇文章 0 订阅

订阅专栏

🍬 mooridy-CSDN博客

🧁C++专栏（更新中！）

🍹初始C++|类与对象（上）-CSDN博客

初识C++|类和对象（中）——类的默认成员函数-CSDN博客

1. 再探构造函数——初始化列表

• 之前我们实现构造函数时，初始化成员变量主要使⽤函数体内赋值，构造函数初始化还有⼀种⽅

式，就是初始化列表

初始化列表的使⽤⽅式：

以⼀个冒号开始，接着是⼀个以逗号分隔的数据成员列表，每个"成员变量"后⾯跟⼀个放在括号中的初始值或表达式。


 Date(int& x, int year = 1, int month = 1, int day = 1)
 :_year(year)
 ,_month(month)
 ,_day(day)
{}

注意：

• 每个成员变量在初始化列表中只能出现⼀次，语法理解上初始化列表可以认为是每个成员变量 定义初始化 的地⽅。

• 引⽤成员变量，const成员变量，没有默认构造的类类型变量，必须放在初始化列表位置进⾏初始 化，否则会编译报错。

• C++11⽀持在成员变量声明的位置给缺省值，这个缺省值主要是给没有显⽰在初始化列表初始化的成员使⽤的。

• 尽量使⽤初始化列表初始化，因为那些你不在初始化列表初始化的成员也会⾛初始化列表，如果这个成员在声明位置给了缺省值，初始化列表会⽤这个缺省值初始化。如果你没有给缺省值，对于没有显⽰在初始化列表初始化的内置类型成员是否初始化取决于编译器，C++并没有规定。对于没有显⽰在初始化列表初始化的⾃定义类型成员会调⽤这个成员类型的默认构造函数，如果没有默认构造会编译错误。

• 初始化列表中按照成员变量在类中声明顺序进⾏初始化，跟成员在初始化列表出现的的先后顺序⽆关。建议声明顺序和初始化列表顺序保持⼀致。

2. 类型转换

• C++⽀持内置类型隐式类型转换为类类型对象，需要有相关内置类型为参数的构造函数、

// 隐式类型转换
	// 2构造一个A的临时对象，再用这个临时对象拷贝构造aa2
	// 编译器遇到连续构造+拷贝构造->优化为直接构造
	A aa2 = 2;

A aa2=2;
A& raa1 = aa2;

//加const才可以：发生隐式类型转换，产生临时对象，临时对象具有常性
const A& raa2 = 2;

应用场景

Stack st;
//写法1
	A aa3(3);
	st.Push(aa3);
//写法2
	st.Push(3);

ps:此处也体现了为什么引用不改变时，尽量加const(发生隐式类型转换，产生临时对象具有常性）

• C++11之后⽀持多参数转化

// C++11之后才⽀持多参数转化
	A aa5 = { 1, 1 };
	const A& raa6 = { 2,2 };
	st.Push(aa5);
	st.Push({2,2});

• 构造函数前⾯加explicit就不⽀持隐式类型转换

explicit A(int a = 0)
	{
		_a1 = a;
	}

3. static成员

• ⽤static修饰的成员变量，称之为静态成员变量，静态成员变量⼀定要在类外进⾏初始化。

• 静态成员变量为类的所有对象所共享，不属于某个具体的对象，不存在对象中，存放在静态区。

• ⽤static修饰的成员函数，称之为静态成员函数，静态成员函数没有this指针。

• 静态成员函数中可以访问其他的静态成员，但是不能访问⾮静态的，因为没有this指针。

• ⾮静态的成员函数，可以访问任意的静态成员变量和静态成员函数。

• 突破类域就可以访问静态成员，可以通过类名::静态成员 或者 对象.静态成员 来访问静态成员变量和静态成员函数。

• 静态成员也是类的成员，受public、protected、private 访问限定符的限制。

• 静态成员变量不能在声明位置给缺省值初始化，因为缺省值是个构造函数初始化列表的，静态成员变量不属于某个对象，不⾛构造函数初始化列表。

#include <iostream>
using namespace std;
//实现一个类能够计算程序中创建了多少个对象
class A {
public:
	A(){
		++_scount;
	}
	A(const A& t) {
		++_scount;
	}
	~A() {
		--_scount;
	}
	static int GetScount() {
		return _scount;
	}
private:
	//静态成员变量一定要在类外进行初始化
	static int _scount;
};
//类外进行初始化
int A::_scount = 0;

int main() {
	cout << A::GetScount() << endl;
	A a1, a2;
	A a3(a2);
	cout << A::GetScount() << endl;
	cout << a1.GetScount() << endl;
}

4. 友元

• 友元提供了⼀种突破类访问限定符封装的⽅式，友元分为：友元函数和友元类，在函数声明或者类声明的前⾯加friend，并且把友元声明放到⼀个类的⾥⾯。

• 外部友元函数可访问类的私有和保护成员，友元函数仅仅是⼀种声明，他不是类的成员函数。

• 友元函数可以在类定义的任何地⽅声明，不受类访问限定符限制。

• ⼀个函数可以是多个类的友元函数。

• 友元类中的成员函数都可以是另⼀个类的友元函数，都可以访问另⼀个类中的私有和保护成员。

• 友元类的关系是单向的，不具有交换性，⽐如A类是B类的友元，但是B类不是A类的友元。

• 友元类关系不能传递，如果A是B的友元， B是C的友元，但是A不是B的友元。

• 有时提供了便利。但是友元会增加耦合度，破坏了封装，所以友元不宜多⽤。

#include <iostream>
using namespace std;

class B;//前置声明

class A
{
	//友元声明
	friend void func(const A& aa, const B& bb);
private:
	int _a1 = 1;
	int _a2 = 2;
};

class B
{   //友元声明
	friend void func(const A& aa, const B& bb);
private:
	int _b1 = 1;
	int _b2 = 2;
};

void func(const A& aa, const B& bb) {
	cout << aa._a1 << endl;
	cout << bb._b1 << endl;
}

int main() {
	A aa;
	B bb;
	func(aa,bb);
	return 0;
}

5. 内部类

• 如果⼀个类定义在另⼀个类的内部，这个内部类就叫做内部类。内部类是⼀个独⽴的类，跟定义在全局相⽐，他只是受外部类类域限制和访问限定符限制，所以外部类定义的对象中不包含内部类。

• 内部类默认是外部类的友元类。

• 内部类本质也是⼀种封装，当A类跟B类紧密关联，A类实现出来主要就是给B类使⽤，那么可以考虑把A类设计为B的内部类，如果放到private/protected位置，那么A类就是B类的专属内部类，其他地⽅都⽤不了。

#include <iostream>
using namespace std;



class A
{
public:
	class B {
	public:
		void func(const A& aa, const B& bb) {
			cout << aa._a1 << endl;
			cout << bb._b1 << endl;
		}
	private:
		int _b1 = 1;
		int _b2 = 2;
	};

private:
	int _a1 = 1;
	int _a2 = 2;
};

int main() {
	A aa;
	A::B bb;
	bb.func(aa, bb);
	return 0;
}

6. 匿名对象

• ⽤类型(实参) 定义出来的对象叫做匿名对象，相⽐之前我们定义的类型对象名(实参) 定义出来的叫有名对象

class A{
//...
};
// 匿名对象的特点不⽤取名字，
 //但是他的⽣命周期只有这⼀⾏，下⼀⾏他就会⾃动调⽤析构函数
 A();
 A(1);

• 匿名对象⽣命周期只在当前⼀⾏，⼀般临时定义⼀个对象当前⽤⼀下即可，就可以定义匿名对象。

7. 对象拷贝时的编译器优化

• 现代编译器会为了尽可能提⾼程序的效率，在不影响正确性的情况下会尽可能减少⼀些传参和传返回值过程中可以省略的拷⻉。

• 如何优化C++标准并没有严格规定，各个编译器会根据情况⾃⾏处理。当前主流的相对新⼀点的编译器对于连续⼀个表达式步骤中的连续拷⻉会进⾏合并优化，有些更新更"激进"的编译还会进⾏跨⾏跨表达式的合并优化。

//隐式类型，构造+拷⻉构造->优化为直接构造
A aa1=1;

//没有优化，临时对象构造，引用的是构造的临时对象
const A& aa2=1;

//传值传参——产生拷贝
void f1(A aa)
{}

 // 传匿名对象——匿名构造+拷⻉构造->优化为⼀个构造
 f1(A(2));

// 隐式类型，用1构造临时对象+拷⻉构造->优化为直接构造
 f1(1);


 // 传值返回
A f2()
{
	A aa(1);//临时对象构造+拷贝构造  优化为直接构造

	return aa;//拷贝构造
}
 // 返回时⼀个表达式中，连续拷⻉构造+拷⻉构造->优化⼀个拷⻉构造 （vs2019）
 // ⼀些编译器会优化得更厉害，进⾏跨⾏合并优化，直接变为构造。（vs2022）

 f2().Print();//vs2022优化方案：不生成aa,直接生成临时对象（返回值）

 A aa2 = f2();//优化为直接构造aa2

 // ⼀个表达式中，连续拷⻉构造+赋值重载->⽆法优化
 aa1 = f2();