c++使用类的一些注意事项

前言:

本篇内容为前面的补充,介绍了我们使用类时需要注意些什么以及一些编译器的优化,可能有些理解不到位或者错误,请斧正。

目录

前言:

1.再谈构造函数

2.(c++98)隐式类型转换中的编译器的优化

3.explicit关键字

4.static成员

5.匿名对象

6.友元函数

7.内部类

8.编译器的一些场上的优化

总结:

若有歧义,请指出,感谢阅读!


1.再谈构造函数

我们在构造函数体中,给成员变量赋值能叫做成员变量的初始化吗?并不可以,这种行为只是给成员变量赋初值,在函数体中,我们可以多次赋值,而初始化只能初始化一次。

那该如何初始化呢?

使用初始化列表。以一个冒号开始,接着是一个以逗号分割的数据成员列表,每个成员变量的后面跟一个放在括号中的初始值表达式。

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

private:
	int _year;
	int _month;
	int _day;
};

 那像const这样的必须在定义位置的初始化的,放在成员变量里面该怎么初始化呢?

可以给缺省值,但不是初始化:

class A
{
public:
	A()
		:_x(1)
	{
		_a1++;
	}

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

	const int _x;//可以给缺省值,但不是初始化

};

另外,缺省值也会在初始化列表进行初始化:

如上图我们可以看到, _a1的结果是2,虽然没有在初始化列表中显示的初始化,但是还是会走初始化列表初始化;其次_a2的结果是0,虽然_a2的缺省值是2,但是在初始化列表中显示的初始化为了1,所以再--就是0。而对于即不给缺省值也不给初始化的普通成员变量,经过测试,那就是随机值。

对于成员变量是引用的与成员变量是自定义类型的:

class B
{
public:
	B(int b)
		:_b(0)
	{
		cout << "B()" << endl;
	}

private:
	int _b;
};

class A
{
public:
	A()
		:_x(1)
		,_ref(_a1)
		,_bb(0)
	{
		_a1++;
	}

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

	int& _ref;
	B _bb;

	const int _x;//可以给缺省值,但不是初始化

};

成员变量是引用的,跟const一样,本身引用就是要在定义的位置初始化,所以我们可以给缺省值,或者要在初始化列表初始化。

对于自定义类型的成员变量,_bb会去调用它的构造函数初始化吗?经过我的测试,_bb这个自定义类型的成员变量,如果不在A中的初始化列表初始化,就要去调用它的构造函数,但是一定要确保B中的构造函数一定是默认的,也就是说必须是全缺省的或者是不写编译器自动生成的。而上面的代码中B中的构造函数不是默认的构造函数,所以我们如果在A的类中不对_bb进行初始化列表的初始化,就会报错。

再看一个例子:

 注释部分的构造函数可以,对两个自定义类型的成员进行了初始化列表的初始化,而内置类型由于没有显示的写就使用了缺省值,所以可以;如果Stack这个自定义类型中的构造函数是默认的,什么也没写的构造函数也是可以的,对于自定义类型初始化去调用它的默认构造函数,内置类型的初始化由于没有显示的写就使用它的缺省值。

其次还需要注意一个点:

class A1
{
public:
	A1(int a)
		:_a1(a)
		,_a2(_a1)
	{}

	void Print()
	{
		cout << _a1 << " " << _a2 << endl;
	}

private:
	int _a2;//声明的次序就是在初始化列表中的初始化的顺序
	int _a1;
};

int main()

{
	//A aa;
	A1 aa(1);
	aa.Print();
	return 0;
}

上面的结果应该是什么?结果是输出1和随机值。

这是因为成员变量在类中的声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关。

总结:

首先不管在初始化列表中显示的写没写初始化,都会在初始化的列表中走一遍。

其次记住一个原则:给初始化就在初始化列表中给初始化。

2.(c++98)隐式类型转换中的编译器的优化

class A
{
public:
	A(int a)
		: _a1(a)
	{
		cout << "A(int a)" << endl;
	}

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

private:
	int _a1;
};


int main()

{
	A aa1(1);//构造函数
	A aa2 = 1;//隐式类型转换


	return 0;
}

