【C++篇】C++类与对象深度解析(四):初始化列表、类型转换与static成员详解

文章目录

  • C++类与对象超详细入门指南
  • 前言
    • [1. 初始化列表------再谈构造函数](#1. 初始化列表——再谈构造函数)
      • [1.1 初始化成员变量的方式](#1.1 初始化成员变量的方式)
        • [1.1.1 构造函数内部赋值 vs 初始化列表](#1.1.1 构造函数内部赋值 vs 初始化列表)
        • [1.1.2 两者的区别](#1.1.2 两者的区别)
        • [1.1.3 为什么要使用初始化列表](#1.1.3 为什么要使用初始化列表)
        • [1.1.4 示例](#1.1.4 示例)
      • [1.2 初始化列表的语法](#1.2 初始化列表的语法)
          • [1.2.1 示例:](#1.2.1 示例:)
      • [1.3 引用成员变量、const成员变量的初始化](#1.3 引用成员变量、const成员变量的初始化)
        • [1.3.1 引用类型成员的初始化](#1.3.1 引用类型成员的初始化)
        • [1.3.2 const成员变量的初始化](#1.3.2 const成员变量的初始化)
      • [1.4 没有默认构造函数的类类型变量](#1.4 没有默认构造函数的类类型变量)
        • [1.4.1 示例](#1.4.1 示例)
      • [1.5 成员变量默认值的使用 (C++11)](#1.5 成员变量默认值的使用 (C++11))
      • [1.6 初始化顺序](#1.6 初始化顺序)
        • [1.6.1 示例](#1.6.1 示例)
      • [1.7 初始化列表总结](#1.7 初始化列表总结)
    • [2. 类型转换详解](#2. 类型转换详解)
      • [2.1 内置类型转换为类类型](#2.1 内置类型转换为类类型)
        • [2.1.1 隐式类型转换](#2.1.1 隐式类型转换)
        • [2.1.2 `explicit` 防止隐式转换](#2.1.2 explicit 防止隐式转换)
      • [2.2 类类型之间的转换](#2.2 类类型之间的转换)
        • [2.2.1 类类型之间的隐式转换](#2.2.1 类类型之间的隐式转换)
        • [2.2.2 阻止类类型的隐式转换](#2.2.2 阻止类类型的隐式转换)
      • [2.3 类型转换的实践](#2.3 类型转换的实践)
        • [2.3.1 示例代码](#2.3.1 示例代码)
        • [2.3.2 解析](#2.3.2 解析)
      • [2.4 C++11中的多参数类型转换](#2.4 C++11中的多参数类型转换)
      • [2.5 编译器的优化:直接构造](#2.5 编译器的优化:直接构造)
      • [2.6 类型转换总结](#2.6 类型转换总结)
    • [3. `static` 成员详解------静态成员变量与静态成员函数](#3. static 成员详解——静态成员变量与静态成员函数)
      • [3.1. `static` 成员变量](#3.1. static 成员变量)
        • [3.1.1 静态成员变量的特性](#3.1.1 静态成员变量的特性)
      • [3.2. `static` 成员函数](#3.2. static 成员函数)
        • [3.2.1 静态成员函数的特性](#3.2.1 静态成员函数的特性)
      • [3.3 静态成员的访问](#3.3 静态成员的访问)
        • [3.3.1 通过类名访问](#3.3.1 通过类名访问)
        • [3.3.2 通过对象访问](#3.3.2 通过对象访问)
      • [3.4 静态成员变量的初始化](#3.4 静态成员变量的初始化)
        • [3.4.1 为什么静态成员变量不能在类内初始化?](#3.4.1 为什么静态成员变量不能在类内初始化?)
      • [3.5 访问控制与静态成员](#3.5 访问控制与静态成员)
        • [3.5.1 `public` 静态成员](#3.5.1 public 静态成员)
        • [3.5.2 `private` 静态成员](#3.5.2 private 静态成员)
      • [3.6 `static` 成员的实际应用](#3.6 static 成员的实际应用)
      • 3.7`static`成员函数与变量总结
  • 写在最后

C++类与对象超详细入门指南

前言

💬 欢迎讨论:如果你在学习过程中有任何问题或想法,欢迎在评论区留言,我们一起交流学习。你的支持是我继续创作的动力!

👍 点赞、收藏与分享 :觉得这篇文章对你有帮助吗?别忘了点赞、收藏并分享给更多的小伙伴哦!你们的支持是我不断进步的动力!

🚀 分享给更多人:如果你觉得这篇文章对你有帮助,欢迎分享给更多对C++感兴趣的朋友,让我们一起进步!

1. 初始化列表------再谈构造函数


1.1 初始化成员变量的方式

初始化列表 是构造函数中用于初始化类成员变量的一种特殊机制。与在构造函数体中直接赋值不同,初始化列表可以提高效率,尤其是对于某些特定类型的成员变量,它是唯一可行的初始化方式。

1.1.1 构造函数内部赋值 vs 初始化列表

在C++中,我们有两种主要方式来初始化类的成员变量:

  • 构造函数内部赋值:在构造函数体内给成员变量赋值。

    例如:

    cpp 复制代码
    class A {
    public:
        A(int x) {
            this->_x = x;  // 在构造函数体内赋值
        }
    private:
        int _x;
    };
  • 初始化列表赋值:在构造函数的初始化列表中直接对成员变量进行初始化。

    例如:

    cpp 复制代码
    class A {
    public:
        A(int x) : _x(x) {  // 使用初始化列表赋值
        }
    private:
        int _x;
    };
1.1.2 两者的区别
  • 内置类型(如 int :对于内置类型,使用初始化列表和在构造函数体内赋值在效率上几乎没有差别。内置类型没有构造函数,也不会进行隐式初始化(即它们可能持有垃圾值)。构造函数体内赋值或初始化列表赋值都只进行一次操作。因此,选择哪种方式主要是基于代码的清晰性和一致性。

  • 类类型 :对于类类型的成员变量,如果没有使用初始化列表,成员变量会先调用默认构造函数进行初始化 ,然后在构造函数体内再赋值。这样就相当于进行了两次操作:一次初始化,一次赋值 。而使用初始化列表时,成员变量只会被初始化一次,效率更高。

    • 例如,考虑如下代码:

      cpp 复制代码
      class Member {
      public:
          Member(int value = 5) : _value(value) {}
      private:
          int _value;
      };
      
      class A {
      public:
          A(int x) {
              _member = Member(x);  // 先默认构造后再赋值
          }
      private:
          Member _member;
      };

      上面代码中,_member 会首先调用 Member 类的默认构造函数,然后再在构造函数体内通过赋值进行重新初始化。

      而如果使用初始化列表:

      cpp 复制代码
      class A {
      public:
          A(int x) : _member(x) {  // 直接通过初始化列表初始化
          }
      private:
          Member _member;
      };

      _member 只会被初始化一次,避免了不必要的性能开销。

  • 特殊情况 :某些成员变量,例如常量 (const)、引用类型 (reference) 或没有默认构造函数的对象,必须通过初始化列表进行初始化,否则编译器会报错。

1.1.3 为什么要使用初始化列表
  • 效率:如前所述,初始化列表避免了成员变量的二次初始化,特别是在类类型成员中,性能优势更为明显。
  • 必要性 :某些类型的成员变量,如 const、引用类型,或没有默认构造函数的类成员,必须通过初始化列表进行初始化,否则编译器无法自动处理这些成员的初始化。
1.1.4 示例
cpp 复制代码
class Time {
public:
    Time(int hour) : _hour(hour) {
        cout << "Time() called" << endl;
    }
private:
    int _hour;
};

在这个例子中,Time 类的构造函数使用了初始化列表,将传入的参数 hour 直接赋值给成员变量 _hour。这样,_hour 在对象构造时就被初始化,而不需要在构造函数体内赋值。


1.2 初始化列表的语法

语法结构:初始化列表的使用方式是在构造函数名后跟一个冒号,接着是一个以逗号分隔的成员变量列表,每个成员变量后面紧跟括号中的初始值或表达式。

基本语法格式

cpp 复制代码
ClassName(参数列表) : 成员变量1(初始值), 成员变量2(初始值), ... {
    // 构造函数体
}
1.2.1 示例:
cpp 复制代码
class MyClass {
public:
    MyClass(int a, int b) : _a(a), _b(b) {
        // 构造函数体
    }
private:
    int _a;
    int _b;
};

在这里,_a 被初始化为 a_b 被初始化为 b


1.3 引用成员变量、const成员变量的初始化

有些成员变量,比如引用类型常量类型,只能通过初始化列表进行初始化。

1.3.1 引用类型成员的初始化

引用类型成员变量在 C++ 中必须在声明时被初始化,不能在构造函数体内赋值,必须使用初始化列表。

cpp 复制代码
class MyClass {
public:
    MyClass(int& ref) : _ref(ref) {
        // _ref 是引用类型,必须在初始化列表中初始化
    }
private:
    int& _ref;
};
1.3.2 const成员变量的初始化

常量成员变量 (const) 也必须在对象创建时初始化,之后不能修改。因此也必须在初始化列表中进行初始化。

cpp 复制代码
class MyClass {
public:
    MyClass(int n) : _n(n) {
        // _n 是 const 类型,必须在初始化列表中初始化
    }
private:
    const int _n;
};

1.4 没有默认构造函数的类类型变量

如果一个类的成员变量是另一个没有默认构造函数的类类型变量,它也必须在初始化列表中进行初始化。

1.4.1 示例
cpp 复制代码
class Time {
public:
    Time(int hour) : _hour(hour) {}
private:
    int _hour;
};

class Date {
public:
    Date(int year, int month, int day) : _year(year), _month(month), _day(day), _t(12) {
        // _t 是 Time 类型,必须在初始化列表中调用 Time 的构造函数
    }
private:
    int _year;
    int _month;
    int _day;
    Time _t;  // Time 没有默认构造函数
};

1.5 成员变量默认值的使用 (C++11)

C++11 引入了成员变量默认值的概念。可以在类的声明中为成员变量提供默认值,这些默认值将在没有通过初始化列表显式初始化时使用。

cpp 复制代码
class MyClass {
public:
    MyClass() : _b(2) {  // _a 使用默认值1
        // 构造函数体
    }
private:
    int _a = 1;  // 默认值
    int _b;
};

1.6 初始化顺序

尽管初始化列表中的成员可以按任何顺序出现,但成员变量的初始化顺序是按照它们在类中声明的顺序进行的,而不是它们在初始化列表中的顺序。

1.6.1 示例
cpp 复制代码
class MyClass {
public:
    MyClass(int a, int b) : _b(b), _a(a) {
        // 尽管 _b 在初始化列表中先出现,但 _a 会首先被初始化
    }
private:
    int _a;
    int _b;
};

为了保持代码的一致性和可读性,建议初始化列表的顺序和成员变量声明的顺序一致。


1.7 初始化列表总结

  1. 每个构造函数都有初始化列表,即使你没有显式地写出它。
  2. 每个成员变量都必须被初始化,即使它没有在初始化列表中显式地被初始化。
  3. 对于引用类型常量没有默认构造函数的类类型成员,必须在初始化列表中进行初始化。
  4. C++11 允许在成员变量声明时提供默认值,这些默认值会在初始化列表中未显式初始化时使用。
  5. 初始化顺序取决于成员变量在类中的声明顺序,而不是它们在初始化列表中的顺序。


2. 类型转换详解

在C++中,类型转换 (Type Conversion)是指将一种数据类型转换为另一种数据类型的过程。对于类而言,C++允许将内置类型类类型 转换为其他类类型,这一功能在面向对象编程中非常有用。类型转换可以是显式的 (explicit)或隐式的 (implicit),并且它们涉及构造函数、转换运算符和explicit关键字。


2.1 内置类型转换为类类型

C++支持将内置类型 (如intdouble等)隐式地转换为自定义的类类型。这是通过定义带有内置类型参数的构造函数来实现的。

2.1.1 隐式类型转换

在没有explicit关键字修饰构造函数的情况下,编译器会自动将符合构造函数参数类型的内置类型值隐式转换为类对象。

示例

cpp 复制代码
class A {
public:
    A(int a1) : _a1(a1) {}

    void Print() {
        cout << _a1 << endl;
    }

private:
    int _a1;
};

int main() {
    A obj = 10;  // 隐式将 int 10 转换为 A 类型对象
    obj.Print();  // 输出: 10
}

在上面的代码中,整数 10 被隐式地转换为类 A 的对象,编译器自动调用了A的构造函数。可以直接通过A obj = 10;来创建对象,这是隐式类型转换的常见形式。

2.1.2 explicit 防止隐式转换

有时候,隐式类型转换会引发意想不到的错误或逻辑问题。为了防止这些错误,C++允许我们使用explicit关键字修饰构造函数,这样可以禁止该构造函数参与隐式转换。

示例

cpp 复制代码
class A {
public:
    explicit A(int a1) : _a1(a1) {}

    void Print() {
        cout << _a1 << endl;
    }

private:
    int _a1;
};

int main() {
    // A obj = 10;  // 错误:explicit 阻止了隐式转换
    A obj(10);      // 正确:必须显式调用构造函数
    obj.Print();    // 输出: 10
}

在这个例子中,explicit关键字阻止了A obj = 10;的隐式类型转换,必须使用A obj(10);进行显式调用构造函数来创建对象。这种方式避免了潜在的类型转换混淆问题。


2.2 类类型之间的转换

C++也允许将一个类类型的对象隐式转换为另一个类类型。这通常通过类的构造函数来实现。例如,一个类可以通过接受另一个类类型对象的构造函数进行隐式转换。

2.2.1 类类型之间的隐式转换

在下面的例子中,B类通过构造函数接受一个A类对象,这样当我们将A类对象赋值给B类时,C++会自动进行隐式转换。

示例

cpp 复制代码
class A {
public:
    A(int a1) : _a1(a1) {}

    int Get() const {
        return _a1;
    }

private:
    int _a1;
};

class B {
public:
    B(const A& a) : _b(a.Get()) {}

    void Print() {
        cout << _b << endl;
    }

private:
    int _b;
};

int main() {
    A objA(10);
    B objB = objA;  // A 类型对象隐式转换为 B 类型对象
    objB.Print();   // 输出: 10
}

在这里,B类的构造函数接受一个A类对象,因此当我们将objA赋值给objB时,C++会隐式调用B的构造函数将A对象转换为B对象。

2.2.2 阻止类类型的隐式转换

与内置类型的隐式转换类似,我们也可以使用explicit关键字来防止类类型之间的隐式转换。如下所示:

cpp 复制代码
class B {
public:
    explicit B(const A& a) : _b(a.Get()) {}

    void Print() {
        cout << _b << endl;
    }

private:
    int _b;
};

int main() {
    A objA(10);
    // B objB = objA;  // 错误:explicit 阻止了隐式转换
    B objB(objA);      // 正确:显式调用构造函数
    objB.Print();      // 输出: 10
}

在这个例子中,explicit关键字阻止了A对象隐式转换为B对象,必须显式调用B的构造函数。


2.3 类型转换的实践

为了更好地理解类型转换,下面我们结合一个稍复杂的例子来展示如何利用类型转换优化代码中的对象构造和赋值操作。

2.3.1 示例代码
cpp 复制代码
#include<iostream>
using namespace std;

class A {
public:
    // 构造函数,支持隐式类型转换
    A(int a1) : _a1(a1) {}

    A(int a1, int a2) : _a1(a1), _a2(a2) {}

    void Print() {
        cout << _a1 << " " << _a2 << endl;
    }

    int Get() const {
        return _a1 + _a2;
    }

private:
    int _a1 = 1;
    int _a2 = 2;
};

class B {
public:
    // 接受 A 类型的对象,进行隐式类型转换
    B(const A& a) : _b(a.Get()) {}

private:
    int _b = 0;
};

int main() {
    A aa1 = 1;      // 隐式将 int 1 转换为 A 对象
    aa1.Print();    // 输出: 1 2

    const A& aa2 = 1;  // 隐式将 int 1 转换为 A 对象,并绑定到常量引用

    A aa3 = {2, 2};  // 使用 C++11 的列表初始化语法
    aa3.Print();     // 输出: 2 2

    B b = aa3;       // A 对象隐式转换为 B 对象
    const B& rb = aa3;  // 隐式转换时绑定常量引用

    return 0;
}
2.3.2 解析
  • A aa1 = 1;:这里 1 是一个 int 类型的值,编译器会通过调用 A(int a1) 构造函数将其隐式转换为 A 类型的对象。
    -const A& aa2 = 1;:同样,int 类型的值 1 会隐式转换为 A 类型的临时对象,然后这个临时对象必须通过常量引用绑定到 aa2。这种做法就会延长临时对象的生命周期,直到出作用域
  • A aa3 = {2, 2};:这使用了 C++11 的列表初始化 ,将 2, 2 传递给 A 类的构造函数。
  • B b = aa3;:这里,aa3 是一个 A 类型的对象,它通过 B 类的构造函数进行隐式转换。

通过这种类型转换机制,C++允许我们使用内置类型或其他类类型轻松构造对象,并在对象之间传递数据。


2.4 C++11中的多参数类型转换

在C++11之前,类型转换通常只能支持单参数的构造函数 。但从C++11开始,C++标准引入了列表初始化(也称为统一初始化),使得我们能够更灵活地传递多个参数来进行类型转换。

例如:

cpp 复制代码
A aa3 = {2, 2};  // 使用列表初始化,传递两个参数

在这个例子中,{2, 2} 是一个初始化列表,C++11允许我们通过这种方式为类的构造函数传递多个参数。这种形式的类型转换比传统的单参数转换更加灵活,可以处理更复杂的初始化场景。


2.5 编译器的优化:直接构造

在之后会详细讲解

在对象的构造过程中,如果出现了临时对象的构造和拷贝构造的连续过程,编译器通常会进行优化。特别是在C++11中,编译器可以省略临时对象的构造和拷贝,直接构造最终对象。

示例:上述的代码其实是这样的:

cpp 复制代码
A aa3 = A(2, 2);  //然后编译器优化为直接构造 aa3,而不是先构造临时对象再拷贝

在这段代码中,编译器遇到A(2, 2)的构造操作后,通常会先构造一个临时对象,再通过拷贝构造函数将其赋值给aa3。然而,现代编译器通常会进行优化,直接将aa3构造出来,而不需要先构造临时对象。这种优化被称为返回值优化 (RVO)或拷贝省略


2.6 类型转换总结

C++中的类型转换是一个强大且灵活的机制,通过构造函数,我们可以轻松地在内置类型和类类型之间进行隐式或显式的转换。同时,explicit关键字让我们能够严格控制类型转换,避免不必要的隐式转换带来的潜在问题。C++11的引入进一步增强了类型转换的灵活性,特别是列表初始化使得我们能够传递多个参数进行转换。理解并合理使用这些机制,可以让我们编写出更加简洁、灵活的代码。


3. static 成员详解------静态成员变量与静态成员函数

在C++中,static成员既可以用于修饰类的变量,也可以用于修饰类的函数。通过static,我们可以实现成员共享、函数无依赖等功能,特别适用于一些类级别的操作,而不依赖于具体的对象实例。静态成员具有一些特殊的属性和行为。


3.1. static 成员变量

static成员变量,称为静态成员变量 ,它是类的所有对象共享 的变量,而不是每个对象独立拥有的。静态成员变量存储在静态存储区 (也称为全局区),并且只能在类外初始化。

3.1.1 静态成员变量的特性
  • 共享性:静态成员变量是所有类的对象共享的,不属于某个具体的对象。
  • 独立性:静态成员变量存储在静态存储区中,不会随着对象的创建或销毁而重新分配内存。
  • 类外初始化:静态成员变量必须在类外初始化,不能在类内的声明位置给它赋值。

示例:通过静态成员变量计算类对象的数量。

cpp 复制代码
#include<iostream>
using namespace std;

class A {
public:
    A() {
        ++_scount;  // 每创建一个对象,计数加1
    }

    A(const A& t) {
        ++_scount;  // 每调用拷贝构造函数,计数加1
    }

    ~A() {
        --_scount;  // 每销毁一个对象,计数减1
    }

    static int GetACount() {
        return _scount;  // 返回当前对象的数量
    }

private:
    // 声明静态成员变量
    static int _scount;
};

// 类外初始化静态成员变量
int A::_scount = 0;

int main() {
    cout << "初始对象数量: " << A::GetACount() << endl;  // 初始对象数量为 0
    A a1, a2;  // 创建两个对象,计数加2
    A a3(a1);  // 拷贝构造,计数加1
    cout << "当前对象数量: " << A::GetACount() << endl;  // 输出 3

    return 0;
}

输出

cpp 复制代码
初始对象数量: 0
当前对象数量: 3

解释

  • _scount 是静态成员变量,它被所有 A 类对象共享。无论创建多少个对象,所有对象共享这一个计数器。
  • 静态成员变量在类外进行初始化:int A::_scount = 0;,这是强制要求的,不能在类内部直接赋值。
  • 通过类名 A::GetACount() 或对象 a1.GetACount() 来访问静态成员函数 GetACount(),输出当前对象的数量。

3.2. static 成员函数

静态成员函数 是类的成员函数,但是它与普通的成员函数不同,它不依赖于具体的对象实例 ,可以通过类名直接调用。静态成员函数没有this指针 ,因此它只能访问类的静态成员变量静态成员函数,不能访问非静态成员。

3.2.1 静态成员函数的特性
  • 没有this指针 :静态成员函数没有 this 指针,因此不能访问非静态成员。
  • 只能访问静态成员 :静态成员函数只能访问静态成员变量或静态成员函数,不能访问类的非静态成员。
  • 通过类名调用:静态成员函数可以通过类名直接调用,而不需要依赖于对象实例。

示例:静态成员函数的使用。

cpp 复制代码
#include<iostream>
using namespace std;

class A {
public:
    A() {
        ++_scount;
    }

    A(const A& t) {
        ++_scount;
    }

    ~A() {
        --_scount;
    }

    static int GetACount() {
        return _scount;  // 静态成员函数访问静态成员变量
    }

private:
    static int _scount;
};

int A::_scount = 0;

int main() {
    A a1, a2;
    cout << "当前对象数量: " << A::GetACount() << endl;  // 通过类名访问静态成员函数
    return 0;
}

输出

cpp 复制代码
当前对象数量: 2

解释

  • 静态成员函数 GetACount() 可以通过类名 A::GetACount() 调用,而不依赖于具体的对象。
  • 静态成员函数没有 this 指针,因此它不能访问非静态成员变量或函数。
  • 通过类名直接访问静态成员函数是它的主要特性之一。

3.3 静态成员的访问

静态成员既可以通过类名 来访问,也可以通过对象来访问。

3.3.1 通过类名访问

静态成员不属于某个具体的对象,而是属于整个类,因此它们可以通过类名 来访问。例如,A::GetACount() 是通过类 A 的名字直接访问静态成员函数 GetACount()

3.3.2 通过对象访问

虽然静态成员不属于对象,但仍然可以通过对象来访问静态成员。例如,a1.GetACount() 也可以调用静态成员函数,尽管底层实现实际上仍然是通过类来访问的。

示例

cpp 复制代码
int main() {
    A a1, a2;
    cout << A::GetACount() << endl;  // 通过类名访问
    cout << a1.GetACount() << endl;  // 通过对象访问
    return 0;
}

无论是通过类名 A::GetACount(),还是通过对象 a1.GetACount(),最终结果都是一样的。


3.4 静态成员变量的初始化

静态成员变量不能在类内初始化,必须在类外进行初始化。这是因为静态成员变量存储在静态存储区中,它们不属于某个对象实例,因此不能在类的构造函数或初始化列表中进行初始化。

3.4.1 为什么静态成员变量不能在类内初始化?
  • 静态成员变量存储在静态存储区,而不是对象中。构造函数的初始化列表是为每个对象实例服务的,因此静态成员变量不能通过初始化列表进行初始化。
  • 由于静态成员变量的共享性,它们只在整个程序中存在一份,因此必须在类外进行初始化,以确保所有对象访问的都是同一份数据。

示例

cpp 复制代码
class A {
public:
    static int _count;
};

// 类外初始化
int A::_count = 0;

在上面的例子中,A::_count 在类外初始化为 0,所有对象共享这个静态变量。


3.5 访问控制与静态成员

静态成员与普通成员一样,也受访问控制修饰符publicprotectedprivate)的限制。即使静态成员属于类,而不是对象,但它们仍然需要遵守访问控制规则。

3.5.1 public 静态成员

public 静态成员可以被类的任何对象或函数访问,包括类外代码。

cpp 复制代码
class A {
public:
    static int _public_count;
};

int A::_public_count = 0;

int main() {
    A::_public_count = 10;  // 可以在类外访问
    cout << A::_public_count << endl;
    return 0;
}
3.5.2 private 静态成员

private 静态成员只能被类的成员函数访问,不能被类外代码直接访问。

cpp 复制代码
class A {
private:
    static int _private_count;

public:
    static int GetPrivateCount() {
        return _private_count;  // 只能通过成员函数访问
    }
};

int A::_private_count = 0;

int main() {
    // cout << A::_private_count;  // 错误,无法访问 private 静态成员
    cout << A::GetPrivateCount() << endl;  // 通过静态成员函数访问
    return 0;
}

3.6 static 成员的实际应用

静态成员通常用于实现某些类级别的操作,例如计算对象的数量、跟踪全局状态等。通过静态成员,我们可以方便地在类内部管理全局信息,而无需创建对象实例。

3.6.1 实例:求 1 + 2 + 3 + ... + n

求1+2+3+...+n------牛客网

这道题要求我们使用静态成员来求 1 + 2 + 3 + ... + n 的和。通过构造函数和静态成员变量,我们可以在创建对象时动态更新累加值,进而得到最终结果。

(1)题目代码
cpp 复制代码
class Sum {
public:
    Sum() {
        _ret += _i;  // 每次调用构造函数时,将当前 i 的值加到 _ret 中
        ++_i;        // 自增 _i
    }

    static int GetRet() {
        return _ret;  // 返回累加结果
    }

private:
    static int _i;    // 用于计数的静态变量
    static int _ret;  // 用于存储结果的静态变量
};

// 初始化静态成员变量
int Sum::_i = 1;
int Sum::_ret = 0;

class Solution {
public:
    int Sum_Solution(int n) {
        Sum arr[n];  // 创建 n 个 Sum 对象,触发构造函数进行累加
        return Sum::GetRet();  // 返回累加的结果
    }
};
(2)解析
  • 每次创建 Sum 对象时,都会调用其构造函数,而构造函数会将 _i 的值累加到 _ret 中。
  • 静态变量 _i 用于记录当前的计数,随着每次对象创建自增。
  • 静态变量 _ret 保存累加的结果。
  • 通过创建 nSum 对象,我们能够计算出 1 + 2 + 3 + ... + n 的结果。
(3)示例
cpp 复制代码
int main() {
    Solution solution;
    cout << solution.Sum_Solution(5) << endl;  // 输出: 15 (1+2+3+4+5)
    return 0;
}

输出结果为:

cpp 复制代码
15

3.6.2 构造函数和析构函数的调用顺序

在C++中,构造函数和析构函数的调用顺序遵循一定的规则,尤其是在全局变量和静态对象的情况下,了解它们的调用顺序非常重要。

(1)题目分析

设已经有 ABCD 四个类的定义,程序中涉及构造函数和析构函数的调用顺序,解析如下。

cpp 复制代码
class A {
public:
    A() { cout << "A Constructor" << endl; }
    ~A() { cout << "A Destructor" << endl; }
};

class B {
public:
    B() { cout << "B Constructor" << endl; }
    ~B() { cout << "B Destructor" << endl; }
};

class C {
public:
    C() { cout << "C Constructor" << endl; }
    ~C() { cout << "C Destructor" << endl; }
};

class D {
public:
    D() { cout << "D Constructor" << endl; }
    ~D() { cout << "D Destructor" << endl; }
};

C c;  // 全局变量

int main() {
    A a;
    B b;
    static D d;  // 静态局部变量
    return 0;
}

构造函数的调用顺序

构造函数的调用顺序是先全局变量,再局部变量,最后静态局部变量。在上面的代码中:

  • C 是全局变量,因此它的构造函数 C()main 函数执行之前被调用。
  • AB 是局部变量,它们的构造函数按照声明的顺序,在 main 函数中依次调用。
  • D 是静态局部变量,它的构造函数在 main 函数的执行中调用,但只会在程序的第一次运行时调用一次。

构造函数的调用顺序为:

cpp 复制代码
C Constructor  // 全局变量,最先调用
A Constructor  // 局部变量,按声明顺序
B Constructor  // 局部变量,按声明顺序
D Constructor  // 静态局部变量,最后调用

析构函数的调用顺序

  • 局部变量的析构函数首先调用,按与声明相反的顺序。
  • 静态局部变量的析构函数在 main 函数执行结束后调用。
  • 全局变量的析构函数在程序退出时调用。

析构函数的调用顺序为:

cpp 复制代码
B Destructor  // 局部变量,先析构,顺序与构造相反
A Destructor  // 局部变量,顺序与构造相反
D Destructor  // 静态局部变量,函数结束后调用
C Destructor  // 全局变量,最后析构

总结:

  1. 构造函数调用顺序

    • 先全局变量,再局部变量,最后静态局部变量。
  2. 析构函数调用顺序

    • 先局部变量,顺序与构造相反;
    • 然后静态局部变量;
    • 最后全局变量。

3.7static成员函数与变量总结

在C++中,static成员为类提供了管理全局数据和类级别操作的强大机制。静态成员变量被所有对象共享,存储在静态存储区中,而静态成员函数则可以在没有对象的情况下通过类名直接调用。静态成员与普通成员一样,受访问控制修饰符的限制,可以是public、private或protected。同时,静态成员变量不能在类内初始化,必须在类外进行初始化。通过静态成员,我们可以方便地实现对象计数、全局状态管理等功能,这让类在不依赖对象实例的情况下,依然能够提供有用的功能。


写在最后

在本篇文章中,我们深入探讨了C++中一些关键的高级特性,帮助你在编程实践中更好地理解和运用这些工具。我们首先讲解了构造函数中的初始化列表,它不仅提高了代码的效率,还为常量、引用类型及没有默认构造函数的类类型变量提供了必要的初始化方式。接下来,我们探索了C++中内置类型和类类型之间的类型转换,包括隐式和显式转换,并通过explicit关键字展示了如何避免因不当类型转换引发的潜在问题。最后,我们详细分析了静态成员变量和静态成员函数的特性及应用。通过这些知识的学习,希望你不仅能优化代码的性能,还能在设计复杂系统时更好地管理类级别的数据和操作。

这些高级特性虽然可能在初学者眼中显得复杂,但一旦理解透彻,将会极大地提升你的C++编程能力,使你能够编写出更具扩展性、可维护性的代码。在实际开发中,善用这些特性将帮助你应对各种编程挑战,让你的C++代码更具表现力和效率。


以上就是关于【C++篇】C++类与对象深度解析(四):初始化列表、类型转换与static成员详解的内容啦,各位大佬有什么问题欢迎在评论区指正,或者私信我也是可以的啦,您的支持是我创作的最大动力!❤️

相关推荐
vir0226 分钟前
木材加工(二分查找)
数据结构·c++·算法
余辉zmh1 小时前
【c++篇】:深入c++的set和map容器--掌握提升编程效率的利器
开发语言·c++
qq_428639617 小时前
植物明星大乱斗15
c++·算法·游戏
捕鲸叉7 小时前
C++创建型模式之生成器模式
开发语言·c++·建造者模式
sxtyjty7 小时前
人机打怪小游戏(非常人机)
c++
oioihoii7 小时前
单例模式详解
c++·单例模式·c#·大学必学
ikkkkkkkl8 小时前
深述C++模板类
开发语言·c++
Peter_chq8 小时前
【计算机网络】HTTP协议
linux·c语言·开发语言·网络·c++·后端·网络协议
vir029 小时前
好奇怪的游戏(BFS)
数据结构·c++·算法·游戏·深度优先·图论·宽度优先
kitesxian9 小时前
Leetcode128. 最长连续序列(HOT100)
c++