【五】【C++】类与对象(三)

const只读

在 C++ 中,const 关键字用于声明一个变量为常量,意味着一旦被初始化之后,它的值就不能被改变。

声明常量

使用 const 关键字可以声明变量为常量。这意味着这个变量的值不能被修改。

cpp 复制代码
const int MAX_SIZE = 100;

指针与 const

const 可以与指针结合使用,用来声明指向常量的指针或者指针本身为常量。

指向常量的指针:不能通过这个指针来修改它所指向的值。

复制代码
cpp 复制代码
const int* ptr = &MAX_SIZE;

常量指针:指针本身的值(即存储的地址)不能被修改。

复制代码
cpp 复制代码
int value = 5;
int* const ptr = &value;

指向常量的常量指针:既不能修改指针存储的地址,也不能通过指针修改所指向的值。

复制代码
cpp 复制代码
const int* const ptr = &MAX_SIZE;

指针与const结合使用,主要看const后面紧跟着的是什么,如果紧跟着的是int* 数据类型,说明指针上的值不能改变,如果紧跟着的是指针名,说明指针本身不能改变,如果都存在,都无法改变。

const 成员函数:

在类中,如果一个成员函数不修改任何成员变量,那么这个函数可以被声明为 const

复制代码
cpp 复制代码
class MyClass {
public:
    int getValue() const {
        return value;
    }
private:
    int value;
};

const 与对象:

当一个对象被声明为 const,那么只能调用它的 const 成员函数。这是因为 const 成员函数保证不会修改对象的状态。

我们可以思考以下几个问题,

  1. const对象可以调用非const成员函数吗?---const对象只能调用const成员函数

  2. 非const对象可以调用const成员函数吗?---非const意味着可读可写,对于只读成员函数当然可以调用

  3. const成员函数内可以调用其它的非const成员函数吗?---const成员函数不能修改成员变量,自然不能调用非const成员函数。

  4. 非const成员函数内可以调用其它的const成员函数吗?---非const意味着可读可写,对于只读成员函数当然可以调用

初始化列表

在 C++ 中,初始化列表(Initializer List)是一个非常重要的特性,用于在构造函数中初始化类的成员变量。使用初始化列表可以提高代码的效率和可读性,并且在某些情况下是必要的。

基本语法

初始化列表紧随在构造函数的参数列表后面,由一个冒号 (:) 引入,后跟一个或多个用逗号分隔的初始化器。每个初始化器包括成员变量名称和用于初始化该成员的值或表达式。

复制代码
cpp 复制代码
/*初始化列表*/
#include <iostream>
using namespace std;
class Date {
    public:
        Date(int year, int month, int day)
            : _year(year)
            , _month(month)
            , _day(day)
        {}
        void Show() {
            cout << _year << "-" << _month << "-" << _day << endl;
        }
    private:
        int _year;
        int _month;
        int _day;
 };
int main() {
    Date d1(2024, 1, 31);
    d1.Show();
 }

初始化列表相对于构造函数的优点

更高的效率

初始化列表直接初始化成员变量,而不是先默认构造它们然后再赋值。这在成员变量是对象时尤其重要,因为它避免了额外的构造和析构调用。

必要性

对于 const 成员和引用类型的成员变量,它们必须在初始化列表中初始化,因为这些类型的变量一旦被默认构造,就不能再被赋予新值。

初始化列表对于非基本 数据类型 的优势

对于类类型的成员变量,如果它们没有默认构造函数,或者有参数的构造函数更高效,使用初始化列表可以明确指定如何初始化这些成员。

对于const成员和引用类型的成员变量

复制代码
cpp 复制代码
/*构造函数的缺陷---难以初始化 const 和引用类型成员变量*/
#include <iostream>
using namespace std;
class A{
public:
    A(int& a){
        _ref= a;
        _n=10;
    }
private:
    int& _ref;
    const int _n;
 };

