C++ 类和对象从入门到超神(下）

最新推荐文章于 2024-08-09 10:25:03 发布

Brant_zero2022

最新推荐文章于 2024-08-09 10:25:03 发布

阅读量291

点赞数 2

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

本文链接：https://blog.csdn.net/Brant_zero/article/details/126041179

版权

C++ 专栏收录该内容

40 篇文章 6 订阅

订阅专栏

本文详细介绍了C++中的拷贝构造函数和赋值运算符重载。拷贝构造函数用于创建与已有对象相同的新对象，防止无限递归调用。赋值运算符重载则关注效率和自我赋值的情况，标准实现包括传引用、返回引用、检查自我赋值并返回*this。同时，讨论了const成员函数的作用以及何时需要自定义拷贝构造和赋值运算符重载。

摘要由CSDN通过智能技术生成

一、拷贝构造函数

1.1 概念

在创建对象时，可否创建一个与已存在对象一模一样的新对象？

拷贝构造函数：只有单个形参，该形参是对本类类型对象的引用(一般用 const 修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。

1.2 拷贝构造函数的特征

构造函数也是特殊的成员函数，其特征如下：

1. 拷贝构造函数是构造函数的一个重载形式。

拷贝构造函数是构造函数的重载形式，即函数名也与类名相同，但是函数参数不同。

2.拷贝构造函数的参数只有一个且必须是类类型对象的引用，使用传值方式编译器直接报错，因为会引发无穷递归调用。

首先我们明确一件事情，因为函数传参时，形参是实参的一份临时拷贝，就会调用拷贝构造构造函数，我们来看看是如何调用

运行结果如下：

所以说，如果我们不使用引用传参的话，函数参数那里就会一直调用拷贝构造函数，如下图：

因此会一直死循环，所以编译器会自动识别为语法错误。

正确的拷贝方式：

Date (const Date& d)
{
    _year = d._year;
    _month = d._month;
    _day = d._day;
}

3. 若未显示定义，编译器会生成默认的拷贝构造函数。默认的拷贝函数对象按内存存储按字节序完成拷贝，这种拷贝叫做浅拷贝，或是值拷贝。

按字节序完成拷贝，所以编译器会对基本类型和自定义类型都做处理。所以像日期类这种没有额外开辟空间，并且成员变量都为基本类型的类类型，我们完全可以使用默认的拷贝构造函数完全够用。

但是入如果是 stack 这样需要额外开辟空间的类类型，我们使用默认的拷贝构造函数就会出现以下这种情况：

从上图可以了解到对拷贝生成的 st2 进行改变，会对 st1 产生影响，这就是浅拷贝的弊端，这必然会对使用产生影响，所以这种额外开辟空间的类类型我们就要自定义拷贝构造函数了。

这里实现拷贝构造就需要自己实现深拷贝，这里不做讲解，在后面会有大量的篇幅介绍深、浅拷贝。

4.编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝，还需要自己显示实现吗？当然想日期类这样的类是没必要的。

注意：类中如果没有涉及资源申请时，拷贝构造函数是否写都可以；一旦涉及到资源申请时，则拷贝构造函数是一定要写的，否则就是浅拷贝。

1.3 拷贝构造函数调用场景

使用已存在对象创建新对象

函数参数类型为类类型对象

函数返回值类型为类类型对象

1.4 指针方式的拷贝构造

因为拷贝构造函数就是一个函数重载，所以我们不仅可以使用引用，还可以使用指针的方式，这两种方式都可以避免死循环调用拷贝构造，这种方式只是作为了解，大家了解一下就行了。

调用方式：

二、赋值运算符重载

2.1 运算符重载

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其返回值类型，函数名字以及参数列表，其返回值与参数列表与普通的函数类似。

函数名为：关键字 operator 后面接需要重载的运算符符号.

函数原型：返回值类型 operator 操作符 (参数列表)

注意：

不能通过连接其他符号来创建新的操作符：比如 operaor！等。
重载操作符必须有一个类类型参数
用于内置类型的运算符，其含义不能改变，例如：内置的整形+ ，不能改变其含义
作为类成员函数重载时，其形参看起来比操作数数目少1，因为成员函数的第一个参数为隐藏的 this。
.* :: sizeof ?: . 这5个运算符不能重载。

实现举例：

使用效果：

有许多种操作符，我们都可以实现，上面只是举例了 == 相等这种的运算符重载

2.2 赋值运算符重载

在实现赋值运算符重载时我们要实现下面这四种要求:

1. 赋值运算符重载格式

① 参数类型： const T& ，传递引用可以提高传参效率

② 返回值类型： T& ，返回引用可以提高返回的效率，有返回值目的是为了支持连续赋值。

③ 检测是否自己给自己赋值

④ 返回 *this ：要复合连续赋值的含义

符合标准的赋值运算符重载的实现：

2. 赋值运算符只能重载成类的成员函数不能重载成全局函数

原因：赋值运算符如果不显示实现，编译器会生成一个默认的。此时用户再在类外实现一个全局的赋值运算符重载，就和编译器在类中生成的默认赋值运算符重载冲突了，故赋值运算符重载只能是类的成员函数。

3.用户没有显示实现时，编译器会生成一个默认的赋值运算符重载，以值的方式逐字节拷贝。

注意：

内置类型成员变量是直接赋值的，而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。

既然编译器生成的默认赋值运算符重载函数已经可以完成字节序的值拷贝了，还需要自己实现吗？当然像日期类这种类是没必要的，那像下面的 Stack 栈类呢？我们可以一起看看