【C++初阶】类和对象(二)

1. 类的默认成员函数

  默认成员函数就是当用户没有显式实现编译器会自动生成的成员函数称为默认成员函数。⼀个类,不写的情况下编译器会默认生成以下6个默认成员函数,需要注意的是这6个中最重要的是前4个,最后两个取地址重载不重要,稍微了解⼀下即可。

  要从两个方面去学习:

  •  第⼀:我们不写时,编译器默认生成的函数行为是什么,是否满足我们的需求。
  •  第⼆:编译器默认生成的函数不满足我们的需求,需要自己实现,那么如何自己实现?

97b5ea48931a48aca1d11aaba5bb28b1.png

 2. 构造函数

  构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任务并不是开空间创建对象(我们常使用的局部对象是栈帧创建时,空间就开好了),而是对象实例化时初始化对象。构造函数的本质是要替代我们以前Stack和Date类中写的Init函数的功能,构造函数自动调用的特点就完美的替代的了Init。

 构造函数的特点: 

  1. 函数名与类名相同
  2. 无返回值
  3. 对象实例化时系统会自动调用对应的构造函数
  4. 构造函数可以重载
  5. 如果类中没有显式定义构造函数,则C++编译器会自动生成⼀个无参的默认构造函数,⼀旦用户显式定义编译器将不再生成
  6. 无参构造函数全缺省构造函数、我们不写构造时编译器默认生成的构造函数都叫做默认构造函数但是这三个函数有且只有⼀个存在,不能同时存在。无参构造函数和全缺省构造函数虽然构成函数重载,但是调用时会存在歧义。总结⼀下就是不传实参就可以调用的构造就叫默认构造
  7. 我们不写,编译器默认生成的构造,对内置类型成员变量的初始化没有要求,是否初始化是不确定的,看编译器。对于自定义类型成员变量要求调用这个成员变量的默认构造函数初始化。如果这个成员变量没有默认构造函数,那么就会报错,我们要初始化这个成员变量,需要用初始化列表才能解决

说明:C++把类型分成内置类型(基本类型)和自定义类型

  • 内置类型:语言提供的原生数据类型, 如:int/char/double/指针等
  • 自定义类型:我们使用class/struct等关键字自己定义的类型。

5b96324e3d034e1ba305f65ceb525ff4.png

class Date
{public:
	// 1.无参构造函数 
	Date()
	{
		_year = 1;
		_month = 1;
		_day = 1;
	}
	//2.带参构造函数
	Date(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	//3.全缺省构造函数
	/*Date(int year = 2, int month = 2, int day = 2)
	{
		_year = year;
		_month = month;
		_day = day;
	}*/
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	// 注意:如果通过⽆参构造函数创建对象时,对象后⾯不⽤跟括号
	// 否则编译器⽆法区分这⾥是函数声明还是实例化对象 
	Date d1;
	Date d2(2024, 9, 22);//调用带参的构造
	// 如果要调用全缺省构造,需第⼀个和第三个注释掉
	//Date d3;	
	return 0;
}
// 用两个Stack实现队列
class Stack
{
public:
	Stack(int n = 4)
	{
		_a = (int*)malloc(sizeof(int) * n);
		if (nullptr == _a)
		{
			perror("malloc申请空间失败");
			return;
		}
		_capacity = n;
		_top = 0;
	}
	// ...
private:
	int* _a;
	size_t _capacity;
	size_t _top;
};
 
class MyQueue
{
public:
	//编译器默认⽣成MyQueue的构造函数调⽤了Stack的构造,完成了两个成员的初始化 
private:
	Stack pushst;
	Stack popst;
};
int main()
{
	MyQueue mq;
	return 0;
}

所以,总结来看一般构造函数都需要自己写,像myqueue这种情况不需要

3. 析构函数

  析构函数与构造函数功能相反,析构函数不是完成对对象本身的销毁(比如局部对象是存在栈帧的, 函数结束栈帧销毁,他就释放了不需要我们管),C++规定对象在销毁时会自动调用析构函数,完成对象中资源的清理释放⼯作。析构函数的功能类比之前Stack实现的Destroy功能

