前言
泛型:通过参数化类型来实现在同一份代码上操作多种数据类型。利用“参数化类型”将类型抽象化,从而实现灵活的复用。在.NET类库中处处都可以看到泛型的身影,尤其是数组和集合中,泛型的存在也大大提高了程序员的开发效率。更重要的是,C#的泛型比C++的模板使用更加安全,并且通过避免装箱和拆箱操作来达到性能提升的目的。因此,我们很有必要掌握并善用这个强大的语言特性。
C#泛型特点:
1、如果实例化泛型类型的参数相同,那么JIT编辑器会重复使用该类型,因此C#的动态泛型能力避免了C++静态模板可能导致的代码膨胀的问题。
2、C#泛型类型携带有丰富的元数据,因此C#的泛型类型可以应用于强大的反射技术。
3、C#的泛型采用“基类、接口、构造器,值类型/引用类型”的约束方式来实现对类型参数的“显示约束”,提高了类型安全的同时,也丧失了C++模板基于“签名”的隐式约束所具有的高灵活性
.NET 中提供了很多判断某个类型或实例是某个类的子类或某个接口的实现类的方法,然而这事情一旦牵扯到泛型就没那么省心了。
本文将提供判断泛型接口实现或泛型类型子类的方法。
.NET 中没有自带的方法
对于实例,.NET 中提供了这些方法来判断:
if (instance is Foo || instance is IFoo){}
对于类型,.NET 中提供了这些方法来判断:
if (typeof(Foo).IsAssignableFrom(type) || typeof(IFoo).IsAssignableFrom(type)){}
或者,如果不用判断接口,只判断类型的话:
if (type.IsSubClassOf(typeof(Foo))){}
对于 typeof 关键字,不止可以写 typeof(Foo)
,还可以写 typeof(Foo<>)
。这可以得到泛型版本的 Foo<T>
的类型。
不过,如果你试图拿这个泛型版本的 typeof(Foo<>)
执行上述所有判断,你会发现所有的 if 条件都会是 false 。
我们需要自己编写方法
typeof(Foo<>)
和 typeof(Foo<SomeClass>)
之间的关系就是 GetGenericTypeDefinition 函数带来的关系。
所以我们可以充分利用这一点完成泛型类型的判断。
比如,我们要判断接口:
public static bool HasImplementedRawGeneric(this Type type, Type generic){ // 遍历类型实现的所有接口,判断是否存在某个接口是泛型,且是参数中指定的原始泛型的实例。 return type.GetInterfaces().Any(x => generic == (x.IsGenericType ? x.GetGenericTypeDefinition() : x));}
而如果需要判断类型,那么就需要遍历此类的基类了:
public static bool IsSubClassOfRawGeneric([NotNull] this Type type, [NotNull] Type generic){ if (type == null) throw new ArgumentNullException(nameof(type)); if (generic == null) throw new ArgumentNullException(nameof(generic)); while (type != null && type != typeof(object)) { isTheRawGenericType = IsTheRawGenericType(type); if (isTheRawGenericType) return true; type = type.BaseType; } return false; bool IsTheRawGenericType(Type test) => generic == (test.IsGenericType ? test.GetGenericTypeDefinition() : test);}
新闻热点
疑难解答
图片精选