[C.C++] C++类和对象(中)

411 0
Honkers 2026-4-28 03:47:48 来自手机 | 显示全部楼层 |阅读模式

目录

一. 类的默认成员函数

二. 构造函数

三. 析构函数

四. 拷贝构造函数

五. 赋值运算符重载

1. 运算符重载

2. 赋值运算符重载 

3. 日期类实现

日期合法性校验:

构造函数与打印函数:

日期 +/ -天 :

日期前置 / 后置自增 / 自减:

比较运算符重载:(全是复用)

两个日期相减:

流运算符重载 (输入 / 输出):


一. 类的默认成员函数

用户没有显式实现,编译器会自动生成的成员函数称为默认成员函数。在 C++ 里,只要你写了一个类,就算什么成员函数都不写,编译器也会自动帮你生成 个基础的默认成员函数。

这 6 个函数可以分成 3 大类,每一类都对应对象生命周期里的一个关键场景:

初始化和清理类:

  • 构造函数:对象被创建的时候自动调用,主要完成初始化工作,比如给成员变量赋初值
  • 析构函数:对象被销毁的时候自动调用,主要完成清理工作,比如释放所申请的内存资源

拷贝复制类:

  • 拷贝构造函数:用一个已经存在的同类对象初始化创建一个新对象,比如 Student s2 (s1) ; 
  • 赋值重载函数:把一个已经存在的对象,赋值给另一个同样已经存在的对象,比如 s2 = s1 ; 

取地址重载类:

  • 分别给普通对象const对象提供取地址的功能,这两种平时用不到,很少需要自己实现。

二. 构造函数

构造函数是 C++ 类中一种特殊的成员函数,它的核心任务并非为对象开辟内存空间(局部对象的空间在栈帧创建时就已分配完成),而是在对象实例化时对其进行初始化,本质是替代早期手动编写的 Init 初始化函数,并且凭借自动调用的特性,让初始化过程更安全、更便捷。

下面借用一份代码来分点列举出构造函数的特点:

  1. #include<iostream>
  2. using namespace std;
  3. class Date
  4. {
  5. public:
  6. //⽆参构造函数
  7. Date()
  8. {
  9. _year = 1;
  10. _month = 1;
  11. _day = 1;
  12. }
  13. //带参构造函数
  14. Date(int year, int month, int day)
  15. {
  16. _year = year;
  17. _month = month;
  18. _day = day;
  19. }
  20. //全缺省构造函数 //与无参构造函数无法同时存在,因为构成函数重载,存在调用歧义
  21. /*Date(int year = 1, int month = 1, int day = 1)
  22. {
  23. _year = year;
  24. _month = month;
  25. _day = day;
  26. }*/
  27. void Print()
  28. {
  29. cout << _year << "/" << _month << "/" << _day << endl;
  30. }
  31. private:
  32. int _year;
  33. int _month;
  34. int _day;
  35. };
  36. int main()
  37. {
  38. Date d1;
  39. d1.Print(); //函数名与类名相同,自动调用
  40. Date d2(2004, 7, 28); //无参数不加括号,带参数要加,否则与函数声明无法区分开
  41. d2.Print();
  42. Date d3();
  43. return 0;
  44. }
复制代码

构造函数的函数名必须与所属类的类名完全相同

代码里的类名叫 Date ,所以它的构造函数名字也必须是 Date,其他任意自定义名称都不可。

  1. class Date
  2. {
  3. public:
  4. // 正确:函数名和类名完全一致
  5. Date()
  6. {}
  7. Date(int year, int month, int day)
  8. {}
  9. // 错误示例:名字和类名不一样,编译器不会把它当成构造函数
  10. void InitDate()
  11. {}
  12. };
复制代码

构造函数没有返回值,既不需要指定具体的返回类型,也无需使用 void 关键字声明

看代码里的两个构造函数,前面什么返回类型都没写,不用加int、void等等返回类型,如果加了会报错: C2533 "Date": 构造函数不能有返回类型

  1. // 正确写法:什么都不写
  2. Date()
  3. {}
  4. Date(int year, int month, int day)
  5. {}
  6. // 错误写法:写了void或其他返回类型
  7. void Date()
  8. {} //错咯
  9. int Date()
  10. {} //错咯
复制代码

在对象实例化的过程中,系统会自动调用对应的构造函数

在主函数里创建对象时,不需要手动调用构造函数,编译器会根据你写的创建方式,自动匹配并调用对应的构造函数。

  1. int main()
  2. {
  3. //自动调用无参构造函数
  4. Date d1;
  5. //自动调用带参构造函数
  6. Date d2(2004, 7, 28);
  7. //这里d1.Print()只是打印数据,不是调用构造函数
  8. d1.Print();
  9. d2.Print();
  10. }
复制代码

构造函数支持重载,可以定义多个参数列表不同的版本

比如代码的下图部分,用了三种函数重载。

  1. class Date
  2. {
  3. public:
  4. //无参构造函数
  5. Date()
  6. {
  7. _year = 1;
  8. _month = 1;
  9. _day = 1;
  10. }
  11. //带三个参数的构造函数
  12. Date(int year, int month, int day)
  13. {
  14. _year = year;
  15. _month = month;
  16. _day = day;
  17. }
  18. //全缺省构造函数
  19. /*Date(int year = 1, int month = 1, int day = 1)
  20. {
  21. _year = year;
  22. _month = month;
  23. _day = day;
  24. }*/
  25. };
复制代码

如果类中没有显式定义任何构造函数,C++ 编译器会自动生成一个无参的默认构造函数;一旦用户显式定义了构造函数,编译器将不再自动生成默认构造函数。

当类里面一个构造函数都不定义时:

  1. class Date {
  2. public:
  3. void Print()
  4. {}
  5. private:
  6. int _year, _month, _day;
  7. };
  8. int main()
  9. {
  10. Date d1; //编译器自动生成无参默认构造,这里可以正常编译
  11. }
复制代码

当类里面存在定义的构造函数时 (只有带参构造,但是没定义无参构造) :

  1. class Date {
  2. public:
  3. //只写了带参构造,没写无参构造
  4. Date(int year, int month, int day)
  5. {}
  6. void Print()
  7. {}
  8. private:
  9. int _year, _month, _day;
  10. };
  11. int main()
  12. {
  13. Date d1; //编译报错:没有合适的默认构造函数可用
  14. Date d2(2004,7,28); //正常调用带参构造
  15. }
复制代码

无参构造函数、全缺省构造函数,以及用户未定义构造函数时编译器自动生成的构造函数,都属于默认构造函数,且三者中只能存在一种,不可同时存在。无参构造函数与全缺省构造函数虽然构成函数重载,但调用时会产生歧义。默认构造函数的定义为:无需传入实参即可调用的构造函数

其中全缺省构造函数和无参构造函数无法共存,因为会存在调用歧义,调用时编译器不知道选哪个 (匹配无参构造时不需要传任何参数,结果就是函数体内直接给定的;匹配全缺省构造时,不传参的话结果为默认值)。

报错代码: E0399 类 "Date" 包含多个默认构造函数 。 

用户未显式定义构造函数时,编译器默认生成的构造函数,对内置类型成员变量的初始化行为没有强制要求,其初始值不确定,具体表现由编译器决定对于自定义类型成员变量,会自动调用该成员变量所属类的默认构造函数进行初始化。若该自定义类型成员变量没有默认构造函数,代码编译会报错,此时需要使用初始化列表完成初始化。

