【C++】—— 特殊类设计

简介: 【C++】—— 特殊类设计



序言

特殊类设计是指在面向对象编程中,根据特定需求或情况,创建具备特殊功能或属性的类。特殊类设计旨在解决特定问题或满足特殊需求,使代码更加灵活和可扩展。


(一)设计一个不能被拷贝的类

拷贝只会放生在两个场景中:拷贝构造函数以及赋值运算符重载,因此想要让一个类禁止拷贝只需让该类不能调用拷贝构造函数以及赋值运算符重载即可

接下来,我们分别从C++98和C++11的两种场景去看二者是如何实现:

【C++98】:将拷贝构造函数与赋值运算符重载只声明不定义,并且将其访问权限设置为私有即可

  • 代码如下:
class CopyBan
{
private:
  CopyBan(const CopyBan&); // 声明拷贝构造函数为私有
  CopyBan& operator=(const CopyBan&); // 声明拷贝赋值运算符为私有
public:
  CopyBan() {} // 默认构造函数
};

【解释说明】

  1. 设置成私有:如果只声明没有设置成private,用户自己如果在类外定义了,就可以不能禁止拷贝了
  2. 只声明不定义:不定义是因为该函数根本不会调用,定义了其实也没有什么意义,不写反而还简单,而且如果定义了就不会防止成员函数内部拷贝了。

使用该类时,只需简单地继承它即可:

class MyClass : public CopyBan{
    // 类的定义
};

【C++11】:C++11扩展delete的用法,delete除了释放new申请的资源外,如果在默认成员函数后跟上=delete,表示让编译器删除掉该默认成员函数。

  • 代码如下:
class CopyBan
{
  //.....
  CopyBan(const CopyBan&) = delete;     // 删除拷贝构造函数
  CopyBan& operator=(const CopyBan&) = delete; // 删除拷贝赋值运算符
  //.....
};

【解释说明】

  1. 在上面的示例中,我们定义了一个名为 CopyBan 的类。通过将拷贝构造函数和拷贝赋值运算符声明为 delete ,我们禁用了对象的拷贝功能;
  2. 这样一来,任何试图拷贝 CopyBan 类型对象的操作都会在编译时引发错误。

 

同样的使用该类时,只需简单地继承它即可:

class MyClass : public CopyBan{
    // 类的定义
};
  • 在这个示例中,MyClass 继承了CopyBan 类。但是,由于基类CopyBan 禁用了拷贝构造函数和赋值运算符函数,所以无法对 MyClass 进行拷贝操作。

【小结】

  • 使用这种设计,你可以确保该类的实例不会被拷贝,从而避免不必要的对象复制和可能引发的错误。

(二)设计一个只能在堆上创建对象的类

实现方式:

  • 将类的构造函数私有,拷贝构造声明成私有。防止别人调用拷贝在栈上生成对象。
  • 提供一个静态的成员函数,在该静态成员函数中完成堆对象的创建。

【C++98】 :

  • 代码如下:
class HeapOnly
{
public:
  static HeapOnly* CreateObject()
  {
    return new HeapOnly();
  }
private:
  HeapOnly() {}   // 私有化默认构造函数
  // C++98
  // 1.只声明,不实现。因为实现可能会很麻烦,而你本身不需要
  // 2.声明成私有
  HeapOnly(const HeapOnly&);
};

【C++11】:

  • 代码如下:
class HeapOnly
{
public:
  static HeapOnly* CreateObject()
  {
    return new HeapOnly();
  }
private:
  HeapOnly() {}   // 私有化默认构造函数
  // C++11
  HeapOnly(const HeapOnly&) = delete;
};

【解释说明】

  1. 在 C++11 标准之后,可以使用 = delete 来删除复制构造函数,而不仅仅是将其声明为私有;
  2. 这种方式更加清晰明了,使得代码更具可读性和表达性。因此,推荐使用 C++11 及以上版本的标准来实现这样的需求。

这样,你就可以使用下面的代码在堆上创建 HeapOnly 类对象:

HeapOnly* obj = HeapOnly::CreateObject();

请确保在使用完对象后手动调用 delete 来释放内存:

delete obj;

 

【小结】

  • 这样设计的类将只能在堆上创建对象,并且无法通过拷贝或赋值的方式创建新对象,从而确保了对象的唯一性和创建方式的约束。

(三)设计一个只能在栈上创建对象的类

实现方法:

  • 要设计一个只能在栈上创建对象的类,可以使用私有的析构函数和公有的静态成员函数来实现。

【C++98】 :

  • 代码如下:
class StackOnly 
{
public:
    static StackOnly CreateObj() {
        return StackOnly();
    }
private:
    StackOnly() {} // 私有化默认构造函数
    ~StackOnly() {} // 私有化析构函数
};

【解释说明】

  1. 在上面的示例中,我们将默认构造函数和析构函数私有化。这意味着外部无法直接实例化或销毁 StackOnly 类的对象。
  2. 为了能够创建对象,我们提供了一个名为 CreateObj 的公有静态成员函数。该函数返回一个 StackOnly 类型的对象。

使用代码示例:

StackOnly obj = StackOnly::CreateObj();
  • 这样就确保了 StackOnly 类的对象只能在栈上创建,因为无法直接访问私有的默认构造函数;
  • 对象的析构由编译器自动处理(不需要手动调用delete释放内存),当对象超出作用域时会自动调用析构函数进行资源的释放。

