【C++】类和对象(中)---构造函数和析构函数

简介: 【C++】类和对象(中)---构造函数和析构函数

我们知道类包含成员变量和成员函数,当一个类中既没有成员函数也没有成员变量时,我们把这个类称之为空类。就比如说下面这个空类:



class Date{};

虽然说Date这个类中啥都没有,即被我们称之为空类,相当于我们在这个类中啥都没写,但是编译器会生成6个默认成员函数。


默认成员函数:即用户没有显式实现,但编译器会自动生成的成员函数就被称为默认成员函数。


具体是哪六个成员函数呢?请看:

1.png


一、构造函数

构造函数是个比较特殊的成员函数,需要注意:构造函数不是真的然我们手把手的去写一个函数出来,构造函数的任务不是开辟空间创建对象,而是对对象进行初始化。


构造函数特征:

1.函数名与类名相同。

2.没有返回值(不需要写void)。

3.对象实例化时编译器会自动调用其对应的构造函数。

4.构造函数可以重载。

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

6.如果我们不自己实现构造函数的话,编译器生就会成默认构造函数,但是编译器调用默认构造函数之后依旧会出现随机值的问题。故实际上这里编译器生成的默认构造函数并没有起作用。

7.无参的构造函数和全缺省的构造函数都被称为默认构造函数,并且二者中只能有一个,如果我们既没有写无参的构造函数也没有写全缺省的构造函数,那么编译器就会自动生成默认构造函数。总之,无参的构造函数、全缺省的构造函数、编译器自动生成的构造函数都被称为默认构造函数,而且这三者中只能存在其中一个。


举个构造函数的例子,请看:

2.png


上述代码我们并没有调用初始化的函数,但是我们依然可以对类Date中的成员函数进行初始化。打印结果如下:


3.png

//这就是一个构造函数
Date(int year, int month, int day)
{
  _year = year;
  _month = month;
  _day = day;
}


当对象实例化时,编译器会自动调用该构造函数,即Date da1(2023,5,1);。


1.1构造函数的重载

我们已经知道构造函数的特性之一就是构造函数支持重载。我们已经知道构造函数可以对对象进行初始化操作,然而初始化的方式也有很多种,这也就是构造函数支持重载的原因。

举个例子,比如说数据结构中的栈,初始化时我一上来就上压入n个数据,我们应该怎样做呢?请看:

4.png

5.png

上述代码的构造函数的重载如下:

//构造函数
  Stack(int capacity = 4)
  {
  _array = (DataType*)malloc(sizeof(DataType) * capacity);
  if (NULL == _array)
  {
    perror("malloc申请空间失败!!!");
    return;
  }
  _capacity = capacity;
  _size = 0;
  }
  Stack(DataType* a, int n)
  {
  cout << "Stack(DataType* a, int n)" << endl;
  _array = (DataType*)malloc(sizeof(DataType) * n);
  if (NULL == _array)
  {
    perror("malloc申请空间失败!!!");
    return;
  }
  memcpy(_array, a, sizeof(DataType) * n);
  _capacity = n;
  _size = n;
  }


1.2自动生成构造函数

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

6.png


上述类中我们并没有显式的定义构造函数,此时C++就会生成一个无参的默认构造函数,来看运行结果:

7.png

请看,一般而言我们认为应该初始化为0,但是这里结果看起来想随机值,所以一些友友认为可能编译器啥也没干,其实并不是。C++的标准并没有说一定要初始化成0,但是有些编译器会初始化成0(这就是编译器自己的原因了,即个性化)。


1.C++中分为内置类型(或叫基本类型),即语言本身定义的基础类型,如int/char/double/指针等等。

2.与内置类型相对应的就是自定义类型,即用struct/class等等定义的类型。

注意:我们如果不写构造函数则编译器就会生成默认构造函数,该默认构造函数对内置类型不做初始化处理,而自定义类型就会调用它的默认构造函数。


请看举例:

8.png

9.png



如果我将自定义类型_st省略后,再来看调试结果,请看:

10.png

11.png



