C++类与对象高级特性全解析

1. C类与对象基础概念回顾在开始深入探讨C类和对象的高级特性前让我们先快速回顾几个核心概念。类是C面向对象编程的基石它本质上是一种用户自定义的数据类型封装了数据成员变量和操作这些数据的方法成员函数。对象则是类的具体实例就像汽车是一个类而我的红色宝马X5就是这个类的一个对象。类的基本语法结构如下class ClassName { private: // 私有成员仅在类内部可访问 protected: // 受保护成员类内部和派生类可访问 public: // 公有成员所有代码可访问 // 构造函数 // 成员函数 // 析构函数 };2. 构造函数与析构函数深度解析2.1 构造函数的进阶用法构造函数在对象创建时自动调用用于初始化对象。除了默认构造函数C还支持几种特殊构造函数初始化列表构造函数更高效的成员初始化方式class Point { public: Point(int x, int y) : x_(x), y_(y) {} // 初始化列表 private: int x_, y_; };委托构造函数C11引入的特性允许一个构造函数调用同类中的另一个构造函数class MyClass { public: MyClass() : MyClass(0, 0) {} // 委托给下面的构造函数 MyClass(int a, int b) : a_(a), b_(b) {} private: int a_, b_; };转换构造函数接受单个参数的构造函数可以隐式转换class String { public: String(const char* str); // 转换构造函数 };2.2 析构函数的高级应用析构函数在对象销毁时自动调用用于资源清理。需要特别注意虚析构函数原则当类可能被继承时应将析构函数声明为virtualclass Base { public: virtual ~Base() {} // 虚析构函数 };RAII原则资源获取即初始化利用构造函数获取资源析构函数释放资源class FileHandle { public: FileHandle(const char* filename) { handle fopen(filename, r); } ~FileHandle() { if(handle) fclose(handle); } private: FILE* handle; };3. 类成员的高级特性3.1 static成员详解静态成员属于类本身而非对象所有对象共享同一份静态成员class Counter { public: Counter() { count; } ~Counter() { --count; } static int getCount() { return count; } private: static int count; // 声明 }; int Counter::count 0; // 定义并初始化静态成员函数只能访问静态成员变量不能访问非静态成员。3.2 const成员函数const成员函数承诺不修改对象状态class MyArray { public: int get(int index) const { // const成员函数 return data[index]; } private: int data[100]; };const对象只能调用const成员函数。3.3 mutable成员即使是在const成员函数中mutable成员也可以被修改class Logger { public: void log(const string msg) const { callCount; // 允许修改mutable成员 cout msg endl; } private: mutable int callCount 0; };4. 友元与运算符重载4.1 友元函数和友元类友元打破了封装性但有时是必要的class Matrix { friend Matrix operator*(const Matrix a, const Matrix b); friend class MatrixTester; };4.2 运算符重载实践运算符重载使得类对象可以像内置类型一样使用运算符class Vector { public: Vector operator(const Vector other) const { return Vector(x other.x, y other.y); } // 输出运算符通常声明为友元 friend ostream operator(ostream os, const Vector v); private: double x, y; };5. 对象生命周期管理5.1 拷贝控制成员C提供了三个特殊的成员函数来管理对象的拷贝行为拷贝构造函数用同类型对象初始化新对象class MyString { public: MyString(const MyString other); // 拷贝构造函数 };拷贝赋值运算符将一个对象的值赋给另一个已存在的对象MyString operator(const MyString other);移动构造函数和移动赋值运算符C11引入MyString(MyString other) noexcept; // 移动构造函数 MyString operator(MyString other) noexcept; // 移动赋值5.2 三/五法则如果一个类需要自定义析构函数那么它通常也需要自定义拷贝构造函数和拷贝赋值运算符三法则。在C11后还应考虑移动构造函数和移动赋值运算符五法则。6. 类设计最佳实践优先使用组合而非继承除非确实需要多态否则优先使用对象组合遵循单一职责原则一个类应该只有一个改变的理由接口隔离原则客户端不应被迫依赖它们不使用的接口迪米特法则一个对象应该对其他对象有最少的了解优先使用const和noexcept尽可能将成员函数声明为const和noexcept7. 常见问题与解决方案7.1 对象切片问题当派生类对象被赋值给基类对象时会发生对象切片class Base { /*...*/ }; class Derived : public Base { /*...*/ }; Derived d; Base b d; // 切片丢失Derived特有部分解决方案使用指针或引用或禁止拷贝delete。7.2 const正确性确保const对象只能调用const成员函数避免意外修改const MyClass obj; obj.nonConstMethod(); // 编译错误 obj.constMethod(); // OK7.3 静态初始化顺序问题不同编译单元中的静态对象初始化顺序不确定。解决方案使用局部静态变量C11保证线程安全使用单例模式避免复杂的静态初始化依赖8. 现代C中的类特性8.1 default和delete显式要求编译器生成或删除特殊成员函数class NonCopyable { public: NonCopyable() default; NonCopyable(const NonCopyable) delete; NonCopyable operator(const NonCopyable) delete; };8.2 override和final明确派生类中的虚函数关系class Base { public: virtual void foo() const; }; class Derived : public Base { public: void foo() const override; // 明确表示重写 virtual void bar() final; // 禁止进一步重写 };8.3 结构化绑定C17方便地从类/结构体中提取成员struct Point { int x; int y; }; Point p{1, 2}; auto [x, y] p; // x1, y2掌握这些类和对象的高级特性将使你的C代码更加健壮、高效和易于维护。记住良好的类设计是高质量C程序的基础。