【c++】类和对象（六）深入了解隐式类型转换

news2024/11/27 10:36:53

Alt

🔥个人主页：Quitecoder

🔥专栏：c++笔记仓

Alt

朋友们大家好，本篇文章我们来到初始化列表，隐式类型转换以及explicit的内容

目录

  • 1.初始化列表
    • 1.1构造函数体赋值
    • 1.2初始化列表
      • 1.2.1隐式类型转换与复制初始化
    • 1.3explicit关键字

1.初始化列表

1.1构造函数体赋值

在创建对象时，编译器通过调用构造函数，给对象中各个成员变量一个合适的初始值

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

虽然上述构造函数调用之后，对象中已经有了一个初始值，但是不能将其称为对对象中成员变量的初始化，构造函数体中的语句只能将其称为赋初值，而不能称作初始化。因为初始化只能初始化一次，而构造函数体内可以多次赋值

1.2初始化列表

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

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

那么，为什么要使用初始化列表呢？它的优势在哪里呢？

我们来看构造函数对于下面类的初始化：

class Date2 {
public:
	Date2(int year, int month, int day)	
	{
	    _n=10;
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
	const int _n;
};

在这里插入图片描述

我们发现const成员变量并不能用函数体进行初始化

int _year;
int _month;
int _day;

这三个成员既可以在函数体，又可以在初始化列表，但是类中包含以下成员，必须放在初始化列表位置进行初始化：

  • 引用成员变量
  • const成员变量
  • 自定义类型成员(且该类没有默认构造函数时)
    int _year;
	int _month;
	int _day;
	const int _n;

我们知道，这个只是一个声明，定义是对象实例化时候完成的，有些成员，必须在定义的时候进行初始化

初始化列表中的每个元素都直接对应一个成员变量或基类，允许在构造函数体执行之前对这些成员或基类进行初始化。这对于const成员变量、引用类型成员变量以及某些没有默认构造函数的类型尤其重要

Date2(int year, int month, int day)	
	:_n(1)
{
	_year = year;
	_month = month;
	_day = day;
}

初始化列表是每个成员变量定义初始化的位置

class Date2 {
public:
	Date2(int year, int month, int day)	
		:_n(1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
private:
	int _year;
	int _month;
	int _day;
	const int _n;
};

没有在初始化列表中显式初始化_year、_month、和_day这三个成员变量，它们仍然会在初始化列表阶段被默认初始化，然后在构造函数体内被赋新的值

对于基本类型（如int），如果它们未在类的初始化列表中显式初始化，则它们会进行默认初始化。对于类内的基本类型成员变量，默认初始化意味着不进行初始化（保留未定义值），除非它们是静态存储持续时间的对象（例如全局或静态变量，它们会被初始化为零）。然而，对于自动存储持续时间（如函数内的局部变量）的对象，如果未显式初始化，则其值是未定义的。在类构造函数中，成员变量的行为类似于局部变量，如果不在初始化列表中显式初始化，它们将不会被自动初始化

_n是通过初始化列表初始化的，因为它是const类型的，必须在那里初始化。而_year、_month、和_day虽然没有在初始化列表中被显式赋值，但它们会在构造函数体开始执行前完成默认初始化（对于基本数据类型，这意味着它们的初始值是未定义的）。然后，在构造函数体内，它们被赋予新的值

因此，可以说成员变量_year、_month、和_day先经历了默认初始化（在这个场景下，这意味着它们的值是未定义的），然后在构造函数体内被赋值

我们不妨提到前面讲的声明时给缺省值：

private:
	int _year=1;
	int _month;
	int _day;
	const int _n;

缺省值的本质就是给初始化列表用的

在这里插入图片描述

Date2(int year, int month, int day)	
    : _n(1), _year(year), _month(month), _day(day)
{
    // 构造函数体可以留空，因为所有成员变量都已经在初始化列表中初始化
}

在这个版本中，所有成员变量都是通过初始化列表直接初始化的，这是推荐的做法，特别是对于复杂类型或类类型的成员变量

引用类型必须在定义的时候初始化，所以也得使用初始化列表

class A
{
public:
	A(int a=0)
		:_a(a)
	{}
private:
	int _a;
};
class Date2 {
public:
	Date2(int year, int month, int day,int x)	
		:_n(1)
		,_year(year)
		,_month(month)
		,_day(day)
		,_ref(x)
	{
	}
private:
	int _year=1;
	int _month;
	int _day;
	const int _n;
	int& _ref;
	A aa;
};

这里aa也会走初始化列表，来调用它的默认构造函数

在这里插入图片描述
我们可以在初始化列表来直接控制自定义类型的初始化

Date2(int year, int month, int day,int x)	
	:_n(1)
	,_year(year)
	,_month(month)
	,_day(day)
	,_ref(x)
	,aa(1)
{
}

初始化列表和构造函数共同定义了类对象的初始化行为。初始化列表提供了一种高效、直接初始化成员变量和基类的方式，而构造函数则完成剩余的初始化逻辑和设置，比如动态开辟一个数组进行赋值的时候，就用到函数体

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

我们来看下面的代码：

class A
{
public:
    A(int a)
       :_a1(a)
       ,_a2(_a1)
   {}
    