【C++11】:可以使用删除特殊成员函数以及阻止使用new和delete操作符的方式来实现只能在栈上创建对象的类。

  • 代码如下:
class StackOnly
{
public:
    StackOnly() = default; // 允许默认构造函数
    // 删除拷贝构造函数和赋值运算符函数
    StackOnly(const StackOnly&) = delete;
    StackOnly& operator=(const StackOnly&) = delete;
    // 禁止使用new和delete操作符
    void* operator new(size_t) = delete;
    void operator delete(void*) = delete;
};

使用代码示例:

StackOnly obj1; // 在栈上创建对象
// 下面的代码将导致编译错误,因为拷贝构造函数被删除
// StackOnly obj2 = obj1;
// 下面的代码将导致编译错误,因为赋值运算符函数被删除
// StackOnly obj3;
// obj3 = obj1;
// 下面的代码将导致编译错误,因为使用了删除的new运算符
// StackOnly* ptr = new StackOnly;
// 下面的代码将导致编译错误,因为使用了删除的delete运算符
// delete ptr;

【解释说明】

  • 这样设计的类将只能在栈上创建对象,并且无法通过拷贝或赋值的方式创建新对象,同时禁止使用newdelete来分配和释放对象的内存,从而确保了对象的唯一性和创建方式的限制。

除了上述方法之外,还有一种比较奇特的方式,可以用于实现只能在栈上创建对象的类。这种方式是通过定义一个私有化的 operator newoperator delete 函数来实现无需删除构造函数和析构函数

  • 代码如下:
class StackOnly 
{
public:
    // 在 public 区域声明 operator new 和 operator delete 函数
    static void* operator new(size_t size) = delete; // 删除 operator new 函数
    static void operator delete(void* ptr) noexcept = delete; // 删除 operator delete 函数
private:
    // 私有化所有构造、析构函数,包括默认构造函数
    StackOnly() {}
    StackOnly(const StackOnly&) {}
    ~StackOnly() {}
};

【解释说明】

  1. 在上面的示例中,将构造函数和析构函数都设为了私有的,防止对象在堆上创建或销毁。同时,我们在公有区域声明了一个删除的 operator new 和 operator delete 函数,这些函数用于在堆上分配内存和释放内存。
  2. 由于默认情况下类的 operator new 和 operator delete 函数都是 public 的,因此我们要重新定义它们。而将其声明为 delete,则完全禁止直接在堆上分配和释放内存,从而避免对象在堆上创建。

使用该类时,只能通过栈上的对象进行操作:

StackOnly obj;

【注意】

  • 确保了 StackOnly 类的对象只能在栈上创建。但是这种方法需要注意的是,在某些情况下,可能会因为需要使用 operator new 和 operator delete 函数而无法编译通过,因此使用时需要慎重考虑。

(四)设计一个不能被继承的类

实现方法:

  • 在使用 C++98 标准时,可以通过将构造函数和析构函数设为私有,并且不提供公共的静态工厂方法来实现一个不能被继承的类。

【C++98】 :

  • 代码如下:
class NonInherit
{
private:
    NonInherit() {}
    ~NonInherit() {}
public:
    // 禁止通过静态工厂方法创建对象
    static NonInherit* GetInstance() {
        return NULL;
    }
};

实现方法:

  • 在C++11以及后续的标准中,你可以在类声明的末尾添加关键字final,来显式地指示该类是不可被继承的。

【C++11】:

  • 代码如下:
class A final
{
    // ....
};

【解释说明】

  1. 在上述示例中,我们在类的定义前使用了 final关键字,将 A声明为最终类。这意味着其他类无法从A继承。
  2. 如果其他类尝试继承 A,编译器将会报错。

例如:

class A final 
{
  //...
};
class B : public A { // 编译错误
  // 类定义
};

报错如下:


总结

这些特殊类的设计目的是根据特定的需求和编程场景来确定的;

它们有助于代码的组织、可维护性、可扩展性和重用性。通过合理地设计和使用这些特殊类,可以提高代码的质量、可读性和可靠性。

到此,关于本期特殊类设计便讲解结束了。感谢大家的观看和支持!!!

相关文章
|
7月前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
3月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
76 0
|
3月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
157 0
|
5月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
154 12
|
6月前
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
123 16
|
7月前
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)
|
6月前
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
6月前
|
存储 编译器 C++
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
6月前
|
安全 C++
【c++】继承(继承的定义格式、赋值兼容转换、多继承、派生类默认成员函数规则、继承与友元、继承与静态成员)
本文深入探讨了C++中的继承机制,作为面向对象编程(OOP)的核心特性之一。继承通过允许派生类扩展基类的属性和方法,极大促进了代码复用,增强了代码的可维护性和可扩展性。文章详细介绍了继承的基本概念、定义格式、继承方式(public、protected、private)、赋值兼容转换、作用域问题、默认成员函数规则、继承与友元、静态成员、多继承及菱形继承问题,并对比了继承与组合的优缺点。最后总结指出,虽然继承提高了代码灵活性和复用率,但也带来了耦合度高的问题,建议在“has-a”和“is-a”关系同时存在时优先使用组合。
312 6
|
6月前
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!