1.前言
本章重点
本篇文章将详细的介绍拷贝构造和运算符重载的相关概念和细节。
2.拷贝构造函数
什么是拷贝构造函数呢?通俗一点来讲就是已经有一个对象了,当在定义一个对象时,用这个已有的对象来初始化这个定义的对象。
拷贝构造就相当于创建一个一模一样的你
有时候我们在写代码时会遇见这样的场景
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2023,7,30);
Date d2(d1);//用d1初始化d2
//或者
Date d3=d1;//这也是拷贝构造
return 0;
}
使用一个已经存在的对象初始化一个正在定义的对象就是在拷贝构造!
2.1 拷贝函数的特性
- 拷贝构造是构造函数的一个重载形式
- 拷贝构造函数只能有一个参数且必须
是类类型对象的引用!
例Date类的拷贝构造函数的写法:
Date(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
这里就会引发一个思考了,是什么呢?--为什么拷贝构造的参数必须是类 类型对象的引用呢?
因为如果不使用传引用传参的话,就会引发无穷递归的场景。
详细理解如下:
加上了引用,调用拷贝构造时,传对象的别名进函数,就不会有形参拷贝一份实参的过程,就不会死递归,所以拷贝构造函数一定要传引用传参。
2.2 默认的拷贝构造函数
如果用户不显示写拷贝构造函数,编译器会自动生成一个默认构造函数
对于内置类型:默认的拷贝构造函数会完成浅拷贝,也叫值拷贝
对于自定义类型:默认构造函数会去
调用自定义
类型的构造函数完成拷贝
然而如果是浅拷贝的话,可能会出现问题
class Stack
{
public:
Stack(size_t capacity = 10)//构造函数
{
_array = (DataType*)malloc(capacity * sizeof(DataType));
if (nullptr == _array)
{
perror("malloc申请空间失败");
return;
}
_size = 0;
_capacity = capacity;
}
void Push(const int& data)//插入函数
{
_array[_size] = data;
_size++;
}
~Stack()//析构函数
{
if (_array)
{
free(_array);
_array = nullptr;
_capacity = 0;
_size = 0;
}
}
private:
int *_array;
size_t _size;
size_t _capacity;
};
int main()
{
Stack s1(10);
s1.push(1);
s1.push(2);
s1.push(3);
s1.push(4);
s1.push(5);
Stack s2(s1);
retrn 0;
}
stack类没有显示写拷贝构造函数编译器会自动生成默认拷贝构造函数
:默认构造函数是按照字节方式直接拷贝的
所以对象s1和s2的关系图如下
array指向的空间是动态开辟的,是在堆区存储的,如果使用值拷贝的方式
,s1和s2中的array指向的空间相同!
到这里可能很多小伙伴还觉得没什么问题,觉得没毛病。
但是恰恰是这里会引起巨大的问题,那么问题是什么呢?
当s1和s2生命周期结束时,会分别调用它们各自的析构函数
然而两个对象中的指针指向的空间相同,析构函数会调用两个free释放空间!
同一份空间释放两次就会出错!
那么什么时候需要写拷贝构造函数什么时候不需要写拷贝构造函数呢?
注意:类中如果没有涉及资源申请时,拷贝构造函数是否写都可以;一旦 涉及到资源申请时,则拷贝构造函数是一定要写的,否则就是浅拷贝。
2.3 对拷贝构造函数的总结
函数返回值类型为类类型对象
3.赋值运算符重载
在学习什么是赋值运算符重载之前要先清楚运算符重载的概念。
那什么是运算符重载呢?
. * :: sizeof ? : . 注意以上 5 个运算符不能重载。
举个日期类的+的例子:
上面就是一个典型的+号的运算符重载。
3.1 对运算符重载的思考
一般来讲运算符重载是针对自定义类型的,所以函数参数中必须有一个类类型参数
并且运算符重载既可以写在类内,又可以写在类外,唯一的问题就是如果写在类外的话,那就需要传递两个类类型参数了,而写在类内的话,有一个参数是隐藏的指针,就只需要写一个参数即可
举例说明:
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
bool operator==(const Date& d2)
{
return _year == d2._year;
&& _month == d2._month
&& _day == d2._day;
}
public:
int _year;
int _month;
int _day;
};
bool operator==(const Date&d1,const Date& d2)
{
return d1. _year == d2._year;
&&d1. _month == d2._month
&& d1._day == d2._day;
}
上面就是写在类内和写在类外的区别。ps:成员变量是公有的,类内类外都可以访问
最大的区别是什么呢?
写在类外的话,如果函数声明是私有的,那么不采用一些手段类外的函数是无法访问类内的成员变量的,所以一般建议运算符重载写在类内比较好。
3.2 特殊的赋值运算符重载
赋值运算符十分特殊
若我们不显示写,编译器会自动生成一个
在这里再次判断运算符重载是写在内外好还是写在类内好呢?
赋值运算符只能写在类中,如果显示写在了类外的话,编译器会自动生成一个赋值函数
这就和你自己写的冲突了!
举个例子:
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
int _year;
int _month;
int _day;
};
// 赋值运算符重载成全局函数,注意重载成全局函数时没有this指针了,需要给两个参数
Date& operator=(Date& left, const Date& right)
{
if (&left != &right)
{
left._year = right._year;
left._month = right._month;
left._day = right._day;
}
return left;
}
// 编译失败:
// error C2801: “operator =”必须是非静态成员
对上述代码做出解释:
为什么赋值运算符重载要返回类对象呢?
赋值运算符返回类对象的原因是:多次连续赋值
例:
Date d1(2023,7,31);
Date d2;
Date d3;
d2 = d3 = d1;//连续赋值
赋值运算符重载的功能:
编译器自动生成的默认赋值运算符重载,以值的方式逐字节拷贝。
注意:内置类型成员变量是直接赋值的,而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值
对赋值运算符的总结:
如果类中未涉及到资源管理赋值运算符是否实现都可以,一旦涉及到资源管理则必须要自己实现
3.3 前置++和后置++
具体细节见代码:
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
// 前置++:返回+1之后的结果
// 注意:this指向的对象函数结束后不会销毁,故以引用方式返回提高效率
Date& operator++()
{
_day += 1;
return *this;
}
// 后置++:
// 前置++和后置++都是一元运算符,为了让前置++与后置++形成能正确重载
// C++规定:后置++重载时多增加一个int类型的参数,但调用函数时该参数不用传递,编译器
自动传递
// 注意:后置++是先使用后+1,因此需要返回+1之前的旧值,故需在实现时需要先将this保存
一份,然后给this+1
// 而temp是临时对象,因此只能以值的方式返回,不能返回引用
Date operator++(int)
{
Date temp(*this);
_day += 1;
return temp;
}
private:
int _year;
int _month;
int _day;
};
4.总结与拓展
一定要好好区分赋值运算符重载和拷贝构造函数,这两者极容易混淆。
拷贝赋值函数和拷贝构造函数,都是通过已存在的一个类对象对另外一个类对象进行初始化的操作,但两者有着本质上的区别:
- 拷贝赋值函数:针对一个已经存在的对象进行初始化操作。
- 拷贝构造函数:针对一个新创建的对象进行初始化操作。
举例说明:
Plane a1;
//拷贝构造
Plane a2 = a1;
Plane a3;
//拷贝赋值
a2 = a3;
拓展:const成员
例:
解答:
-
const 对象可以调用非 const 成员函数吗?
- 答: 不可以。const 对象只能调用 const 成员函数,因为非 const 成员函数可能会修改对象的状态,这与 const 对象的语义相违背。
-
非 const 对象可以调用 const 成员函数吗?
- 答: 可以。非 const 对象可以调用任何成员函数,包括 const 成员函数。因为 const 成员函数不会修改对象的状态,所以可以安全地被非 const 对象调用。
-
const 成员函数内可以调用其它的非 const 成员函数吗?
- 答: 不可以。const 成员函数内部只能调用其他 const 成员函数,因为 const 成员函数承诺不会修改对象的状态,如果调用非 const 成员函数,就可能会违反这个承诺。
-
非 const 成员函数内可以调用其它的 const 成员函数吗?
- 答: 可以。非 const 成员函数内部可以调用 const 成员函数,因为 const 成员函数不会修改对象的状态,所以可以安全地被非 const 成员函数调用。
例:
class Date
{
public :
Date* operator&()
{
return this ;
}
const Date* operator&()const
{
return this ;
}
private :
int _year ; // 年
int _month ; // 月
int _day ; // 日
};
下期预告:类和对象下