注意:C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的原生数据类型, 如: int / char / double / 指针 等;自定义类型就是我们使用 class / struct 等关键字自己定义的类型。

下面用一份代码来对内置类型和自定义类型作以区分:

Stack类的构造 (内置类型):

  1. class Stack
  2. {
  3. public:
  4. //这是一个全缺省构造函数,也是默认构造函数
  5. Stack(int n = 4)
  6. {
  7. _a = (STDataType*)malloc(sizeof(STDataType) * n);
  8. if (nullptr == _a)
  9. {
  10. perror("malloc申请空间失败");
  11. return;
  12. }
  13. _capacity = n;
  14. _top = 0;
  15. }
  16. private:
  17. STDataType* _a; //指针(内置类型)
  18. size_t _capacity;//size_t(内置类型,本质是unsigned int)
  19. size_t _top; //size_t(内置类型)
  20. };
复制代码
  • 其构造函数是默认构造函数 (全缺省参数,不传参也能调用)。
  • 其成员变量都是内置类型 (_a是指针,_capacity和_top都是原生提供的无符号整数)。

假如把Stack的构造函数删掉 (不强制初始化),则编译器在运行时会自动生成一个默认构造函数,但他不会初始化_a、_capacity和_top,其运行结果是随机值 (初始值不确定),具体随机区间是由编译器运行环境的不同而决定。

总结:原代码中,Stack写了构造函数,所以 _a、_capacity和_top 会被显式初始化;如果不写构造,这些内置成员的值就是不确定的。

MyQueue类的构造 (自定义类型):

  1. class MyQueue
  2. {
  3. private:
  4. Stack pushst; //自定义类型成员(Stack类的对象)
  5. Stack popst; //自定义类型成员
  6. };
  7. int main()
  8. {
  9. MyQueue mq; //创建MyQueue对象
  10. return 0;
  11. }
复制代码
  • 其没有写构造函数,则编译器在运行时会自动生成一个默认构造函数。
  • 其成员变量都是自定义型 (pushst、popst都是自定义Stack类的对象)。

当创建 MyQueue mq; 时,该默认构造函数会自动依据Stack 类的默认构造函数 Stack (int n = 4) 来构造pushst和popst成员,将其_capacity设置为4,_top设置为0。

如果 Stack 类中不存在默认构造函数, 则 MyQueue 类的默认构造函数无法自动初始化 pushst 和 popst 成员,此时则需要使用初始化列表进行显示初始化成员变量。


三. 析构函数

析构函数与构造函数功能相反,它的核心作用并非销毁对象本身 (如局部对象的栈空间会随函数结束自动释放) ,而是在对象销毁时由 C++ 自动调用,完成对象中资源的清理与释放工作,其功能类似 Stack 类的 Destroy 方法;而像 Date 这类无资源需要释放的类,则不需要显式定义析构函数

下面借用一份代码来分点列举出构造函数的特点:

  1. #include<iostream>
  2. using namespace std;
  3. typedef int STDataType;
  4. class Stack
  5. {
  6. public:
  7. Stack(int n = 4)
  8. {
  9. _a = (STDataType*)malloc(sizeof(STDataType) * n);
  10. if (nullptr == _a)
  11. {
  12. perror("malloc申请空间失败");
  13. return;
  14. }
  15. _capacity = n;
  16. _top = 0;
  17. }
  18. ~Stack()
  19. {
  20. cout << "~Stack()" << endl;
  21. free(_a);
  22. _a = nullptr;
  23. _top = _capacity = 0;
  24. }
  25. private:
  26. STDataType* _a;
  27. size_t _capacity;
  28. size_t _top;
  29. };
  30. // 两个Stack实现队列
  31. class MyQueue
  32. {
  33. public:
  34. //编译器默认⽣成MyQueue的析构函数调⽤了Stack的析构,释放的Stack内部的资源
  35. // 显⽰写析构,也会⾃动调⽤Stack的析构
  36. /*~MyQueue()
  37. {
  38. free();
  39. cout << "~MyQueue()" << endl;
  40. }*/
  41. private:
  42. Stack pushst;
  43. Stack popst;
  44. };
  45. int main()
  46. {
  47. Stack st;
  48. MyQueue mq;
  49. return 0;
  50. }
复制代码

 析构函数的函数名由 “ ~ ” 加上类名构成。

  1. class Stack
  2. {
  3. public:
  4. //构造函数:类名
  5. Stack(int n = 4)
  6. {}
  7. //析构函数:~ + 类名
  8. ~Stack()
  9. {
  10. cout << "~Stack()" << endl;
  11. free(_a); //释放动态申请的内存
  12. _a = nullptr;
  13. _top = _capacity = 0;
  14. }
  15. };
复制代码

MyQueue 类里的 ~MyQueue() 也是同理。

 析构函数无参数,也无返回值,无需使用 void 声明。

  1. //正确写法:无参数、无返回值
  2. ~Stack()
  3. {}
  4. ~MyQueue()
  5. {}
  6. //错误写法:
  7. void ~Stack()
  8. {} //不能写void声明
  9. ~Stack(int n)
  10. {} //不能带参数
  11. int ~Stack()
  12. {
  13. return 0; //不能有返回值
  14. }
复制代码

C++ 规定:析构函数是自动调用的,无法手动传参,也不需要返回任何数据

一个类只能定义一个析构函数;若用户未显式定义,编译器会自动生成默认析构函数

  • 析构函数不能重载,一个类里只能有一个析构函数。
  • 如果你不写析构函数,编译器会自动生成一个默认析构函数,依然会正常助力你destroy。
  1. class MyQueue
  2. {
  3. public:
  4. //即使不写~MyQueue(),编译器也会自动生成默认析构函数
  5. ~MyQueue()
  6. {
  7. free();
  8. cout << "~MyQueue()" << endl;
  9. }
  10. private:
  11. Stack pushst;
  12. Stack popst;
  13. };
复制代码

 当对象的生命周期结束时,系统会自动调用其析构函数

  1. int main()
  2. {
  3. Stack st; //构造函数被调用
  4. MyQueue mq; //构造函数被调用
  5. return 0;
  6. }
复制代码

函数结束时析构函数析构顺序:

先析构 mq ,再析构mq中的 Stack pushst 和 Stack popst ,最后析构 st

 编译器自动生成的默认析构函数,对内置类型成员变量不做任何处理对自定义类型成员变量,会自动调用其所属类的析构函数

  • 对于内置类型成员 (Stack中的_a、_capacity、_top属于原生数据类型):默认析构函数不会处理,需要手动写析构函数释放资源。
  • 对于自定义类型成员 (MyQueue中的pushst、popst):默认析构函数可自动调用所属类的析构函数。

 即使用户显式定义了析构函数,类中的自定义类型成员变量依然会自动调用其析构函数,该行为不受用户定义析构函数的影响

  1. class MyQueue
  2. {
  3. public:
  4. ~MyQueue()
  5. {
  6. cout << "~MyQueue()" << endl;
  7. //即使这里不写任何代码,pushst和popst的~Stack()也会被自动调用
  8. }
  9. private:
  10. Stack pushst;
  11. Stack popst;
  12. };
