前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
社区首页 >专栏 >【C++】第五节—类和对象(下)

【C++】第五节—类和对象(下)

作者头像
云边有个稻草人
发布2025-03-30 20:18:40
发布2025-03-30 20:18:40
3100
代码可运行
举报
运行总次数:0
代码可运行

hello!云边有个稻草人-CSDN博客

一、再探构造函数

【自己下去敲代码把这些情况都体会一下】

  • 之前我们实现构造函数的时候,初始化成员变量主要使用函数体内赋值,构造函数初始化还有一种方式——初始化列表,初始化列表的使用方式是以一个冒号开始,接着是一个逗号分隔的数据成员列表,每个“成员变量”后面跟一个括号的初始值或表达式
  • 每个成员变量在初始化列表中只能出现一次,语法理解上初始化列表可以认定是每个成员变量定义初始化的地方(重要的点)
  • 引用成员变量、const成员变量、没有默认构造的类类型成员变量,必须放在初始化列表位置进行初始化,否则会编译报错。

(为什么这三类成员变量必须要在初始化列表里面进行初始化呢?引用变量必须在定义的时候初始化;const 变量是必须初始化的,只有一次初始化的机会就是在定义的时候;所有的成员变量在构造函数开始的时候都会先走初始化列表,如果没有默认值,就会走默认构造。 const成员在初始化列表的时候就确定了,后边无法修改引用必须在定义的时候初始化,没有默认构造函数的成员变量必须在初始化列表指定参数,否则就会走默认构造,导致报错)

代码语言:javascript
代码运行次数:0
运行
复制
#include<iostream>
using namespace std;


typedef int STDataType;
class Stack
{
public:
	Stack(int n)
	{
		_a = (STDataType*)malloc(sizeof(STDataType) * n);
		if (nullptr == _a)
		{
			perror("malloc申请空间失败");
			return;
		}
		_capacity = n;
		_top = 0;
	}

private:
	STDataType* _a;
	size_t _capacity;
	size_t _top;
};

// 两个Stack实现队列
class MyQueue
{
public:
	//编译器默认生成MyQueue的构造函数调用了Stack的默认构造,完成了两个成员的初始化
	// 如果栈没有默认构造就必须使用初始化列表进行初始化
	MyQueue(int& r, int n = 10)
		:_pushst(n)//成员变量定义的地方
		,_popst(n+1)//可以利用表达式进行初始化
		,_y(1)
		,_z(r)
	{
		_x = 1;(对于不是那三类的成员变量在哪初始化都可以)
	}

private:
	Stack _pushst;
	Stack _popst;
	const int _y;
	int& _z;

	int _x;
};

int main()
{
	int i = 0;
	// 对象整体定义的地方
	MyQueue q1(i);//r是i的别名,z是r的别名,i的变化会直接影响z的变化
	MyQueue q2(i, 100);

	//const int j = 1;

	return 0;
}
代码语言:javascript
代码运行次数:0
运行
复制
class Time
{
public:
	Time(int hour)
		:_hour(hour)
	{
		cout << "Time()" << endl;
	}
private:
	int _hour;
};

class Date
{
public:
	Date(int& x, int year = 1, int month = 1, int day = 1)
		:_year(year)
		, _month(month)
		, _day(day)
		, _t(12)
		, _ref(x)
		, _n(1)
	{
		// error C2512: “Time”: 没有合适的默认构造函数可用
		// error C2530 : “Date::_ref” : 必须初始化引用
		// error C2789 : “Date::_n” : 必须初始化常量限定类型的对象
	}
	void Print() const
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}

private:
	int _year;
	int _month;
	int _day;

	Time _t; // 没有默认构造
	int& _ref; // 引用
	const int _n; // const
};

int main()
{
	int i = 0;
	Date d1(i);
	d1.Print();
	return 0;
}
  • C++11支持在成员变量声明的位置给缺省值,这个缺省值主要是给没有显示在初始化列表初始化的成员使用的。
