类和对象（二）

裙下的霸气

已于 2022-08-30 15:00:48 修改

阅读量843

点赞数

分类专栏： C++ 文章标签： c++

于 2022-08-30 14:59:26 首次发布

本文链接：https://blog.csdn.net/m0_63601133/article/details/126604324

版权

C++ 专栏收录该内容

33 篇文章 3 订阅

订阅专栏

类的6个默认（缺省）成员函数
如果一个类中什么成员都没有，简称为空类。
空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成以下6个默认成员函数。
默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数

class Date
{
public:
void Init(int year, int month, int day)
{
    _year = year;
    _month = month;
    _day = day;
}


void Print()
{
    cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};

//调用Init初始化, 可能会忘记！导致崩溃出现随机值
//能不能保证对象一定被初始化？-- 构造函数
int main()
{
    Date d1;
    d1.Init(2022, 7, 5);
    d1.Print();
    Date d2;
    d2.Init(2022, 7, 6);
    d2.Print();
    return 0;
}

构造函数

概念

构造函数是一个特殊的成员函数，名字与类名相同,创建类类型对象时由编译器自动调用，以保证每个数据成
员都有一个合适的初始值，并且在对象整个生命周期内只调用一次
构造函数并不是用来开辟空间，定义对象的，是用来初始化对象的。开辟空间是编译器建立栈帧，根据内存对齐规则提前计算好，在栈桢中预留出

特性

构造函数是特殊的成员函数，需要注意的是，构造函数虽然名称叫构造，但是构造函数的主要任务并不是开
空间创建对象，而是初始化对象。
其特征如下：

函数名与类名相同。
无返回值。也不用写void.
对象实例化时编译器自动调用对应的构造函数。

构造函数可以重载。

class Date
{
public:
// 1.无参构造函数
Date()
{
 _year = 1;
 _month =1;
 _day = 1;
}

// 2.带参构造函数
Date(int year=1, int month=1, int day=1)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
void TestDate()
{
Date d2; // 调用无参构造函数
Date d1(2022, 7, 17); // 调用带参的构造函数
Date d3(2022); //调用缺省的构造函数
}

注意：如果通过无参构造函数创建对象时，对象后面不用跟括号，否则就成了函数声明
// 以下代码的函数：声明了d4函数，该函数无参，返回一个日期类型的对象
// warning C4930: “Date d4（void)”: 未调用原型函数(是否是有意用变量定义的?)
Date d4();

![image.png](https://cdn.nlark.com/yuque/0/2022/png/29339358/1661413223215-18194810-d6eb-47b5-b8a7-14e4cc45b17b.png#clientId=ue8214356-2392-4&crop=0&crop=0&crop=1&crop=1&from=paste&height=113&id=u707761af&margin=%5Bobject%20Object%5D&name=image.png&originHeight=141&originWidth=578&originalType=binary&ratio=1&rotation=0&showTitle=false&size=48488&status=done&style=none&taskId=u0041027e-31e7-4d45-9127-6aedc9348ed&title=&width=462.4)

---

> 关于编译器生成的默认成员函数，很多童鞋会有疑惑：不实现构造函数的情况下，编译器会生成默认的<br />构造函数。但是看起来默认构造函数又没什么用？d对象调用了编译器生成的默认构造函数，但是d对象<br />_year/_month/_day，依旧是随机值。也就说在这里**编译器生成的默认构造函数并没有什么用？？**
> **解答：C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型，如：<br />int/char...，自定义类型就是我们使用class/struct/union等自己定义的类型，看看下面的程序，就会发<br />现编译器生成默认的构造函数会对自定类型成员_t调用的它的默认成员函数 <br /> 
> 注意：C++11 中针对内置类型成员不初始化的缺陷，又打了补丁，即：**内置类型成员变量在类中声明时<br />可以给默认值**。 
> 
> 无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。注意：无参<br />构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数，都可以认为是默认构造函数 
> 默认构造函数特点：不传参数就可以调用<br /> 
> 如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦用户显式定<br />义编译器将不再生成 <br /> <br /> 

```cpp
class Date
{
public:
    //Date(int year = 1, int month = 1, int day = 1)
    //{
    //    _year = year;
    //    _month = month;
    //    _day = day;
    //}

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

private:
    int _year =1 ;   // 补丁  注意这里不是初始化，给缺省值，因为这里是声明
    int _month =1;
    int _day =1;
};

typedef int DataType;
class Stack
{
public:
    Stack(int capacity = 4)
    {
        cout << "Stack(int capacity = 4)" << endl;
        _array = (DataType*)malloc(sizeof(DataType) * capacity);
        if (NULL == _array)
        {
            perror("malloc申请空间失败!!!");
            return;
        }

        _size = 0;
        _capacity = capacity;
    }

    void Push(DataType data)
    {

        _array[_size] = data;
        _size++;
    }
private:
    DataType* _array;
    int _capacity;
    int _size;
};



// C++类型分类：
// 内置类型/基本类型：int/double/char/指针等等 
// 自定义类型：struct/class


class MyQueue
{
private:
    int _size;
    Stack _st1;
    Stack _st2;
};


int main()
{
    // 默认生成构造函数，a:内置类型成员不做处理 b：自定义类型成员回去调用他的默认构造函数
    // 设计是C++早期设计的一个缺陷，默认生成构造函数，本来应该内置类型也一并处理
    // C++11 打了一个补丁
    Date d;
    MyQueue q;
    Stack st;

    return 0;
}

析构函数

概念

通过前面构造函数的学习，我们知道一个对象是怎么来的，那一个对象又是怎么没呢的？
析构函数：与构造函数功能相反，析构函数不是完成对对象本身的销毁，局部对象销毁工作是由编译器完成
的。而对象在销毁时会自动调用析构函数，完成对象中资源的清理工作

特性

析构函数是特殊的成员函数，其特征如下：

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

//Date类不需要手动写析构，因为没什么要清理的，
 Queue
 List
 SeqList
 BinaryTree
//Stack类需要写，因为动态开辟空间，需要手动释放调用Stack析构函数，静态开辟空间（出了malloc，fopen，new等）不需要手写析构函数。MyQueue不用写是因为需要析构时调用两个栈的即可（栈没写要完善栈）

class Stack
{
public:
    Stack(size_t capacity = 3)
    {
        _array = (DataType*)malloc(sizeof(DataType)* capacity);
        if (NULL == _array)
        {
            perror("malloc申请空间失败!!!");
            return;
        }

        _capacity = capacity;
        _size = 0;
    }

    void Push(DataType data)
    {
        // CheckCapacity();
        _array[_size] = data;
        _size++;
    }

    // 需要显示写，手动明释放资源
    ~Stack()
    {
        cout << "~Stack()->" << _array << endl;
        free(_array);
        _capacity = _size = 0;
        _array = nullptr;
    }
private:
    DataType* _array;
    int _capacity;
    int _size;
};


int main()
{
    Stack _st1;
    return 0;
}

默认生成析构函数特点：
和构造函数函数类似：a.内质类型不处理 b.自定义类型成员会调用它的析构函数

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

class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}

// 程序运行结束后输出：~Time()
// 在main方法中根本没有直接创建Time类的对象，为什么最后会调用Time类的析构函数？
// 因为：main方法中创建了Date对象d，而d中包含4个成员变量，其中_year, _month, _day三个是
// 内置类型成员，销毁时不需要资源清理，最后系统直接将其内存回收即可；而_t是Time类对象，所
以在
// d销毁时，要将其内部包含的Time类的_t对象销毁，所以要调用Time类的析构函数。但是：main函
数
// 中不能直接调用Time类的析构函数，实际要释放的是Date类对象，所以编译器会调用Date类的析构
函
// 数，而Date没有显式提供，则编译器会给Date类生成一个默认的析构函数，目的是在其内部调用
Time
// 类的析构函数，即当Date对象销毁时，要保证其内部每个自定义对象都可以正确销毁
// main函数中并没有直接调用Time类析构函数，而是显式调用编译器为Date类生成的默认析构函数
// 注意：创建哪个类的对象则调用该类的析构函数，销毁那个类的对象则调用该类的析构函数
如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如Date类；有
资源申请时，一定要写，否则会造成资源泄漏，比如Stack类

拷贝构造函数

概念

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

特性

拷贝构造函数也是特殊的成员函数，其特征如下：

拷贝构造函数是构造函数的一个重载形式。
拷贝构造函数的参数只有一个且必须是类类型对象的引用，使用传值方式编译器直接报错，因为会引发
无穷递归调用

要调用拷贝构造需要先传参，而传参就是一个拷贝构造，如此下来，一直递归

有两种解决方式：
一、用引用 Date（Date& d1）这时要调用拷贝构造先传参，形参是实参的别名（d是d1的别名）
二、用指针不常用
Date(Date* d)
{
_year = d->_year;
_month = d->_month;
_day = d->_day;
}
int main()
{
Date d4(&d1);
Date d5 = &d1;
}

class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
    _year = year;
    _month = month;
    _day = day;
}

Date(const Date& d)                //这里建议加个const，权限缩小。如果写成 d._year = _year;
                                   //这里编译器不会报错，但是把d1修改了，我们不希望d1被修改
                                  //因为d要拷贝d1
{
    _year = d._year;
    _month = d._month;
    _day = d._day;
}
private:
int _year;
int _month;
int _day;
};

int main()
{
    Date d1;
    Date d2(d1);
    return 0;
}

使用场景

//1 3 2 6 7 打印一下路径值
Stack path;
Stack copy(path);
while (!copy.Empty())
{
cout << copy.Top() << endl;
copy.Pop();
}
打印值，需要拷贝，以及后面要学的运算符重载
若未显式定义，编译器会生成默认的拷贝构造函数。默认的拷贝构造函数对象按内存存储按字节序完成
拷贝，这种拷贝叫做浅拷贝，或者值拷贝

注意：在编译器生成的默认拷贝构造函数中，内置类型是按照字节方式直接拷贝的，而自定义类型是调
用其拷贝构造函数完成拷贝的。编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了

typedef int DataType;
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 DataType& data)
{
    // CheckCapacity();
    _array[_size] = data;
    _size++;
}
~Stack()
{
    if (_array) 
    {
        free(_array);
        _array = nullptr;
        _capacity = 0;
        _size = 0;
    }
}
private:
DataType *_array;
size_t _size;
size_t _capacity;
};
int main()
{
    Stack s1;
    s1.Push(1);
    s1.Push(2);
    s1.Push(3);
    s1.Push(4);
    Stack s2(s1);
    return 0;
}

这里程序崩溃了，原因是同一块空间free了两次。

深拷贝后面会讲

注意：类中如果没有涉及资源申请时，拷贝构造函数是否写都可以；一旦涉及到资源申请时，则拷贝构
造函数是一定要写的，否则就是浅拷贝。
5. 拷贝构造函数典型调用场景：
使用已存在对象创建新对象
函数参数类型为类类型对象
函数返回值类型为类类型对象

class Date
{
public:Date(int year, int minute, int day)
{
    cout << "Date(int,int,int):" << this << endl;
}
      Date(const Date& d)
      {
          cout << "Date(const Date& d):" << this << endl;
      }
      ~Date()
      {
          cout << "~Date():" << this << endl;
      }
private:
    int _year;
    int _month;
    int _day;
};
Date Test(Date d)
{
    Date temp(d);
    return temp;
}
int main()
{
    Date d1(2022, 1, 13);
    Test(d1);
    return 0;
}

构造函数续

初始化和赋值

    初始化和赋值是不同的概念，当我们在定义变量时，可以先定义再赋值，或者定义并初始化，事实上先定义不初始化，编译器就会默认初始化变量，接下来再对变量的赋值操作不能称为初始化而是赋新值。显然，定义时并初始化的效率比先定义再赋值的更高，在类的构造函数中也是如此。

int a;//定义
a = 100;//赋值
int b = 200;//定义并初始化

初始化列表

在类中定义了构造函数，函数体内的为成员变量赋值的操作不是初始化。因为编译器在构造函数体执行之前就执行了默认初始化。例如：

但是有些成员必须在定义时就初始化它，比如引用，const或者没有默认构造函数的类类型成员。这样就不能在构造函数的函数体内进行初始化了。C++提供了唯一的给这些变量初始化并赋值的方式，这就是初始化列表。在构造函数的（）后，{}之前写，格式是冒号+成员名（初始值），对与自定义类型则是调用它的构造函数初始化。
例如：

初始化顺序

成员变量在类中声明次序就是其在初始化列表中的初始化顺序，与其在初始化列表中的先后次序无关。
栈和栈帧里的对象都要符合后进先出，即先定义后销毁/析构
例如：
在初始化列表中m_b在m_a前，但是m_a声明在m_b前，故先用m_b的默认初始化值初始化m_a。

#include<iostream>
using namespace std;

class A
{
public:
A(int b = 0)
:m_b(b), 
m_a(m_b)
{}
void print()
{

    cout << "m_a=" << m_a << endl;
    cout << "m_b=" << m_b << endl;

}

private:
int m_a;
int m_b;
};



int main()
{

    A aa(100);
    aa.print();
    return 0;
}

class A
{
public:
    A(int a = 0)
    {
      _a = a;
        cout << "A(int a = 0)->" <<_a<< endl;
    }

    ~A()
    {
        cout << "~A()->" <<_a<<endl;
    }
private:
    int _a;
};

A aa3(3);

int main()
{
    static A aa0(0);
    A aa1(1);
    A aa2(2);
    static A aa4(4);

    return 0;
}

aa1和aa2是在main函数栈帧里，aa0，aa3，aa4是在静态区里，生命周期和程序的周期相同，当main函数栈帧销毁时，需要调用aa1和aa2的析构函数，”先定义的后析构“，所以aa2比aa1先析构。main函数栈帧销毁后，要调用静态区的析构函数。先调用”局部“的静态aa4比aa0先析构。aa3在main函数展开前就已经被创建，所以aa3最后析构

构造顺序：3 0 1 2 4 1 2
析构顺序：2 1 2 1 4 0 3
第一次调用f（） 3 0 1 2 4，aa3，aa0，aa4在静态区，第一次调用初始化创建这三个变量，第二次调用f时，第一次的f（）栈帧销毁，aa1，aa2销毁了，3 0 4不销毁，所以在此构造 1 2.

class A
{
public:
    A(int a = 0)
    {
      _a = a;
        cout << "A(int a = 0)->" <<_a<< endl;
    }

    ~A()
    {
        cout << "~A()->" <<_a<<endl;
    }
private:
    int _a;
};

A aa3(3);

void f()
{
    static int i = 0;
    static A aa0(0);
    A aa1(1);
    A aa2(2);
    static A aa4(4);
}


int main()
{
    f();
    f();
    return 0;
}

传值返回和传引用返回区别

func3是传值返回，会创建一个临时变量
func4是传引用返回

运算符重载

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其返回值类
型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。
函数名字为：关键字operator后面接需要重载的运算符符号。
函数原型：返回值类型 operator操作符(参数列表)
注意：
不能通过连接其他符号来创建新的操作符：比如operator@
重载操作符必须有一个类类型参数
用于内置类型的运算符，其含义不能改变，例如：内置的整型+，不能改变其含义
作为类成员函数重载时，其形参看起来比操作数数目少1，因为成员函数的第一个参数为隐藏的this
.* :: sizeof ?: . 注意以上5个运算符不能重载。这个经常在笔试选择题中出现

赋值运算符重载

参数类型：const T&，传递引用可以提高传参效率
返回值类型：T&，返回引用可以提高返回的效率，有返回值目的是为了支持连续赋值
检测是否自己给自己赋值
返回*this ：要复合连续赋值的含义

    //d1 = d3  d3传给d，d1传给this
    Date& operator = (const Date& d)
    {
        if (this != &d)   //取地址  防止出现d2 = d2这种情况
        {
            _year = d._year;
            _month = d._month;
            _day = d._day;
        }


        return *this;
    }

赋值运算符只能重载成类的成员函数不能重载成全局函数

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 =”必须是非静态成员

原因：赋值运算符如果不显式实现，编译器会生成一个默认的。此时用户再在类外自己实现一个全局的
赋值运算符重载，就和编译器在类中生成的默认赋值运算符重载冲突了，故赋值运算符重载只能是类的
成员函数。

用户没有显式实现时，编译器会生成一个默认赋值运算符重载，以值的方式逐字节拷贝。注意：内置类
型成员变量是直接赋值的，而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。

class Time
{
public:
Time()
{
    _hour = 1;
    _minute = 1;
    _second = 1;
}


Time& operator=(const Time& t)
{
    cout << "Time& operator=(const Time& t)" << endl;
    if (this != &t)
    {
        _hour = t._hour;
        _minute = t._minute;
        _second = t._second;
    }
    return *this;
}



private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;

// 自定义类型
Time _t;
};

int main()
{
    Date d1;
    Date d2;
    d1 = d2;
    return 0;
}

编译器生成的默认赋值运算符重载函数已经可以完成字节序的值拷贝。那到底那些类需要写赋值重载呢？

// 这里会发现下面的程序会崩溃掉？这里就需要我们以后讲的深拷贝去解决。因为会析构两次
typedef int DataType;
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 DataType& data)
{
    // CheckCapacity();
    _array[_size] = data;
    _size++;
}
~Stack()
{
    if (_array)
    {
        free(_array);
        _array = nullptr;
        _capacity = 0;
        _size = 0;
    }
}
private:
DataType *_array;
size_t _size;
size_t _capacity;
};
int main()
{
    Stack s1;
    s1.Push(1);
    s1.Push(2);
    s1.Push(3);
    s1.Push(4);
    Stack s2;
    s2 = s1;
    return 0;
}

// 躺赢 – 构造、拷贝构造、赋值重载、析构默认生成都可以用，因为在栈st1，st2中我们已经把这些写好了，Queue只需要去调用即可
class MyQueue
{
private:
Stack _st1;
Stack _st2;
};

前置++和后置++重载

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;
};
int main()
{
    Date d;
    Date d1(2022, 1, 13);
    d = d1++; // d: 2022,1,13 d1:2022,1,14
    d = ++d1; // d: 2022,1,15 d1:2022,1,15
    return 0;
}

const成员

这个成员函数不是返回值是const修饰的，而是this指针被const修饰，这样一来this指向的对象不可改变，但是this是隐藏的参数，C++将const放在函数名和（）的后面，例如：

    假设类名是A，对于A类的普通对象，this指针类型是A*const this，如果用它去调用const成员函数，原本A是可读可写的权限，现在变成只读的权限，权限缩小了，可以调用，倘若是一个常对象（也就是const修饰的对象），那么它的this指针类型就是const  A *const this，常对象去调用const成员函数没什么问题，因为参数this的类型一模一样，若调用非const成员函数就会发生权限放大的问题，例如：当const对象a4调用非const成员函数print时编译器报错了>>

总之，常对象只能调用const成员函数，调用const成员函数就不能修改this指向的对象。

取地址及const取地址操作符重载

当定义了类后，如果实例化了普通对象和const对象，对它们使用 & 取地址便能获得对象的地址，例如：

事实上是编译器默认生成了两个&取地址操作符重载函数（两个函数构成函数重载）,因为const对象不能调用非const成员函数，所以各生成了一个，以适应需求，用户也可根据想实现的功能显示去写，例如：

裙下的霸气

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
打赏
0
评论
类和对象（二）

类的6个默认（缺省）成员函数如果一个类中什么成员都没有，简称为空类。空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成以下6个默认成员函数。默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数。......
复制链接

扫一扫