  而像Date没有Destroy,是因为没有申请资源(如malloc或fopen等),没有资源需要释放,所以严格说Date是不需要析构函数的

析构函数的特点

  1. 析构函数名是在类名前加上字符 ~
  2. 无参数无返回值
  3. ⼀个类只能有⼀个析构函数,若未显式定义,系统会⾃动⽣成默认的析构函数
  4. 对象生命周期结束时,系统会自动调用析构函数
  5. 跟构造函数类似,我们不写时编译器自动生成的析构函数对内置类型成员不做处理,自定类型成员会调用他的析构函数
  6. 还需要注意的是我们显示的写析构函数,对于自定义类型成员也会调用他的析构,也就是说自定义类型成员无论什么情况都会自动调用析构函数
  7. 如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,如Date; 如果默认生成的析构就可以用,也就不需要显示写析构,如MyQueue;但是有资源申请时,⼀定要自己写析构,否则会造成资源泄漏,如Stack
  8. ⼀个局部域的多个对象,C++规定后定义的先析构

7876e7156d0e4b2886ef733b168af264.png

// 用两个Stack实现队列
typedef int STDataType;
class Stack
{
public:
	Stack(int n = 4)
	{
		STDataType* tmp = (STDataType*)malloc(sizeof(STDataType) * n);
		if (tmp == nullptr)
		{
			perror("malloc");
			exit(1);
		}
		_a = tmp;
		_capacity = n;
		_top = 0;
	}
	~Stack()
	{
		cout << "~Stack()" << endl;
		free(_a);
		_a = nullptr;
		_top = _capacity = 0;
	}
private:
	STDataType* _a;
	size_t _capacity;
	size_t _top;

};
class MyQueue
{
public:
	//编译器默认⽣成 MyQueue的析构函数调⽤了Stack的析构,释放的Stack内部的资源
	MyQueue()
	{
		i = 4;
	}
	~MyQueue()// 显⽰写析构,也会⾃动调⽤Stack的析构 
	{
		i = 0;
		cout << "~MyQueue()" << endl;
	}

private:
	Stack pushst;
	Stack popst;
	int i;
};
int main()
{
	Stack st;
	MyQueue mq;
	return 0;

输出结果如下,也表明了后定义先析构 71e78cc972bb4322991d0607844aa1fc.png

4. 拷贝构造函数 

  如果⼀个构造函数第⼀个参数是自身类类型的引用且任何额外的参数都有默认值,则此构造函数也叫做拷贝构造函数,也就是说拷贝构造是⼀个特殊的构造函数

拷贝构造的特点

  1. 拷贝构造函数是构造函数的⼀个重载
  2. 拷贝构造函数的第⼀个参数必须是类类型对象的引用,使用传值方式编译器直接报错,因为语法逻辑上会引发无穷递归调用
  3. 拷贝构造函数也可以多个参数,但是第⼀个参数必须是类类型对象的引用,后面的参数必须有缺省值
  4. C++规定自定义类型对象进行拷贝行为必须调用拷贝构造,所以这里自定义类型传值传参传值返回都会调用拷贝构造完成
  5. 若未显式定义拷贝构造,编译器会自动生成拷贝构造函数。自动生成的拷贝构造对内置类型成员变量会完成值拷贝/浅拷贝(⼀个字节⼀个字节的拷贝),对自定义类型成员变量调用他的拷贝构造
  6. Date这样的类成员变量全是内置类型且没有指向什么资源,编译器自动生成的拷贝构造就可以完成需要的拷贝,所以不需要我们显示实现拷贝构造。像Stack这样的类,虽然也都是内置类型,但 是_a指向了资源,编译器自动生成的拷贝构造完成的值拷贝/浅拷贝不符合我们的需求,所以需要我们自己实现深拷贝(对指向的资源也进⾏拷贝)。像MyQueue这样的类型内部主要是自定义类型 Stack成员,编译器自动生成的拷贝构造会调用Stack的拷贝构造,也不需要我们显示实现 MyQueue的拷贝构造。这里还有⼀个小技巧,如果⼀个类显示实现了析构并释放资源,那么他就需要显示写拷贝构造,否则就不需要
  7. 传值返回会产生一个临时对象调用拷贝构造传引用返回,返回的是返回对象的别名(引用),没有产生拷贝。但是如果返回对象是⼀个当前函数局部域的局部对象,函数结束就销毁了,那么使用引用返回是有问题的,这时的引用相当于⼀个野引用,类似⼀个野指针⼀样。传引用返回可以减少拷贝,但是⼀定要确保返回对象,在当前函数结束后还在,才能用引用返回 bee66769b31842958b7276a387c3d4f6.png
class Date
{
public:
	Date(int year = 1, int month = 1, int day = 1)
	{
		_year = year;
		_month = month;
		_day = day;
	}
	Date(Date& d)//如果不引用又发生拷贝构造
	{
		_year = d._year;
		_month = d._month;
		_day = d._day;
	}
	Date(Date* d)
	{
		_year = d->_year;
		_month = d->_month;
		_day = d->_day;
	}
	void Print()
	{
		cout << _year << "/" << _month << "/" << _day << endl;
	}

private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d1(2024, 9, 22);
	Date d2(d1);
	d2.Print();
	Date d3 = d1;// 也可以这样写,这⾥也是拷⻉构造 
	
	// 这⾥可以完成拷⻉,但是不是拷⻉构造,只是⼀个普通的构造 
	Date d4(&d1);
	return 0;
}

应用到const情况

class Date
{
public:
	Date(int year = 1, 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;
	}
	void Print()
	{
		cout << _year << "/" << _month << "/" << _day << endl;
	}

private:
	int _year;
	int _month;
	int _day;
};
Date Fun()
{
	Date ret;
	return ret;
}
int main()
{
	Date d1(Fun());
	Date d2 = Fun();
	return 0;
}

e0b635a893824261a59506eb5dc0f933.png所以,拷贝构造要用引用传参,最好加上const

深拷贝 

   Stack类中_a指向了资源,如果Stack不显示实现拷贝构造,用自动生成的拷贝构造完成浅拷贝 , 会导致st1和st2里面的_a指针指向同⼀块资源,析构时会析构两次,程序崩溃所以需要我们自己实现深拷贝

   而MyQueue自动生成的拷贝构造,会自动调用Stack拷贝构造完成pushst/popst // 的拷贝

173ebae43b43416b947a83e07d5ae156.png

typedef int STDataType;
class Stack
{
public:
	Stack(int n = 4)
	{
		STDataType* tmp = (STDataType*)malloc(sizeof(STDataType) * n);
		if (tmp == nullptr)
		{
			perror("malloc");
			exit(1);
		}
		_a = tmp;
		_capacity = n;
		_top = 0;
	}
	~Stack()
	{
	//...
	}
	Stack(const Stack& st)
	{
		_a = (STDataType*)malloc(sizeof(STDataType) * st._capacity);
		if (_a == nullptr)
		{
			perror("malloc");
			exit(1);
		}
		memcpy(_a, st._a, sizeof(STDataType)*st._top);
		_top = st._top;
		_capacity = st._capacity;
	}
private:
	STDataType* _a;
	size_t _capacity;
	size_t _top;
};
class MyQueue
{
public:
private:
	Stack pushst;
	Stack popst;
	int i;
};
int main()
{
	Stack str1(20);
	Stack str2(str1);
    MyQueue mq1;
    MyQueue mq2 = mq1;
	return 0;
}

从如下运行窗口可以看出,str2进行了深拷贝,str1和str2处于两个地址,进行后续操作就互不影响

386be28e1eb04905b91ec166ccbded6d.png

传引用返回问题 

aec64abc189440e8a69a4055790c5c79.png

 所以,⼀定要确保返回对象,在当前函数结束后还在,才能用引用返回  

修改以上代码,使用static使st保存在静态区不会被销毁,就可以使用引用返回

Stack& Func()
{
	static Stack st;
	st.Push(1);
	st.Push(2);
	return st;
}

5. 赋值运算符重载

5.1 运算符重载

  1. C++规定类类型对象使用运算符时,必须转换成调用对应运算符重载,若没有对应的运算符重载,则会编译报错
  2. 运算符重载是具有特殊名字的函数,他的名字是由operator后面要定义的运算符共同构成。和其他函数⼀样,它也具有其返回类型和参数列表以及函数体
  3. 重载运算符函数的参数个数和该运算符作用的运算对象数量⼀样多。一元运算符有⼀个参数,二元运算符有两个参数,二元运算符的左侧运算对象传给第⼀个参数,右侧运算对象传给第二个参数
  4. 如果一个重载运算符函数是成员函数,则它的第一个运算对象默认传给隐式的this指针,因此运算符重载作为成员函数时,参数比运算对象少一个
  5. 运算符重载以后,其优先级和结合性与对应的内置类型运算符保持⼀致
  6. 不能通过连接语法中没有的符号来创建新的运算符:比如 operator@
  7. c896668ce7bf4a419e603b0ffad0fb09.png以上5个运算符不能重载。(选择题常考)
  8. 重载操作符至少有一个类类型参数不能通过运算符重载改变内置类型对象的含义如: int operator+(int x, int y) 
  9. 一个类需要重载哪些运算符,是看哪些运算符重载后有意义,比如Date类重载 operator- 就有意 义,但是重载 operator* 就没有意义
  10. 重载++运算符时,有前置++后置++,运算符重载函数名都是operator++,无法很好的区分。 C++规定,后置++重载时,增加一个int形参,跟前置++构成函数重载,方便区分
  11. 重载 << 和 >> 时,需要重载为全局函数因为重载为成员函数,this指针默认抢占了第⼀个形参位置,第一个形参位置是左侧运算对象,调用时就变成了对象 << cout,不符合使用习惯和可读性。重载为全局函数把ostream/istream放到第一个形参位置就可以了,第二个形参位置当类类型对象。
class Date
{
public:
	//private:
	int _year;
	int _month;
	int _day;
};
// 重载为全局的面临对象访问私有成员变量的问题 
// 有几种方法可以解决: 
// 1、成员放公有  
// 2、Date提供getxxx函数 
// 3、友元函数 
// 4、重载为成员函数 

bool operator==(const Date& x1, const Date& x2)
{
	return x1._year == x2._year &&
		x1._month == x2._month &&
		x1._day == x2._day;
}
int main()
{
	Date d1(2024, 9, 23);
	Date d2(2024, 9, 24);

	operator==(d1, d2);//运算符重载函数可以显示调用
	d1 == d2;//编译器自动转换成对应运算符重载函数

	return 0;
}
//重载为成员函数
class Date
{
public:
	bool operator==(const Date& d)
	{
		return _year == d._year &&
			_month == d._month &&
			_day == d._day;
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d1(2024, 9, 23);
	Date d2(2024, 9, 24);

	d1.operator==(d2);//或
	d1 == d2;

	return 0;
}

  . * 运算符

回顾:函数指针变量f18caafc909a49a390d497bd5cea00a6.png

 函数指针用途

    每个函数都有一个唯一的地址。函数指针是一个指针变量,它存储了一个函数的地址。函数指针为C语言提供了灵活性和动态性,可以用函数指针用来调用函数就像使用普通指针来访问变量一样

//函数指针变量
void(*p)();

//成员函数指针变量,要限定一个作用域
void (A:: *pf)();
//更推荐重命名一下(注意重命名PF的位置)
typedef void(A::* PF)();
int main()
{
	// C++规定成员函数要加 & 才能取到函数指针
	PF Pf = &A::func;
     
	A obj;//定义对象
	//对象调⽤成员函数指针时,使⽤.*运算符 
    //此处*意思是解引用
	(obj.*Pf)();

	return 0;
}

重载++运算符

class Date
{
public:
	Date(int year = 1, int month = 1, int day = 1)
	{//...
	}
	Date operator+=(int i)
	{//...
	}
	Date& operator++()
	{
		*this += 1;//this是d1的地址
		return *this;
	}
	Date operator++(int i)
	{
		Date tmp(*this);//拷贝构造生成局部对象tmp
		*this += 1;
		return tmp;//tmp出作用域销毁,传值返回
	}
private:
	int _year;
	int _month;
	int _day;
};
int main()
{
	Date d1(2024, 9, 24); 
	++d1;// 编译器会转换成 d1.operator++();  
	d1++;// 编译器会转换成 d1.operator++(0);
	return 0;
}

重载<<和>> 

需要重载为全局函数

cout 是ostream类对象,cin 是istream类对象

日期类的实现-CSDN博客

5.2 赋值运算符重载

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

赋值运算符重载的特点

  1. 赋值运算符重载是一个运算符重载,规定必须重载为成员函数。赋值运算重载的参数建议写成 const 当前类类型引用,否则会传值传参会有拷贝
  2. 有返回值,且建议写成当前类类型引用,引用返回可以提高效率,有返回值目的是为了支持连续赋值场景
  3. 没有显式实现时,编译器会自动生成⼀个默认赋值运算符重载,默认赋值运算符重载行为跟默认拷贝构造函数类似,对内置类型成员变量会完成值拷贝/浅拷贝(一个字节一个字节的拷贝),对自定义类型成员变量会调用他的赋值重载函数
  4. Date这样的类成员变量全是内置类型且没有指向什么资源,编译器自动生成的赋值运算符重载就可以完成需要的拷贝,所以不需要我们显示实现赋值运算符重载。像Stack这样的类,虽然也都是内置类型,但是_a指向了资源,编译器自动生成的赋值运算符重载完成的值拷贝/浅拷贝不符合需求,所以需要自己实现深拷贝(对指向的资源也进行拷贝)。像MyQueue这样的类型内部主要是自定义类型Stack成员,编译器自动生成的赋值运算符重载会Stack的赋值运算符重载, 也不需要我们显示实现MyQueue的赋值运算符重载。
  5. 小技巧,如果⼀个类显示实现了析构并释放资源,那么他就需要显示写赋值运算符重载,否则就不需要
    class Date
    {
    public:
    	Date(int year = 1, int month = 1, int day = 1)
    	{//...
    	}
    	// 传引⽤返回减少拷⻉
    	Date& operator=(const Date &d)
    	{
    		// 不要检查⾃⼰给⾃⼰赋值的情况 
    		if (this != &d)
    		{
    			_year = d._year;
    			_month = d._month;
    			_day = d._day;
    		}
    		return *this;//this是d1的地址
    	}
    private:
    	int _year;
    	int _month;
    	int _day;
    };
    int main()
    {
    	Date d1(2024,9,20);
    	Date d2=d1;
    	Date d3(2024,9,24);
    
    	d1 = d3;// 区分拷贝构造和赋值重载的形式
    	d1.Print();
    	return 0;
    }

    5.3 日期类实现

 日期类的实现-CSDN博客

6.取地址运算符重载

6.1 const成员函数

  • const 修饰的成员函数称之为const成员函数,const修饰成员函数放到成员函数参数列表的后面
  • const 实际修饰该成员函数隐含的this指针(即this指向的对象),表明在该成员函数中不能对类的任何成员进行修改。如const 修饰Date类的Print成员函数,Print隐含的this指针由 Date* const this 变为 const Date* const this

总结:一个类中,不修改成员变量的成员函数都建议加上const

class Date
{
public:
 Date(int year = 1, int month = 1, int day = 1)
 {
//如果加上const就不能对成员变量经行修改
 _year = year;
 _month = month;
 _day = day;
 }
 void Print() const
 // void Print(const Date* const this) const
 {
 cout << _year << "-" << _month << "-" << _day << endl;
 }
private:
 int _year;
 int _month;
 int _day;
};

int main()
{
 // ⾮const对象也可以调用const成员函数,是一种权限的缩小
 Date d1(2024, 7, 5);
 d1.Print();
 const Date d2(2024, 8, 5);
 d2.Print();
 return 0;
}

6.2 取地址运算符重载

  分为普通取地址运算符重载const取地址运算符重载,⼀般这两个函数编译器自动生成的就可以够我们用了,不需要去显示实现

  也可以自己显示实现返回任意地址

class Date
{ 
public :
 Date* operator&()
 {
 return this;
 }
 
 const Date* operator&() const
 {
 return this;
 }

private :
 int _year ; 
 int _month ;  
 int _day ; 
};

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值