复制代码

 若类中未申请动态资源,则无需显式定义析构函数,可直接使用编译器生成的默认版本;若类中申请了动态资源,则必须显式定义析构函数以释放资源,避免资源泄漏。

  • 对于 Date 类:成员变量都是内置类型,没有动态申请内存,不需要释放资源,所以可以不写析构函数,用编译器默认生成的就行。
  • 对于 Stack 类:用 malloc 申请了动态内存,必须自己写析构函数调用 free (),否则会造成内存泄漏。
  • 对于 MyQueue 类:它的资源都封装在 Stack 成员里,而 Stack 已经写了析构函数,所以 MyQueue 不写析构也不会内存泄漏。

 在同一局部域中定义的多个对象,析构顺序遵循 “后定义的对象先析构” 的规则。

  1. int main()
  2. {
  3. Stack st; //第1个创建
  4. MyQueue mq; //第2个创建
  5. return 0;
  6. }
复制代码

对于main函数中的两个对象:

  • 构造顺序:st 👉 mq
  • 析构顺序:mq 👉 st
  1. class MyQueue
  2. {
  3. private:
  4. Stack pushst; //第1个创建
  5. Stack popst; //第2个创建
  6. };
复制代码

对于 MyQueue 类中的两个成员:

  • 构造顺序:pushst 👉 popst
  • 析构顺序:popst 👉 pushst

四. 拷贝构造函数

如果一个构造函数的第一个参数是自身类类型的引用,且其他所有额外参数都带有默认值,那么这个构造函数就叫做拷贝构造函数,它是一种特殊的构造函数。

下面用两个代码来详细讨论拷贝构造函数的六个特点:

  1. #include<iostream>
  2. using namespace std;
  3. class Date
  4. {
  5. public:
  6. Date(int year = 1, int month = 1, int day = 1)
  7. {
  8. _year = year;
  9. _month = month;
  10. _day = day;
  11. }
  12. //编译报错:error C2652 : “Date”:⾮法的复制构造函数:第⼀个参数不应是“Date”
  13. //Date(Date d)
  14. Date(const Date& d)
  15. {
  16. _year = d._year;
  17. _month = d._month;
  18. _day = d._day;
  19. }
  20. Date(Date * d)
  21. {
  22. _year = d->_year;
  23. _month = d->_month;
  24. _day = d->_day;
  25. }
  26. void Print()
  27. {
  28. cout << _year << "-" << _month << "-" << _day << endl;
  29. }
  30. private:
  31. int _year;
  32. int _month;
  33. int _day;
  34. };
  35. void Func1(Date d)
  36. {
  37. cout << &d << endl;
  38. d.Print();
  39. }
  40. // Date Func2()
  41. Date& Func2()
  42. {
  43. Date tmp(2026, 4, 19);
  44. tmp.Print();
  45. return tmp;
  46. }
  47. int main()
  48. {
  49. Date d1(2026, 4, 19);
  50. //C++规定⾃定义类型对象进⾏拷⻉⾏为必须调⽤拷⻉构造,所以这⾥传值传参要调⽤拷⻉构造
  51. //所以这⾥的d1传值传参给d要调⽤拷⻉构造完成拷⻉,传引⽤传参可以较少这⾥的拷⻉
  52. Func1(d1);
  53. cout << &d1 << endl;
  54. //这⾥可以完成拷⻉,但是不是拷⻉构造,只是⼀个普通的构造
  55. Date d2(&d1);
  56. d1.Print();
  57. d2.Print();
  58. //这样写才是拷⻉构造,通过同类型的对象初始化构造,⽽不是指针
  59. Date d3(d1);
  60. d2.Print();
  61. //也可以这样写,这⾥也是拷⻉构造
  62. Date d4 = d1;
  63. d2.Print();
  64. //Func2返回了⼀个局部对象tmp的引⽤作为返回值
  65. //Func2函数结束,tmp对象就销毁了,相当于了⼀个野引⽤
  66. Date ret = Func2();
  67. ret.Print();
  68. return 0;
  69. }
复制代码
  1. #include<iostream>
  2. using namespace std;
  3. typedef int STDataType;
  4. class Stack
  5. {
  6. public:
  7. Stack(int n = 4)
  8. {
  9. _a = (STDataType*)malloc(sizeof(STDataType) * n);
  10. if (nullptr == _a)
  11. {
  12. perror("malloc申请空间失败");
  13. return;
  14. }
  15. _capacity = n;
  16. _top = 0;
  17. }
  18. Stack(const Stack& st)
  19. {
  20. //需要对_a指向资源创建同样⼤的资源再拷⻉值
  21. _a = (STDataType*)malloc(sizeof(STDataType) * st._capacity);
  22. if (nullptr == _a)
  23. {
  24. perror("malloc申请空间失败!!!");
  25. return;
  26. }
  27. memcpy(_a, st._a, sizeof(STDataType) * st._top);
  28. _top = st._top;
  29. _capacity = st._capacity;
  30. }
  31. void Push(STDataType x)
  32. {
  33. if (_top == _capacity)
  34. {
  35. int newcapacity = _capacity * 2;
  36. STDataType* tmp = (STDataType*)realloc(_a, newcapacity * sizeof(STDataType));
  37. if (tmp == NULL)
  38. {
  39. perror("realloc fail");
  40. return;
  41. }
  42. _a = tmp;
  43. _capacity = newcapacity;
  44. }
  45. _a[_top++] = x;
  46. }
  47. ~Stack()
  48. {
  49. cout << "~Stack()" << endl;
  50. free(_a);
  51. _a = nullptr;
  52. _top = _capacity = 0;
  53. }
  54. private:
  55. STDataType* _a;
  56. size_t _capacity;
  57. size_t _top;
  58. };
  59. //两个Stack实现队列
  60. class MyQueue
  61. {
  62. public:
  63. private:
  64. Stack pushst;
  65. Stack popst;
  66. };
  67. int main()
  68. {
  69. Stack st1;
  70. st1.Push(1);
  71. st1.Push(2);
  72. //Stack不显⽰实现拷⻉构造,⽤⾃动⽣成的拷⻉构造完成浅拷⻉
  73. //会导致st1和st2⾥⾯的_a指针指向同⼀块资源,析构时会析构两次,程序崩溃
  74. Stack st2 = st1;
  75. MyQueue mq1;
  76. //MyQueue⾃动⽣成的拷⻉构造,会⾃动调⽤Stack拷⻉构造完成pushst / popst
  77. //的拷⻉,只要Stack拷⻉构造⾃⼰实现了深拷⻉,他就没问题
  78. MyQueue mq2 = mq1;
  79. return 0;
  80. }
复制代码

 拷贝构造函数是构造函数的一个重载

拷贝构造函数本质上是构造函数的重载版本,它的唯一作用是:用一个已经存在的同类对象,初始化另一个新创建的对象

  1. class Date
  2. {
  3. public:
  4. //普通构造函数(带全缺省参数)
  5. Date(int year = 1, int month = 1, int day = 1)
  6. {
  7. _year = year;
  8. _month = month;
  9. _day = day;
  10. }
  11. //拷贝构造函数(构造函数的重载)
  12. Date(const Date& d)
  13. {
  14. _year = d._year;
  15. _month = d._month;
  16. _day = d._day;
  17. }
  18. };
