c++初阶--c++类和对象(上)

大家好,欢迎回来,我们上次学习了c++的基础,我们今天来继续学习一下c++中的类和对象,类和对象是c++中的一大难点,今天就让我们一起来克服它!

目录

1. 类的定义

1.1 类定义格式

1.2 访问限定符 

1.3 类域

2. 实例化

 2.1 实例化概念

2.2 对象的大小 

3. this指针 

4. 类的默认成员函数

5. 构造函数

6. 析构函数

7. 构造拷贝函数


1. 类的定义
1.1 类定义格式

c++中类的定义与C语言中的结构体十分相似,像结构体一样,class是类的关键字,Date是类的名字,类体中内容称为类的成员:类中的变量称为类的属性或成员变量; 类中的函数称为类的⽅法或 者成员函数。

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

注意类定义结束时后⾯分号不能略。
同时,c++中也将结构体升级成了类,在结构体中一样可以定义函数,但 ⼀般情况下我们还是推荐⽤class定义类。
另外,在类中进行定义的函数默认是内联(inline)的。
1.2 访问限定符 

访问限定符有三种,分别是:private私有,protected保护,public共有

  • C++⼀种实现封装的⽅式,⽤类将对象的属性与⽅法结合在⼀块,让对象更加完善,通过访问权限选择性的将其接⼝提供给外部的⽤⼾使⽤。
  • public修饰的成员在类外可以直接被访问;protected和private修饰的成员在类外不能直接被访 问,protected和private是⼀样的,以后继承章节才能体现出他们的区别。
  • 访问权限作⽤域从该访问限定符出现的位置开始直到下⼀个访问限定符出现时为⽌,如果后⾯没有访问限定符,作⽤域就到 }即类结束。
  • class定义成员没有被访问限定符修饰时默认为private,struct默认为public。
  • ⼀般成员变量都会被限制为private/protected,需要给别⼈使⽤的成员函数会放为public。

所以可以把上文的代码改成如下所示:

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

因为通常情况下,我们不希望类中的成员变量被修改,所以使用私有private修饰,而对于成员函数我们想要在类外部进行对成员函数的调用,所以我们将成员函数进行公有修饰public。 

1.3 类域
类定义了⼀个新的作⽤域,类的所有成员都在类的作⽤域中,在类体外定义成员时,需要使⽤ :: 作
⽤域操作符指明成员属于哪个类域。
现在我们希望类看起来简洁一些,可以将成员函数的定义放到外面,在类中留下成员函数的声明,
所以上文的代码我们又可以进行修改了:

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

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

类域影响的是编译的查找规则,倘若不写上  Date::  ,那么编译器会把成员函数当作是全局函数,那么在编译的时候,就找不到函数体中的_year , _month , _day,只有让编译器知道了这是一个类的成员函数,在编译的时候就会到类中去寻找_year , _month , _day这些变量。
怎么样,对于类的定义,大家感觉还算简单吗?接下来,我们继续学习下一个知识。
2. 实例化
 2.1 实例化概念
类是对象进⾏⼀种抽象描述,是⼀个模型⼀样的东西,限定了类有哪些成员变量,这些成员变量只
是声明,没有分配空间,⽤类实例化出对象时,才会分配空间。
就好比说类是一张房子的设计图,而对象是根据图纸制造出来的房子, 设计图规划了有多 少个房间,房间⼤⼩功能等,但是并没有实体的建筑存在,也不能住⼈,⽤设计图修建出房⼦,房 ⼦才能住⼈。同样类就像设计图⼀样,不能存储数据,实例化出的对象分配物理内存存储数据。
还是拿上文的代码进行举例:

#include<iostream>
using namespace std;
class Date
{
public:
    void DateInit(int year, int month, int day)
private:
    int _year;
    int _month;
    int _day;
};

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

int main()
{
    Date a;
    a.DateInit(2024, 8, 7);
    return 0;
}

现在我们在主函数中创建的 a ,就是Date类进行实例化出来的对象,只有创建对象之后,我们类中的成员变量才有了空间。

那么,一个类的对象的大小应该怎么计算呢?

2.2 对象的大小 

