【C++】从C到C++、从面向过程到面向对象（类与对象）

文章目录

C++入门知识
C与C++的关系
1. 类的引入：从结构体到类
2. 类的声明和定义
3. 类的作用域
4. 类的访问限定符
5. 面向对象特性之一：封装
6. 类的实例化：对象
7. 计算类对象的内存大小
8. 成员函数中暗藏的this指针
9. 类的六个默认生成的成员函数
- 9.1 构造函数
- 在声明时给成员变量默认值
- 9.2 析构函数
- 9.3 拷贝构造函数
- 运算符重载
- 9.4 赋值重载
- 区分拷贝构造和赋值重载
- 9.5 取地址重载（了解）
- 最后总结默认成员函数机制

C++入门知识

C++内联函数与宏的对比
C++引用与指针的对比
C++nullptr与NULL的对比
C++auto关键字
C++函数缺省参数
C++函数重载

C与C++的关系

C语言是面向过程（procedure-oriented）的语言，分析出求解问题的步骤，通过函数调用逐步解决问题。C++是面向对象（object-oriented）的语言，将一件事情拆分成不同的对象，靠对象之间的交互完成。

C与C++的关系是：C++即C Plus Plus，是C语言的扩展，文件后缀是.cpp。C程序可以在C++编译器下编译和运行，也就是说编写C++程序可以完全用C的语法去写。

1. 类的引入：从结构体到类

C语言结构体中只能定义变量，在C++中结构体内不仅可以定义变量，也可以定义函数，C++的结构体已经升级到了类（class）的概念。

struct Person {
	char name[20];
	int age;
	char gender;
	int height;
	int weight;

	void showInfo() {
		cout << name << " - " << age << " - " << gender << endl;
	}

	void sleep() {
		
	}

	void washCloth() {

	}

	void readBook() {

	}

	void work() {

	}

	void study() {

	}
};

C++中的struct可以这么做是因为需要兼容C，可以这么认为，类是结构体的升级，事实上C++更喜欢用class关键字表示一个类：

class Person
{
	// 类体由成员变量和成员函数组成
};

在C++中用struct表示类与用class表示类有访问权限的区别，在后面的“类的访问权限”部分中会讲到。

2. 类的声明和定义

类有两种定义方式：

成员声明和定义全部放在类体中，需要注意的是：成员函数放在类体中一起声明和定义，编译器会将这个函数当成内联函数处理。
声明和定义分开，仅成员的声明放在类体，且是写在头文件中；而成员函数的定义是写在另外一个.cpp文件中的，推荐使用这种方式。

3. 类的作用域

类定义了一个新的作用域，在类体外定义成员时，需要使用 ::，::是作用域操作符，指明成员属于哪个类域。

// Person.h
class Person {
	char name[20];
	int age;
	char gender;
	int height;
	int weight;

	void showInfo();
	void sleep();
	void washCloth();
	void readBook();
	void work();
	void study();
};

// Person.cpp
void Person::showInfo() {
	cout << name << " - " << age << " - " << gender << endl;
}

4. 类的访问限定符

访问限定符用于确定类成员的访问权限：

public：被public修饰的成员在类外可以被访问；
protected：被protected修饰的成员在类外不能被访问，但可以在继承的子类中被访问；
private：被private修饰的成员在类外不能被访问。

如果用struct声明和定义一个类，这个类中所有成员的默认访问权限为public，这是因为需要兼容C，C并没有访问限定符这个语法规则。使用class声明和定义一个类，成员的默认访问权限为private。

5. 面向对象特性之一：封装

面向对象的三大特性：封装、继承、多态。封装是通过private（私有的访问权限）来隐藏对象内部的属性和实现细节，控制哪些函数可以在类外部直接被使用，仅对外公开接口来和对象进行交互。

比如对于电脑这样一个复杂的设备，提供给用户的就只有开关机键、通过键盘输入，显示器，USB插孔等，让用户和计算机进行交互。对于计算机使用者而言，不用关心内部核心部件，主板上线路是如何布局的，CPU内部是如何设计的。

class Person {
private:
	char name[20];
	int age;
	char gender;
	int height;
	int weight;
public:
	void showInfo();
	void sleep();
	void washCloth();
	void readBook();
	void work();
	void study();
};

6. 类的实例化：对象