这算是vs2022的一个小bug吧,不同的编译器会有不同的表现,按理来说加上自定义类型_st后,编译器不应该对三个内置类型的变量进行处理,但是vs2022这里的确对这三个内置类型进行了特殊的处理(即初始化成了0)并不是所有的编译器都会对这三个内置类型进行处理,这里注意就好。但是有一点是确定的,自定义类型_st编译器必须要进行处理,因为我们的祖师爷本贾尼规定了自定义类型会调用它的默认构造函数进行处理。

再次强调,祖师爷本贾尼规定了编译器可以不对内置类型进行处理,但是编译器一定要对自定义类型进行处理,即自定义类型会调用它的默认构造函数进行处理。我们最好认为编译器不会对内置类型进行处理。


举个例子: 编译器生成默认的构造函数会对自定类型成员_t调用的它的默认成员函数。请看:

12.png



类中若有内置类型,理论上编译器不会生成默认构造函数,所以如果有内置类型,我们就需要自己去写构造函数,切记不要让编译器自己生成默认构造函数,否则可能就会存在随机值的风险(有的编译器会对内置类型处理,有的编译器就不会对内置类型进行处理)。

那什么情况下:编译器会自己生成默认构造函数呢?


1.一般情况下,有内置类型成员就需要我们自己写构造函数,不能用编译器自己生成的。

2.如果全部都是自定义类型成员,可以考虑让编译器自己生成默认构造函数。


举个让编译器自己生成默认构造函数的例子:leetcode232.用栈实现队列

13.png

现在再来看下一个问题:C++11觉得内置类型不做处理而自定义类型会进行处理这里不是很好。所以C++11标准对这里进行了一些弥补:在成员进行声明的时候可以给缺省值。

请看举例:

14.png

15.png

16.png


1.3构造函数的调用

构造函数本身就已经很特殊了,而构造函数的调用和构造函数本身一样依然是特殊的,哈哈!!!


一般函数的调用是这样的:函数名+参数列表,即da1.Print();。 构造函数的调用是这样的:对象+参数列表,即Date da2(23,5,20);。但是我们不可以这样写:Date da3();没参数的时候这样写是错误的,因为这样写的化就会和函数声明有点冲突,仔细看Date da3();,按照函数声明来理解的话:Date是返回值类型,而且无参,这样的话就会导致编译器不好识别,所以这里一定要注意:Date da3();这种写法是错误的。


语法上无参的和全缺省的函数重载是可以同时存在的,依然是构成函数重载。但是编译器调用的时候会存在歧义。即符合构成函数重载,但是无参调用会出现歧义,故是不能同时存在的。

17.png


所以构造函数构成重载时无参调用存在歧义。


18.png

19.png


1.4三个默认构造函数(无参、全缺省、编译器自动生成)只能存在一个

下面是构造函数的特征7:

无参的构造函数和全缺省的构造函数都被称为默认构造函数,并且二者中只能有一个,如果我们既没有写无参的构造函数也没有写全缺省的构造函数,那么编译器就会自动生成默认构造函数。总之,无参的构造函数、全缺省的构造函数、编译器自动生成的构造函数都被称为默认构造函数,而且这三者中只能存在其中一个。


我们对这个三个默认构造函数一一进行对比,请看:


只存在全缺省的默认构造函数20.png


同时注意下面这两种写法的对比:

21.png

左图中既然是半缺省,所以我们必须要传一个参数,由于左图中并没有传参,所以就报错了;而右图中由于是全缺省,所以我们当然可以不传参数。

对于左图的修改请看:

22.png


只存在无参的默认构造函数

23.png


编译器生成默认构造函数(随机值)

24.png


小结

1.构造函数可以构成重载,但是注意构造函数无参调用时会存在歧义。所以我们一般留一个全缺省的构造函数,因为全缺省的完全可以替代函数无参的。三种默认构造函数中有且只能有一个。

2.编译器对内置类型不做处理(有些编译器会对此进行处理,但这是少数,故C++11为了弥补这里的不足,可以给内置类型成员缺省值),对自定义类型会去调用它的默认构造。

3.不要依赖编译器的默认构造函数(不同的编译器会有不同的表现)。


什么情况下不需要我们去写构造函数呢?


情况一:内置类型成员都有缺省值且初始化符合我们的要求。

