当前位置: 首页 > news >正文

C++-特殊类设计

不能被拷贝的类

拷贝只会放生在两个场景中:拷贝构造函数以及赋值运算符重载,因此想要让一个类禁止拷贝,
只需让该类不能调用拷贝构造函数以及赋值运算符重载即可:
class CopyBan
{// ...private:CopyBan(const CopyBan&);CopyBan& operator=(const CopyBan&);/*c++11:可以直接删除这两个函数CopyBan(const CopyBan&)=delete;CopyBan& operator=(const CopyBan&)=delete;
*/// ...
};
  1. 将拷贝构造函数和赋值运算符重载只声明而不定义。这样类不会自动生成默认的拷贝构造函数和赋值运算符重载;且当前只是两个函数的声明,没有定义也无法调用。因此类内外都无法调用拷贝构造函数和赋值运算符重载。
  2. 将拷贝构造函数和赋值运算符重载声明为私有这是因为在public限制符下,如果用户在类外定义这两个函数,就可以使用拷贝构造了,但是一但声明为私有,就算定义了在类外也无法调用。
  3. 这种方式下,仍然无法完全禁止拷贝,如下:
class CopyBan
{CopyBan* getCopy(){return new CopyBan(*this);//调用了拷贝构造}private:CopyBan(const CopyBan&);CopyBan& operator=(const CopyBan&);
};
CopyBan::CopyBan(const CopyBan&) 
{//拷贝构造的实现
}

不过,使用c++11新引入特性delete删除相应拷贝函数,无论如何也无法调用了,解决了这个问题。


只能在堆上创建对象的类

本质就是要让我们控制创建对象的方式,而创建对象与构造函数有关(包括拷贝构造)。

class HeapOnly    
{     
public:     static HeapOnly* CreateObject()  {      return new HeapOnly;    }
private:    HeapOnly() {}HeapOnly(const HeapOnly&);/*c++11:private:HeapOnly() {}HeapOnly(const HeapOnly&) = delete;
*/};
  1. 将构造函数私有化。阻止类外使用构造函数定义对象。
  2. 将拷贝构造函数只声明而不定义。这样类不会自动生成默认的拷贝构造函数;且当前只是这个函数的声明,没有定义也无法调用。因此类内外都无法调用拷贝构造函数,所以不会有拷贝堆上的对象从而在栈上创建对象的可能。
  3. 将拷贝构造函数声明为私有这是因为在public限制符下:如果用户在类外定义这个函数,就可以使用拷贝构造了,但是一但声明为私有,就算定义了在类外也无法调用。
  4. 这种方式下,仍然可以在可以在栈上创建对象:
class HeapOnly
{
public:static HeapOnly* CreateObject(){return new HeapOnly;}void func() {HeapOnly x;//在栈上定义对象}
private:HeapOnly() {}HeapOnly(const HeapOnly&);/*c++11:private:HeapOnly() {}HeapOnly(const HeapOnly&) = delete;*/
};
HeapOnly::HeapOnly(const HeapOnly& x) 
{//拷贝函数
}

不过,不过,使用c++11新引入特性delete删除相应拷贝构造函数,无论如何也无法调用了,解决了这个问题。


只在栈上创建对象的类

本质就也是要让我们控制创建对象的方式,而创建对象与构造函数有关(包括拷贝构造)。

class StackOnly
{
public:static StackOnly CreateObj(){return StackOnly();}void* operator new(size_t size) = delete;void operator delete(void* p) = delete;/*
private:void* operator new(size_t size);void operator delete(void* p);
也可以这样定义来防止new和delete,但是也会出现在“不能被拷贝的类”中出现的问题:类外
定义operator new和operator delete,在类内定义成员函数调用它们。
*/
private:StackOnly()  :_a(0){}
private:int _a;
};
  1. 将构造函数私有化。阻止类外使用构造函数定义对象。而我们提供一个统一的接口供于创建对象。
  2. 拷贝构造不能禁止。这样会导致对象创建接口无法返回在栈上创建的对象。而且拷贝构造还得是public权限。
  3. 将operator new和operator delete禁用掉。直接使这个类无法被new,其也就无法通过new和拷贝构造来创建一个动态空间的类对象了。

为什么能禁用?

虽然 operator new 不是默认成员函数,但如果你在类中声明了它(即使是 = delete),编译器会优先查找类专属版本,而不会再使用全局版本。也就是说,在上面的例子中,全局的new和delete也被类内的声明给隐藏了,调用不到而类中的new和delete被删除了,也掉用不了。所以对于该类来说,无法new。


不能被继承的类

class NonInherit
{
public:static NonInherit GetInstance(){return NonInherit();}
private:NonInherit(){}
};
  1. 将类的构造函数定义为私有,这样继承该类的类不可见该类的构造函数,也就无法正确构造对象,继承无法进行。为了该类能正常构造,类内定义了专门的接口用来创建对象。

只能创建一个对象的类(单例模式)

需要禁止一切类外的构造,包括拷贝构造。

饿汉模式

就是说不管你将来用不用,程序启动时就创建一个唯一的实例对象。
// 饿汉模式
// 优点:简单
// 缺点:可能会导致进程启动慢,且如果有多个单例类对象实例启动顺序不确定。
class Singleton
{
public:static Singleton* GetInstance(){return &m_instance;}private:// 构造函数私有Singleton() {};// 防拷贝Singleton(Singleton const&);Singleton& operator=(Singleton const&);//其实没必要禁止赋值。/*C++11Singleton(Singleton const&) = delete;Singleton& operator=(Singleton const&) = delete;*/ static Singleton m_instance;
};Singleton Singleton::m_instance{};//直接定义出实例来

把m_instance定义为static变量原因有二:

  1. 获取唯一实例的接口必须是静态函数,而静态函数只能访问静态变量
  2. 将m_instance定义为static可以保证它只有一份

饿汉模式优点:

  • 线程安全。由于静态变量的初始化是在主线程执行之前完成的,所以饿汉模式是线程安全的。
  • 程序运行速度快。由于饿汉模式在程序启动时就已经创建了实例,所以每次调用 GetInstance() 函数时都不需要再进行判断和创建实例,可以提高程序运行速度。

饿汉模式缺点:

  • 在一个程序中如果有多个单例,并且有先后创建初始化顺序要求时,饿汉无法控制。例如,程序两个单例类A 和 B,假设要求A先创建初始化,B再创建初始化。然而静态成员谁先初始化是不确定的,尤其是多个文件 (单个文件可能是按顺序的)。

  • 增加程序启动时间。由于饿汉模式在类加载时就创建实例,所以它会增加程序启动时间。

  • 可能浪费内存空间。如果最终没有使用该对象,则会浪费内存空间。

懒汉模式

需要的时候再创建实例。

// 懒汉
// 优点:第一次使用实例对象时,创建对象。进程启动无负载。多个单例实例启动顺序自由控制。
// 缺点:复杂
#include <iostream>
#include <mutex>
#include <thread>
using namespace std;
class Singleton
{
public:static Singleton* GetInstance() {// 注意这里一定要使用Double-Check的方式加锁,才能保证效率和线程安全if (nullptr == m_pInstance) {m_mtx.lock();if (nullptr == m_pInstance) {m_pInstance = new Singleton();}m_mtx.unlock();}return m_pInstance;}// 实现一个内嵌垃圾回收类    class CGarbo {public:~CGarbo() {if (Singleton::m_pInstance)delete Singleton::m_pInstance;}};// 定义一个静态成员变量,程序结束时,系统会自动调用它的析构函数从而释放单例对象static CGarbo Garbo;
private:// 构造函数私有Singleton() {};// 防拷贝Singleton(Singleton const&);Singleton& operator=(Singleton const&);//其实没必要禁止赋值。/*C++11Singleton(Singleton const&) = delete;Singleton& operator=(Singleton const&) = delete;*/static Singleton* m_pInstance; // 单例对象指针,因为是延迟加载,不能直接定义变量了static mutex m_mtx;//互斥锁
};
//定义static成员
Singleton* Singleton::m_pInstance = nullptr;
Singleton::CGarbo Garbo{};
mutex Singleton::m_mtx{};

该懒汉模式的写法使用了Double-Check(双重校验)+加锁 :

  1. 访问GetInstance()需要加锁,否则可能出现两个线程都new出一个实例的情况。加锁后要对指针进行检验,防止后续申请到锁的线程再new出一个实例。这是使用加锁+一重校验保证线程安全。
  2. 在申请锁之前就先进行一重检验,这可以有效减少线程申请锁的次数:如果指针不为空就不申请锁了。这是使用一重校验保证效率

懒汉模式的优点是:

  • 能控制实例化多个对象的顺序。

  • 延迟初始化:只有在第一次使用时才会创建单例对象,避免了不必要的资源浪费。

  • 简单易实现:相比其他单例模式实现方式,懒汉模式更加简单直接。

懒汉模式的缺点是:

  • 线程不安全:如果多个线程同时调用 GetInstance() ,可能会创建多个实例。可以通过加锁来解决这个问题,但会增加复杂度和降低性能。
  • 延迟加载可能导致程序启动变慢:如果单例对象初始化需要大量时间和资源,那么在第一次调用 GetInstance() 时可能会导致程序启动变慢。

单例模式的资源回收

在懒汉模式中,由于类中保存的是指向Singleton 实例的指针,如果在Singleton 类的析构函数中编写Singleton 实例的销毁机制,比如这样:

~singleton()
{delete m_pInstance;
}

析构函数只有在实例销毁的时候才调用,而实例的销毁却需要析构函数,这是死循环。所以不要在析构函数编写实例销毁机制。


内嵌垃圾回收类

在上面的懒汉模式代码中,我们定义了一个内部垃圾回收类 CGarbo,并且在 Singleton 类中定义了一个此类的静态成员 Garbo。程序结束时,系统会自动析构此静态成员,此时,在 GC 类的析构函数中析构 Singleton 实例,就可以实现 m_pInstance 的自动释放。

  1. 优点:可以自动释放单例对象,避免了内存泄漏的问题。它不需要程序员手动调用 delete 来释放单例对象,也不需要注册释放函数或提供释放接口。
  2. 缺点:只能在程序结束时释放单例对象,如果需要在程序运行过程中释放单例对象,则需要使用其他方法。

主动释放

在单例类中编写一个DestoryInstance函数,通过它释放单例对象的资源,当不再需要该单例对象时就可以主动调用DestoryInstance释放单例对象。

下面是一个简单的示例代码:

class Singleton
{
public:static Singleton* getInstance(){if (m_pInstance == nullptr)m_pInstance = new Singleton();return m_pInstance;}static void DestoryInstance(){if (m_pInstance != nullptr){delete m_pInstance;m_pInstance = nullptr;}}private:Singleton() {}~Singleton() {}static Singleton* m_pInstance;
};Singleton* Singleton::m_pInstance = nullptr;

在上面的代码中,我们定义了一个静态成员函数 DestoryInstance,用于释放单例对象。当需要释放单例对象时,只需调用此函数即可。

优点:可以在程序运行过程中主动释放单例对象,而不需要等到程序结束时才能释放。这对于一些需要在运行过程中释放资源的应用程序来说非常有用。

缺点:需要程序员手动调用 DestoryInstance 函数来释放单例对象。如果忘记调用此函数,可能会导致内存泄漏的问题。


两种方法的主要区别在于释放单例对象的时机不同。使用内部垃圾回收类的方法只能在程序结束时释放单例对象,而使用 DestoryInstance 函数的方法可以在程序运行过程中主动释放单例对象。

文章参考:特殊类设计及单例模式(C++) - shawyxy - 博客园

http://www.dtcms.com/a/315935.html

相关文章:

  • 学习游戏制作记录(将各种属性应用于战斗以及实体的死亡)8.5
  • 生物医药科研革命:深度解析协同实验记录如何重塑新药研发全流程
  • 应急响应实验复现
  • 浅谈 NUMA 与 MySQL
  • MySQL 在麒麟系统上部署使用 + DBeaver 远程连接 + SQL 数据导入完整流程
  • 华为云代理商的作用与价值解析
  • 嵌套路由配置(React-Router5)
  • Android原生项目集成Flutter模块极简指南
  • 使用buildx构建镜像
  • 若依前后端分离版学习笔记(五)——Spring Boot简介与Spring Security
  • [驱动开发篇] Can通信进阶 --- CanFD 的三次采样
  • Chisel芯片开发入门系列 -- 18. CPU芯片开发和解释8(流水线架构的代码级理解)
  • 深度学习-卷积神经网络CNN-填充与步幅
  • AR文旅新纪元:从黄姚古镇到秦始皇陵,虚实共生的沉浸式体验革命
  • 华为云云产品的发展趋势:技术创新驱动数字化未来
  • 基于Docker的RabbitMQ运行参数设置
  • 基于华为开发者空间的Open WebUI数据分析与可视化实战
  • 光伏清洗机器人是什么?艾利特协作机器人如何重塑新能源运维效率
  • 【18】C实战篇——C语言 文件读写【fputc、fgetc、fputs、fgets】
  • FPGA学习笔记——简易的DDS信号发生器
  • 力扣106:从中序与后序遍历序列构造二叉树
  • Android 之 Kotlin 和 MVVM 架构的 Android 登录示例
  • 宝塔(免费版9.2.0)的docker拉取仓库失败的加速方法
  • 数据挖掘,到底是在挖掘什么?
  • 27-数据仓库与Apache Hive-2
  • 26-数据仓库与Apache Hive
  • LTR-308ALS-01 LiteOn光宝高精度光耦隔离器 5000Vrms持续隔离电压
  • Python-初学openCV——图像预处理(七)——亮度变换、形态学变换
  • 基于Flask的微博话题多标签情感分析系统设计
  • 李宏毅深度学习教程 第12-13章 对抗攻击 + 迁移学习transfer learning