类是对一个事物进行描述，是一个模型，定义出一个类并没有并没有分配实际的内存空间存储它。使用一个类，需要用这个类创建对象，这个过程称为“类的实例化”。一个类可以实例化出多个对象，实例化出的对象占用实际的内存空间，存储类的成员变量。

比如上面的Person类例子，对这个Person类实例化：

Person zhangsan;
Person lisi;
Person wangwu;

7. 计算类对象的内存大小

类中既可以有成员变量，又可以有成员函数，那么一个类的对象中包含了什么？如何计算
一个类的大小？

其实计算对象的内存大小与计算结构体的大小方法一致，也就是有内存对齐的规则，可以看这篇文章计算结构体的大小了解。也就是说计算对象的内存大小，其实就是计算类的成员变量大小，不包含成员函数。成员函数不会包括在内，是因为成员函数是n个对象共用的，所以存放在公共代码区给这个类的多个对象共用。

在这里插入图片描述

空类比较特殊，它也有大小，占用1个字节空间。给1字节的的逻辑可能是，如果给0字节那么将毫无意义，不如给1个字节，那么空类的作用大概率只是一个占位，表示可能以后会对其进行完善。

8. 成员函数中暗藏的this指针

this指针本质上是“成员函数”的形参，当对象调用成员函数时，编译器将对象地址作为实参传递给this形参，因此this指针并不存放在对象中，而是在栈中（可能也在寄存器中，取决于编译器）。除了static成员函数（后面会提到），每个成员函数的参数中都隐藏了一个this指针，可以调试查看。
在这里插入图片描述

this指针的类型：类的类型* const，如Person* const，this只能在“成员函数”的内部使用。this指针是成员函数第一个隐含的指针形参，一般情况由编译器通过ecx寄存器自动传递，不需要程序员手动传递。

下面两段程序编译运行结果是？ A、编译报错 B、运行崩溃 C、正常运行

class A
{
public:
	void Print()
	{
		cout << "Print()" << endl;
	}
private:
	int _a;
};
int main()
{
	 A* p = nullptr;
	 p->Print();
	 return 0;
}

C.正常运行，表面存在空指针问题，但成员函数中并没有使用其它成员，仅仅只是打印一个字符串，不会导致空指针访问。

class A
{ 
public:
    void PrintA() 
	{
	    cout<<_a<<endl;
	}
private:
	int _a;
};
int main()
{
    A* p = nullptr;
    p->PrintA();
    return 0;
}

B.运行崩溃，成员函数中使用了成员变量，实际上是this指针访问的成员，造成了空指针。

9. 类的六个默认生成的成员函数

如果一个类中什么成员都没有，简称为空类。但其实空类并不是什么都没有，编译器会自动生成6个默认成员函数。默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数。

初始化和清理：

构造函数：初始化对象；
析构函数：清理对象中申请的动态内存；

拷贝和赋值：
3. 拷贝构造：使用同类对象创建另一个之前不存在的对象；
4. 赋值重载：把一个对象赋值给另一个已经存在的对象（就是相当于赋值最常规的用法，只不过这里的赋值是改变一个对象的值）；

取地址重载：
5. 普通对象取地址重载；
6. const对象取地址重载。

常常会把构造函数、析构函数、拷贝构造函数和赋值重载函数重新去自定义以满足需求，而两个取地址重载基本不会去自定义重载，下面会顺便介绍原因。

9.1 构造函数

构造函数是一个特殊的成员函数，名字与类名相同，创建对象时由编译器自动调用，在对象整个生命周期内只调用一次，构造函数并不是开空间创建对象，而是完成对象的初始化工作。C语言中经常会写一个Init()函数用于初始化，构造函数就相当于这个。

class Date {
private:
	int year;
	int month;
	int day;
public:
	Date() { // 无参构造

	}
	Date(int y, int m, int d) { // 带参构造
		year = y;
		month = m;
		day = d;
	}
};

int main() {
	Date date1; // 通过无参构造函数初始化对象，不用跟括号。
	Date date2(2024, 3, 11);
	return 0;
}

构造函数特征如下：

函数名与类名相同。
无返回值（意思是不用写返回值，不是void的意思）。
对象实例化时编译器自动调用对应的构造函数。
构造函数可以重载。
如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦用户显式定义编译器将不再生成。
无参的构造函数、全缺省的构造函数、编译器默认生成的构造函数都称为默认构造函数。这三个默认构造函数只能存在其中一个，因为这三个都可以不用传参，如果同时存在，调用时会产生歧义。