    void Print() {
        cout<<_a1<<" "<<_a2<<endl;
   }
private:
    int _a2;
    int _a1;
};
int main() {
    A aa(1);
    aa.Print();
}

这个结果是什么呢？
在这里插入图片描述
结果是1和一个随机值

在这个例子中，A类有两个整型成员变量：_a1和_a2。在构造函数中，_a1被初始化为传入的参数a的值，而_a2被初始化为_a1的值。

然而，成员变量的初始化顺序是由它们在类中声明的顺序决定的，而不是它们在初始化列表中出现的顺序。在A类中，_a2在_a1之前声明，因此_a2会先于_a1初始化。

这意味着当_a2(_a1)执行时，_a1还没有被初始化，所以_a2的值是未定义的。然后，_a1被初始化为1

因此，当调用aa.Print();时，输出的第一个值（_a2的值）是未定义的，而第二个值（_a1的值）是1。在实际执行时，未定义的值可能是内存中该位置的任何值，这取决于编译器和运行时环境。

要修正这个问题，应该按照成员变量在类中声明的顺序初始化它们，或者更改成员变量的声明顺序以反映期望的初始化顺序。例如：

class A {
public:
    A(int a)
       :_a1(a) // 现在_a1首先初始化
       ,_a2(_a1) // 然后是_a2
    {}
    
    void Print() {
        cout << _a1 << " " << _a2 << endl;
    }
private:
    int _a1; // 声明顺序改为先_a1
    int _a2; // 然后是_a2
};

在这个修改后的版本中，_a1会先被初始化为1，然后_a2会被初始化为_a1的值，即1。所以Print函数会输出1 1。

1.2.1隐式类型转换与复制初始化

我们再来看下面的类：

class C
{
public:
	C(int x)
		:_x(x)
	{}
private:
	int _x;
};
int main()
{
	C cc1(1);
	C cc2 = 2;
	return 0;
}

C cc2 = 2;

为什么cc2能直接赋值呢？

在C++中，如果一个类的构造函数只需要一个参数（或所有参数除了第一个外都有默认值），那么这个构造函数允许从构造函数参数类型到类类型的隐式转换。这种转换使得单个值可以被视为是该类的一个实例，即使没有显式地调用构造函数

C cc1(1);
  • 这行代码直接调用了C类的构造函数，使用1作为参数创建了cc1对象。
C cc2 = 2;
  • 这行代码演示了隐式类型转换。虽然看起来像是将整数2赋值给cc2，实际上C++编译器解释为使用2作为参数调用C类的构造函数来初始化cc2。这是因为C(int x)构造函数允许从int到C的隐式转换。

复制初始化是C++中一种对象初始化的方式，它与直接初始化有所不同，但在某些情况下可以产生类似的效果。理解复制初始化对于深入理解C++的对象构造和赋值语义非常重要。接下来，我们将通过详细说明来解释复制初始化的概念，以及为什么在某些情况下可以通过直接赋值的方式来初始化对象

复制初始化的基本概念

复制初始化通常发生在使用=操作符进行对象初始化的场景中。不同于直接初始化（直接调用构造函数），复制初始化涉及到源对象到目标对象的潜在类型转换和赋值操作

C obj = value;

在上述代码中，value可以是与C类型兼容的任何值或对象。复制初始化的过程如下：

  1. 类型转换（如果必要）：如果value不是C类型的对象，则编译器会尝试使用value调用C的构造函数（或explicit关键字修饰的构造函数除外），以创建一个临时的C类型对象。这一步是隐式类型转换的一部分。

  2. 调用拷贝构造函数：编译器接下来会使用这个临时对象（如果第一步创建了临时对象的话）作为参数调用C的拷贝（或移动）构造函数，来初始化obj。如果源对象就是C类型，并且没有发生类型转换，那么这一步将直接用源对象来初始化obj。

