C#如何使用泛型_C#泛型类与泛型方法约束详解【核心】-C#.Net教程-PHP中文网

泛型约束where必须在编译期显式声明以支持特定操作，如new()、compareto()等；struct隐含new()但排斥nullable，class允许null；多重约束须按基类→接口→new()顺序书写；泛型方法勿重用外层类型参数名以防遮蔽。

c#如何使用泛型_c#泛型类与泛型方法约束详解【核心】

泛型本身不强制要求约束，但一旦你试图在泛型体内部调用特定成员（比如 ToString()、new T() 或 CompareTo()），编译器就会报错——除非你用 where 明确告诉它“这个类型参数必须能干这事”。

不是“想用就加”，而是“不加就编译失败”。典型场景包括：

在泛型方法里写 new T() → 必须加 where T : new()
调用 t.CompareTo(other) → 必须加 where T : IComparable<t></t>
把 T 当作引用类型传给 object.ReferenceEquals() → 加 where T : class 才能避免值类型装箱或隐式转换歧义
需要访问 T 的某个基类成员（如 MyBaseClass.Id）→ 必须加 where T : MyBaseClass

没加约束时，编译器只认 System.Object 的成员，其余一概拒绝。这不是运行时问题，是编译期拦截。

这两个约束表面看只是“值类型/引用类型”的划分，但影响远不止于此：

where T : struct 自动隐含 new() 约束（所有值类型都有隐式无参构造），但**不允许** Nullable<t></t>（即 int?）直接作为实参，除非你显式写 where T : struct, IComparable 并接受 int? 作为 T —— 实际上不行，因为 Nullable<t></t> 是特殊编译器类型，需单独处理
where T : class 允许 null，但禁止所有值类型；在 C# 8+ 可空引用上下文中，它等价于 where T : class?，意味着 T 可为空，而 where T : class 在非可空上下文中才表示不可为空
两者互斥：一个类型不可能同时满足 struct 和 class 约束，编译器会直接报错

where 子句的顺序不是随意的，编译器有硬性规则：

"避开 C# 常见错误——空陷阱、异步陷阱、LINQ 陷阱及资源泄漏。"

下载

例如这行合法：class Container<t> where T : MyBase, ICloneable, new()</t>；而 where T : new(), MyBase 会触发 CS0453 错误。

多重约束不是“或”关系，是“且”：T 必须同时继承 MyBase、实现 ICloneable、且有无参构造函数。少一个，实例化时就编译不过。

在泛型类内部定义泛型方法时，如果方法也用 T 作类型参数，会触发警告 CS0693：

class List<t>
{
    // ⚠️ CS0693: 类型参数 'T' 与类的类型参数同名
    void Sort<t>() { } // 这里的 T 遮蔽了外层 List<t> 的 T
}</t></t></t>

解决办法只有两个：

这个警告容易被忽略，但会导致方法内无法访问类级 T 的实际类型信息——因为被遮蔽了。调试时你会发现 typeof(T) 返回的是方法自己的 T，而不是你预期的类定义时传入的那个。

C#如何使用泛型_C#泛型类与泛型方法约束详解【核心】