C++特殊类设计与单例模式

目录

1.不能被拷贝的类

2.只能在堆上创建对象的类

3.只能在栈上创建对象的类

4. 设计一个不能被继承的类

5. 单例模式

---

1.不能被拷贝的类

拷贝只会发生在两个场景中：拷贝构造函数以及赋值运算符重载。

因此想要让一个类禁止拷贝， 只需让该类不能调用拷贝构造函数以及赋值运算符重载即可。

不同C++版本中的实现思想如下：

C++98中：

• 将拷贝构造函数与赋值运算符重载只声明不定义，并且将其访问权限设置为私有即可。

class CopyBan
{
    // ...
    
private:
    CopyBan(const CopyBan&);
    CopyBan& operator=(const CopyBan&);
    //...
};

• 原因：

        1. 设置成私有：如果只声明没有设置成private，用户自己如果在类外定义了，就可以不

能禁止拷贝了

        2. 只声明不定义：不定义是因为该函数根本不会调用，定义了其实也没有什么意义，不写反而还简单，而且如果定义了就不会防止成员函数内部拷贝了。

C++11中：

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

class CopyBan
{
    // ...
    CopyBan(const CopyBan&)=delete;
    CopyBan& operator=(const CopyBan&)=delete;
    //...
};

2.只能在堆上创建对象的类

• 实现方式1：构造函数私有化

1.  将类的构造函数私有，拷贝构造声明成私有。防止别人调用拷贝在栈上生成对象。

2.  提供一个静态的成员函数，在该静态成员函数中完成堆对象的创建

//构造方式：
HeapOnly* ptr = HeapOnly::CreateObj();

class HeapOnly    
{     
public:     
    static HeapOnly* CreateObject()  
   {      
        return new HeapOnly;    
   }
private:    
   HeapOnly()
	{}

	//注意，要将拷贝构造和赋值重载给删除，防拷贝  
	//防拷贝： HeapOnly hp4(*hp3);
	//防赋值： HeapOnly* p_hp = new HeapOnly(*hp3);
	HeapOnly(const HeapOnly& hp) = delete;
	HeapOnly& operator=(const HeapOnly& hp) = delete;
};

• 实现方式2：析构函数私有化

1. 将类的析构函数私有，

2. 提供公有的Delete函数

//构造方式：
HeapOnly* ptr = new HeapOnly;
//析构方式：
HeapOnly::Delete(ptr);
ptr._Delete();
class HeapOnly
{
public:
    //直接公有或静态都行
	static void Delete(HeapOnly* p)
	{
		delete p;
	}
	void _Delete()
	{
		delete this;
	}
private:
    ~HeapOnly()
    {}
};

3.只能在栈上创建对象的类

• 实现方式：构造函数私有化

1.  将类的构造函数私有，拷贝构造声明成私有。防止别人调用拷贝在栈上生成对象。

2.  提供一个静态的成员函数，在该静态成员函数中完成堆对象的创建

//只能在栈上创建的类
class StackOnly
{
public:
	static StackOnly CreateObj()
	{
		StackOnly st;
		return st;
	}
	//不能防止拷贝
	//因为栈上开辟要使用传值返回，所以无法很好的限制住拷贝构造。
	/*StackOnly(const StackOnly& st) = delete;
	StackOnly& operator=(const StackOnly& st) = delete;*/

	// 禁掉operator new可以把下面用new 调用拷贝构造申请对象给禁掉
	// StackOnly obj = StackOnly::CreateObj();
	// StackOnly* ptr3 = new StackOnly(obj);
	void* operator new(size_t size) = delete;
	void operator delete(void* p) = delete;
private:
	StackOnly()
	{}
};

void test_StackOnly()
{
	StackOnly st1 = StackOnly::CreateObj();

	//仍然能使用拷贝构造函数在栈上创建对象不好处理，算是一个小缺陷
	StackOnly copy2(st1);  
}

因为栈上开辟要使用传值返回，传值返回又需要拷贝构造和赋值运算符重载函数，所以无法很好的限制住拷贝构造，这是这个设计模式的一个小缺陷。
 

4. 设计一个不能被继承的类

• C++98实现：构造函数私有化

// C++98中构造函数私有化，派生类中调不到基类的构造函数。则无法继承
class NonInherit
{
public:
 static NonInherit GetInstance()
 {
 return NonInherit();
 }
private:
 NonInherit()
 {}
};

• C++11实现： fifinal关键字，fifinal修饰类，表示该类不能被继承。

