【重走C++学习之路】5、类和对象(下)

目录

一、​​构造函数中的初始化列表

二、explicit关键字

三、static成员

四、C++11中新的初始化方式

五、友元

5.1 友元函数

 5.2 友元类

 六、内部类

 七、匿名对象

八、拷贝对象时的一些编译器优化

总结


一、​​构造函数中的初始化列表

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

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

实例化对象时调用上述的构造函数调用之后,对象中已经有了一个初始值,但是不能将其称为对对象中成员变量的初始化,构造函数体中的语句只能将其称为赋初值,而不能称作初始化。因为初始化只能初始化一次,而构造函数体内可以多次赋值。

因此引出了初始化列表,在函数体外,跟在函数声明后,以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式。例如:

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

    Date(int year, int month, int day)
    :_year(year), _month(month), _day(day)
    {}

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

 上面的初始化列表的两种写法:

  • 将每个变量按列表的形式摆放,便于程序员识别
  • 将变量都写在一行,节省代码空间

这两种写法意思都是一样的,就看程序员习惯哪一种而已。

 初始化列表需要注意:

  • 每个成员变量只能在初始化列表中出现一次
  • 类中包含定义时必须初始化的成员时,必须使用初始化列表,例如:const成员变量,引用成员变量,无默认构造函数的自定义类型成员变量。
  • 尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量,一定会先使用初始化列表初始化。
  • 成员变量在类中声明次序就是其在初始化列表中的初始化顺序与其在初始化列表中的先后次序无关

二、explicit关键字

explicit关键字是为了解决隐式类型转换的问题。在C语言中,相近类型,意义相似的类型可以发生隐式类型转换。例如int和double两个类型都是表示大小的,所以可以发生。那么,在自定义类型中是否可以发生这中转换吗?

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

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

int main()
{
    Date d1 = {2025, 4, 12};
    return 0;
}

上述代码中,Date d1 = { 2025, 4, 12 }; 为什么能运行成功,有些人会疑惑这也不是赋值运算符函数,右边不是类类型的对象啊。

解释:

这里其实是编译器先用{2025, 4, 12}构造一个匿名对象,然后把这个对象给d1赋值,因为两次构造是连续的,所以两个动作会被编译器优化为一个构造,两次都是直接构造,但是意义还是不同的。如果我们不想这种隐式类型转换发生,一般在构造函数前面加一个explicit的关键字。

explicit Date(int year, int month, int day)
    :_year(year)
    ,_month(month)
    ,_day(day)
    {}

三、static成员

声明为static的类成员称为类的静态成员。用static修饰的成员变量,称之为静态成员变量;用static修饰的成员函数,称之为静态成员函数。静态成员变量一定要在类外进行初始化。

静态成员特点:

  • 静态成员为所有类对象所共享,不属于某个具体的对象,存放在静态区
  • 静态成员变量必须在类外定义,定义时不添加static关键字,类中只是声明
  • 类静态成员即可用类名::静态成员或者对象.静态成员来访问
  • 静态成员函数没有隐藏的this指针不能访问任何非静态成员
  • 静态成员也是类的成员,受public、protected、private访问限定符的限制

可以利用静态成员变量实现计算该程序创建了多少个对象:

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

    static int GetCount()
    {
        return _sCount;
    }

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

    static int _sCount;
};

int Date::_sCount = 0;

上述代码中,每创建一个对象,就会调用构造函数,从而导致_sCount++,这样就实现了计算创建对象的数量。

四、C++11中新的初始化方式

class Date
{
public:

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

    static int _sCount;
};

int Date::_sCount = 0;

直接在成员变量声明的地方给值,但要注意的是静态成员变量仍需要在类外初始化定义。

五、友元

友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以
友元不宜多用。友元分为:友元函数和友元类。

5.1 友元函数

在前面我们提到过运算符重载,思考一下operator<<这个怎么重载,怎么实现?

我们会发现不能将operator<<重载成成员函数,因为一般使用时是cout << xx的形式,cout需要在左边,而成员函数的第一个参数默认是this指针,抢占了cout的位置,最后会变成xx << cout的形式,因此我们需要将operator<<重载成全局函数,但是这样又会导致不能访问类内的成员。这个时候友元就是来解决这样的问题。

class Date
{
    friend ostream& operator<<(ostream& _cout, const Date& d);
    friend istream& operator>>(istream& _cin, Date& d);
public:
    Date(int year, int month, int day)
    : _year(year)
    , _month(month)
    , _day(day)
    {}

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

ostream& operator<<(ostream& _cout, const Date& d)
{
    _cout << d._year << "-" << d._month << "-" << d._day;
    return _cout;
}

istream& operator>>(istream& _cin, Date& d)
{
    _cin >> d._year;
    _cin >> d._month;
    _cin >> d._day;
    return _cin;
}

int main()
{
    Date d;
    cin >> d;
    cout << d << endl;

    return 0;
}

需要注意:

  • 友元函数可访问类的私有和保护成员,但不是类的成员函数
  • 友元函数不能用const修饰
  • 友元函数可以在类定义的任何地方声明,不受类访问限定符限制
  • 一个函数可以是多个类的友元函数
  • 友元函数的调用与普通函数的调用原理相同

 5.2 友元类

友元类的所有成员函数都可以是另一个类的友元函数,都可以访问另一个类中的非公有成员。

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

    void SetTimeOfDate(int hour, int minute, int second)
    {
        // 直接访问时间类私有的成员变量
        _t._hour = hour;
        _t._minute = minute;
        _t._second = second;
    }
    
private:
    int _year;
    int _month;
    int _day;

    Time _t;
};

class Time
{
    friend class Date;
public:
    Time(int hour, int minute, int second)
        :_hour(hour)
        , _minute(minute)
        , _second(second)
    {}
private:
    int _hour;
    int _minute;
    int _second;
};

需要注意:

  • 友元关系是单向的,不具有交换性

比如上述Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。

  • 友元关系不能传递

如果C是B的友元, B是A的友元,则不能说明C时A的友元。

  • 友元关系不能继承

 六、内部类

如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越的访问权限。

class A
{
private:
    static int k;
    int h;
public:
    class B // B天生就是A的友元
    {
    public:
        void foo(const A& a)
        {
            cout << k << endl;//OK
            cout << a.h << endl;//OK
        }
    };
};

int A::k = 1;

int main()
{
    A a;
    A::B b;
    b.foo(a);

    return 0;
}

内部类就是外部类的友元类,参见友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元。

注意:

  •  内部类可以定义在外部类的public、protected、private都是可以的。
  • 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象/类名。
  • sizeof(外部类)=外部类,和内部类没有任何关系。

 七、匿名对象

匿名对象就是在实例化对象时不用给对象取名字,它的生命周期只有一行,一般用来传递参数或者调用类内成员函数,例如我们在做OJ题时,总会有Solution这个类,那在调用里面的函数时,我们只需要创建一个匿名对象,在这一行调用类内的成员函数,而不需要在程序的整个生命周期中存在。

例如:LeetCode上的第一题:两数之和

class Solution
{
public:
    vector<int> twoSum(vector<int> &nums, int target)
    {
        ...
    }
};

int main()
{   
    ......
    Solution().twoSum(nums, target);    // 直接创建匿名对象调用函数
                                        // 只需要这一行的生命周期
    ......
}

八、拷贝对象时的一些编译器优化

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

    A(const A& aa)
    :_a(aa._a)
    {
        cout << "A(const A& aa)" << endl;
    }

    A& operator=(const A& aa)
    {
        cout << "A& operator=(const A& aa)" << endl;
        if (this != &aa)
        {
            _a = aa._a;
        }
        return *this;
    }

    ~A()
    {
        cout << "~A()" << endl;
    }

private:
    int _a;
};

void f1(A aa)
{}

A f2()
{
    A aa;
    return aa;
}

上述代码中我们实现了一个A的类,并且完成了构造函数、拷贝构造函数、赋值运算符重载这三函数。

A aa1 = 1;
f1(aa1);

f1是传值传参,会发生A aa的初始化,就会调用拷贝构造函数,将aa1的值赋给aa。

f2();

f2函数内部定义了一个A aa的对象,调用了构造函数。

f1(1);

这里出现了隐式类型转换,先会调用构造函数生成一个A tmp(1)的对象,然后将tmp对象拷贝给A aa对象,这里编译器就会发生优化,变成直接构造

f1(A(2));

这里我们先构造了一个A类型的匿名对象,然后将匿名对象拷贝构造给A aa,连续的构造最后编译器会优化为一个构造。

A aa2 = f2();

 这里f2函数返回时会创建临时变量A tmp,函数内部的aa变量拷贝给tmp,然后将tmp赋给aa2,由于aa2是初始化,因此会变成拷贝构造,连续的拷贝构造最后编译器会优化成为一个拷贝构造

aa1 = f2();

 这里的与上面的形式很像,但区别在于这个不是初始化,因此会将tmp赋值给aa1,整个过程就变为了连续拷贝+赋值,这里编译器不会优化

总的来说,这里的优化就是编译器在构造函数、拷贝构造函数、赋值函数三者之间为了减少拷贝,而合成一个。

结语

到此C++类和对象的知识就介绍完了,类和对象是C++的基础,需要详细了解,面试中也是常考的点。下一篇将会介绍C++中的内存管理,有兴趣的朋友可以关注一下。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值