构造函数并不是严格意义上的初始化,上面代码尝试用构造函数初始化const和引用成员会报错,"[错误]在' int &'[-fpermissive ]中未初始化的引用成员",原因是构造函数实际上是对已经初始化的成员变量进行赋值操作,也就是说成员变量已经被创建,但构造函数是对创建好的成员变量进行赋值操作。我们希望的初始化是在创建的过程中进行赋值操作。

对于const和引用成员,必须在创建的时候对其初始化,而构造函数是对创建好的对象进行赋值,因此只能使用初始化列表进行严格的初始化。

复制代码
cpp 复制代码
/*构造函数的缺陷---难以初始化 const 和引用类型成员变量*/
#include <iostream>
using namespace std;
class A {
    public:
        A(int& a):
            _ref(a),
            _n(10)
        {}
        void Show() {
            cout << _ref << "---" << _n << endl;
            cout << &_ref << endl;
        }
    private:
        int& _ref;
        const int _n;
 };
int main() {
    int b = 100;
    A a(b);
    cout << &b << endl;
    a.Show();
    return 0;
 }

对于自定义类型成员变量

复制代码
cpp 复制代码
/*初始化列表对于非基本数据类型的优势*/
#include <iostream>
using namespace std;
class A {
    public:
        A(int a): _a(a)
        {}
        void Show() {
            cout << "_a:" << _a << endl;
        }
    private:
        int _a;
 };
class B {
    public:
        B(int a, int ref)
            : _aobj(a),
              _ref(ref),
              _n(10)
        {}
        void Show() {
            _aobj.Show();
            cout << "_ref:" << _ref << endl << "_n:" << _n << endl;
        }
    private:
        A _aobj;
        int& _ref;
        const int _n;
 };
int main() {
    int c = 20;
    B b(100, c);
    b.Show();
 }

初始化列表的初始化顺序

成员变量的初始化顺序与它们在类中的声明顺序一致,而不是初始化列表中的顺序。这可以确保即使成员变量之间有依赖关系,它们也总是以一致的顺序被初始化。

复制代码
cpp 复制代码
/*初始化列表---初始化顺序*/
#include <iostream>
using namespace std;
class Date {
    public:
        Date(int year, int month, int day)
            : _year(year)
            , _month(month)
            , _day(day)
        {}
        void Show() {
            cout << _year << "-" << _month << "-" << _day << endl;
        }
    private:
        int _day;
        int _month;
        int _year;
 };
int main() {
    Date d1(2024, 1, 31);
    d1.Show();
 }

explicit 关键字

在 C++ 中,explicit 关键字用于阻止类构造函数的隐式自动类型转换。它主要用在类的单参数构造函数上,或者在构造函数有默认参数时,构造函数虽然有多个参数,但可以仅通过一个实际参数调用。

在没有 explicit 关键字的情况下,C++ 允许单参数构造函数隐式地将一个值转换为其类类型。这种隐式转换有时可能导致意料之外的行为。

复制代码
cpp 复制代码
/*explicit关键字*/
#include <iostream>
using namespace std;
class Date {
    public:
        Date(int year)
            : _year(year),
              _month(0),
              _day(0)
        {}
        Date& operator=(const Date& d) {
            if (this != &d) {
                _year = d._year;
                _month = d._month;
                _day = d._day;
            }
            return *this;
        }
        void Show() {
            cout << _year << "-" << _month << "-" << _day << endl;
        }
    private:
        int _year;
        int _month;
        int _day;
 };
int main() {
    Date d1(2022);
    d1.Show();
    d1 = 2023;//Date d(2023)
    d1.Show();
    return 0;
 }

当我们将整型的2023传入d1时,发生隐式转换将整型2023转化为日期类,调用单参数构造函数,以整型2023为参数构造日期类作返回值。

此时在Date构造函数前面添加explicit关键字,阻止类构造函数的隐式自动类型转换。