因为类和结构体十分相像,那么是不是对象的大小和结构体变量的大小的计算方式也差不多呢?主要是类中不仅有成员变量,还有成员函数,那么对象的大小里包不包括成员函数的大小呢?我们知道,对象中的成员变量都是独立的,每个对象的成员变量不一定相同,而每个对象的成员函数也有不同吗?,对象中如果想储存成员函数,只能储存函数的指针,那么对于一样的函数,其函数指针也是一样的,那么就没必要将每个对象的成员函数都进行储存,否则就太浪费空间了,所以对象的大小不包括成员函数的大小。

此外,对于对象的大小计算,也要符合内存对⻬规则:

  • 第⼀个成员在与结构体偏移量为0的地址处。
  • 其他成员变量要对⻬到某个数字(对⻬数)的整数倍的地址处。
  • 注意:对⻬数 = 编译器默认的⼀个对⻬数 与 该成员⼤⼩的较⼩值。
  • VS中默认的对⻬数为8
  • 结构体总⼤⼩为:最⼤对⻬数(所有变量类型最⼤者与默认对⻬参数取最⼩)的整数倍。
  • 如果嵌套了结构体的情况,嵌套的结构体对⻬到⾃⼰的最⼤对⻬数的整数倍处,结构体的整体⼤⼩就是所有最⼤对⻬数(含嵌套结构体的对⻬数)的整数倍。

需要多说的是:

class C
{

};

int main()
{
    C c;
}

例如给出的类这种没有成员变量的类,怎么证明我们创建的对象存在呢,所以计算出的大小为1,表示该对象存在。

又学完了一部分知识,感觉如何,现在才要上难度了。

3. this指针 

我们刚才讲到了,不同对象中的成员函数是没有区别的,那么在调用成员函数的时候,函数是怎么知道这是哪个对象调用的呢,那么这⾥就要看到C++给了⼀个隐含的this指针解决这⾥的问题。

对于我们Date类中的DateInit函数,表面上它有三个参数,可实际上还有一个隐含的参数,就是this指针:

void DateInit(Date* const this, int year, int month, int day)

{
    this->_year = year;
    this->_month = month;
    this->_day = day;
}

类的成员函数中访问成员变量,本质都是通过this指针访问的,如函数中给_year赋值, this-
>_year = year;可见,this指针是存放对象地址的指针。
同时, C++规定不能在实参和形参的位置显⽰的写this指针(编译时编译器会处理),但是可以在函数体内显 ⽰使⽤this指针。
⾯向对象三⼤特性:封装、继承、多态,经过对类和对象初步的学习,大家心中是不是已经有了一点封装的感觉呢,本来在C语言中函数和变量是分散的,在c++中首先就将二者集合到了一起,此外,对于函数的调用也不是孤零零的,在下面的学习中,我们将进一步学习类和对象。
4. 类的默认成员函数
默认成员函数就是⽤⼾没有显式实现,编译器会⾃动⽣成的成员函数称为默认成员函数。⼀个类,我们不写的情况下编译器会默认⽣成以下6个默认成员函数,需要注意的是这6个中最重要的是前4个,最后两个取地址重载不重要,我们稍微了解⼀下即可。其次就是C++11以后还会增加两个默认成员函数,移动构造和移动赋值,这个我们后⾯再讲解。默认成员函数很重要,也⽐较复杂,那么默认成员都有哪些呢,我们先来了解一下:
关于初始化和清理的:
        构造函数   析构函数
关于拷贝复制的:
        拷贝构造函数   赋值重载函数
关于取地址重载的:
        主要是关于普通对象和const对象取地址的函数

 那就让我们一个一个来学习一下吧。

5. 构造函数

构造函数是特殊的成员函数,主要负责对象的初始化,为什么叫做默认成员函数呢,因为对于一个类中我们没有自己进行定义这些函数,编译器就会自动生成一个默认的成员函数,但是这个生成的默认的成员函数并不能解决程序在运行时出现的所有问题,这时就需要我们对这些成员函数进行定义了。