代码语言:javascript
代码运行次数:0
运行
复制
class Date
{
public:
	Date(int year = 2, int month = 2, int day = 2)
		:_year(year)
		, _month(month)
	{

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

private:
	//声明的位置给缺省->初始化列表
	int _year = 1;
	int _month = 1;
	int _day = 1;
};

int main()
{
	Date d1;
	d1.Print();
	return 0;
}
  • 尽量使⽤初始化列表初始化(构造函数初始化成员变量,尽量使用初始化列表进行初始化,在初始化列表里面初始化之后就不需要在函数体内进行初始化了, 那哪些需要在函数体内进行操作呢?见下面的代码 ,因为那些你不在初始化列表初始化的成员也会⾛初始化列表,如果这个成员在声明位置给了缺省值,初始化列表会⽤这个缺省值初始化。如果你没有给缺省值,对于没有显⽰在初始化列表初始化的内置类型成员是否初始化取决于编译器,C++并没有规定。对于没有显⽰在初始化列表初始化的⾃定义类型成员会调⽤这个成员类型的默认构造函数,如果没有默认构造会编译错误。
代码语言:javascript
代码运行次数:0
运行
复制
class Date
{
public:
	Date(int year = 2, int month = 2, int day = 2)
		:_year(year)
		, _month(month)
		,_day(day)
	{
        //像这里就是需要在函数体内进行操作无法在初始化列表里面进行操作
		if (!CheckDate())
		{
			cout << "日期非法" << endl;
			cout << *this;
		}
	}
	void Print() const
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}

private:
	//声明的位置给缺省->初始化列表
	int _year = 1;
	int _month = 1;
	int _day = 1;
};

【我们借助这个思维导图来理解上面混乱的知识点】

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

【看这道例题来理解这个知识点】

代码语言:javascript
代码运行次数:0
运行
复制
class A
{
public:
	A(int a)
		:_a1(a)
		, _a2(_a1)
	{

	}
	void Print() 
	{
		cout << _a1 << " " << _a2 << endl;
	}
private:
	int _a2 = 2;
	int _a1 = 2;
};

int main()
{
	A aa(1);
	aa.Print();
}

解释:初始化列表中按照成员变量在类中声明顺序进⾏初始化,跟成员在初始化列表出现的的先后顺序⽆关。在题目里面我们会先初始化_a2,_a2是使用_a1的值进行初始化,但是_a1还没有进行初始化是一个随机值,所以_a2被一个随机值进行初始化的;_a1是被a(1)进行初始化的,所以结果是D。


二、类型转换

  • C++⽀持内置类型隐式类型转换为类类型对象,需要有相关内置类型为参数的构造函数
  • 构造函数前⾯加explicit就不再⽀持隐式类型转换。
  • 类类型的对象之间也可以隐式转换,需要相应的构造函数⽀持。(我们后面再详细讲)

2.1 内置类型 -> 自定义类型

代码语言:javascript
代码运行次数:0
运行
复制
class A
{
public:
	// 构造函数explicit就不再支持隐式类型转换
	// explicit A(int a1)
	A(int a1)
		:_a1(a1)
	{
		cout << "A(int a1)" << endl;
	}

	//explicit A(int a1, int a2)
	A(int a1, int a2)
		:_a1(a1)
		, _a2(a2)
	{

	}

	A(const A& aa)
		:_a1(aa._a1)
		, _a2(aa._a2)
	{
		cout << "A(const A& aa)" << endl;
	}

	void Print()const
	{
		cout << _a1 << " " << _a2 << endl;
	}
private:
	int _a2 = -1;
	int _a1 = -1;
};

	int main()
	{
		//1构造一个A的临时对象,再用这个临时对象拷贝构造aa1
		//编译器遇到连续构造+拷贝构造->优化为直接构造
		A aa = 1;
		aa.Print();

		//还有一个需要注意的点,对于引用类型就不能直接像刚才那样写,会报错
		//A& aa1 = 1;因为用1构造一个A的临时对象,这个对象具有常性就像被const修饰一样,
		const A& aa1 = 1;//所以我们的aa1也要有const修饰,否则就涉及到权限的放大的问题

		//int 转换为 double
		int i = 2;
		double d = i;//将i的值拷贝给一个临时对象,再将临时对象的值拷贝给d
		const double& rd = i;//跟刚才一样的道理,构建的临时对象具有常性,rd在引用这个临时对象的时候就必须加上const

		//对于多参数
		A aa3 = { 1,1 };
		const A& aa4 = { 1,1 };//这里要求用大括号来进行多参数的隐式类型转换
		aa4.Print();//这里调用的是上面两个形参的构造函数

        //搞成这样有啥用呢?
         Stack st;
	    /*A aa5(5);
	    st.Push(aa5);*/
	    /*A aa6(6,6);
	    st.Push(aa6);*//不需要先创建一个A类型的变量再将变量push进去,而是直接传一个int类型的值来构造一个临时对象,再将临时对象拷贝给形参

	    st.Push(5);
	    st.Push({6,6});


		return 0;
	}

2.2 自定义类型 -> 自定义类型

我们先大致理解一下,后面我们讲

代码语言:javascript
代码运行次数:0
运行
复制
#include<iostream>
using namespace std;

class A
{
public:
	// 构造函数explicit就不再⽀持隐式类型转换
	// explicit A(int a1)
	A(int a1)
		:_a1(a1)
	{
	}
	//explicit A(int a1, int a2)
	A(int a1, int a2)
		:_a1(a1)
		, _a2(a2)
	{
	}
	void Print()
	{
		cout << _a1 << " " << _a2 << endl;
	}