复制代码
  • 无参构造函数、带参构造函数和全缺省构造函数与拷贝构造函数是重载关系,编译器会根据传入参数自动匹配。
  • 拷贝构造函数必须和类同名,且没有返回值,和普通构造函数的规则一致

调用场景:

  1. int main()
  2. {
  3. Date d1(2026, 4, 19); //调用普通构造函数
  4. Date d3(d1); //调用拷贝构造函数(直接初始化)
  5. Date d4 = d1; //调用拷贝构造函数(拷贝初始化)
  6. }
复制代码

注意:拷贝初始化和直接初始化,本质上都是用一个已有对象创建新对象,都会调用拷贝构造函数,只是写法和规则有区别:直接初始化用括号把原对象当参数传给构造函数,一步就完成创建,支持所有构造函数;拷贝初始化用等号,看着像赋值,语法上会先生成临时对象再拷贝,而且如果构造函数被 explicit 修饰,这种写法就会报错。

 拷贝构造函数的第一个参数必须是类类型对象的引用,使用传值方式会引发无穷递归调用,编译器直接报错;拷贝构造函数也可以有多个参数,但是第一个参数必须是类类型对象的引用,后面的参数必须有缺省值

如果第一个参数拷贝值写成Date(Date d)的形式,是传值传参,会导致无限递归

  1. //错误写法:编译报错
  2. Date(Date d)
  3. {
  4. _year = d._year;
  5. _month = d._month;
  6. _day = d._day;
  7. }
复制代码

报错原因:

  1. 如果拷贝构造函数是传值Date(Date d)的话,首先需要把实参d1传给形参d。
  2. 而传值传参本身也需要拷贝构造函数,所以用d1去初始化d。
  3. 这样无限循环往复,就会发生无穷递归。

  1. //正确写法
  2. Date(const Date& d)
  3. {
  4. _year = d._year;
  5. _month = d._month;
  6. _day = d._day;
  7. }
复制代码

拷贝构造函数可以有多个参数,但第一个参数必须是类类型的引用,后面的参数必须带有缺省值。

此处使用const既可以防止原对象被误修改,也可以兼容不同调用场景 (可接收普通对象、可接收const修饰对象、也可接收临时对象)。

 C++ 规定自定义类型对象进行拷贝行为必须调用拷贝构造,因此自定义类型传值传参和传值返回,都会调用拷贝构造完成

传值传参时:

  1. void Func1(Date d) //传值传参
  2. {
  3. cout << &d << endl;
  4. d.Print();
  5. }
  6. int main()
  7. {
  8. Date d1(2026, 4, 19);
  9. Func1(d1); //调用拷贝构造,用 d1 初始化形参 d
  10. return 0;
  11. }
复制代码

为什么传值传参会调用拷贝构造:
形参d和实参d1是两个分离的全新变量,有各自的内存地址,为了让二者内容一样,C++ 会调用拷贝构造函数,来让d1初始化d。

为什么传引用传参不会调用拷贝构造:

因为引用相当于是对d1起d的别名,未创建新对象,所以直接可以一一对应。

通过一串检查地址的代码来说明是否会发生调用拷贝构造:

  1. //传值传参
  2. void Func1(Date d)
  3. {
  4. cout << "形参d的地址:" << &d << endl;
  5. d.Print();
  6. }
  7. //传引用传参
  8. void Func2(const Date& d)
  9. {
  10. cout << "引用形参d的地址:" << &d << endl;
  11. d.Print();
  12. }
  13. int main()
  14. {
  15. Date d1(2026, 4, 19);
  16. cout << "主函数中d1的地址:" << &d1 << "\n" << endl;
  17. cout << "调用Func1(传值传参)" << endl;
  18. Func1(d1); //这里会调用拷贝构造
  19. cout << "\n" << "调用Func2(传引用传参)" << endl;
  20. Func2(d1); //这里不会调用拷贝构造
  21. return 0;
  22. }
复制代码

运行结果:

  • Func1中形参d地址和主函数中d1的地址不同,所以的是由拷贝构造而来的新对象。
  • Func2中形参d地址和主函数中d1的地址相同,所以d只是d1的别名,莫创建新对象,同样没有调用拷贝构造。

 若未显式定义拷贝构造,编译器会自动生成拷贝构造函数;自动生成的拷贝构造,对内置类型成员变量会完成值拷贝 (浅拷贝)对自定义类型成员变量调用其拷贝构造

内置类型成员变量执行值拷贝 (浅拷贝):

默认拷贝构造会对内置类型成员一个字节一个字节的复制,也就是直接把原对象的成员值原样拷贝到新对象中。

  • 比如Date类成员中的_year,_month,_day都是int类型,拷贝构造会直接将这些值复制过去。
  • 比如Stack类成员中的_a,_capacity,_top,默认拷贝构造会复制指针的值,这会导致两个对象的_a指向同一块内存,析构时会析构两次导致程序崩溃(下一点就说)。

自定义类型成员变量调用该成员的拷贝构造函数:

  1. class MyQueue
  2. {
  3. private:
  4. Stack pushst; //自定义类型成员
  5. Stack popst; //自定义类型成员
  6. };
  7. int main()
  8. {
  9. MyQueue mq1;
  10. MyQueue mq2 = mq1; //调用MyQueue的默认拷贝构造
  11. return 0;
  12. }
复制代码

因为MyQueue没有写属于他的拷贝构造函数,所以会自动从Stack中寻找拷贝构造函数,用以初始化pushst和popst。

 成员变量全为内置类型且无动态资源的类,编译器自动生成的拷贝构造即可满足需求,无需显式实现;成员变量包含指向动态资源的指针的类,编译器自动生成的浅拷贝无法满足需求,需要自己实现深拷贝;内部主要为自定义类型成员的类,编译器自动生成的拷贝构造会调用成员所属类的拷贝构造,无需显式实现;若一个类显式实现了释放资源的析构函数,则需要显式实现拷贝构造函数

成员变量全为内置类型且无动态资源的类:

比如Date类的成员变量都是内置类型,没有指向任何动态申请的资源,默认的浅拷贝完全满足需求,所以不需要显式实现拷贝构造。

  1. class Date
  2. {
  3. private:
  4. int _year;
  5. int _month;
  6. int _day;
  7. };
复制代码

成员变量包含指向动态资源的指针的类:

Stack类中的 _a 指针指向堆上动态申请的内存,默认的浅拷贝会导致程序崩溃的问题:

  1. class Stack
  2. {
  3. public:
  4. Stack(int n = 4)
  5. {
  6. _a = (STDataType*)malloc(sizeof(STDataType) * n);
  7. _capacity = n;
  8. _top = 0;
  9. }
  10. ~Stack()
  11. {
  12. free(_a); //析构时释放内存
  13. _a = nullptr;
  14. }
  15. private:
  16. STDataType* _a; //指向堆内存的指针
  17. size_t _capacity;
  18. size_t _top;
  19. };
  20. int main()
  21. {
  22. Stack st1;
  23. st1.Push(1);
  24. st1.Push(2);
  25. Stack st2 = st1; //默认浅拷贝
  26. //st1._a和st2._a指向同一块堆内存
  27. return 0;
  28. }
复制代码