class Date {
private:
	int year;
	int month;
	int day;
public:
	Date() { // 与下面全缺省的构造函数存在冲突

	}
	Date(int y = 2024, int m = 2, int d = 22) {
		year = y;
		month = m;
		day = d;
	}
};

在这里插入图片描述
7.默认构造函数会对类中其它自定类型成员调用的它的默认构造函数，比如Date类中如果包含一个Time类成员：

class Time {
private:
	int hour;
	int minute;
	int second;
public:
	Time() {
		cout << "Time()" << endl;
	}
};

class Date {
private:
	int year;
	int month;
	int day;
	Time time;
public:
	Date(int y = 2024, int m = 2, int d = 22) {
		cout << "Date(int, int, int)" << endl;
		year = y;
		month = m;
		day = d;
	}
};

int main() {
	Date date;
	return 0;
}

在这里插入图片描述

在声明时给成员变量默认值

由于默认生成的构造函数不会进行有效的初始化，给的是随机值，所以C++11开始可以给内置类型（int/char/double等）成员在类中声明时给默认值，如果没有指定初始化则初始化成默认值。

class Date
{
private:
	int _year = 1970;
	int _month = 1;
	int _day = 1;
	Time _time;
};

9.2 析构函数

与构造函数功能相反，注意不是销毁对象本身，而是对象在销毁时会自动调用析构函数，完成对象中资源的清理工作，就是清理那些申请了内存资源的成员，释放资源。

析构函数的特征如下：

析构函数名是在类名前加上字符 ~。
无参数和无返回值类型。
一个类只能有一个析构函数，若未显式定义，系统会自动生成默认的析构函数。
析构函数不能重载。
对象生命周期结束时，C++编译系统系统自动调用析构函数。

typedef int DataType;
class Stack
{
public:
	Stack(size_t capacity = 4)
	{
		_array = (DataType*)malloc(sizeof(DataType) * capacity);
		if (NULL == _array)
		{
			perror("Stack malloc failed.");
			return;
		}
		_capacity = capacity;
		_size = 0;
	}
	~Stack()
	{
		if (_array)
		{
			free(_array);
			_array = NULL;
			_capacity = 0;
			_size = 0;
		}
	}
private:
	DataType* _array;
	int _capacity;
	int _size;
};

和默认构造函数一样，默认析构函数对自定义类型的成员调用它的析构函数。

class Time
{
public:
	Time() {
		cout << "Time()" << endl;
	}
	 ~Time()
	 {
	 	cout << "~Time()" << endl;
	 }
private:
	int _hour;
	int _minute;
	int _second;
};

class Date
{
private:
	int _year = 1970;
	int _month = 1;
	int _day = 1;
	Time _time;
};

int main()
{
	Date d;
	return 0;
}

在这里插入图片描述
如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数。有资源申请时(malloc、new，new后面会提到)，一定要重新自定义释放资源（free、delete），否则会造成资源泄漏。

9.3 拷贝构造函数

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

拷贝构造函数特征如下：

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

class Date
{
public:
	// 构造
	Date(int year = 1900, int month = 1, int day = 1)
	{
	 _year = year;
	 _month = month;
	 _day = day;
	}
	// 拷贝构造
	Date(const Date& d)  
	{
	 _year = d._year;
	 _month = d._month;
	 _day = d._day;
	}
private:
	int _year;
	int _month;
	int _day;
};

其它任何一个函数，只要形参不是传引用、返回值不是返回引用，调用该函数时编译器首先都会去调用拷贝构造。所以拷贝构造的形参必须是引用，如果不是引用，编译器器会报错，因为按传值的说法来看拷贝构造会引发无穷递归。

void Test1(const Date d) {
	// 首先会先调用拷贝构造
}
void Test2(const Date& d) {
	// 不会调用拷贝构造
}
Date Test3() {
	Date date(2024, 1, 1);
	return date; // 会先调用拷贝构造再返回
}
int main() {
	Date date1;
	Test1(date1); 
	Test2(date1); 
	Test3();
}

调用Test1(const Date d)，参数不是引用，所以会先调用拷贝构造：
在这里插入图片描述

拷贝构造的参数不是引用，导致无穷递归：
在这里插入图片描述

若未显式定义拷贝构造，编译器默认生成的拷贝构造函数按字节序完成拷贝，这种拷贝叫做浅拷贝（值拷贝）。如果类中有需要申请内存资源的成员（有malloc、new的成员），默认的拷贝构造无法完成拷贝，需要自己显示定义完成深拷贝。比如：