	int Get() const
	{
		return _a1 + _a2;
	}
private:
	int _a1 = 1;
	int _a2 = 2;
};

class B
{
public:
	B(const A& a)
		:_b(a.Get())
	{
	}
private:
	int _b = 0;
};
int main()
{
	// 1构造⼀个A的临时对象,再⽤这个临时对象拷⻉构造aa3
	// 编译器遇到连续构造+拷⻉构造->优化为直接构造
	A aa1 = 1;
	aa1.Print();
	const A& aa2 = 1;

	// C++11之后才⽀持多参数转化
	A aa3 = { 2,2 };

	// aa3隐式类型转换为b对象
	// 原理跟上⾯类似
	B b = aa3;
	const B& rb = aa3;

	return 0;
}

三、static成员

  • ⽤static修饰的成员变量,称之为静态成员变量,静态成员变量⼀定要在类外进⾏初始化(注意如何进行初始化)。
  • 静态成员变量为所有类对象所共享,不属于某个具体的对象,不存在对象中,存放在静态区
  • ⽤static修饰的成员函数,称之为静态成员函数,静态成员函数没有this指针。
  • 静态成员函数中可以访问其他的静态成员,但是不能访问⾮静态的,因为没有this指针。
  • ⾮静态的成员函数,可以访问任意的静态成员变量和静态成员函数。
  • 突破类域就可以访问静态成员,可以通过类名::静态成员 或者 对象.静态成员 来访问静态成员变量和静态成员函数。
  • 静态成员也是类的成员,受public、protected、private 访问限定符的限制。
  • 静态成员变量不能在声明位置给缺省值初始化,因为缺省值是个构造函数初始化列表的,静态成员变量不属于某个对象,不⾛构造函数初始化列表。
代码语言:javascript
代码运行次数:0
运行
复制
 //A类创建了多少个对象
class A
{
public:
	A()
	{
		++_scount;
	}

	A(const A& t)
	{
		++_scount;
	}

	~A()
	{
		--_scount;
	}

	static int GetACount()
	{
		//++_i;
		return _scount;
	}

private:
	// 类里面声明
	static int _scount;
	int _i = 0;
};

// 类外面初始化
int A::_scount = 0;

void Func(A aa)
{}

void Fxx()
{
	cout << A::GetACount() << endl;
}

int main()
{
	A aa1;
	A aa2 = aa1;
	Func(aa1);
	//cout << A::_scount << endl;
	//cout << aa1._scount << endl;
	cout << aa1.GetACount() << endl;

	return 0;
}

题目一

求1+2+3+...+n_牛客题霸_牛客网

这道题的思路就是:创建一个n个Sum类类型的变量,会调用n次构造函数,调用的时候会实现累加的效果,利用了静态成员变量和静态成员函数。

代码语言:javascript
代码运行次数:0
运行
复制
class Sum
{
public:
    Sum()
    {
        ret += i;
        i++;
    }
    static int GetRet()
    {
        return ret;
    }
private:
    static int ret;
    static int i;
};

int Sum:: ret = 0;
int Sum:: i = 1;

class Solution {
public:
    int Sum_Solution(int n) {
        //变长数组
        Sum arr[n];
        //想要在VS调试的话需要改成这样:Sum* arr = new Sum[n];涉及到动态内存管理后面会讲(记得释放)
        return Sum::GetRet();
    }
};

题目二

设已经有A,B,C,D 4个类的定义,程序中A,B,C,D构造函数调⽤顺序为?()

设已经有A,B,C,D 4个类的定义,程序中A,B,C,D析构函数调⽤顺序为?()

代码语言:javascript
代码运行次数:0
运行
复制
A:D B A C
B:B A D C
C:C D B A
D:A B D C
E:C A B D
F:C D A B

C c;
int main()
{
	A a;
	B b;
	static D d;
	return 0;
}

【解释】

构造的话会先走c,c是全局的,全局的在main函数之前就会初始化;对于d要记住,局部的静态的是走到那里的时候才会初始化。析构,后定义的先析构,先b后a,b和a是局部的main函数里面的,在main函数结束的时候就会析构了;对于c和d,是在main函数结束之后才会进行析构的,全局的c和局部的静态的d,会先析构局部的再析构全局的。


四、友元