  3. 优化：在很多情况下，编译器可以应用（拷贝消除）优化来避免真正创建临时对象和执行拷贝（或移动）操作，直接在obj的存储位置构造对象

为什么可以直接赋值？

class C
{
public:
	C(int x)
		:_x(x)
	{}
private:
	int _x;
};

C cc2 = 2;

这里的2是一个整型字面量，不是C类型的对象。复制初始化的过程大致如下：

  1. 类型转换：编译器使用2调用C的构造函数创建一个临时的C类型对象。
  2. 拷贝构造函数：这个临时对象然后用于初始化cc2。但实际上，由于优化，这一步可能被省略，2直接用于在cc2的位置构造C对象。

我们不妨来看看它是否调用了拷贝构造：

class C
{
public:
	C(int x)
		:_x(x)
	{}
	C(const C& cc)
	{
		cout << "use copy" << endl;
	}
private:
	int _x;
};

在这里插入图片描述
这里就被编译器优化了，同一个表达式连续步骤的构造，一般会被合并为一个

因此，尽管代码看起来像是将2直接赋值给C类型的对象cc2，实际上则是通过编译器优化，直接在cc2的存储位置用2构造了一个C对象。

来看下面的代码：

class C
{
public:
	C(int x)
		:_x(x)
	{}
	
private:
	int _x;
};

int main()
{
	C& cc3 = 2;
	return 0;
}

C& cc3 = 2;试图将一个整型字面量2赋给C类型的引用cc3。这行代码会导致编译错误，原因如下：

  1. 引用的基本要求：在C++中，引用必须绑定到一个已经存在的对象上。引用本质上是对象的别名，它不能像指针那样独立存在

  2. 引用与临时对象：尽管临时对象（如通过类型转换创建的临时C对象）可以被绑定到const引用上（即const C&），但它们不能直接绑定到非const引用（C&）上。这是为了防止通过非const引用对临时对象进行修改，因为这种修改通常没有意义（临时对象在表达式结束后就销毁了）。

  3. 正确的用法：如果你的意图是创建一个C类型的临时对象，并将其绑定到引用上，正确的语法应该使用const引用，如下：

    const C& cc3 = C(2);
// 或者
const C& cc3 = 2; // 依赖于C(int)构造函数的隐式类型转换