typedef int DataType;
class Stack
{
public:
	Stack(size_t capacity = 4)
	{
		_array = (DataType*)malloc(sizeof(DataType) * capacity);
		if (NULL == _array)
		{
			perror("Stack malloc failed.");
			return;
		}
		_capacity = capacity;
		_size = 0;
	}
	Stack(const Stack& rStack) {
		_capacity = rStack._capacity;
		_size = rStack._size;
		_array = (DataType*)malloc(sizeof(DataType) * _capacity);
		memcpy(_array, rStack._array, _size);
		//for (int i = 0; i < _size; ++i) {
		//	_array[i] = rStack._array[i];
		//}
	}
	~Stack()
	{
		if (_array)
		{
			free(_array);
			_array = NULL;
			_capacity = 0;
			_size = 0;
		}
	}
private:
	DataType* _array;
	int _capacity;
	int _size;
};

如果使用编译器默认生成的拷贝构造传入stack1初始化stack2，stack2的array仅仅只是把stack1的array地址值拷贝过来了，意味着共用同一块内存。
在这里插入图片描述
自定义完成深拷贝的拷贝构造，有内存资源申请的成员，地址不一样：

为了提高程序效率，一般对象传参时，尽量使用引用类型；函数返回值根据实际场景，能用引用尽量使用引用，因为不返回引用的函数，实际上返回前都会去调用拷贝构造，这样会耗费一些时间和临时占用一部分内存空间。

运算符重载

在学习赋值重载之前，还需要了解运算符重载，因为赋值本身也是一种运算符，篇幅较长，不过很好理解。

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，如operator+、operator-等。

不是所有运算符都能重载，常见能重载的运算符有：+、+=、-、-=、++和–（有规定如何区分前置和后置）、>、>=、<、<=、!=、=。
运算符重载函数必须有一个类的类型参数。
流插入 << 操作符、流提取 >> 操作符也可以重载。

下面以实现Date日期类操作理解运算符重载：

Date类声明：

#include <iostream>
#include <cassert>
using std::cout;
using std::endl;

int dayOfMonth[13] = { 0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };

class Date {
private:
	int _year;
	int _month;
	int _day;
public:
	// 全缺省的构造函数
	Date(int y = 1970, int m = 1, int d = 1) {
		_year = y;
		_month = m;
		_day = d;
	}

	// 拷贝构造函数、析构函数、赋值重载用编译器默认生成的
	//Date(const Date& d) {}
	//~Date() {}
	//Date& operator=(const Date& d) {} 这个后面会自定义实现

	/* 运算符重载 */
	bool operator>(const Date& d);
	bool operator>=(const Date& d);
	bool operator==(const Date& d);
	bool operator<(const Date& d);
	bool operator<=(const Date& d);
	bool operator!=(const Date& d);

	// 获取某年某月的天数
	int GetDayOfMonth(int year, int month) {
		assert(month >= 1 && month <= 12);
		// 2月并且是闰年
		return month == 2  
			&& (year % 400 == 0 
			|| (year % 100 != 0 && year % 4 == 0))
			? 29 : dayOfMonth[month];
	}

	// 日期+天数
	Date& operator+=(int day);
	// 日期+天数
	Date operator+(int day);
	// 日期-天数
	Date operator-(int day);
	// 日期-=天数
	Date& operator-=(int day);
	// 日期-日期 返回天数
	int operator-(const Date& d);
	
	
	Date& operator++(); // 前置++
	Date operator++(int); // 后置++
	Date& operator--();
	Date operator--(int);

	void Show() {
		cout << _year << "-" + _month << "-" << _day << endl;
	}
};

Date类的成员函数定义（实现这些运算符重载函数）：

bool Date::operator>(const Date& d) {
	if (_year > d._year) {
		return true;
	}
	if (_year == d._year) {
		if (_month > d._month) {
			return true;
		}
		if (_month == d._month) {
			return _day > d._day;
		}
	}
	return false;
}

bool Date::operator>=(const Date& d) {
	//return *this > d || *this == d; 
	//		 this->operator>(d) || this->operator==(d);
	return !(*this < d);
}

bool Date::operator==(const Date& d) {
	return _year == d._year
		&& _month == d._month
		&& _day == d._day;
}

