泛型不是语法糖，编译器严格检查声明位置、约束顺序和实例化方式；类名或方法签名返回值前必须写<T>，漏则报CS0246；where约束中class/struct须在最前、new()在最后；类型推断不看返回值，无参泛型方法必显式指定；List<int>与List<string>运行时为不同类型，JIT分别生成代码。
泛型不是加个 <T> 就能跑通的语法糖，编译器会严格检查声明位置、约束顺序和实例化方式；漏掉一个细节，立刻报错 CS0246 或 CS0411。
泛型类和泛型方法的声明位置不能错
类名后面必须紧跟 <T>，方法签名返回值前面也得有 <T>。写在返回值后面（比如 void<T> Do()）是非法语法，C# 直接拒编译。
常见错误现象：
- 类定义漏
<T>→ 编译器报 CS0246：“未能找到类型或命名空间名 'T'” - 方法体内用了
T却没在方法签名上声明 → 同样 CS0246 - 嵌套类里想用外层类的
T，但外层类没泛型 → 不行，T作用域只限于声明它的类型或方法
正确写法示例：
public class Stack<T>
{
private T[] _items;
public void Push(T item) { ... }
}
<p>public static T GetDefault<T>() => default;泛型约束 where 不是可选项，是类型安全的开关
不加约束时，T 只能调用 object 的成员（如 ToString()），连 .Length 或 new T() 都不被允许——编译器直接拦住。
约束顺序有硬性要求：class 或 struct 必须放最前，new() 必须放最后。多个接口之间顺序不限，但不能穿插在 class/struct 和 new() 中间。
常用约束组合示例：
-
where T : class, IComparable, new()✅ -
where T : IComparable, class, new()❌（class没放最前） -
where T : new(), IComparable❌（new()没放最后）
注意：where T : struct 下不能用 default(T) 以外的方式构造实例；where T : class 才能用 as 和判空；where T : IComparable 才能放心调 CompareTo。
泛型实例化时类型推断经常失效，显式指定更稳
C# 能根据实参类型推断泛型方法的 T，但**完全不看返回值类型**。无参方法（比如工厂、默认值生成）根本没法推，必须手写 <string> 这类标注。
容易踩的坑：
-
var x = GetValue();→ 如果GetValue<T>()没参数，编译器报 CS0411：“方法类型参数无法推断” -
new List<int>()不能简写成new List()，哪怕 C# 12 也不行 - 泛型类的构造函数参数不会触发类型推断，
new Repository<User>(conn)里的<User>不能省
有参时尽量让参数类型明确：传 string.Empty 推出 T = string，传 42 推出 T = int；但别依赖这个，尤其在 API 边界或泛型委托场景下。
JIT 为每个封闭类型生成独立代码，反射和内存行为要当心
List<int> 和 List<string> 在运行时是两个完全不同的类型，JIT 分别生成本地代码。这意味着：
- 它们的静态字段互不共享
-
typeof(List<int>) == typeof(List<string>)是 false - 用反射判断是否为泛型集合，得先调
GetGenericTypeDefinition()，再跟typeof(List<>)比 - 大量不同值类型的泛型实例（比如
Stack<int>、Stack<long>、Stack<Guid>）会增加内存占用，引用类型则共享一份 JIT 代码
最容易被忽略的一点：泛型类型在序列化、DI 容器注册、甚至日志输出中，都可能因未正确处理开放/封闭构造类型而出错——比如把 typeof(Repository<>) 当成具体类型去解析。
