06.C#泛型约束和高级泛型(三章3.3-3.4)

时间:2023-03-09 03:46:48
06.C#泛型约束和高级泛型(三章3.3-3.4)

  吃午饭前继上篇泛型再写一篇关于泛型的文章,虽然总是被博客园移出首页,文章不精确实是大问题啊,会再接再厉的。进入正题。

  先来说下泛型约束。当我们在使用泛型的时候通常会希望使用泛型实参时,参数能具备某一些特性,这时"泛型约束"来了,它能帮助我们在传入泛型参数,该参数要实现先前指定的约束。有4种约束可用,如下:

  1. 引用类型约束:确保使用的类型参数是引用类型(T:class,且必须是类型参数指定的第一个约束),类型实参任何类、接口、数组、委托、或者已知是引用类型的另一个类型参数。
  2. 值类型约束:表示成(T:struct),可以确保使用的实参是值类型,包括枚举(enums),但是它将可空类型排队在外。
  3. 构造类型约束:表示成(T:new()),必须是约束的最后一个约束,它检查类型是否具有一个可用于创建实例的无参构造函数。
  4. 转换类型约束:允许你指定另一个类型,类型参数可以通过一致性引用或隐式转换或装箱转换转换为该类型。
 public struct DoDo<T> where T : class
{}
public class BiBi<T> where T : struct
{}
public struct CoCo<T> where T : new()
{}
public struct DkDk<T> where T : System.Data.IDbConnection
{}

  上述四个分别对应四种类型约束(仅仅在单个使用),下面来说下在组合使用的情况。

  组合使用有两点要注意:

  1. 如果存在多个轮换类型约束,并且其中一个是类,那么它应该出现在接口的前面,不能多次指定同一个接口。
  2. 当包含多个类型参数时,每一个类型约束都单独使用一个where。
 //不能同时指定类型参数既是引用类型又是值类型
//public struct DoDo<T> where T : class, struct
//{} public class BiBi<T> where T : Stream, new()
{} //使用构造类型约束,new()要放在最后
//public class LiLi<T> where T : new(), Stream
//{} public struct CoCo<T> where T : class, IDisposable , new()
{} //如下一个约束是类,要放在接口的前面
//public struct FeFe<T> where T : IDisposable, class, new()
//{}

  使用泛型约束知识都在上面了,更多的去理解和消化。在使用泛型方法时,让编译器是推断能让我们的代码更简短,但可读性可能不高。

  ------------------------------------------------------------------------------------------------------------------------------------------

  Point 1 关于静态字段和静态构造方法,每一个封闭类型有一个静态字段,如果有的话

 StaticConstraint<int> intStatic = new StaticConstraint<int>();
StaticConstraint<int>.StaticValue = "int"; StaticConstraint<double> doubleStatic = new StaticConstraint<double>();
StaticConstraint<double>.StaticValue = "double"; StaticConstraint<char> charStatic = new StaticConstraint<char>();
StaticConstraint<char>.StaticValue = "char";

  Point 2 使用typeof获取类型

  typeof可通过两种方式作用于泛型类型,一种用来获取未绑定泛型类型,一种用来获取特定的已构造类型。前一种需要提供泛型的名称,去除所有类型参数的名称,但要保留逗号,后一种需要采取与声明泛型类型变量相同的方式指定类型参数即可。

  

 static void GetTypeOfConstraint<X>()
{
//获取未绑定泛型类型
Console.WriteLine(typeof(X));
Console.WriteLine(typeof(List<>));
Console.WriteLine(typeof(Dictionary<,>)); //获取已构造类型
Console.WriteLine(typeof(List<int>));
Console.WriteLine(typeof(Dictionary<int, double>));
}

  请斧正。