bool Date::operator<(const Date& d) {
	//return !(this->operator>=(d));
	return !(*this >= d);
}

bool Date::operator<=(const Date& d) {
	//return !(this->operator>(d));
	return !(*this > d);
}

bool Date::operator!=(const Date& d) {
	return _year != d._year
		|| _month != d._month
		|| _day != d._day;
	//return !(*this == d);
}


/* 先实现+=，再利用已经实现的+=实现+ */
Date& Date::operator+=(int day) {
	_day += day;
	int dayOfMonth = GetDayOfMonth(_year, _month);
	while (_day > dayOfMonth) {
		_day -= dayOfMonth;
		++_month;
		if (_month > 12) {
			_month = 1;
			++_year;
		}
		dayOfMonth = GetDayOfMonth(_year, _month);
	}
	return *this;
}

Date Date::operator+(int day) {
	// Date newdate = *this;
	// 不是调用了赋值重载，实际是调用拷贝构造，
	// 因为*this已经存在，而date开始不存在，详见区分拷贝构造和赋值重载部分。
	Date newdate(*this); // 或Date newdate = *this; 
	newdate += day; // newdate.operator+=(day);
	return newdate;
}

/* 先实现+，再利用已经实现的+实现+=（不推荐） */
//Date& Date::operator+=(int day) {
//	*this = *this + day; // (*this).operator+(day);
//	return *this;
//}
//
//Date Date::operator+(int day) {
//	Date newdate(*this);
//	newdate._day += day;
//	int dayOfMonth = GetDayOfMonth(newdate._year, newdate._month);
//	while (newdate._day > dayOfMonth) {
//		newdate._day -= dayOfMonth;
//		++newdate._month;
//		if (newdate._month > 12) {
//			newdate._month = 1;
//			++newdate._year;
//		}
//		dayOfMonth = GetDayOfMonth(newdate._year, newdate._month);
//	}
//	return newdate;
//}



Date Date::operator-(int day) {
	Date newdate(*this);
	newdate.operator-=(day); // newdate -= day;
	return newdate;
}

Date& Date::operator-=(int day) {
	_day -= day;
	while (_day < 1) {
		--_month;
		if (_month < 1) {
			_month = 12;
			--_year;
		}
		_day += GetDayOfMonth(_year, _month);
	}
	return *this;
}

int Date::operator-(const Date& d) {
	int amountDays1 = _day;
	int month = _month - 1;
	for (int y = _year; y > 0; --y) {
		for (int m = month; m > 0; --m) {
			amountDays1 += GetDayOfMonth(y, m);
		}
		month = 12;
	}

	int amountDays2 = d._day;
	month = d._month - 1;
	for (int y = d._year; y > 0; --y) {
		for (int m = month; m > 0; --m) {
			amountDays2 += GetDayOfMonth(y, m);
		}
		month = 12;
	}
	int gapDay = amountDays1 - amountDays2;
	return gapDay >= 0 ? gapDay : gapDay * -1;
}

// 前置++
Date& Date::operator++() {
	*this += 1; // (*this).operator+=(1);
	return *this;
}
// 后置++
Date Date::operator++(int) {
	Date newdate(*this);
	*this += 1; 
	return newdate;
}

Date& Date::operator--() {
	*this -= 1; 
	return *this;
}
Date Date::operator--(int) {
	Date newdate(*this);
	*this -= 1;
	return newdate;
}

重载前置++或前置–规定返回值必须是引用，其实就是提前–完返回自身。重载后置++或后置++规定返回值不能是引用（不能返回自身，因为得返回++前或–前的值），而且必须有一个int符在参数列表占位，这个参数没有实际作用，纯粹就是用来表明是重载后置++或后置–。

调用运算符重载函数可以正常像函数调用一样，也可以像正常的运算符一样使用：

Date d1(2024, 4, 12);
Date d2(2022, 4, 14);
cout << d1.operator==(d2) << endl;
cout << (d1 == d2) << endl;

cout << d1.operator>(d2) << endl;
cout << (d1 > d2) << endl;

cout << d1.operator>=(d2) << endl;
cout << (d1 >= d2) << endl;

cout << d1.operator<(d2) << endl;
cout << (d1 < d2) << endl;

cout << d1.operator<=(d2) << endl-
cout << (d1 <= d2) << endl;

cout << d1.operator!=(d2) << endl;
cout << (d1 != d2) << endl;