程序结束后,st2和st1会先后发生析构,两次调用的free(_a)指向同一块内存,相当于同一块内存析构了两次,程序直接寄了。

解决方案 (自行实现深拷贝):

深拷贝的关键是为新对象重新申请独立的内存,再拷贝数据。

  1. Stack(const Stack& st)
  2. {
  3. //申请一块和原来一样大的独立内存块
  4. _a = (STDataType*)malloc(sizeof(STDataType) * st._capacity);
  5. if (nullptr == _a)
  6. {
  7. perror("malloc申请空间失败!!!");
  8. return;
  9. }
  10. //把原对象的数据拷贝到新内存中
  11. memcpy(_a, st._a, sizeof(STDataType) * st._top);
  12. //拷贝其他成员变量
  13. _top = st._top;
  14. _capacity = st._capacity;
  15. }
复制代码

实现深拷贝后,st1和st2的_a分别指向不同的内存块,析构的时候也是释放各自的内存块,不会再出现之前的情况。

内部主要为自定义类型成员的类:

比如MyQueue类,自身类中都是自定义类型成员,又因为其封装在Stack类中,所以在Stack可以正确的调用拷贝构造函数的时候,MyQueue就无所事事了。

  1. class MyQueue
  2. {
  3. private:
  4. Stack pushst;
  5. Stack popst;
  6. };
  7. int main()
  8. {
  9. MyQueue mq1;
  10. MyQueue mq2 = mq1; //调用默认拷贝构造
  11. return 0;
  12. }
复制代码

默认拷贝构造会调用Stack的深拷贝,给pushst和popst分别实现创建独立内存块进行深拷贝,不会出现析构问题。

 传值返回产生临时对象并调用拷贝构造引用返回直接返回对象别名,不产生拷贝,但不能返回当前函数局部域的局部对象,否则会形成野引用引用返回可以减少拷贝,但需确保返回对象在函数结束后仍然存在

传值返回:

  1. Date Func2()
  2. {
  3. Date tmp(2026, 4, 19);
  4. return tmp; //传值返回,调用拷贝构造生成临时对象
  5. }
  6. int main()
  7. {
  8. Date ret = Func2(); //用临时对象拷贝构造ret
  9. return 0;
  10. }
复制代码
  • 传值返回会创建一个临时对象,需要调用拷贝构造函数,存在性能开销。
  • 临时对象在拷贝完成后会被销毁,不会出现野引用问题。

传引用返回 (错误):

  1. Date& Func2() 、
  2. {
  3. Date tmp(2026, 4, 19); //局部对象,函数结束时销毁
  4. return tmp; //错误:返回局部对象的引用
  5. }
  6. int main()
  7. {
  8. Date ret = Func2(); //访问已经销毁的tmp,行为未定义
  9. ret.Print();
  10. return 0;
  11. }
复制代码

函数结束时,局部对象tmp会被销毁,返回的引用会变成野引用,访问它会导致程序崩溃。

传引用返回 (正确):

  1. //返回传入的参数对象
  2. Date& Func4(Date& d)
  3. {
  4. d.Print();
  5. return d; //传入的对象由调用者管理,函数结束后依然存在
  6. }
复制代码

引用返回可以避免拷贝,性能更高,但必须确保返回的对象在函数结束后依然存在。


五. 赋值运算符重载

1. 运算符重载

 当运算符被用于类类型对象时,C++ 允许通过运算符重载为其指定新含义。类对象使用运算符时,编译器会自动转换为调用对应的运算符重载函数,没有对应重载则编译报错。

  1. //Date类重载==运算符
  2. bool operator==(const Date& d)
  3. {
  4. return _year == d._year && _month == d._month && _day == d._day;
  5. }
  6. int main()
  7. {
  8. Date d1(2026, 4, 19), d2(2026, 4, 20);
  9. d1 == d2; //编译器自动转换为:d1.operator==(d2);
  10. }
复制代码

" == " 原本是内置类型的运算符,此处被Date重载后,转换为调用对应的运算符重载函数 (bool operator==(const Date& d) ),如果不写Date的这个运算符重载函数,则编译会报错。

 运算符重载是特殊的函数,名字由 operator + 运算符 构成,和普通函数一样,有返回值、参数列表和函数体

  1. //全局运算符重载
  2. bool operator==(const Date& d1, const Date& d2)
  3. {
  4. return d1._year == d2._year && d1._month == d2._month && d1._day == d2._day;
  5. }
  6. //成员运算符重载
  7. Date& operator++()
  8. {
  9. //日期自增逻辑
  10. return *this;
  11. }
复制代码

 重载运算符的参数个数和运算符作用的运算对象数量一致。一元运算符有 1 个参数,二元运算符有 2 个参数。二元运算符左侧对象传给第一个参数右侧对象传给第二个参数

  1. //二元运算符==,全局重载:2个参数(左右两个对象)
  2. bool operator==(const Date& d1, const Date& d2);
  3. //一元运算符前置++,成员重载:0个显式参数(this指针是隐式参数)
  4. Date& operator++();
  5. //一元运算符后置++,成员重载:1个int形参(占位区分)
  6. Date operator++(int);
复制代码

一元运算符 ++ 只有一个运算对象,所以成员重载时有显式参数和无显式参数都可以。

二元操作符 == 有两个运算对象,所以全局重载需要两个显式参数。

 如果运算符重载是成员函数,第一个运算对象会默认传给隐式的 this 指针,因此参数数量比运算对象数少1个。

  1. class Date
  2. {
  3. public:
  4. //成员形式的==重载,参数只有1个(右侧对象),this指针接收左侧对象
  5. bool operator==(const Date& d)
  6. {
  7. return _year == d._year && _month == d._month && _day == d._day;
  8. }
  9. };
  10. int main()
  11. {
  12. Date d1(2026, 4, 19), d2(2026, 4, 19);
  13. d1 == d2; //等价于:d1.operator==(d2);
  14. }
复制代码

隐式参数this指针指向左操作数d1,d是右操作数d2,所以参数数量比运算对象数少一个。

 运算符重载后,优先级和结合性与对应的内置类型运算符保持一致,不会改变。

比如 + 的优先级低于 *,为类重载后,a + b * c 依然先算 b * c,再算 a + 结果,和内置类型的规则完全相同。

 不能通过连接语法中没有的符号创建新运算符(如 operator@);也有5个运算符不能重载 .*  ::  sizeof  ?:  .

.* 成员指针访问运算符:用来通过成员函数指针调用类的成员函数

  1. class A
  2. {
  3. public:
  4. void func()
  5. {
  6. cout << "A::func" << endl;
  7. }
  8. };
  9. int main()
  10. {
  11. void (A::*pf)() = &A::func; //成员函数指针
  12. A aa;
  13. (aa.*pf)(); //用.*调用成员函数
  14. return 0;
  15. }
复制代码

:: 作用域解析运算符:用来指明名字的所属范围 (命名空间、类名)

  1. std::cout << "hello"; //访问std命名空间里的cout
  2. Date::operator==(d1, d2); //调用Date类的成员函数
复制代码

sizeof 运算符:用来计算一个类型或变量所占的字节数。

  1. int a;
  2. cout << sizeof(a) << endl; //输出4(假设32位int)
  3. cout << sizeof(int) << endl; //输出4
复制代码