class NonInherit final
{
    // ....
};

---

5. 单例模式

• 设计模式：

        设计模式（Design Pattern）是一套被反复使用、多数人知晓的、经过分类的、代码设计经验的总结。为什么会产生设计模式这样的东西呢？就像人类历史发展会产生兵法。最开始部落之间打仗时都是人拼人的对砍。后来春秋战国时期，七国之间经常打仗，就发现打仗也是有套路的，后来孙子就总结出了《孙子兵法》。孙子兵法也是类似。

        使用设计模式的目的：为了代码可重用性、让代码更容易被他人理解、保证代码可靠性。 设计模式使代码编写真正工程化；设计模式是软件工程的基石脉络，如同大厦的结构一样。

• 使用设计模式的目的：

        为了代码可重用性、让代码更容易被他人理解、保证代码可靠性。 设计模式使代码编写真正工程化；设计模式是软件工程的基石脉络，如同大厦的结构一样。

• 单例模式：

        一个类只能创建一个对象，即单例模式，该模式可以保证系统中该类只有一个实例，并提供一个访问它的全局访问点，该实例被所有程序模块共享。

        比如在某个服务器程序中，该服务器的配置信息存放在一个文件中，这些配置数据由一个单例对象统一读取，然后服务进程中的其他对象再通过这个单例对象获取这些配置信息，这种方式简化了在复杂环境下的配置管理。

        假设我们现在去一家火锅店，点了一份麻辣火锅。当火锅上桌时，我们会发现桌上只有一个火锅锅底，而不是每个人都有一个火锅锅底。

        以上例子中就运用了单例模式的思想。

单例模式有两种实现模式：

• 饿汉模式

        就是说不管你将来用不用，程序启动时就创建一个唯一的实例对象。

• 优点：

        简单、没有线程安全问题。

• 缺点：

        1.一个程序中，多个单例，并且有先后创建初始化顺序要求时，饿汉无法控制。 例如程序中两个单例类A和B，假设要求A先创建初始化，B再创建初始化。

         2.饿汉单例类，初始化时任务多，会影响程序启动速度。

下面写一个模拟创建一个内存池，使用单例饿汉模式，由于MemoryPool对象是全局唯一的，我们无需担心内存泄漏或重复释放内存的问题。此外，由于MemoryPool对象的生命周期与整个应用程序相同，我们不需要担心在程序结束时手动释放内存。以下是示例代码：

class MemoryPool
{
public:
	static MemoryPool* GetInstance()
	{
		return _pinst;
	}
	void* Alloc(size_t n)
	{
		void* ptr=nullptr;
		cout << "申请内存" << endl;
		return ptr;
	}
	void Dealloc(void* ptr)  {cout << "释放内存" << endl;}
private:
	//构造函数私有化  防止随意创建对象
	MemoryPool()
	{}
	char* _ptr = nullptr;

	static MemoryPool* _pinst;   //类中声明
};
//类外定义
MemoryPool* MemoryPool::_pinst = new MemoryPool;

void test_Memory()
{
	//申请内存
	void* ptr1 = (MemoryPool::GetInstance())->Alloc(10);
	//释放内存
	MemoryPool::GetInstance()->Dealloc(ptr1);
}

• 懒汉模式

        如果单例对象构造十分耗时或者占用很多资源，比如加载插件啊， 初始化网络连接啊，读取文件啊等等，而有可能该对象程序运行时不会用到，那么也要在程序一开始就进行初始化，就会导致程序启动时非常的缓慢。 所以这种情况使用懒汉模式（延迟加载）更好，即第一次使用实例对象时，创建对象。

class _MemoryPool
{
public:
	static _MemoryPool* GetInstance()
	{
		if (_pinst ==nullptr)
		{
			_pinst = new _MemoryPool;
		}
		return _pinst;
	}
	void* Alloc(size_t n)
	{
		void* ptr = nullptr;
		// alloc
		return ptr;
	}

	class CGarbo {
	public:
		~CGarbo()
		{
			if (_pinst) delete _pinst;
		}
	};

private:
	static _MemoryPool* _pinst;
	_MemoryPool()
	{}
	char* _ptr = nullptr;
};

• 单例对象释放问题：

     1.一般情况下，单例对象不需要释放。因为一般整个程序运行期间都可能会用它。

单例对象在进程正常结束后，也会资源释放。

     2.有些特殊场景需要释放，比如单例对象析构时，要进行一些持久化(文件、数据库)操作。