  • 友元提供了⼀种突破类访问限定符封装的⽅式,友元分为:友元函数和友元类,在函数声明或者类声明的前⾯加friend,并且把友元声明放到⼀个类的⾥⾯。
  • 外部友元函数可访问类的私有和保护成员,友元函数仅仅是⼀种声明,他不是类的成员函数。
  • 友元函数可以在类定义的任何地⽅声明,不受类访问限定符限制。
  • ⼀个函数可以是多个类的友元函数。
  • 友元类中的成员函数都可以是另⼀个类的友元函数,都可以访问另⼀个类中的私有和保护成员。
  • 友元类的关系是单向的,不具有交换性,⽐如A类是B类的友元,但是B类不是A类的友元。
  • 友元类关系不能传递,如果A是B的友元, B是C的友元,但是A不是C的友元。
  • 有时提供了便利。但是友元会增加耦合度,破坏了封装,所以友元不宜多⽤。
代码语言:javascript
代码运行次数:0
运行
复制
//友元函数

#include<iostream>
using namespace std;
// 前置声明,否则A的友元函数声明编译器不认识B
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 = 3;
	int _b2 = 4;
};
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;
}
代码语言:javascript
代码运行次数:0
运行
复制
//友元类

#include<iostream>
using namespace std;
class A
{
	// 友元声明
	friend class B;
private:
	int _a1 = 1;
	int _a2 = 2;
};

class B
{
public:
	void func1(const A& aa)
	{
		cout << aa._a1 << endl;//B是A的友元类,所以可以访问到A里面的私有成员变量
		cout << _b1 << endl;
	}
	void func2(const A& aa)
	{
		cout << aa._a2 << endl;
		cout << _b2 << endl;
	}
private:
	int _b1 = 3;
	int _b2 = 4;
};
int main()
{
	A aa;
	B bb;
	bb.func1(aa);
	bb.func1(aa);

	return 0;
}

五、内部类

  • 如果⼀个类定义在另⼀个类的内部,这个内部类就叫做内部类。内部类是⼀个独⽴的类,跟定义在全局相⽐,他只是受外部类类域限制和访问限定符限制,所以外部类定义的对象中不包含内部类。
  • 内部类默认是外部类的友元类。
  • 内部类本质也是⼀种封装,当A类跟B类紧密关联,A类实现出来主要就是给B类使⽤,那么可以考虑把A类设计为B的内部类,如果放到private/protected位置,那么A类就是B类的专属内部类,其他地⽅都⽤不了。
代码语言:javascript
代码运行次数:0
运行
复制
#include<iostream>
using namespace std;
class A
{
private:
	static int _k;
	int _h = 1;
public:
	class B // B默认就是A的友元,所以B可以访问到A中私有的成员变量
	{
	public:
		void foo(const A& a)
		{
			cout << _k << endl; //OK
			cout << a._h << endl; //OK
		}
	};
};
int A::_k = 1;

int main()
{
	cout << sizeof(A) << endl;//自己运行一下看A类的大小是多少,是4字节,_k是定义在静态区的,B类不再A类中
	A::B b;//B受到A的限制需要使用域作用限定符来进行访问
	A aa;
	b.foo(aa);
	return 0;
}

求1+2+3+...+n_牛客题霸_牛客网

代码语言:javascript
代码运行次数:0
运行
复制
//变成一个内部类之后就不需要再去写一个GetRet的函数去取Sum里面ret的值了,
//可以直接进行访问(默认可以访问外部类的私有)
//直接将_i和_ret定义在外部类中,这样两个类都可以访问
class Solution {
	// 内部类
	class Sum
	{
	public:
		Sum()
		{
			_ret += _i;
			++_i;
		}
	};
	static int _i;
	static int _ret;
public:
	int Sum_Solution(int n) {
		// 变⻓数组
		Sum arr[n];
		return _ret;
	}
};

int Solution::_i = 1;
int Solution::_ret = 0;

//内部类Sum默认是外部类Solution的友元类,所以说应该是Sum类能访问到Solution的私有变量

【对比仔细想想】


六、匿名对象

  • ⽤ 类型(实参) 定义出来的对象叫做匿名对象,相⽐之前我们定义的 类型 对象名(实参) 定义出来的叫有名对象
  • 匿名对象⽣命周期只在当前⼀⾏,⼀般临时定义⼀个对象当前⽤⼀下即可,就可以定义匿名对象。
代码语言:javascript
代码运行次数:0
运行
复制
#include<iostream>
using namespace std;