复制代码
cpp 复制代码
/*explicit关键字*/
#include <iostream>
using namespace std;
class Date {
    public:
        explicit Date(int year)
            : _year(year),
              _month(0),
              _day(0)
        {}
        Date& operator=(const Date& d) {
            if (this != &d) {
                _year = d._year;
                _month = d._month;
                _day = d._day;
            }
            return *this;
        }
        void Show() {
            cout << _year << "-" << _month << "-" << _day << endl;
        }
    private:
        int _year;
        int _month;
        int _day;
 };
int main() {
    Date d1(2022);
    d1.Show();
    d1 = 2023;//Date d(2023)
    d1.Show();
    return 0;
 }

static成员

在 C++ 中,static 关键字用于定义类的静态成员,包括静态成员变量和静态成员函数。这些成员与类的特定实例无关,而是属于类本身。

静态 成员变量

类的静态成员变量在所有实例之间共享。也就是说,不管创建了多少对象,静态成员变量只有一份副本。

静态成员变量可以通过类名直接访问,而不需要类的实例。

静态成员变量必须在类定义外进行初始化(通常在源文件中)。

静态成员函数

静态成员函数可以访问类的静态成员变量和其他静态成员函数,但不能直接访问类的非静态成员。(静态函数没有this指针)

静态成员函数可以通过类名直接访问,而不需要类的实例。

复制代码
cpp 复制代码
/*静态static*/
#include<iostream>
using namespace std;
class A{
public:
    static void add(){
        n++;
    }

    static int n;

 };
int A::n=0;

int main(){
    cout<<A::n<<endl;
    A a;
    a.n++;
    A b;
    cout<<b.n<<endl;
    
     A::add();
    cout<<A::n<<endl;
 }

尝试在类内重载<<运算符

复制代码
cpp 复制代码
/*在类内 重载<<与>>运算符*/
#include <iostream>
using namespace std;
class Date {
    public:
        Date(int year, int month, int day)
            : _year(year),
              _month(month),
              _day(day)
        {}

        ostream& operator<<(ostream& _cout) {
            _cout << _year << "-" << _month << "-" << _day << endl;
            return _cout;
        }
    private:
        int _year;
        int _month;
        int _day;
 };
int main() {
    Date d1(2024, 1, 31);
    //_cout << d1 << endl;
    d1 << cout << endl;
 }

我们在类内重载<<运算符,以至于我们使用<<时,左边必须是Date类的对象,右边才是第一个参数_cout。因为<<左边的Date对象需要作为this指针传入operator<<函数中,正常来说我们希望<<左边作为_cout参数右边作为this指针传入函数内,因此在类内不便于我们重载<<与>>运算符。

尝试在类外重载<<运算符

复制代码
cpp 复制代码
/*在类内 重载<<与>>运算符*/
#include <iostream>
using namespace std;
class Date {
    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 << endl;
    return _cout;
 }
int main() {
    Date d1(2024, 1, 31);
    cout << d1 << endl;
 }

在类外外面重载<<与>>运算符有一个严重的问题,无法在类外访问类内被private修饰的成员变量。

友元

在C++中,友元(Friend)是一种机制,它允许一个类或函数访问另一个类的私有成员。这意味着友元能够绕过C++中的封装性,使得外部类或函数可以直接访问另一个类的私有数据和成员函数。

类友元:

友元可以是一个类,这意味着一个类可以允许另一个类访问它的私有成员。

在一个类中声明另一个类为友元,可以在类的定义中使用 friend 关键字。

复制代码
cpp 复制代码
class ClassA {
private:
    int privateVarA;
public:
    ClassA() : privateVarA(0) {}
    friend class ClassB; // 声明ClassB为ClassA的友元
};

class ClassB {
public:
    void AccessPrivateVar(ClassA& obj) {
        obj.privateVarA = 42; // ClassB可以访问ClassA的私有成员
    }
};

