一、泛型概述

1.什么是泛型?

泛型(generic)是 C# 语言和公共语言运行时 (CLR) 的 2.0 版本中添加的新特性。泛型为 .NET Framework 引入了类型参数 (type parameters)的概念。类型参数使得设计类和方法时,不必确定一个或多个具体的类型,具体类型可延迟到客户代码中声明并初始化。这意味着使用泛型的类型参数 T,写一个类 MyList<T>,客户代码可以这样调用:MyList<int>MyList<string>MyList<MyClass>

2.为什么要使用泛型?

我们先看下面代码

  1. public static void ShowInt(int iParameter)
  2. {
  3. Console.WriteLine("This is {0},parameter={1},type={2}",
  4. nameof(CommonMethod), iParameter, iParameter.GetType().Name);
  5. }
  6. public static void ShowString(string sParameter)
  7. {
  8. Console.WriteLine("This is {0},parameter={1},type={2}",
  9. nameof(CommonMethod), sParameter, sParameter.GetType().Name);
  10. }
  11. public static void ShowDateTime(DateTime dtParameter)
  12. {
  13. Console.WriteLine("This is {0},parameter={1},type={2}",
  14. nameof(CommonMethod), dtParameter, dtParameter.GetType().Name);
  15. }

我们可以看出这三个方法,除了传入的参数不同外,其里面实现的功能都是一样的,我们在编程程序时,经常会遇到功能非常相似的模块,只是它们处理的数据不一样。这个时候问题来了,有没有一种办法,用同一个方法来处理传入不同种类型参数的办法呢?
微软在 1.0 和 1.1 版本的时候可以用 OOP 三大特性之一的继承来解决上述问题(通过继承,子类拥有父类的一切属性和行为;任何父类出现的地方,都可以用子类来代替),我们知道,C# 语言中,所有类型都源自同一个类型,那就是 object。

  1. public static void ShowObject(object oParameter)
  2. {
  3. Console.WriteLine("This is {0},parameter={1},type={2}",
  4. nameof(CommonMethod), oParameter, oParameter.GetType().Name);
  5. }

显示结果

  1. int iValue = 123;
  2. string sValue = "abc";
  3. DateTime dtValue = DateTime.Now;
  4. Console.WriteLine("****************常规调用****************");
  5. {
  6. CommonMethod.ShowInt(iValue);
  7. CommonMethod.ShowString(sValue);
  8. CommonMethod.ShowDateTime(dtValue);
  9. }
  10. Console.WriteLine("****************object调用****************");
  11. {
  12. CommonMethod.ShowObject(iValue);
  13. CommonMethod.ShowObject(sValue);
  14. CommonMethod.ShowObject(dtValue);
  15. }

.NET 高级开发系列之泛型(Generic) - 图1

我们可以看出,目地是达到了,解决了代码的可读性,但是这样又有个不好的地方了,object 是引用类型,当传个值类型 int 时会有装箱拆箱操作,导致性能损失。
终于,微软在 2.0 的时候发布了泛型,避免了运行时类型转换或装箱操作的代价和风险,接下来我们用泛型方法来实现该功能。

  1. public static void Show<T>(T tParameter)
  2. {
  3. Console.WriteLine("This is {0},parameter={1},type={2}",
  4. typeof(GenericMethod).Name, tParameter, tParameter.GetType().Name);
  5. }

显示结果

  1. int iValue = 123;
  2. string sValue = "abc";
  3. DateTime dtValue = DateTime.Now;
  4. Console.WriteLine("****************常规调用****************");
  5. {
  6. CommonMethod.ShowInt(iValue);
  7. CommonMethod.ShowString(sValue);
  8. CommonMethod.ShowDateTime(dtValue);
  9. }
  10. Console.WriteLine("****************object调用****************");
  11. {
  12. CommonMethod.ShowObject(iValue);
  13. CommonMethod.ShowObject(sValue);
  14. CommonMethod.ShowObject(dtValue);
  15. }
  16. Console.WriteLine("****************泛型调用****************");
  17. {
  18. GenericMethod.Show<int>(iValue);
  19. GenericMethod.Show(sValue); // 可以省略,自动推算
  20. GenericMethod.Show<DateTime>(dtValue);
  21. }

.NET 高级开发系列之泛型(Generic) - 图2

