如何理解泛型中的new()约束
一:为什么需要New约束
假设有这样一个需求,它需要在定义一个泛型类时同时实例化T对象。有网友说了:"这还不简单,我立刻给你写一个",刷刷刷,得到以下的例子。
public class GenericTester<T> { private T t; public GenericTester() { t = new T(); } }
不好意思,这位粗心的网友就是我。在这里,我犯了一个最大的惯性错误:主观的认为T永远为Object类型,无构造参数。那话又说回来了,这段不带New约束的错误代码会给调用客户带来什么问题呢?
假设客户在使用这个泛型类时传递了如下的T型参数:
GenericTester<User> t = new GenericTester<User>(); public class User { public User(int userId,string userName) { ... } }
这时,这段代码在编译时不能发现错误的,一旦当程序运行时就会抛出异常。
因此使用New的真正原因是:
客户调用这个泛型类时,强制编译器检查泛型类型是否为无参构造函数,防止客户传递多参构造函数类,避免运行时抛出异常,增加程序BUG。
二: .net实例化T对象机制原理
由于T在运行时才会知道具体的类型,在这里.net通过反射机制实例化T对象,楼上代码其实等同于:
public class GenericTester<T> where T : new() { private T t; public GenericTester() { t = System.Activator.CreateInstance<T>(); } }
三:最后注意点
1.当一个泛型参数有多个约束时,New约束要放在最后面。