【学习日记2】泛型实现单例基类

泛型是什么

        泛型实现的是类型参数化，简单来说就是定义/申明的时候不需要给到精确的数据类型，后面使用类/方法的时候再进行指定。学术一点叫做“类型参数化”。

为什么用泛型

        如果我们要做一个底层为数组的列表类，那么在不使用object的前提下，我们需要创建很多个类型的列表类，毕竟常规方法的时候数组是需要指定一个类型的。

        但如果我们使用泛型就不一样了，我们可以用一个占位符替代原先必须写死的类型，使用的时候再根据需要传入类型的参数。

        这样就达到了代码重用的目的。所以归根结底，泛型是便于代码的重用。

        所以，当我们要写很多Manager的时候，就需要写很多单例的先决条件，这也太麻烦了。所以，我们可以让需要变成单例的类直接继承泛型的单例基类，这样就不用多此一举了。

如何用泛型实现单例模式基类

泛型约束

        泛型占位符可以是任何类型，但为了代码规范性，我们往往需要对其施加一些约束。这里简单介绍几种常见的泛型约束。

        关键字：where

//值类型   where 泛型字母 : struct
//引用类型 where 泛型字母 : class
//存在无参公共构造函数 where 泛型字母 : new()
//某个类本身或其派生类 where 泛型字母 : 类名
//某个接口的派生类型 where 泛型字母 : 接口名
//另一个泛型类型本身或派生类型 where 泛型字母 : 另一个泛型字母

实现

class Singleton<T> where T : new()
    {
        private T instance = new T();

        public T Instance
        {
            get
            {
                return instance;
            }
        }
    }

        可以看到，我们定义了Singleton的类并且给予了泛型约束为new()，这意味着T必须是存在无参公共构造函数的数据类型。

        在这个类中，我们将单例模式需要的两个必要元素做了声明，即私有的T类唯一对象和对应的构造器属性。这样以后我们需要什么类为单例模式，直接继承这个Singleton<T>的泛型基类即可。

        当然这么写是有一个瑕疵的。即我们无法让无参构造函数私有化，有单例类被强制new出来的可能性，不过在团队合作中可以提前规范来避免这种错误的发生。

使用方法

class GameMgr : Singleton<GameMgr>
    {
        public int sceneId;
        //本身的逻辑
    }

如代码所示，直接继承并设置泛型类型为该类名称即可。