Date d3(d2);
Date& tempRefd3 = d3.operator+=(19);
// Date& tempRefd3 = d3 += 19;

Date d4 = d3.operator+(19);
// Date d4 = d3 + 19;

Date& tempRefd3 = d3.operator-=(9);
//Date& tempRefd3 = d3 -= 9;

Date& tempRefd3 = d3.operator-=(19);
//Date& tempRefd3 = d3 -= 19;

cout << "d1 - d2：" << d1.operator-(d2) << "天" << endl;
cout << "d1 - d2：" << d1 - d2 << "天" << endl;

d1.operator+=(100);
d2 += 2000;
Date date1 = d1.operator+(100);
Date date2 = d2 + 2000;

d1.operator-=(100);
d2 -= 563;
Date date1 = d1.operator-(100);
Date date2 = d2 - 563;

9.4 赋值重载

编译器会默认生成一个赋值重载函数，效果和下面这个自定义实现一样。

Date& operator=(const Date& d) {
	_year = d._year;
	_month = d._month;
	_day = d._day;
	return *this;
}

重点是返回引用和*this的写法。

一般情况下不需要去自定义实现，需要自定义实现的场景可以看下面的注意事项。自定义实现需要注意的是：

赋值运算符只能重载成类的成员函数不能重载成全局函数。因为如果不显示定义，编译器会生成一个默认的。此时用户再在类外自己实现一个全局的赋值运算符重载，就和编译器在类中生成的默认赋值运算符重载冲突了，故赋值运算符重载只能是类的成员函数。
编译器生成的默认赋值运算符重载函数，以值的方式逐字节拷贝（也就是值拷贝，常说的浅拷贝）。内置类型成员变量是直接赋值的，而自定义类型成员变量会调用对应类的赋值运算符重载完成赋值，因为自定义类型成员中究其到底也是内置类型成员。

所以由于编译器默认生成的赋值重载是浅拷贝，如果类中有成员申请内存资源，那么使用默认的赋值重载函数是不合适的，这会导致两个对象共用一块空间，这与之前的拷贝构造函数一样，需要自定义实现完成深拷贝。

区分拷贝构造和赋值重载

拷贝构造和赋值重载看起来作用是一样的，但它们有不同的作用和机制。

拷贝构造创建一个对象，这个对象之前是不存在的。
赋值重载是对一个对象赋值，这个被赋值的对象其实是已经存在的对象了，所以赋值重载的作用就是就是修改一下值而已，本身赋值的作用就是这样。

那上面实现的Date类举例，可以更好地理解他们的区别。现在还有很多人喜欢这么写，看起来是赋值重载，其实不是：

Date Date::operator+(int day) {
	Date newdate = *this;   
	// Date newdate = *this;不是调用了赋值重载，实际是调用拷贝构造，
	// 因为*this已经存在，而newdate最开始不存在。
	// 所以这样写和写成拷贝构造的方式区别不大：Date newdate(*this);  
	newdate += day; // newdate.operator+=(day);
	return newdate;
}

9.5 取地址重载（了解）

这两个取地址重载函数不用自己去定义，用编译器默认生成的就好了。非要自定义实现的话，也很简单：

class Date {
private:
	int _year;
	int _month;
	int _day;
public:
	Date* operator&() {
		return this;
	}
	// 最后的const表示const成员，和前面那个返回值的const修饰作用不一样，后面会提到。
	const Date* operator&() const {
		return this;
	}
}

如果连这个&引用重载都要自己去定义，那就太麻烦了，毕竟这是使用频率非常高的操作符。C++设计者做了这个语法，我估计完全就是为了完成操作符重载这一概念的逻辑闭环，确实得有这个东西，但一般很少去自己去重新定义。

除非有啥特殊的需求，就是要去重新定义，比如返回空指针、假地址、野指针之类的，但即使是这种需求感觉意义也不大，我看就是恶搞故意整一个bug。比如：

Date* operator&() {
	return nullptr;
}
const Date* operator&() const {
	return (const Date*)0x0012ff40;
	// int a = 10;
	// return (const Date*)&a;
}

在这里插入图片描述

最后总结默认成员函数机制

构造函数和析构函数：不处理内置类型成员，对于自定义类型成员会去调用它自己的构造函数和析构函数。

拷贝构造函数和赋值重载函数：处理内置类型成员，不过仅完成值拷贝（浅拷贝）。对于自定义类型成员会去调用它自己的拷贝构造函数和赋值重载函数。