3.性能对比

  1. public static void Show(int iValue)
  2. {
  3. long commonTime = 0;
  4. long objectTime = 0;
  5. long genericTime = 0;
  6. {
  7. Stopwatch watch = new Stopwatch();
  8. watch.Start();
  9. for (int i = 0; i < 100000000; i++)
  10. {
  11. ShowInt(iValue);
  12. }
  13. watch.Stop();
  14. commonTime = watch.ElapsedMilliseconds;
  15. }
  16. {
  17. Stopwatch watch = new Stopwatch();
  18. watch.Start();
  19. for (int i = 0; i < 100000000; i++)
  20. {
  21. ShowObject(iValue);
  22. }
  23. watch.Stop();
  24. objectTime = watch.ElapsedMilliseconds;
  25. }
  26. {
  27. Stopwatch watch = new Stopwatch();
  28. watch.Start();
  29. for (int i = 0; i < 100000000; i++)
  30. {
  31. Show<int>(iValue);
  32. }
  33. watch.Stop();
  34. genericTime = watch.ElapsedMilliseconds;
  35. }
  36. Console.WriteLine("commonTime={0}ms,objectTime={1}ms,genericSecond={2}ms"
  37. , commonTime, objectTime, genericTime);
  38. }
  39. private static void ShowInt(int iParameter) { }
  40. private static void ShowObject(object oParameter) { }
  41. private static void Show<T>(T tParameter) { }

显示结果

  1. Console.WriteLine("****************Monitor****************");
  2. Monitor.Show(iValue);

.NET 高级开发系列之泛型(Generic) - 图3

4.总结及扩展