函数 友元

友元也可以是一个函数,这意味着一个函数可以访问一个类的私有成员。

在一个类中声明一个函数为友元,可以在类的定义中使用 friend 关键字。

复制代码
cpp 复制代码
class MyClass {
private:
    int privateVar;
public:
    MyClass() : privateVar(0) {}
    friend void FriendFunction(MyClass& obj); // 声明FriendFunction为MyClass的友元函数
};

void FriendFunction(MyClass& obj) {
    obj.privateVar = 42; // FriendFunction可以访问MyClass的私有成员
}

在类外重载<<运算符

复制代码
cpp 复制代码
/*在类内 重载<<与>>运算符*/
#include <iostream>
using namespace std;
class Date {
public:
    Date(int year, int month, int day)
    : _year(year),
    _month(month),
    _day(day)
    {}
    friend ostream& operator<<(ostream& _cout, const Date& d);
    
private:
    int _year;
    int _month;
    int _day;
 };

ostream& operator<<(ostream& _cout, const Date& d) {
    _cout << d._year << "-" << d._month << "-" << d._day << endl;
    return _cout;
 }
int main() {
    Date d1(2024, 1, 31);
    cout<<d1<<endl;
 }

在类内声明ostream**&** operator<<( ostream**&** _cout**,** const Date**&** d**);**这个函数是Date的友元函数。表示这个函数可以访问Date类内的私有成员。

内部类

在C++中,内部类(也称为嵌套类)是定义在另一个类中的类。这种结构允许组织代码的方式更加紧密和结构化,使得外部类和内部类之间的关系更加明确。内部类可以访问外部类的私有成员,这是因为C++标准规定内部类是外部类的友元。

定义内部类

内部类(嵌套类)是在另一个类的内部定义的类。这使得嵌套类能够访问外部类的所有成员(包括私有成员)。

复制代码
cpp 复制代码
class OuterClass {
public:
    // 外部类的成员

    class InnerClass {
    public:
        // 内部类的成员
    };
};

访问外部类成员

嵌套类可以直接访问外部类的成员,包括私有成员。因为C++标准规定内部类是外部类的友元。

复制代码
cpp 复制代码
class OuterClass {
    int value = 0; // 私有成员

public:
    class InnerClass {
    public:
        void display(OuterClass& outer) {
            cout << outer.value << endl; // 直接访问外部类的私有成员
        }
    };
};

实例化内部类

要实例化嵌套类,您首先需要外部类的实例,然后使用该实例来实例化内部类。

如果内部类是公有的,也可以直接从外部类的外部实例化它。否则,你可能需要在外部类内部或通过外部类的公有方法来实例化内部类。

复制代码
cpp 复制代码
/*内部类*/
#include <iostream>
using namespace std;
class OuterClass {
        int value = 0; // 私有成员

    public:
        class InnerClass {
            public:
                void display(OuterClass& outer) {
                    cout << outer.value << endl; // 直接访问外部类的私有成员
                }
        };
 };
int main() {
    OuterClass a;
    OuterClass::InnerClass b;
    b.display(a);

 }

匿名对象

在C++中,匿名对象是指没有名称的对象。它们通常在创建对象时立即使用,而不需要将其存储在变量中。匿名对象可以用于各种场景,比如作为函数参数、作为表达式的一部分或在任何只需要临时对象的地方。

匿名对象在使用后立即被销毁,这意味着它们的生命周期非常短。这使得它们在处理不需要长期存储的数据时非常有用。

作为函数参数

假设我们有一个函数display,它接受一个对象参数,并显示一些信息。我们可以在调用display时创建一个匿名对象:

复制代码
cpp 复制代码
#include <iostream>

class MyClass {
public:
    void show() const {
        std::cout << "MyClass show function called" << std::endl;
    }
};

void display(const MyClass& obj) {
    obj.show();
}