根据我们之前的隐式类型转换的知识,我们可以知道这里对aa2这个对象赋值就是在进行隐式类型转换:首先1先构造一个临时对象,这个临时对象再拷贝给aa2,所以会去调用拷贝构造(注意拷贝构造也是构造,所以也有初始化列表)。

但是我们看到结果不是这样的:

为什么呢?这就是编译器所做的优化,因为编译器觉得自定义类型的这种初始化写起来还要调用拷贝构造,所以直接就优化了,直接就优化为了一步构造,1直接构造aa2。(注意这里的优化只限定于c++98的单参数的构造)

而对于这一种,编译器还能这样优化吗?答案是不能的,因为我们知道,10先构造出一个A类型的临时变量,而这个临时变量又具有常性且ref是这个临时变量的别名,所以需要加上const,而就是由于这个临时变量具有常性,编译器在这里就不会优化掉这个临时变量,所以10就没法直接构造ref了,而是先构造这个临时变量(这里使用的vs2022的编译器发现也没有调用拷贝构造,可能是编译器做的更极端了,也优化了,但是我们知道其后的原来即可)。

3.explicit关键字

explicit的引入就是为了防止隐式类型转换,这里加上了explicit, A aa2=1和const A& ref=10的隐式类型转换就没有了,就编不过了。

但是上面的隐式类型转换都是对于单参数的构造,对于多参数的构造,c++11可以使用多参数的构造来进行隐式类型转换:

其实也都是先调用构造,然后再进行隐式类型转换,再经过编译器的优化, 会节省一次隐式类型转换产生的拷贝。

同样的,如果不想使用隐式类型转换,就在构造函数上加上explicit,防止构造函数的隐式类型转换,这时A aa(1,1)这样需要隐式类型转换的就编不过了。

如果想使用隐式类型转换,让编译器进行优化,节省一次拷贝,就可以不加explicit。 

4.static成员

我们将声明为static的类成员称为类的静态成员,用static修饰的成员变量,称为静态成员变量;用static修饰的成员函数,称之为静态成员函数。注意的是,静态成员函数没有this指针,静态成员变量在类中声明,在类外进行初始化。

统计程序中创建出了多少个类对象:

class A
{
public:
	A(int a = 0)
	{
		cout << "构造" << endl;
	}

	A(const A& aa)
	{
		cout << "拷贝构造" << endl;
		++count;
	}

	static int GetCount()//没有this指针
	{
		return count;//static函数没有this指针,访问不到成员count,只能读不能写
	}

private:
	static int count;//声明,属于所有对象,属于整个类

};

int A::count = 0;//定义初始化
void func(A a)
{

}

int main()
{
	A aa1;//调用构造

	A aa2(aa1);//调用拷贝构造

	func(aa1);//函数传参,且参数是A类型的,所以调用拷贝构造

	A aa3 = 1;//隐式类型转换,经过编译器的优化,优化掉了拷贝构造,只有构造
	
	A aa4[10];//调用10次构造

	cout << aa3.GetCount() << endl;//如果GetCount是个static修饰的,只能接受返回的count,不能改

	//类中的静态成员也受访问限定符的限制,如果我们不让静态成员count设为私有,如何访问count?
	//A::count;
	//aa2.count或者aa3.count      count属于所有对象
	//A* ptr=nullptr;ptr->count   这里不会去解引用,会直接去静态区中找

	return 0;
}

 首先上面代码需要注意的是,GetCount是一个静态成员函数,所以访问它可以通过对象访问即aa3.GetCount(),或者指定内域访问,A::GetCount(),但是由于静态成员函数没有this指针,所以函数内不能访问非静态成员变量(这里返回count就是因为count是个静态成员变量,换成是普通的变量就不行了):

其次类中的静态成员也是受类的访问限定符的限制的,像这里count为私有,虽然是静态的全局的变量,但是在类外面还是访问不到的。

如果我们不将count设为私有,那怎么访问这个静态成员变量呢?

1.A::count  直接指定内域访问

2.aa2.count或者aa3.count    因为static成员是属于所有对象的,所以可以

3.A* ptr=nullptr;ptr->count    这里不会解引用,直接去静态区找

同时我们上方的代码也复习之前的知识:

分析结果:

前两个分别调用构造与拷贝构造,没什么说的;第三个是函数传参,由于参数也是A,也就是类类型的,所以会调用拷贝构造;然后是下面的隐式类型转换,编译器优化掉了拷贝,直接就是构造;然后可以看到如果自定义对象是数组,可以看到调用了10次。

总结:

5.匿名对象

当我们需要调用某个类的成员函数时需要先创建一个对象,所以我们引入了一个匿名对象,可以直接不创建对象直接去调用,写法为:类名()

通过析构函数可知,匿名对象的周期只在它出现的这一行,到下一行就会销毁。

返回值也可以使用匿名对象,更加简洁。

6.友元函数

友元函数在我们之前提到过,现在再来细看一下。

7.内部类

内部类c++很少用,隔壁Java常用。

首先,如果B这个类在A中是公有的,可以直接在外面指明内域访问例如A::B bb;

其次,如果B是私有的,那就不能通过A来访问了,所以B这个内部类既受A的类域的

限制(因为B为公有在外面需要指定在A的内域),又受到A的访问限定符的限制

然后,B这个内部类天生就是A的友元,所以可以通过内部类访问外部类的成员(静态的也可以)

补充:一个类里面,公有可以访问私有

总结:

8.编译器的一些场上的优化

首先先来分析3个优化:

class A
{
public:
	A(int a = 0)
	{
		cout << "构造" << endl;
	}

	A(const A& a)
	{
		cout << "拷贝构造" << endl;
	}

	~A()
	{
		cout << "~A" << endl;
	}
};

void func1(A aa)
{

}

void  func2(A& aa)
{
	
}

A func3()
{
	return A();
}

int main()
{
	A aa1 = 1;
	
	func1(aa1);

	func1(2);

	func1(A(3));
	return 0;
}

第一个就是隐式类型转换编译器会将隐式类型转换产生的拷贝优化掉,所以就只有一个构造。

第二个是传参调用拷贝构造,但是这个拷贝构造不会被优化(大部分情况下只有c++98中的那个单参数构造和c++11的多参数构造会优化),但是可以使用传引用传参来减少拷贝。由于拷贝构造产生了临时变量,所以在func1函数结束时,会调用析构销毁这个临时变量。

第三个与第四个也都是传参调用拷贝构造,但是结果发现,拷贝构造被优化为了构造?!理想的结果不应该是拷贝构造,然后跟析构吗???当时我也疑惑了好久,其实这是因为编译器的处理,在我的vs2022的编译器下,可能由于编译器太新,优化的比较极端,编译器看到你func1函数什么也没写,干嘛要在拷贝构造一次,干脆直接就优化为了拿形参构造实参,可以看到构造后紧跟的就是析构,这也表明还是存在拷贝产生的临时变量需要销毁。

最后主函数结束aa1销毁调用析构。

另外,如果我们使用func2的传引用传参,后两个传参会直接报错,因为它们是临时变量,使用引用后,传过去后函数作用域销毁,这个变量就找不到了;而aa1的作用域在main函数中,尽管fun2的函数结束,但是还是能找到aa1。

再看一种优化:

在这个场景下, A aa先构造,返回aa再调用拷贝构造(因为没有创造对象,所以这个拷贝构造有可能被优化掉),拷贝的临时变量销毁调用一次析构,aa这个局部对象销毁再调用一次析构,那这两个析构谁先调用的呢?拷贝构造后面经跟的就是拷贝时创建的临时变量销毁调用的析构

此时还没有优化,但是当我们来接受它的返回值时:

 

aa拷贝给一个临时变量,临时变量再拷贝给给aa1,这里就会被优化为一个拷贝构造。 

如果我们在将赋值重载再写出来(下面的称为赋值接受):

就会得到下面的结果:

 如果先定义一个对象,再接收返回值,就是aa2先构造,func3里aa构造,返回时一个拷贝构造(这个拷贝构造有可能会被优化,因为没有创造新的对象来接收返回值,看编译器,这里就是被优化了)然后没有被优化,那会多出来一对拷贝构造+析构。结果中的两个析构分别是func3函数结束aa销毁调用的析构和main函数结束aa2销毁的析构。

如果是下面的场景(下面的称为拷贝构造接受):

如果直接调用fun2,返回的匿名对象调用一次构造,匿名对象出了fun2析构一次。

