泛型方法是C#中运行时保类型安全的实打实机制，非语法糖；编译器可自动推断类型但要求所有ref参数类型完全一致，否则需显式指定；where约束是调用成员或构造的必要条件；重载在固定类型场景下更高效。
泛型方法在 C# 里不是语法糖，而是编译器能推断、运行时保类型安全的实打实机制——只要参数类型明确，Swap<T> 这种写法绝大多数时候根本不用手动写 <int> 或 <string>。
为什么 Swap(ref a, ref b) 有时编译不过
核心问题：编译器无法统一推断出一个公共的 T 类型。比如传入 ref int x 和 ref string s，T 到底是 int 还是 string？编译器直接报错，不妥协。
- 确保所有
ref（或值）参数类型完全一致，例如两个int、两个DateTime，才能触发自动推断 - 若类型不一致但你坚持要泛型逻辑，必须显式指定：
Swap<object>(ref obj1, ref obj2)，但这已失去泛型意义 -
ref参数本身不能是表达式结果：写Swap(ref list[0], ref list[1])会失败，因为list[0]不是变量，而是取值操作
where 约束不是可选项，是类型操作的准入证
泛型方法体里一旦调用 .ToString()、.CompareTo()、new T() 或强制转型，没 where 就编译失败，错误像 CS0118: 'T' is a type parameter, which is not valid in the given context。
- 需要实例方法？加
where T : class（引用类型）或where T : IComparable<T> - 想用
new T()？必须加where T : new()，且该构造函数得是 public 无参 - 只处理值类型？用
where T : struct，避免装箱，也拦住string这类误传 - 多个约束用逗号连：例如
where T : class, ICloneable, new()
显式指定类型参数的三种典型场景
编译器推断不是万能的，以下情况必须手写 <...>：
- 方法有多个泛型参数，且部分无法从实参推出，例如
Convert<TIn, TOut>，只传Convert("123")编译器不知道TOut是啥，至少得写Convert<string, int>("123") - 实参是
null，编译器无法靠它反推类型，例如DoSomething(null)，得写成DoSomething<string>(null) - 你想绕过默认推断，强制走某个具体实现，比如
Process<decimal>(123)即使传的是int字面量，也按decimal处理
别把泛型当银弹：重载有时更干净
如果业务只涉及固定两三个类型（比如只交换 int 和 double），硬套 Swap<T> 反而增加理解成本和 JIT 开销。
- 每个不同
T都生成独立 JIT 代码，Swap<Guid>和Swap<DateTime>内存布局完全不同 - 方法体内大量
if (typeof(T) == typeof(int))分支？说明它本质是重载逻辑，该拆 - 调试时，
Swap<int>的堆栈帧比SwapInt多一层泛型展开，定位更慢
真正值得泛化的，是那些类型数量不可预知、或需保持管道一致性的地方，比如 IEnumerable<T>.Where —— 它不关心你传进来的是 Customer 还是 Order，只保证返回同类型集合。