?: 三目运算符:用来做条件判断的。

  1. int max = (a > b) ? a : b; //取a和b中较大的值
复制代码

. 成员访问限定符:用来访问对象的成员变量或成员函数。

  1. Date d;
  2. d.Print(); //访问成员函数
  3. //若_year是public成员
  4. cout << d._year << endl;
复制代码

重载运算符至少要有一个类类型参数,不能通过运算符重载改变内置类型的含义(如 int operator + (int x, int y) 是错误的) 。

  1. //错误
  2. // int operator+(int x, int y) //两个参数都是int,没有类类型
  3. //{
  4. // return x - y; //试图把+操作改为-操作
  5. // }
  6. //正确
  7. Date operator+(const Date& d, int days);
复制代码

 一个类需要重载哪些运算符,取决于重载后是否有意义。比如 Date 类重载 operator - (计算日期差) 有意义,但重载 operator + (日期 + 日期) 就没意义。

  1. //有意义的重载: 日期-日期,计算天数差
  2. int operator-(const Date& d1, const Date& d2);
  3. //无意义的重载: 日期+日期,有啥用啊
  4. //Date operator+(const Date& d1, const Date& d2);
复制代码

++ 有前置和后置两种形式,重载函数名都是 operator++,为了区分,C++ 规定后置 ++ 增加一个 int 形参,和前置 ++ 构成重载

  1. class Date
  2. {
  3. public:
  4. //前置++: 无额外参数
  5. Date& operator++()
  6. {
  7. //日期+1天
  8. return *this;
  9. }
  10. //后置++; 增加int形参
  11. Date operator++(int)
  12. {
  13. Date tmp = *this;
  14. //日期+1天
  15. return tmp;
  16. }
  17. };
  18. int main()
  19. {
  20. Date d(2026, 4, 19);
  21. ++d; //调用前置++:d.operator++();
  22. d++; //调用后置++:d.operator++(0); //编译器自动传0占位
  23. }
复制代码

 重载 << 和 >> 时,必须重载为全局函数。如果重载为成员函数,this指针会默认抢占第一个形参位置,导致调用时变成 对象 << this ,不符合使用习惯。重载为全局函数时,把 ostream / istream 放到第一个形参位置,类对象放到第二个参数

  1. //正确写法:全局重载<<
  2. ostream& operator<<(ostream& os, const Date& d)
  3. {
  4. os << d._year << "-" << d._month << "-" << d._day;
  5. return os;
  6. }
  7. //错误写法:成员重载<<,调用会变成d<<cout,不符合习惯
  8. // ostream& operator<<(ostream& os)
  9. //{
  10. // os << _year << "-" << _month << "-" << _day;
  11. // return os;
  12. // }
  13. int main()
  14. {
  15. Date d(2026, 4, 19);
  16. cout << d; //等价于:operator<<(cout, d); 符合使用习惯
  17. }
复制代码

错误写法错误原因:

ostream& operator<<(ostream& os) 实际是 ostream& operator<<(Date* this, ostream& os)

当写 cout << d 时,编译器会尝试匹配 operator << (cout, d),但成员函数的顺序是 (this, os),也就是 (d, cout),与其对应的形式相反(d << cout ≠ cout << d),所以在编译主函数中所写的 cout << d时会报错。


2. 赋值运算符重载 

赋值运算符重载是一个默认成员函数,用于完成两个已经存在的对象直接的拷贝赋值,这里要注意跟拷贝构造区分,拷贝构造用于一个对象拷贝初始化给另一个要创建的对象 (一个存在一个不存在)

  1. Date d2(d1); //拷贝构造:创建新对象,用d1初始化d2
  2. Date d3 = d1; //拷贝构造:用d1初始化d3
  3. d1 = d4; //赋值重载:修改已存在的d1,把d4的值赋给它
复制代码

下面借用一份代码来分点列举出构造函数的特点:

  1. #include <iostream>
  2. using namespace std;
  3. class Date
  4. {
  5. public:
  6. Date(int year = 1, int month = 1, int day = 1)
  7. {
  8. _year = year;
  9. _month = month;
  10. _day = day;
  11. }
  12. Date(const Date& d)
  13. {
  14. cout << " Date(const Date& d)" << endl;
  15. _year = d._year;
  16. _month = d._month;
  17. _day = d._day;
  18. }
  19. // 传引⽤返回减少拷⻉
  20. // d1 = d2;
  21. Date& operator=(const Date& d)
  22. {
  23. // 不要检查⾃⼰给⾃⼰赋值的情况
  24. if (this != &d)
  25. {
  26. _year = d._year;
  27. _month = d._month;
  28. _day = d._day;
  29. }
  30. // d1 = d2表达式的返回对象应该为d1,也就是* this
  31. return *this;
  32. }
  33. void Print()
  34. {
  35. cout << _year << "-" << _month << "-" << _day << endl;
  36. }
  37. private:
  38. int _year;
  39. int _month;
  40. int _day;
  41. };
  42. int main()
  43. {
  44. Date d1(2024, 7, 5);
  45. Date d2(d1);
  46. Date d3(2024, 7, 6);
  47. d1 = d3;
  48. // 需要注意这⾥是拷⻉构造,不是赋值重载
  49. // 请牢牢记住赋值重载完成两个已经存在的对象直接的拷⻉赋值
  50. // ⽽拷⻉构造⽤于⼀个对象拷⻉初始化给另⼀个要创建的对象
  51. Date d4 = d1;
  52. return 0;
  53. }
复制代码

① 赋值运算符重载必须作为成员函数实现;其参数建议为当前类类型的const引用,否则传值传参会产生拷贝。

赋值运算符 operator= 是特殊的运算符,C++ 规定它必须作为类的成员函数,不能重载为全局函数;参数建议写成 const + 当前类类型& ,避免传值带来的拷贝开销。

  1. class Date
  2. {
  3. public:
  4. //赋值运算符重载(成员函数形式)
  5. Date& operator=(const Date& d)
  6. { //参数是const引用
  7. if (this != &d)
  8. { //不要检查⾃⼰给⾃⼰赋值的情况
  9. _year = d._year;
  10. _month = d._month;
  11. _day = d._day;
  12. }
  13. return *this;
  14. }
  15. };
复制代码
  • 赋值运算符的语义是修改已存在的对象,而全局函数无法访问隐士 this 指针,不能直接修改对象状态,因此C++强制要求它作为成员函数。
  • 传引用可以减少一次拷贝构造的调用 (也可以用传引用传参,就是多一次拷贝构造调用),提升效率,且const 保证不会修改传入的原对象,语义安全,也能接收 const 对象、临时对象作为右值。

② 赋值运算符重载需要有返回值,建议返回当前类类型的引用;引用返回可提高效率,有返回值是为了支持连续赋值场景

赋值运算符必须有返回值,建议返回 *this(当前对象的引用),目的是支持连续赋值(如 d1 = d2 = d3),同时减少拷贝开销。

  1. Date& operator=(const Date& d)
  2. {
  3. if (this != &d)
  4. {
  5. _year = d._year;
  6. _month = d._month;
  7. _day = d._day;
  8. }
  9. return *this; //返回当前对象的引用
  10. }