int main() {
    // 使用匿名对象作为函数参数
    display(MyClass());

    return 0;
}

类方法链式调用

在某些情况下,你可能想要立即调用一个对象的方法,而不是先将其存储在变量中。可以创建一个匿名对象来实现这一点:

复制代码
cpp 复制代码
#include<iostream>
class MyClass {
public:
    void show() const {
        std::cout << "MyClass show function called" << std::endl;
    }
};

int main() {
    // 创建一个匿名对象并立即调用它的方法
    MyClass().show();

    return 0;
}

短暂的生命周期

复制代码
cpp 复制代码
/*短暂的生命周期*/
#include<iostream>
using namespace std;
class A
{
public:
    A(int a = 0)
    :_a(a)
    {
        cout << "A(int a)" << endl;
    }
    ~A()
    {
        cout << "~A()" << endl;
    }
private:
    int _a;
 };
int main(){
    A();
    
     return 0;
 }

匿名对象的生命周期只有一行。

拷贝构造优化

1.构造函数构造出来的对象A,用来拷贝构造一个对象B,优化成,构造函数直接构造出来的对象B(直接用对象A)

2.函数值返回一个对象A,优化成直接返回A,A用来拷贝构造一个对象B,优化成,直接用对象A,A生命周期延长。

cpp 复制代码
/*拷贝构造的优化*/
#include <iostream>
using namespace std;
class A {
    public:
        A(int a = 0)
            : _a(a) {
            cout << "A(int a=0)" << 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;
 }
int main() {
    A aa1;
    f1(aa1);
    cout << endl;

    f2();
    cout << endl;

    f1(1);//构造函数构造出来的对象A,用来拷贝构造一个对象B,优化成,构造函数直接构造出来的对象B(直接用对象A)

    f1(A(2));//构造函数构造出来对象A,用来拷贝构造一个对象B,优化成,构造函数直接构造出来的对象B(直接用对象A)
    cout << endl;

    A aa2 = f2();//函数返回一个对象A,用来拷贝构造一个对象B,优化成,直接用对象A,A生命周期延长
    cout << endl;

    aa1 = f2();//函数返回一个对象A,赋值重载,无法优化
    cout << endl;

    return 0;
 }

结尾

最后,感谢您阅读我的文章,希望这些内容能够对您有所启发和帮助。如果您有任何问题或想要分享您的观点,请随时在评论区留言。

同时,不要忘记订阅我的博客以获取更多有趣的内容。在未来的文章中,我将继续探讨这个话题的不同方面,为您呈现更多深度和见解。

谢谢您的支持,期待与您在下一篇文章中再次相遇!

相关推荐
莫名其妙小饼干5 分钟前
网上球鞋竞拍系统|Java|SSM|VUE| 前后端分离
java·开发语言·maven·mssql
十年一梦实验室14 分钟前
【C++】sophus : sim_details.hpp 实现了矩阵函数 W、其导数,以及其逆 (十七)
开发语言·c++·线性代数·矩阵
taoyong00118 分钟前
代码随想录算法训练营第十一天-239.滑动窗口最大值
c++·算法
最爱番茄味23 分钟前
Python实例之函数基础打卡篇
开发语言·python
这是我5825 分钟前
C++打小怪游戏
c++·其他·游戏·visual studio·小怪·大型·怪物
fpcc32 分钟前
跟我学c++中级篇——C++中的缓存利用
c++·缓存
呆萌很1 小时前
C++ 集合 list 使用
c++
Oneforlove_twoforjob1 小时前
【Java基础面试题033】Java泛型的作用是什么?
java·开发语言
engchina1 小时前
如何在 Python 中忽略烦人的警告?
开发语言·人工智能·python
向宇it1 小时前
【从零开始入门unity游戏开发之——C#篇24】C#面向对象继承——万物之父(object)、装箱和拆箱、sealed 密封类
java·开发语言·unity·c#·游戏引擎