C#怎么处理泛型约束_C#中where关键字约束类型的具体用法【基础】

C# 泛型约束 where 的正确用法：避开编译错误与运行时陷阱

不加 where，泛型参数 T 就只能当 object 用——连 .Length、.ToString() 以外的任何成员都调不了，更别说 new T() 或 T.Method()。

泛型方法里怎么写 where 才不报错

约束必须紧挨着泛型参数列表之后、方法签名之前，且不能漏掉逗号分隔。编译器对位置和语法非常敏感。

• where 必须写在方法名后、参数列表前，比如 public static T Create() where T : class, new()
• 多个约束用英文逗号分隔，不是 && 或 and：错的写法是 where T : class && new()，会直接报 CS0412
• class 和 struct 互斥，同时出现编译失败；new() 必须放在所有约束的最后，否则提示 CS0701
• 如果方法有多个泛型参数，每个都要独立加 where，比如 public static TOut Convert(TIn input) where TIn : IComparable where TOut : new()

where T : new() 为什么单独用很危险

它只保证类型有无参构造函数，但不管它是引用类型还是值类型——int、DateTime、string（错！string 没 public 无参构造）都可能被误传进来，导致运行时逻辑崩坏或编译失败。

• string 不满足 new()，因为它的构造函数全是 internal 或带参的，传进去会报 CS0304
• record 默认满足 new()（C# 9+），但 record struct 在 C# 12 前不支持无参构造，容易踩坑
• 更安全的组合是 where T : class, new()（要对象实例）或 where T : struct, new()（要值类型，默认就满足）
• 抽象类、接口、委托类型永远不满足 new()，编译器直接拒绝

接口约束怎么写才真正生效

泛型只认显式实现的接口，不支持鸭子类型。哪怕两个类有完全一样的 CompareTo 方法签名，只要没声明 : IComparable，就过不了 where T : IComparable。

• 接口名直接写，不用加 typeof 或引号：where T : IDisposable, ICloneable
• 泛型接口要带类型参数，比如 IComparable，不能简写成 IComparable，否则约束不匹配
• 可以约束继承自某个基类，但只能写一个，且必须放在所有接口约束之前：where T : MyBaseClass, IDisposable, new()
• 接口约束本身不要求 public，内部接口也能用，但调用方必须能访问到该接口定义

泛型类的 where 放哪儿、顺序为什么重要

类定义中，where 必须出现在类名和基类/接口列表之间，且 class/struct 约束必须最前，new() 必须最后——这不是风格问题，是编译器硬性要求。

• 正确顺序：public class Repository : IRepository where T : class, IKeyed, new()
• 错序写法如 where T : new(), class 会触发 CS0701；where T : IComparable, class 也会报错
• 泛型类的约束作用于整个类体，所有字段、方法、属性里的 T 都受其限制
• 类本身是泛型的，其内部方法再声明泛型参数（如 void Process()），U 的约束和 T 无关，需单独写 where U : ...