where t : class约束强制泛型参数必须为引用类型（类、接口、委托、数组等），禁止值类型传入，从而支持null比较、避免装箱、保障对象身份语义，并常与new()或接口约束组合使用。
泛型约束是保障引用数据类型安全的核心机制，它把类型检查从运行时提前到编译期，让错误在写代码时就被发现，而不是等程序跑起来才崩溃。
为什么需要约束引用类型
不加约束的泛型参数可以接受任意类型，但引用类型和值类型在内存布局、空值处理、方法调用等方面行为完全不同。比如对一个 int 做 if (x == null) 没有意义，而对 string 或自定义类就完全合法。泛型约束（如 where T : class）强制编译器只允许传入引用类型，从源头杜绝这类误用。
class 约束的实际作用点
它不只是“禁止传 struct”，而是为后续逻辑提供确定性保障：
- 允许与
null安全比较，用于单例、缓存、懒加载等场景 - 支持引用语义操作，如
ReferenceEquals、对象身份判断 - 避免值类型装箱，提升性能（尤其在集合、反射或序列化中）
- 配合
new()使用时，确保构造出的是堆上对象而非栈上副本
常见组合与典型误用
单独用 class 约束还不够，常需叠加其它约束来表达完整意图：
-
where T : class, new()：适用于工厂、IoC 容器，既保证可为空，又保证能实例化 -
where T : class, ICloneable：要求类型是引用类型且支持克隆，避免对 int 调用Clone() - 不能和
struct同时使用——二者互斥，编译器直接报错 - 接口、委托、数组、string 都满足
class约束，但枚举不是（除非显式声明为class的子类，实际不可行）
跨语言的约束思想一致性
虽然语法不同，但核心理念相通：
- C# 的
where T : class - TypeScript 的
T extends object或T extends { id: number } - Go 的
type Stringer interface{ String() string }+[T Stringer] - Java 虽无显式
class约束，但泛型擦除后仍依赖编译器对引用类型操作的静态校验（如禁止对List<int></int>赋值）