class A
{
public:
	A(int a = 0)
		:_a(a)
	{
		cout << "A(int a)" << endl;
	}
	~A()
	{
		cout << "~A()" << endl;
	}
private:
	int _a;
};
class Solution {
public:
	int Sum_Solution(int n) {
		//...
		return n;
	}
};

//类类型的变量给缺省值,这时我们就可以用匿名对象,
//匿名对象也是一个对象也是开了空间的只不过是没有名字而已
void func(A aa = A(10))
{

}

int main()
{
	A aa1;
	// 不能这么定义对象,因为编译器⽆法识别下⾯是⼀个函数声明,还是对象定义
	//A aa1();
	// 但是我们可以这么定义匿名对象,匿名对象的特点不⽤取名字,
	// 但是他的⽣命周期只有这⼀⾏,我们可以看到下⼀⾏他就会⾃动调⽤析构函数
	A();
	A(1);
	A aa2(2);

	//一般情况下我们想调用Solution里面的函数必须先创建一个对象
	//匿名对象在这样场景下就很好⽤,当然还有⼀些其他使⽤场景,这个我们以后遇到了再说
	Solution s1;
	cout << s1.Sum_Solution(10) << endl;
	cout << Solution().Sum_Solution(10) << endl;

	func();

	const A& r = A();//匿名对象也像临时对象一样具有常性如被const修饰,所以我们前面要加上const修饰
	//同时const引用延长了匿名对象的生命周期,匿名对象的生命周期跟随引用r的生命周期走

	return 0;
}

七、对象拷⻉时的编译器优化

  • 现代编译器会为了尽可能提⾼程序的效率,在不影响正确性的情况下会尽可能减少⼀些传参和传返回值的过程中可以省略的拷⻉。
  • 如何优化C++标准并没有严格规定,各个编译器会根据情况⾃⾏处理。当前主流的相对新⼀点的编译器对于连续⼀个表达式步骤中的连续拷⻉会进⾏合并优化,有些更新更"激进"的编译器还会进⾏跨⾏跨表达式的合并优化。
代码语言:javascript
代码运行次数:0
运行
复制
#include<iostream>
using namespace std;
class A
{
public:
	A(int a = 0)
		:_a1(a)
	{
		cout << "A(int a)" << endl;
	}
	A(const A& aa)
		:_a1(aa._a1)
	{
		cout << "A(const A& aa)" << endl;
	}
	A& operator=(const A& aa)
	{
		cout << "A& operator=(const A& aa)" << endl;
		if (this != &aa)
		{
			_a1 = aa._a1;
		}
		return *this;
	}
	~A()
	{
		cout << "~A()" << endl;
	}
private:
	int _a1 = 1;
};
void f1(A aa)
{
}
A f2()
{
	A aa;
	return aa;
}
int main()
{
	A aa = 1;
	cout << endl;

	// 传值传参
	A aa1;
	f1(aa1);
	cout << endl;

	// 隐式类型,连续构造+拷⻉构造->优化为直接构造
	f1(1);
	cout << endl;

	// ⼀个表达式中,连续构造+拷⻉构造->优化为⼀个构造
	f1(A(2));
	cout << endl;
	cout << "***********************************************" << endl;

	// 传值返回
	// 返回时⼀个表达式中,连续拷⻉构造+拷⻉构造->优化⼀个拷⻉构造 (vs2019 debug)
	// ⼀些编译器会优化得更厉害,进⾏跨⾏合并优化,直接变为构造。(vs2022 debug)
	f2();
	cout << endl;
	 
	 // 返回时⼀个表达式中,连续拷⻉构造+拷⻉构造->优化⼀个拷⻉构造 (vs2019 debug)
	 // ⼀些编译器会优化得更厉害,进⾏跨⾏合并优化,直接变为构造。(vs2022 debug)
	A aa2 = f2();
	cout << endl;
	 
	 ⼀个表达式中,连续拷⻉构造+赋值重载->⽆法优化
	//aa1 = f2();
	//cout << endl;

	return 0;
}

【重点】

回去要自己代码实现不同的情况深深体会一下含义——(常看常回顾常敲)

类和对象终于结束了!接下来我们学习内存管理。。。

本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2025-03-29,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 一、再探构造函数
  • 二、类型转换
    • 2.1 内置类型 -> 自定义类型
    • 2.2 自定义类型 -> 自定义类型
  • 三、static成员
    • 题目一
    • 题目二
  • 四、友元
  • 五、内部类
  • 六、匿名对象
  • 七、对象拷⻉时的编译器优化
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档