泛型类需在类名后声明，泛型方法需在返回值前声明；类型参数作用域分全局（类）与局部（方法）；约束where必须按class/struct、接口、new()顺序书写；实例化需显式指定类型，不可依赖构造函数推断；jit为每个封闭类型生成独立代码，反射需用getgenerictypedefinition判断。
泛型类和泛型方法怎么写，别漏掉类型参数声明
泛型不是“加个 <t></t> 就完事”，关键在声明位置和使用一致性。类定义时漏掉 <t></t>，编译器直接报错 CS0246: 未能找到类型或命名空间名 'T'；方法里用了 T 却没在方法签名上声明，一样挂。
正确写法是：类名后紧跟 <t></t>，方法返回值前也得有 <t></t>（如果是泛型方法）：
public class Stack<t>
{
private T[] _items;
public void Push(T item) { /* ... */ }
}
<p>public static T GetDefault<t>() => default;</t></p></t>
- 类泛型参数作用于整个类体，所有成员都能用
T - 泛型方法的
<t></t>独立于类的泛型参数，哪怕类本身已泛型化，方法仍需单独声明 - 别把
<t></t>写在返回值后面（如void<t> Do()</t>），C# 不认
泛型约束 where 不是可选项，是类型安全的开关
不加约束时，T 只能调用 object 的成员（比如 ToString()、Equals()），想用 .Length 或 new T()？编译器立刻拦住你。
常见约束要按需选，不是堆越多越安全：
-
where T : class→ 限定引用类型，才能用==比较引用（注意不是值相等） -
where T : struct→ 限定值类型，避免装箱，但不能用default(T)以外的构造方式 -
where T : new()→ 允许new T()，但要求无参构造函数（接口/抽象类加这个会报错） -
where T : IComparable→ 才能调用CompareTo，否则编译不过
多个约束用逗号分隔，顺序有讲究：class 或 struct 必须放最前，new() 必须放最后。
泛型实例化时类型推断常失效，显式指定更稳
C# 能推断泛型方法的类型参数，但只看实参，不看返回值。比如 var x = GetValue();，如果 GetValue<t>()</t> 没传参，编译器根本猜不出 T 是啥，直接报错 CS0411: 方法类型参数无法推断。
- 有参数时尽量让参数类型明确：传
string.Empty推出T = string，传42推出T = int - 无参方法（如工厂方法）必须显式写
GetValue<string>()</string> - 泛型类不能靠构造函数参数推断：写
new List<int>()</int>，不能简写成new List()（C# 12 也不行）
泛型代码被 JIT 编译成多个具体版本，要注意内存和反射行为
泛型不是语法糖，.NET 运行时为每个封闭类型（如 List<int></int>、List<string></string>）生成独立的本地代码。这意味着：
-
typeof(List<int>) != typeof(List<long>)</long></int>，它们是完全不同的运行时类型 - 对
List<int></int>做反射，拿不到List<string></string>的字段信息 - 值类型泛型实例（如
Dictionary<int bool></int>）不会共享代码，但引用类型泛型（如Dictionary<string object></string>）的“骨架”代码可复用，只是对象布局不同
所以别指望用 is List 判断泛型开放类型——得用 IsGenericType && GetGenericTypeDefinition() == typeof(List)。
泛型真正难的不是写法，是理解它在编译期、JIT 期、反射期各干了什么。漏掉一个环节，就容易在运行时卡住，或者写出看似能跑、实则类型不安全的代码。