一下是构造函数的特点和我们定义时的要求:

  • 函数名与类名相同。
  • ⽆返回值。 (返回值啥都不需要给,也不需要写void,不要纠结,C++规定如此)
  • 对象实例化时系统会⾃动调⽤对应的构造函数。
  • 构造函数可以重载。
  • 如果类中没有显式定义构造函数,则C++编译器会⾃动⽣成⼀个⽆参的默认构造函数,⼀旦⽤⼾显式定义编译器将不再⽣成。
  • ⽆参构造函数、全缺省构造函数、我们不写构造时编译器默认⽣成的构造函数,都叫做默认构造函数。但是这三个函数有且只有⼀个存在,不能同时存在。⽆参构造函数和全缺省构造函数虽然构成函数重载,但是调⽤时会存在歧义。要注意很多同学会认为默认构造函数是编译器默认⽣成那个叫默认构造,实际上⽆参构造函数、全缺省构造函数也是默认构造,总结⼀下就是不传实参就可以调⽤的构造就叫默认构造。
  • 我们不写,编译器默认⽣成的构造,对内置类型成员变量的初始化没有要求,也就是说是是否初始化是不确定的,看编译器。对于⾃定义类型成员变量,要求调⽤这个成员变量的默认构造函数初始化。如果这个成员变量,没有默认构造函数,那么就会报错,我们要初始化这个成员变量,需要⽤初始化列表才能解决,初始化列表,我们下个章节再细细讲解。
    下面我们来根据代码进行进一步的了解:

    #include<iostream>
    using namespace std;
    class Date
    {
    public:
        //无参数的构造函数
        Date()
        {
            _year = 2024;
            _month = 8;
            _day = 7;
        }
        //带参数的构造函数
        Date(int year, int month, int day)
        {
            _year = year;
            _month = month;
            _day = day;
        }
        //全缺省的构造函数
        Date(int year = 2024, int month = 1, int day = 1)
        {
            _year = year;
            _month = month;
            _day = day;
        }
    private:
        int _year;
        int _month;
        int _day;
    };

    int main()
    {
        Date a;
        Date b(2024, 6, 5);

        Date c();    //不能这么写
        return 0;
    }

 可以看到,我们自定义的构造函数有三种,分别是无参数的构造函数,有参数的构造函数,全缺省的构造函数,对于有参数的构造函数来说,在对象实例化的时候可以在对象名后面接(),在括号里写入参数值,而对于无参数的构造函数来说,不能写成对象名后接()的形式,主要是编译器有可能将这句代码看作是一个返回值类型为类的一个无参函数。

而对于编译器生成的默认构造函数,无参数的构造函数,全缺省的构造函数,这三者由于在对对象进行初始化的时候都没有参数,所以三者不能同时出现。

看的出来,构造函数的规矩还是比较多的,那么接下来的析构函数,要求相对就少了一些,我们来学习一下。

6. 析构函数
析构函数与构造函数功能相反,析构函数不是完成对对象本⾝的销毁,⽐如局部对象是存在栈帧的,函数结束栈帧销毁,他就释放了,不需要我们管,C++规定对象在销毁时会⾃动调⽤析构函数,完成对象中资源的清理释放⼯作。
下面是析构函数的特点和我们定义时的要求:
  • 析构函数名是在类名前加上字符 ~。
  • ⽆参数⽆返回值。 (这⾥跟构造类似,也不需要加void)
  • ⼀个类只能有⼀个析构函数。若未显式定义,系统会⾃动⽣成默认的析构函数。
  • 对象⽣命周期结束时,系统会⾃动调⽤析构函数。
  • 跟构造函数类似,我们不写编译器⾃动⽣成的析构函数对内置类型成员不做处理,⾃定类型成员会调⽤他的析构函数。
  • 还需要注意的是我们显⽰写析构函数,对于⾃定义类型成员也会调⽤他的析构,也就是说⾃定义类型成员⽆论什么情况都会⾃动调⽤析构函数。
  • 如果类中没有申请资源时,析构函数可以不写,直接使⽤编译器⽣成的默认析构函数,如Date;如果默认⽣成的析构就可以⽤,也就不需要显⽰写析构,如MyQueue;但是有资源申请时,⼀定要⾃⼰写析构,否则会造成资源泄漏,如Stack。
  • ⼀个局部域的多个对象,C++规定后定义的先析构。

简单来说,就是如果对象涉及到了资源的申请,那么就需要析构函数。

下面我们通过代码来进一步学习:

#include<iostream>
using namespace std;
typedef int STDataType;
class Stack
{
public:
    Stack(int n = 4)
    {
        _a = (STDataType*)malloc(sizeof(STDataType) * n);
        if (nullptr == _a)
        {
            perror("malloc申请空间失败");
            return;
        }
        _capacity = n;
        _top = 0;
    }
    ~Stack()
    {
        cout << "~Stack()" << endl;
        free(_a);
        _a = nullptr;
        _top = _capacity = 0;
    }
private:
    STDataType* _a;
    size_t _capacity;
    size_t _top;
};
// 两个Stack实现队列
class MyQueue
{
public:
    //编译器默认⽣成MyQueue的析构函数调⽤了Stack的析构,释放的Stack内部的资源
    // 显⽰写析构,也会⾃动调⽤Stack的析构
/*~MyQueue()
{}*/
private:
    Stack pushst;
    Stack popst;
};