复制代码
  • 当写 d1 = d2 = d3 时,编译器会从右往左运行,先执行 d2 = d3,然后返回 d2的引用,之后执行 d1 = (d2 的 引用) 。
  • 如果返回值类型时Date (传值返回),则会多一次拷贝构造调用,而用Date& (传引用返回)可以直接返回该对象本身,少一次调用性能消耗。

③ 未显式实现时,编译器会自动生成默认赋值运算符重载;默认赋值运算符重载的行为与默认拷贝构造函数类似,对内置类型成员变量完成值拷贝 (浅拷贝)对自定义类型成员变量调用其赋值重载函数

  1. //即使不写operator=,编译器也会生成默认版本
  2. Date& operator=(const Date& d)
  3. {
  4. _year = d._year;
  5. _month = d._month;
  6. _day = d._day;
  7. return *this;
  8. }
复制代码
  • Date 类的成员都是 int 这种内置类型,默认赋值运算符会直接把d的成员值拷贝到当前对象中
  • 对于包含自定义类型成员的类 (如 MyQueue 包含 Stack 成员),默认赋值运算符会自动调用 Stack 类的 operator=,为每个成员完成赋值。

④ 对于成员变量全为内置类型且无动态资源的类,如Date,编译器自动生成的赋值运算符重载可满足需求,无需显式实现;对于成员变量包含指向动态资源指针的类,如 Stack,默认的浅拷贝赋值运算符重载不符合需求,需要显式实现深拷贝;对于内部主要为自定义类型成员的类,比如MyQueue,编译器自动生成的赋值运算符重载会调用成员所属类的赋值运算符重载,无需显式实现;若一个类显式实现了释放资源的析构函数,则需要显式实现赋值运算符重载  (参考析构函数特点的第⑦条)

成员变量全为内置类型且无动态资源的类 (Date):完全不需要显式实现赋值运算符重载。

  1. class Date
  2. {
  3. private:
  4. int _year; //内置类型
  5. int _month; //内置类型
  6. int _day; //内置类型
  7. };
复制代码
  1. //编译器自动生成的默认operator=
  2. Date& operator=(const Date& d)
  3. {
  4. _year = d._year;
  5. _month = d._month;
  6. _day = d._day;
  7. return *this;
  8. }
复制代码

这类类的成员全是 int 这样的内置类型,没有指向任何堆上的动态内存,编译器自动生成的默认赋值运算符,会直接做一个字节一个字节的拷贝 (浅拷贝)。

成员变量包含指向动态资源指针的类 (Stack):必须显式实现深拷贝的赋值运算符重载

  1. class Stack
  2. {
  3. private:
  4. int* _a; //指向堆上动态内存的指针
  5. size_t _top;
  6. size_t _capacity;
  7. };
复制代码
  1. //编译器自动生成的默认operator=(危险!)
  2. Stack& operator=(const Stack& st)
  3. {
  4. _a = st._a; //两个对象的_a指向同一块堆内存!
  5. _top = st._top;
  6. _capacity = st._capacity;
  7. return *this;
  8. }
复制代码
  1. Stack& operator=(const Stack& st)
  2. {
  3. if (this != &st)
  4. {
  5. free(_a);
  6. _a = (int*)malloc(sizeof(int) * st._capacity);
  7. memcpy(_a, st._a, sizeof(int) * st._top);
  8. _top = st._top;
  9. _capacity = st._capacity;
  10. }
  11. return *this;
  12. }
复制代码

这类类里有_a这样的指针,指向你用malloc申请的堆内存,编译器自动生成的默认赋值运算符,只会浅拷贝指针的值,也就是把_a直接复制过去,这不就是之前析构函数中提到的会导致同一块内存会被析构两次导致程序崩溃的问题,所以应该自己写一个深拷贝函数进行赋值运算符重载。

内部主要为自定义类型成员的类 (MyQueue)

  1. class MyQueue
  2. {
  3. private:
  4. Stack pushst; //自定义类型成员
  5. Stack popst; //自定义类型成员
  6. };
复制代码
  1. //编译器自动生成的默认operator=
  2. MyQueue& operator=(const MyQueue& mq)
  3. {
  4. pushst = mq.pushst; //调用Stack的operator=
  5. popst = mq.popst; //调用Stack的operator=
  6. return *this;
  7. }
复制代码

MyQueue 自己没有动态资源,所有资源都封装在 Stack 成员里,编译器自动生成的默认赋值运算符,会自动调用每个成员所属类的赋值运算符重载。只要 Stack 类自己实现了正确的深拷贝赋值运算符,MyQueue 的默认赋值就完全安全,不会出现重复释放的问题。


3. 日期类实现

先列出整个日期类实现的蓝图:

  1. #pragma once
  2. #include<iostream>
  3. using namespace std;
  4. #include<assert.h>
  5. class Date
  6. {
  7. // 友元函数声明:重载流运算符,让cout/cin可以直接操作Date对象
  8. friend ostream& operator<<(ostream& out, const Date& d);
  9. friend istream& operator>>(istream& in, Date& d);
  10. public:
  11. // 构造函数:默认值参数,支持无参/单参/多参构造
  12. Date(int year = 2004, int month = 7, int day = 28);
  13. // 打印日期的const成员函数,支持const对象调用
  14. void Print() const;
  15. // 获取指定月份的天数(静态函数,不依赖对象状态)
  16. int GetMonthDay(int year, int month)
  17. {
  18. assert(month > 0 && month < 13);
  19. static int monthDayArray[13] = { -1, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
  20. // 闰年2月特殊处理
  21. if (month == 2 && ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)))
  22. {
  23. return 29;
  24. }
  25. else
  26. {
  27. return monthDayArray[month];
  28. }
  29. }
  30. // 日期合法性校验
  31. bool CheckDate();
  32. // 比较运算符重载
  33. bool operator<(const Date& d) const;
  34. bool operator<=(const Date& d) const;
  35. bool operator>(const Date& d) const;
  36. bool operator>=(const Date& d) const;
  37. bool operator==(const Date& d) const;
  38. bool operator!=(const Date& d) const;
  39. // 日期+/-天数(复合赋值与普通运算符)
  40. Date& operator+=(int day);
  41. Date operator+(int day) const;
  42. Date& operator-=(int day);
  43. Date operator-(int day) const;
  44. // 两个日期相减,计算相差天数
  45. int operator-(const Date& d) const;
  46. // 自增/自减运算符重载(前置+后置)
  47. Date& operator++(); // 前置++
  48. Date operator++(int); // 后置++,int是占位参数,用于区分重载
  49. Date& operator--(); // 前置--
  50. Date operator--(int); // 后置--
  51. private:
  52. int _year;
  53. int _month;
  54. int _day;
  55. };
  56. // 流运算符重载声明(全局友元)
  57. ostream& operator<<(ostream& out, const Date& d);
  58. istream& operator>>(istream& in, Date& d);
复制代码

对于蓝图中的默认构造函数 Date(int year = 2004, int month = 7, int day = 28); 支持Date d1; → (2004, 7, 28)、Date d2(2026); → (2026, 7, 28)、Date d3(2026, 4, 25); → (2026, 4, 25)这三种构造方式。

const成员函数:void Print() const 和所有比较运算符都加了 const 修饰,保证函数不会修改对象状态,同时支持 const Date 对象调用。

对于后置 ++ / -- 的 int 占位参数,运算符重载的第九个特点提到:为了区分,C++ 规定后置 ++ 增加一个 int 形参,和前置 ++ 构成重载,-- 同理

