[b]1.引用类型约束[/b] [b]struct RefSample<T> where T:class [/b]        引用类型用Class表示约束，其他的引用类型为具体的约束。 表示对于的约束必须为一个类（引用类型）不能是值类型（int，char，datatime，struct），可以是接口interface 区分，数组为引用类型，因为定义数组时需要new出一个对象。 虽然定义成 RefSample<T> 传入的必须为引用类型 但是RefSample仍然为值类型 [b]2.值类型约束[/b] [b]class ValSample<T> where T:struct[/b] 为引用类型，因为int，char等类型都是struct [img]http://files.jb51.net/file_images/article/201702/201702080947104.png[/img] ValSample<int> [b]3.构造函数类型约束[/b] 指定的类型T必须有构造函数，CreateInstance<int>和CreateInstance<object> 都是有效的。但是CreateInstance<strings>没有构造函数。 [b]4.转换类型约束[/b] 一种约束允许你指定另一个类型，类型实参必须可以通过一致性、引用或装箱转换隐式地转换为该类型。你还可以规定一个类型实参必须可以转换为另一个类型实参——这称为类型参数约束。 理解的意思：可以互换，就是我们可以通过装箱或者强制类型转换成目标类型的 类型都可以用于类型参数传入。 [b]class Sample<T> where T:Stream[/b] 有效：Sample<Stream> 这本身符合约束 无效:Sample<String> 因为String类型无法通过引用或者装箱拆箱强制转换成Stream、 [b]struct Sample<T> where T:IDisposable[/b] 规定T必须为IDisposable 类型的 引用类型 有效：Sample<SqlConnection>引用转换 无效：Sample<StringBuilder> [b]分析：为什么SqlConnection 可以而StringBuilder不可以？它们都是引用类型[/b] [b]1.SqlConnection实现了IDisposable接口，所以可以协变[/b] [img]http://files.jb51.net/file_images/article/201702/201702080947105.png[/img] [img]http://files.jb51.net/file_images/article/201702/201702080947106.png[/img] [b]2.StringBuilder只实现了ISerializable接口，无法通过途径转换为IDisposable[/b] [img]http://files.jb51.net/file_images/article/201702/201702080947107.png[/img] [b]class Sample<T> where T:IComparable<T>[/b] 因为将IComparable<T>整体当作约束,分析IComparable<T>的类型，可以用Type.IsValueType判断，true为值类型，false为引用类型 [b]typeof(IComparable<T>).IsValueType[/b]   结果为false表示为引用类型 有效：Sample<int>（装箱转换） 无效：Sample<FileInfo> 也可以指定多种约束： [b]class sample<T> where T：stream，IEnumerable<string>,IComparable<int>[/b] [b]class Sample<T,U> where T:U[/b] 有效：Sample<Stream,IDisposable> 无效：Sample<string,IDiposable> [b]总结：要看传入类参数是否可以转换，查看规定参数和传入类参数是否实现同一接口，如果实现则可以，否则不可以。[/b] [b]不可以是以下：System.Object,System.Enum,System.ValueType,System.Delegate,结构或密封类(String)[/b] [b]5.组合约束[/b] 对类型参数的约束有多个，注意：只能是一种类型，值类型和引用类型不能同时存在，没用一个类型即是引用类型，又是值类型。 由于每一个值类型都有一个无构造函数，此后不能再有构造函数约束 有效: class Sample<T> where T：class，IDisposable，new() class Sample<T,U> where T：Stream where U:IDispsable 无效： class Sample<T> where T：class，struct (没有任何类型即时引用类型又是值类型的,所以为无效的) class Sample<T> where T：Stream，class (引用类型约束应该为第一个约束，放在最前面,所以为无效的) Stream只是约束传入参数为Stream具体类型，而class约束为引用类型，一开始我理解错了 class Sample<T> where T：new(),Stream   (new() 必须放在最后) class Sample<T> where T：IDisposable，Stream (类必须放在接口前面，所以为无效的) class Sample<T> where T：XmlReader，IComparable，IComparable （对于转换类型约束，同一个接口不能出现多次） class Sample<T，U> where T：struct where  U：Class，T (类型形参“T”具有“struct”约束，因此“T”不能用作“U”的约束,所以为无效的) class Sample<T，U> where T：Stream ,U:IDisposable  语法错误 看到网上还有这种版本也是[b]有效的[/b]我表示不理解： [b]class Sample<T> where T：struct,IDisapsable  IDisapsable为值类型？[/b] [b]class Sample<T,U> where T：class where U:struct ,T   T为引用类型为何与值类型一起约束U？[/b] [b]希望可以指正[/b] 以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，同时也希望多多支持编程素材网！