int main()
{
    Stack st;
    MyQueue mq;
    return 0;
}

在代码中,我们自定义了两个类,分别是栈和用栈表示的队列,在栈的类中,有一个全缺省的构造函数,在构造函数中进行了空间的申请,所以就需要析构函数来对这个空间进行释放。在 用栈表示的队列 这个类中,涉及到两个栈的对象,那么在析构函数调用的时候,是按照后定义的先调用这样一个顺序来进行析构。

此外,和和构造函数一样,当我们没有主动定义时,编译器会默认生成一个析构函数,在代码中我们在用栈表示的队列这个类中并没定义析构函数,而编译器默认生成的析构函数会对两个栈的析构函数进行调用,但是哪怕我们自己已经定义了析构函数,编译器还是会从栈的析构函数走一遍,防止出错,这样一来,我们在很多情况下就可以省略一部分冗杂的代码。

7. 构造拷贝函数

下面我们学习一个非常抽象的构造函数:拷贝构造函数。

如果⼀个构造函数的第⼀个参数是⾃⾝类类型的引⽤,且任何额外的参数都有默认值,则此构造函数也叫做拷⻉构造函数,也就是说拷⻉构造是⼀个特殊的构造函数。
和其他,默认成员函数一样,在未显式定义的时候,编译器会自动生成一个默认拷贝构造函数,对数据进行浅拷贝(按字节拷贝),浅拷贝在对于无资源申请的数据来说是可以使用的,但若有资源申请,则会将申请的空间地址也进行浅拷贝,则在析构的时候这块空间就会被析构两次,此时就应该显式定义拷贝构造函数。
C++规定⾃定义类型对象进⾏拷⻉⾏为必须调⽤拷⻉构造,所以这⾥⾃定义类型传值传参和传值返
回都会调⽤拷⻉构造完成。那么,拷贝构造函数应该怎么写呢?
我们继续来看一下:
#include<iostream>
using namespace std;
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;
    }
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;
};

void Func1(Date d)
{
    cout << &d << endl;
    d.Print();
}
// Date Func2()
Date& Func2()
{
    Date tmp(2024, 7, 5);
    tmp.Print();
    return tmp;
}

int main()
{
    Date d1(2024, 7, 5);

    Func1(d1);
    cout << &d1 << endl;

    Date d2(&d1);
    d1.Print();
    d2.Print();

    Date d3(d1);
    d2.Print();

    Date d4 = d1;
    d2.Print();

    Date ret = Func2();
    ret.Print();
    return 0;
}

 拷贝构造函数第一个参数为该类的类对象的引用,其余参数都有缺省值,在Func1(d1)这里,C++规定⾃定义类型对象进⾏拷⻉⾏为必须调⽤拷⻉构造,所以这⾥传值传参要调⽤拷⻉构造,所以这⾥的d1传值传参给d要调⽤拷⻉构造完成拷⻉,传引⽤传参可以较少这⾥的拷⻉,在Date d2(&d1)这里,可以进行拷贝但不是拷贝构造函数,因为拷贝构造函数的参数是类对象的引用,Date d3(d1)和Date d4 = d1是真确的拷贝构造函数的调用方法,而对于Date ret = Func2()及后面几行代码,由于tmp在函数结束时就被销毁,传出的是野指针。

传值返回会产⽣⼀个临时对象调⽤拷⻉构造,传值引⽤返回,返回的是返回对象的别名(引⽤),没 有产⽣拷⻉。但是如果返回对象是⼀个当前函数局部域的局部对象,函数结束就销毁了,那么使⽤ 引⽤返回是有问题的,这时的引⽤相当于⼀个野引⽤,类似⼀个野指针⼀样。传引⽤返回可以减少 拷⻉,但是⼀定要确保返回对象,在当前函数结束后还在,才能⽤引⽤返回。

今天也学习了很多东西,还剩下许多我们今天就不再继续讲解了,说多了倒也记不住,不如分开多学几次,还能学的明白,我们下次再见。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值