日期合法性校验:
  1. bool Date::CheckDate()
  2. {
  3. if (_month < 1 || _month > 12
  4. || _day < 1 || _day > GetMonthDay(_year, _month))
  5. {
  6. return false;
  7. }
  8. else
  9. {
  10. return true;
  11. }
  12. }
复制代码

要求月数必须在1~12之间,且调用GetMonthDay函数要求天数必须在1到当月最大天数之间,且闰年非闰年也由GetMonthDay函数来判断。

构造函数与打印函数:
  1. Date::Date(int year, int month, int day)
  2. {
  3. _year = year;
  4. _month = month;
  5. _day = day;
  6. if (!CheckDate())
  7. {
  8. cout << "日期非法" << endl;
  9. }
  10. }
  11. void Date::Print() const
  12. {
  13. cout << _year << "-" << _month << "-" << _day << endl;
  14. }
复制代码

通过CheckDate的日期合法性检查函数来判断输入的或者原始构造函数的日期是否合法,并cout输出。

日期 +/ -天 :
  1. Date& Date::operator+=(int day) //+= 时自身值需要改变
  2. {
  3. if (day < 0)
  4. {
  5. return *this -= -day; //复用-=,处理负数天数
  6. }
  7. _day += day;
  8. while (_day > GetMonthDay(_year, _month))
  9. {
  10. _day -= GetMonthDay(_year, _month);
  11. ++_month;
  12. if (_month == 13)
  13. {
  14. ++_year;
  15. _month = 1;
  16. }
  17. }
  18. return *this;
  19. }
复制代码

核心逻辑:每次加上天数后,通过GetMonthDay函数判断月数天数合法性,如果天数超了当前月份的最大天数,则借一位月数 (月数 + 1),且要加的总天数 - 当前月份最大天数;如果月数超超了12月,则年数+1,且月数变为1月。 若一个月不够加,则通过while循环不断借一位月数或年数来判断。

  1. Date Date::operator+(int day) const // + 时自身值不需要改变
  2. {
  3. Date tmp = *this;
  4. tmp += day; //复用operator+=
  5. return tmp;
  6. }
复制代码

核心逻辑:因为单+时自身不需要改变,所以创建一个临时变量来存储结果,且复用 += 操作来渐简便代码。

  1. Date& Date::operator-=(int day) //-= 需要改变自身值
  2. {
  3. if (day < 0)
  4. {
  5. return *this += -day; //复用+=,处理负数天数
  6. }
  7. _day -= day;
  8. while (_day <= 0)
  9. {
  10. --_month;
  11. if (_month == 0)
  12. {
  13. _month = 12;
  14. _year--;
  15. }
  16. //借上一个月的天数
  17. _day += GetMonthDay(_year, _month);
  18. }
  19. return *this;
  20. }
复制代码

核心逻辑:每次减去天数后,通过GetMonthDay函数判断月数天数合法性,如果天数小于等于0,则借一位月数,月数 - 1,且判断月数是否减到0,如是则借一位年数,年数 - 1,月重定为 12,且要减的天数加上上一个月总共的天数。若一个月不够减,则通过while循环不断借一位月数或年数来判断。

  1. Date Date::operator-(int day) const
  2. {
  3. Date tmp = *this;
  4. tmp -= day; //复用operator-=
  5. return tmp;
  6. }
复制代码

核心逻辑:因为单-时自身不需要改变,所以创建一个临时变量来存储结果,且复用 -= 操作来简便代码。

日期前置 / 后置自增 / 自减:
  1. Date& Date::operator++() //前置++
  2. {
  3. *this += 1; //复用+=1
  4. return *this;
  5. }
  6. Date& Date::operator--() //前置--
  7. {
  8. *this -= 1; //复用-=1
  9. return *this;
  10. }
复制代码

前置操作先修改再返回,且复用 -= / -= 操作来简便代码

  1. Date Date::operator++(int) //后置++
  2. {
  3. Date tmp(*this); //保存修改前的状态
  4. *this += 1; //修改当前对象
  5. return tmp; //返回修改前的状态
  6. }
  7. Date Date::operator--(int) //后置--
  8. {
  9. Date tmp(*this);
  10. *this -= 1;
  11. return tmp;
  12. }
复制代码

后置操作先返回再修改,且复用 -= / -= 操作来简便代码

比较运算符重载:(全是复用)
  1. bool Date::operator<(const Date& d) const //基础比较:d1 < d2
  2. {
  3. if (_year < d._year)
  4. {
  5. return true;
  6. }
  7. else if (_year == d._year)
  8. {
  9. if (_month < d._month)
  10. {
  11. return true;
  12. }
  13. else if (_month == d._month)
  14. {
  15. return _day < d._day;
  16. }
  17. }
  18. return false;
  19. }
  20. bool Date::operator==(const Date& d) const //d1 == d2:直接比较年月日
  21. {
  22. return _year == d._year
  23. && _month == d._month
  24. && _day == d._day;
  25. }
  26. bool Date::operator<=(const Date& d) const //d1 <= d2:复用 < 和 ==
  27. {
  28. return *this < d || *this == d;
  29. }
  30. bool Date::operator>(const Date& d) const //d1 > d2:复用 <= 的取反
  31. {
  32. return !(*this <= d);
  33. }
  34. bool Date::operator>=(const Date& d) const //d1 >= d2:复用 < 的取反
  35. {
  36. return !(*this < d);
  37. }
  38. bool Date::operator!=(const Date& d) const //d1 != d2:复用==的取反
  39. {
  40. return !(*this == d);
  41. }
复制代码

细心观察就可以发现,这一堆判断只需要写出 == 和 < 的判断操作之后,就可以疯狂复用简化代码了。

两个日期相减:
  1. int Date::operator-(const Date& d) const
  2. {
  3. Date max = *this;
  4. Date min = d;
  5. int flag = 1;
  6. if (*this < d) //确保max是较大的日期,min是较小的日期
  7. {
  8. max = d;
  9. min = *this;
  10. flag = -1; //标记结果为负数
  11. }
  12. int n = 0;
  13. while (min != max)
  14. {
  15. ++min; //复用前置++,每次加1天
  16. ++n;
  17. }
  18. return n * flag;
  19. }
复制代码

核心逻辑:通过循环将min的日期每次 + 1,直到等于max的日期,统计循环次数就是相差天数。

流运算符重载 (输入 / 输出):
  1. istream& operator>>(istream& in, Date& d)
  2. {
  3. cout << "请依次输入年月日:>";
  4. in >> d._year >> d._month >> d._day;
  5. if (!d.CheckDate())
  6. {
  7. cout << "日期非法" << endl;
  8. }
  9. return in;
  10. }
复制代码

自动调用CheckDate来检查日期合法性。

  1. ostream& operator<<(ostream& out, const Date& d)
  2. {
  3. out << d._year << "年" << d._month << "月" << d._day << "日" << endl;
  4. return out;
  5. }
复制代码

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?立即注册

×
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

中国红客联盟公众号

联系站长QQ:5520533

admin@chnhonker.com
Copyright © 2001-2026 Discuz Team. Powered by Discuz! X3.5 ( 粤ICP备13060014号 )|天天打卡 本站已运行