如果接收fun2的返回值,匿名对象A()先构造一次,返回时拷贝构造一次,返回给aa2再拷贝一次编译器会优化用 匿名对象直接构造aa2,直接就是构造一次,所以最后一次析构是aa2销毁的析构

 

总结:

优化的场景很多,我们只要记住:

 

 

 

总结:

若有歧义,请指出,感谢阅读!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/502625.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

LVS几种模式介绍

备注&#xff1a;这篇真的是水文&#xff0c;不看也罢。 LVS&#xff0c;linux virtual server&#xff0c;可提供IP网络层的负载均衡。 其主要模式主要有以下几种&#xff1a; LVS-NAT 主要通过网络地址转换&#xff0c;修改目的IP实现。Network Address Translation LVS-…

rtthread

创建线程 线程优先级 当Thread1中遇到高优先级的线程时&#xff0c;Thread会先被挂起&#xff0c;rt_thread_delay()延时一定时间&#xff0c;每延时一个tick&#xff0c;执行一次判断&#xff0c;是否超时&#xff0c;如果超时&#xff0c;则调用rt_timer_init()中的rt_thread…

先进电机技术 —— 何为轮毂电机?

一、轮毂电机 轮毂电机&#xff08;Hub Motor&#xff09;是一种将电动机集成到车轮内部&#xff0c;直接驱动车轮转动的电动车驱动技术。这种设计省去了传统的传动轴、差速器、半轴等机械传动部件&#xff0c;使得动力传输更为直接、高效。 轮毂电机的优点&#xff1a; 1. 结…

源支付V7开源版2.99,修复各种提示错误

源支付V7开源版2.99&#xff0c;修复各种提示错误 加密说明&#xff1a;200拿来的&#xff0c;只有8.1这个文件加密&#xff0c;其他文件无任何加密&#xff0c;已修复各种提示错误 测试其他开源版安装提示错误&#xff0c;有几个文件是加密的 注&#xff1a;开发不易&#…

Java8之接口默认方法

Java8之接口默认方法 一、介绍二、代码1、接口2、实现类3、测试代码4、效果 一、介绍 在Java8中&#xff0c;允许为接口方法提供一个默认的实现。必须用default修饰符标记这样一个方法。默认方法也可以调用其他方法 二、代码 1、接口 public interface PersonService {void…

自定义类型(二)结构体位段,联合体,枚举

这周一时兴起&#xff0c;想写两篇文章来拿个卷吧&#xff0c;今天也是又来写一篇博客了&#xff0c;也是该结束自定义类型的学习与巩固了。 常常会回顾努力的自己&#xff0c;所以要给自己的努力留下足迹。 为今天努力的自己打个卡&#xff0c;留个痕迹吧 2024.03.30 小闭…

数据库工具——DBeaver的安装及使用

目录 一、DBeaver介绍 1.定义 2.支持的数据库 3.支持的操作系统 4.特点 二、DBeaver安装及使用 1.服务启动 2.查看连接类型 3.演示连接Mysql数据库 4.连接配置 5.成功连接 6.远程控制 6.1新建数据库 6.2新建数据表 6.3添加字段列 6.4使用SQL编辑器进行编辑 一…

mac怎么删除python

mac 默认安装了python2&#xff1b;自己后面又安装了python3&#xff1b;为了方便&#xff0c;现在想将python3换成Anaconda3。 Anaconda是一个开源的Python发行版本&#xff0c;其包含了conda、Python等180多个科学包及其依赖项。 Python3安装之后&#xff0c;在系统中不同目…

ESD保护二极管ESD9B3.3ST5G 以更小的空间实现强大的保护 车规级TVS二极管更给力

什么是汽车级TVS二极管&#xff1f; TVS二极管是一种用于保护电子电路的电子元件。它主要用于电路中的过电压保护&#xff0c;防止电压过高而损坏其他部件。TVS二极管通常被称为“汽车级”是因为它们能够满足汽车电子系统的特殊要求。 在汽车电子系统中&#xff0c;由于车辆启…

江大白 | 万字长文,深度梳理Python多线程与多进程(建议收藏 !)