    这两种方式都是可行的，它们创建了一个C类型的临时对象，并将其绑定到const引用cc3上。由于引用是const的，你不能通过cc3修改对象的状态。

要解决原代码中的问题，需要确保使用const引用来引用临时对象，或者创建一个非临时的C对象并将其赋给一个非const引用。例如：

C cc4(2);
C& cc3 = cc4; // cc3引用cc4

在这个修正后的示例中，cc4是一个非临时的C对象，cc3是一个类型为C&的引用，它直接引用（或绑定到）cc4上

这个真正好处我们在后面会用到：

class Stack
{
public:
	void Push(const C& c)
	{
			//
	}
};

比如我们想要在栈这个容器中压入c类型的对象有两种方式：

Stack st;
C cc3(3);
st.Push(cc3);

st.Push(4);

直接用隐式类型转换就方便了很多

1.3explicit关键字

如果不想让隐式类型转换发生，我们就需要用 explicit修饰构造函数，禁止类型转换

在这里插入图片描述

单参构造函数，没有使用explicit修饰，具有类型转换作用

C++11及以后版本版本支持多个参数隐式类型转换

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

private:
	int _a1;
	int _a2;
};
int main()
{
    A aa={1,2};
	return 0;
}

不想让隐式类型转换发生，可以加上explicit关键字

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

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

Learning from Multiple Annotator Noisy Labels via Sample-wise Label Fusion

Learning from Multiple Annotator Noisy Labels via Sample-wise Label Fusion

confusion matrix P n ( r ) _n^{(r)} n(r)​ pillow8.3.1和python3.7.11的环境不好满足&#xff0c;不建议复现
阅读更多...
笔记: JavaSE day16笔记 - string字符串

笔记: JavaSE day16笔记 - string字符串

第十六天课堂笔记 学习任务 Comparable接口★★★★ 接口 : 功能的封装 > 一组操作规范 一个抽象方法 -> 某一个功能的封装多个抽象方法 -> 一组操作规范 接口与抽象类的区别 1本质不同 接口是功能的封装 , 具有什么功能 > 对象能干什么抽象类是事物本质的抽象 &…
阅读更多...
RocketMQ(版本4.9.4)+RocketMQ_Dashbord环境搭建（生产者、消费者的前置环境搭建）

RocketMQ(版本4.9.4)+RocketMQ_Dashbord环境搭建（生产者、消费者的前置环境搭建）

一、官方网站下载 RocketMQ源码包 https://rocketmq.apache.org/zh/docs/4.x/introduction/02quickstart 二、把rocketMQ上传到Linux环境下解压&#xff0c;编译&#xff0c;执行以下命令&#xff08;需要提前装jdk和maven并配置好环境变量&#xff09; unzip rocketmq-all-4…
阅读更多...
短视频账号矩阵系统/开发 -- -- -- 蒙太奇算法上线

短视频账号矩阵系统/开发 -- -- -- 蒙太奇算法上线

短视频账号矩阵系统&#xff0c;短视频矩阵系统开发3年技术之路&#xff0c;目前已经在技术竞品出沉淀出来&#xff0c;近期技术迭代的新的功能同步喽&#xff1a; php7.4版本&#xff0c;自研框架&#xff0c;有开发文档&#xff0c;类laravel框架 近期剪辑迭代的技术算法&am…
阅读更多...
Unix信号处理

Unix信号处理

信号的基本概念我已经在上一节中简单介绍了&#xff0c;大家可以去看我的上一篇博客&#xff1a; Unix中的进程和线程-2-CSDN博客 1.信号的产生 kill函数&#xff1a; #include <signal.h> #include <fcntl.h> #include<t_stdio.h> //自定义信号处理函数,n为…
阅读更多...
深度学习算法概念介绍

深度学习算法概念介绍

前言 深度学习算法是一类基于人工神经网络的机器学习方法&#xff0c;其核心思想是通过多层次的非线性变换&#xff0c;从数据中学习表示层次特征&#xff0c;从而实现对复杂模式的建模和学习。深度学习算法在图像识别、语音识别、自然语言处理等领域取得了巨大的成功&#xf…
阅读更多...
深入理解数据结构(3)：栈和队列详解

深入理解数据结构(3)：栈和队列详解

文章主题&#xff1a;顺序表和链表详解&#x1f331;所属专栏&#xff1a;深入理解数据结构&#x1f4d8;作者简介&#xff1a;更新有关深入理解数据结构知识的博主一枚&#xff0c;记录分享自己对数据结构的深入解读。&#x1f604;个人主页&#xff1a;[₽]的个人主页&#x…
阅读更多...
吴恩达机器学习笔记 三十一 K-means算法及优化目标 成本函数

吴恩达机器学习笔记 三十一 K-means算法及优化目标 成本函数

随机初始化 K 个集群质心&#xff0c;这里设质心个数为2 第一步&#xff1a;分配点给集群质心 对 m 个 点&#xff0c;每个点对应的质心为 c(i) ,若离红色的质心近&#xff0c;则 c(i) 的值为1&#xff0c;否则为2。计算距离用的是L2范式。 第二步&#xff1a;移动集群质心 …
阅读更多...
Verilog语法回顾--用户定义原语

Verilog语法回顾--用户定义原语

目录 用户定义原语 UDP定义 UDP状态表 状态表符号 组合UDP 电平敏感UDP 沿敏感时序UDP 参考《Verilog 编程艺术》魏家明著 用户定义原语 用户定义原语&#xff08;User-defined primitive&#xff0c;UDP&#xff09;是一种模拟硬件技术&#xff0c;可以通过设计新的原…
阅读更多...
Yolov7 Reid【附代码，行人重识别，可做跨视频人员检测】

Yolov7 Reid【附代码，行人重识别，可做跨视频人员检测】

本项目使用Yolov7Reid实现的行人重识别功能&#xff0c;可做跨视频人员检测。 应用场景&#xff1a; 可根据行人的穿着、体貌等特征的Reid算法在视频中进行检索&#xff0c;可以把这个人在各个不同摄像头出现时检测出来。可应用于犯罪嫌疑人检索、寻找走失儿童等。支持GUI界面…
阅读更多...
Python API(happybase)操作Hbase案例

Python API(happybase)操作Hbase案例

一、Windows下安装Python库&#xff1a;happybase pip install happybase -i https://pypi.tuna.tsinghua.edu.cn/simple 二、 开启HBase的Thrift服务 想要使用Python API连接HBase&#xff0c;需要开启HBase的Thrift服务。所以&#xff0c;在Linux服务器上&#xff0c;执行如…
阅读更多...
scikit learn数据预处理学习笔记

scikit learn数据预处理学习笔记

数据集及基本操作 1&#xff09;数据集的组成 数据集由特征(feature)与标签(label)构成。 特征是输入数据。 什么是特征&#xff08;Features&#xff09;: 机器学习中输入数据&#xff0c;被称为特征。通常特征不止1个&#xff0c;可以用 n 维向量表示n个特征。 Features 数…
阅读更多...
设备树语法

设备树语法

设备树语法 1 Devicetree格式1.1 DTS文件格式1.2 node格式1.3 properties格式 2 dts文件包好desi文件3 常用的 属性 properties3.1 #address-cells、#size-cells3.2 compatible3.3 model3.4 status3.5 reg&#xff08;设备不同reg属性的含义就不同&#xff09;3.6 name、device…
阅读更多...
链式前向星解析

链式前向星解析

树形DP涉及到图存储&#xff0c;先复习一下链式前向星存储图&#xff0c;便于理解上篇的树形DP。对于图数据结构的存储&#xff0c;我们除了采用邻接矩阵&#xff08;消耗空间&#xff0c;不常用&#xff09;、邻接表&#xff0c;还有一种方法就是链式前向星。 链式前向星存储图…
阅读更多...
数据结构——线性表(一）

数据结构——线性表(一）

线性表&#xff0c;顾名思义&#xff0c;是具有像线一样的性质的表。如同学生们在操场上排队&#xff0c;一个跟着一个排队&#xff0c;有一个打头&#xff0c;有一个收尾&#xff0c;在其中的学生都知道前一个是谁&#xff0c;后一个是谁&#xff0c;这样就像一根线将他们都串…
阅读更多...
[HNCTF 2022 WEEK2]来解个方程?

[HNCTF 2022 WEEK2]来解个方程?

标准的Z3题&#xff0c;可以拿来当模版题 题目逻辑很简单 直接看check from z3 import * # 初始化求解器 s Solver() # 定义6个未知数 n 24 x [Int(s str(i)) for i in range(0,24)] s.add(245 * x[6] 395 * x[5 ] 3541 * x[4 ] 2051 * x[3 ] 3201 * x[2 ] 1345 * x[7 ] 8…
阅读更多...
中制交通安全统筹闪耀资本市场，成功上市引领行业新篇章

中制交通安全统筹闪耀资本市场，成功上市引领行业新篇章

3月30日上午,随着上市钟声的敲响,中制(海南)交通安全统筹服务有限公司(股票代码:HK 31598)在香港股权交易展示中心挂牌上市,中制交通安全统筹董事长熊辉、联合创始人兼CEO张国伟、董事石杰等公司高管、股东、客户、合作伙伴出席挂牌仪式,共同见证敲钟上市,这也使中制交通安全统…
阅读更多...
PonyAi Planning-横纵向轨迹规划

PonyAi Planning-横纵向轨迹规划

PonyAi Planning-横纵向轨迹规划 轨迹规划的探索和挑战 轨迹规划的概念安全舒适两不误&#xff1a;探讨优化算法在规划控制中的应用 轨迹规划的概念 决策 横向规划 纵向规划 优化算法在规划&#xff08;Planning&#xff09;中的应用 附赠自动驾驶学习资料和量产经验…
阅读更多...
PP-YOLOE： An evolved version of YOLO

PP-YOLOE： An evolved version of YOLO

摘要 我们在之前 PP-YOLOv2 的基础上进行了优化&#xff0c;使用 无锚 范式&#xff0c;更强大的主干和颈部配备了 CSPRepResStage 。 ET-head 和动态标签分配算法 TAL 。 1 、介绍 受 YOLOX 的启发&#xff0c;我们进一步优化了之前的工作 PP-YOLOv2 。 PP-YOLOv2 是一款高…
阅读更多...
使用hping3网络工具构造TCP/IP数据包和进行DDos攻击

使用hping3网络工具构造TCP/IP数据包和进行DDos攻击

1 概述 hping3是一个强大的命令行工具&#xff0c;用于生成、发送和解析TCP/IP协议的数据包。它是开源的网络安全工具&#xff0c;由Salvatore Sanfilippo开发&#xff0c;主要应用于网络审计、安全测试和故障排查等领域。hping3不仅可以作为普通的网络连通性检测工具&#xf…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023