情况二:全是自定义类型,且这些自定义类型都已经定义了其所对应的默认构造,这种情况下编译器一般只能去调用那个无参的默认构造函数。那倘若那个默认构造并不是无参的而是带参的话就需要用到初始化列表的内容了,后面在给大家推出吧。


下面是情况一的举例:

class TreeNode
{
  TreeNode* _left;
  TreeNode* _right;
  int _val;
};
class Tree
{
private:
  TreeNode* _root = nullptr;
};
int main()
{
  Tree t1;
  return 0;
}


注意看上述代码:我们给内置类型成员_root了一个缺省值,此时我们就不需要写默认构造函数了。

再来看看情况二:


struct TreeNode
{
  TreeNode* _left;
  TreeNode* _right;
  int _val;
  TreeNode(int val = 0)
  {
  _left = nullptr;
  _right = nullptr;
  _val = val;
  }
};
class Tree
{
private:
  TreeNode* _root = nullptr;//这里给了缺省值
};
int main()
{
  Tree t1;
  TreeNode n1(1);
  TreeNode n2(2);
}


下面来看一下不用写默认构造函数的经典场景:


//编译器对自定义类型会去调用它的默认构造函数
class MyQueue
{
  Stack _pushst;
  Stack _popst;
};
int main()
{
  MyQueue q;
  return 0;
}


假设这里我们我们知道一开始就要插入几个数据的话,及想让Stack中的capacity变为我们想要的一个值,就需要用到初始化列表的内容。


二、析构函数

析构函数:析构函数与构造函数的功能相反,析构函数并不是完成对对象本身的销毁,局部对象销毁工作是由编译器来完成的,而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。相当于我们在数据结构中学习的Destroy函数。


析构函数特征:

1.析构函数名是在类名前加上字符~.

2.无参数也没有返回值类型。

3.一个类只能有一个析构函数。若我们没有显式定义析构函数,则系统会自动生成默认的析构函数(内置类型不做处理,自定义类型的话系统会去调用它的默认析构函数)。同时析构函数不可以重载。

4.对象生命周期结束时,C++编译系统会自动调用析构函数。


1.png

2.png


上述代码中构造函数和析构函数如下:

//构造函数
Stack(int capacity = 4)
  {
  _array = (DataType*)malloc(sizeof(DataType) * capacity);
  if (NULL == _array)
  {
    perror("malloc申请空间失败!!!");
    return;
  }
  _capacity = capacity;
  _size = 0;
  }
//析构函数
~Stack()
{
  cout << "~Stack()" << endl;
  if (_array)
  {
  free(_array);
  _array = nullptr;
  _capacity = 0;
  _size = 0;
  }
}


有了构造函数和析构函数,我们就可以简化我们的初始化和清理工作,我们也不需要担心会忘记对象的初始化和对象中资源的清理工作了。


1.一般如果有动态申请资源,就需要显式写析构函数释放资源。(最典型的就是栈了)

2.如果没有动态申请的资源,不需要写析构函数。

3.需要释放资源的成员都是自定义类型,不需要写析构函数。

4.灵活一点,特殊情况特殊对待。😀


下面来看一下不需要写析构函数的:

//根本不需要我们写析构,因为没有动态申请的空间需要我们销毁
class Date
{
private:
  int _year;
  int _month;
  int _day;
};
//下面也不需要我们写析构函数,对于自定义类型,编译器会去自动调用它的构造和析构函数
class MyQueue
{
private:
  Stack _pushst;
  Stack _popst;
};


好了,以上就是对C++中构造函数和析构函数的解释,大家一定一定要学好这里,因为这里对于C++而言真的是太太太重要了。

就到这里啦,下次见各位。

目录
相关文章
|
10月前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
9月前
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
9月前
|
存储 编译器 C++
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
9月前
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!
|
10月前
|
安全 编译器 C语言
【C++篇】深度解析类与对象(中)
在上一篇博客中,我们学习了C++类与对象的基础内容。这一次,我们将深入探讨C++类的关键特性,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载、以及取地址运算符的重载。这些内容是理解面向对象编程的关键,也帮助我们更好地掌握C++内存管理的细节和编码的高级技巧。
|
6月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
162 0
|
6月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
255 0
|
8月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
298 12
|
9月前
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
178 16
|
10月前
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)