泛型是 2.0 推出的新语法,不是语法糖,而是 2.0 由框架升级提供的功能,需要编译器支持 + JIT 支持(即时编译器,中间语言 IL 转成 JIT(机器码) 生成一个占位符 n(>1、<T,U>>2、>3、<T,U,V,...n>>`n),泛型方法性能 ≈≈ 普通方法 > object 方法(需要装箱拆箱),延迟声明把参数类型的声明推迟到调用,这里可以衍生出
“推迟一切可以推迟的”延迟思想的设计思想,延迟思想有很多地方有使用,比如前端中图片的懒加载、后端 EF 的延迟加载,系统架构的分布式消息队列。

二、泛型类、泛型方法、泛型接口、泛型委托

  1. // <summary>
  2. /// 一个类来满足不同的具体类型,做相同的事
  3. /// </summary>
  4. /// <typeparam name="T"></typeparam>
  5. public class GenericClass<T>
  6. {
  7. private T _t;
  8. }
  9. /// <summary>
  10. /// 一个接口来满足不同的具体类型的接口,做相同的事
  11. /// </summary>
  12. /// <typeparam name="T"></typeparam>
  13. public interface IGenericInterface<T>
  14. {
  15. T GetT(T t); // 泛型类型的返回值
  16. }
  17. public class CommonClass
  18. //: GenericClass<int> // 必须指定
  19. : IGenericInterface<int> // 必须指定
  20. {
  21. public int GetT(int t)
  22. {
  23. throw new NotImplementedException();
  24. }
  25. }
  26. public class GenericClassChild<T>
  27. //: GenericClass<T>
  28. : GenericClass<int>, IGenericInterface<T>
  29. {
  30. public T GetT(T t)
  31. {
  32. throw new NotImplementedException();
  33. }
  34. }
  35. public delegate void SayHi<T>(T t); // 泛型委托

在仓储,ORM,继承泛型类,实现泛型接口,泛型来泛型去用得会比较多。

三、泛型约束

定义泛型类时,可以对客户端代码能够在实例化类时用于类型参数的几种类型施加限制。 如果客户端代码尝试使用约束所不允许的类型来实例化类,则会产生编译时错误。 这些限制称为约束。 通过使用 where 上下文关键字指定约束。下表列出了六种类型的约束:

.NET 高级开发系列之泛型(Generic) - 图4

使用约束的原因

我们先看下面一段代码

  1. public class People
  2. {
  3. public int Id { get; set; }
  4. public string Name { get; set; }
  5. public void SayHi()
  6. {
  7. Console.WriteLine("Hi");
  8. }
  9. }
  10. public interface ITeacher
  11. {
  12. void Lecture();
  13. }
  14. public interface IStudent
  15. {
  16. void Work();
  17. }
  18. public class Teacher : People, ITeacher
  19. {
  20. public void Lecture()
  21. {
  22. Console.WriteLine("讲课");
  23. }
  24. }
  25. public class Student : People, IStudent
  26. {
  27. public void Work()
  28. {
  29. Console.WriteLine("做作业");
  30. }
  31. }

现在又有个需求,用泛型方法把 Teacher 和 Student 的 ID 和 Name 都打印出来,我们简单改造 Show 方法

.NET 高级开发系列之泛型(Generic) - 图5

报错,编译器不同过,用泛型可以把不同类型参数传进来,但是任何类型都能过来,你知道我是谁?解决这个问题可以加上约束

  1. public static void Show<T>(T tParameter)
  2. where T : People
  3. {
  4. //Console.WriteLine($"{tParameter.Id}_{tParameter.Name}");
  5. //Console.WriteLine($"{(People)(tParameter).Id}_{(People)(tParameter).Name}");
  6. Console.WriteLine($"{tParameter.Id}_{tParameter.Name}");
  7. }

这次代码编译通过,这里使用了基类约束能强制保证 T 一定是 People 或者 People 的子类,所以可以使用基类的一切属性方法,这里体现了一句话“没有约束,也就没有自由”。其实上面可以不用泛型也可以完成这个需求

  1. public static void ShowBase(People people)
  2. {
  3. Console.WriteLine($"{people.Id}_{people.Name}");
  4. }

那为什么还要用泛型呢,因为约束可以叠加,更灵活

  1. public static void Show<T>(T tParameter)
  2. where T : People, ITeacher, new()
  3. {
  4. //Console.WriteLine($"{tParameter.Id}_{tParameter.Name}");
  5. //Console.WriteLine($"{(People)(tParameter).Id}_{(People)(tParameter).Name}");
  6. Console.WriteLine($"{tParameter.Id}_{tParameter.Name}");
  7. tParameter.SayHi();
  8. tParameter.Lecture();
  9. }

显示结果

  1. Console.WriteLine("****************约束****************");
  2. {
  3. People people = new People
  4. {
  5. Id = 11,
  6. Name = "张三"
  7. };
  8. Teacher teacher = new Teacher
  9. {
  10. Id = 12,
  11. Name = "李老师"
  12. };
  13. Student student = new Student
  14. {
  15. Id = 13,
  16. Name = "赵同学"
  17. };
  18. //Constraint.Show<People>(people);
  19. Constraint.Show<Teacher>(teacher);
  20. //Constraint.Show<Student>(student);
  21. }

.NET 高级开发系列之泛型(Generic) - 图6

四、泛型代码中的默认关键字(default)

在泛型类和泛型方法中产生的一个问题是,在预先未知以下情况时,如何将默认值分配给参数化类型 T:

  • T 是引用类型还是值类型。
  • 如果 T 为值类型,则它是数值还是结构。

给定参数化类型 T 的一个变量 t,只有当 T 为引用类型时,语句 t = null 才有效;只有当 T 为数值类型而不是结构时,语句 t = 0 才能正常使用。解决方案是使用 default 关键字,此关键字对于引用类型会返回空,对于数值类型会返回零。对于结构,此关键字将返回初始化为零或空的每个结构成员,具体取决于这些结构是值类型还是引用类型。

五、协变&逆变

协变和逆变能够实现数组类型、委托类型和泛型类型参数的隐式引用转换。 协变保留分配兼容性,逆变则与之相反。
下面看个例子

  1. People people = new Teacher();

老师是人,没错

  1. IList<People> peoples = new List<Teacher>();

一群老师是一群人,编译器告诉你错了

.NET 高级开发系列之泛型(Generic) - 图7

不合理阿,一群老师当然是一群人拉,所以微软在 4.0 修复了这个问题

  1. IEnumerable<People> peoples = new List<Teacher>();

.NET 高级开发系列之泛型(Generic) - 图8

由子类向父类方向转变是协变,协变只能用于返回值类型用, out 关键字
由父类向子类方向转变是逆变,逆变只能用于方法的参数类型用, in 关键字

  1. /// <summary>
  2. /// .net 4.0
  3. /// 只能放在接口或者委托的泛型参数前面
  4. /// out 协变covariant 修饰返回值
  5. /// in 逆变contravariant 修饰传入参数
  6. public interface IMyList<in inT, out outT>
  7. {
  8. void Show(inT t);
  9. outT Get();
  10. outT Do(inT t);
  11. }
  12. public class MyList<inT, outT> : IMyList<inT, outT>
  13. {
  14. public outT Do(inT t)
  15. {
  16. throw new NotImplementedException();
  17. }
  18. public outT Get()
  19. {
  20. throw new NotImplementedException();
  21. }
  22. public void Show(inT t)
  23. {
  24. throw new NotImplementedException();
  25. }
  26. }

六、泛型缓存

  1. public class GenericCache<T>
  2. {
  3. private static string _TypeTime = "";
  4. static GenericCache()
  5. {
  6. Console.WriteLine("This is GenericCache 静态构造函数");
  7. _TypeTime = string.Format("{0}_{1}", typeof(T).FullName, DateTime.Now.ToString("yyyyMMddHHmmss.fff"));
  8. }
  9. public static string GetCache()
  10. {
  11. return _TypeTime;
  12. }
  13. }

我们知道静态构造函数只会初始化一次,在内存中只有一个,但是有了泛型之后可以为每个不同的T,都会生成一份不同的副本
显示结果

  1. Console.WriteLine("****************泛型缓存****************");
  2. {
  3. for (int i = 0; i < 5; i++)
  4. {
  5. Console.WriteLine(GenericCache<int>.GetCache());
  6. Thread.Sleep(10);
  7. Console.WriteLine(GenericCache<long>.GetCache());
  8. Thread.Sleep(10);
  9. Console.WriteLine(GenericCache<DateTime>.GetCache());
  10. Thread.Sleep(10);
  11. Console.WriteLine(GenericCache<string>.GetCache());
  12. Thread.Sleep(10);
  13. }
  14. }

.NET 高级开发系列之泛型(Generic) - 图9

与字典缓存性能对比

  1. public class DictionaryCache
  2. {
  3. private static Dictionary<Type, string> _TypeTimeDictionary = null;
  4. static DictionaryCache()
  5. {
  6. Console.WriteLine("This is DictionaryCache 静态构造函数");
  7. _TypeTimeDictionary = new Dictionary<Type, string>();
  8. }
  9. public static string GetCache<T>()
  10. {
  11. Type type = typeof(Type);
  12. if (!_TypeTimeDictionary.ContainsKey(type))
  13. {
  14. _TypeTimeDictionary[type] = string.Format("{0}_{1}", typeof(T).FullName, DateTime.Now.ToString("yyyyMMddHHmmss.fff"));
  15. }
  16. return _TypeTimeDictionary[type];
  17. }
  18. }

显示结果

  1. public class CacheMonitor
  2. {
  3. public static void Show()
  4. {
  5. long dictionaryCacheTime = 0;
  6. long genericCacheTime = 0;
  7. {
  8. Stopwatch watch = new Stopwatch();
  9. watch.Start();
  10. for (int i = 0; i < 100000000; i++)
  11. {
  12. DictionaryCache.GetCache<Monitor>();
  13. }
  14. watch.Stop();
  15. dictionaryCacheTime = watch.ElapsedMilliseconds;
  16. }
  17. {
  18. Stopwatch watch = new Stopwatch();
  19. watch.Start();
  20. for (int i = 0; i < 100000000; i++)
  21. {
  22. GenericCache<Monitor>.GetCache();
  23. }
  24. watch.Stop();
  25. genericCacheTime = watch.ElapsedMilliseconds;
  26. }
  27. Console.WriteLine("dictionaryCacheTime={0}ms,genericCacheTime={1}ms"
  28. , dictionaryCacheTime, genericCacheTime);
  29. }
  30. }
  1. Console.WriteLine("****************Monitor****************");
  2. {
  3. Monitor.Show();
  4. }

.NET 高级开发系列之泛型(Generic) - 图10

字典缓存读取结果是要通过哈希查找得到,而泛型缓存是直接拿内存地址得到结果,效率会高很多,但是也有局限性,只能适合不同类型,需要缓存一份数据的场景。
原文地址:https://www.yuque.com/liaoww/rxxlc5/zsnkng