本文来源公众号“江大白”&#xff0c;仅用于学术分享&#xff0c;侵权删&#xff0c;干货满满。 原文链接&#xff1a;万字长文&#xff0c;深度梳理Python多线程与多进程 以下文章来源于博客&#xff1a;标点符 作者&#xff1a;钱魏Way 链接&#xff1a;https://www.bia…

Facebook Horizon Worlds:打造数字世界的社交乐园

在数字化时代&#xff0c;社交媒体平台已经成为人们日常生活中不可或缺的一部分。而随着科技的不断发展&#xff0c;人们对于社交体验的需求也在不断演变。在这样的背景下&#xff0c;Facebook推出了全新的虚拟现实社交平台——Facebook Horizon Worlds&#xff0c;旨在打造一个…

电脑换屏总结——关于我把电脑砸了这件事!

大家好&#xff0c;我是工程师看海&#xff0c;很高兴和各位一起分享我的原创文章&#xff0c;喜欢和支持我的工程师&#xff0c;一定记得给我点赞、收藏、分享哟。 加微信[chunhou0820]与作者进群沟通交流。 【淘宝】https://m.tb.cn/h.5PAjLi7?tkvmMLW43KO7q CZ3457 「运放秘…

利用vite创建vue3项目

vue3 项目推荐使用vue官方推荐的vite手脚架创建&#xff0c;vue3项目&#xff0c;使用vue-cli 会存在一些问题 1.node的版本 目前的vue3需要至少需要node18及以上&#xff0c;可以安装nvm node包管理器可以快速切换node版本&#xff0c;因为node的版本的兼容性真是一言难尽。…

【Kubernetes】K8s 中的 Pod 驱逐

K8s 中的 Pod 驱逐 1.Pod 被驱逐的原因&#xff1a;抢占和节点压力2.抢占式驱逐2.1 Pod 调度2.1.1 过滤2.1.2 计分 2.2 Pod 优先级2.3 优先级示例 3.节点压力驱逐3.1 服务质量等级3.1.1 Guaranteed3.1.2 Burstable3.1.3 BestEffort 4.其他类型的驱逐4.1 API 发起的驱逐&#xf…

国内怎么使用Midjourney(终于找到免费版)

随着人工智能的大火&#xff0c;不管是职场人还是自由职业者&#xff0c;使用AI绘画工具已经成为当下必备技能&#xff0c;其中Midjourney便是最受大家青睐的AI绘画工具&#xff0c;但是由于种种原因&#xff0c;国内使用Midjourney非常不凡便&#xff0c;功夫不负有心人&#…

集合(ArrayList,HashMap,HashSet)详解+ entrySet的应用

集合 例题引入——直线题意分析根据下面的参考代码&#xff0c;自己模仿的参考代码&#xff08;加一点点我的小tips&#xff09; 1.java集合引入2.为什么要使用集合&#xff1f;3.List、Set、Queue和Map的区别4.ListList——ArrayList&#xff08;&#xff01;&#xff01;实用…

最长子序列问题看得最懂的一集!(Java版)

近期做十四届蓝桥杯真题&#xff0c;遇到好多类似子序列的题目&#xff0c;发现还是不会做&#xff0c;于是乎回来再做一遍代码随想录相关题目&#xff0c;回来总结一下这几道题子序列问题&#xff08;300. 最长递增子序列、674. 最长连续递增序列、718. 最长重复子数组&#x…

Golang生成UUID

安装依赖 go get -u github.com/google/uuid文档 谷歌UUID文档 示例 函数签名func NewV7() ( UUID ,错误) func (receiver *basicUtils) GenerateUUID() uuid.UUID {return uuid.Must(uuid.NewV7()) } uid : GenerateUUID()

springboot上

springboot spring概述 https://spring.io 特点 springboot主要特性 依赖管理 场景starter 自动配置 默认包和扫描路径 自定义包扫描路径 spring配置介绍 yml书写 常用注解介绍

项目安全性与权限管理实践与探讨

✨✨谢谢大家捧场&#xff0c;祝屏幕前的小伙伴们每天都有好运相伴左右&#xff0c;一定要天天开心哦&#xff01;✨✨ &#x1f388;&#x1f388;作者主页&#xff1a; 喔的嘛呀&#x1f388;&#x1f388; 目录 引言 一. 身份验证和授权 二. 输入验证和过滤 2.1. 添加O…