编译器推断泛型方法类型参数的核心依据是入参的实际类型，不依赖返回值、变量名或运行时信息；必须至少一个参数携带明确类型以唯一确定泛型类型，否则需显式指定。

编译器推断泛型方法的类型参数，核心依据是**入参的实际类型**，而非返回值、变量名或上下文注释。它在编译期静态分析，不依赖运行时信息，也不做猜测——只在能唯一确定类型时才成功推断。

推断只看参数，不看返回值

泛型类型参数必须在至少一个方法参数中“出现”，且该参数携带明确类型信息。如果类型仅用于返回值，编译器无法反向推导。

• 支持推断： void Print<t>(T value)</t> → 调用 Print("hello")，"hello" 是 string，直接推出 T = string
• 不支持推断： T Create<t>()</t> → 调用 Create() 会报错，因为没参数提供类型线索，必须写成 Create<int>()</int>
• 混合场景： T GetOrDefault<t>(T defaultValue)</t> → GetOrDefault(42) 可推断为 int；但 GetOrDefault(null) 失败，因 null 没有具体类型

多个参数需能统一到同一类型

当方法有多个泛型参数（如 <t u></t>）或多个同类型参数（如 Swap<t>(ref T a, ref T b)</t>），所有对应位置的实参必须能映射到同一个具体类型，或存在明确的隐式转换路径。

• Swap(ref x, ref y) 中，x 和 y 都是 int → 推断 T = int
• Swap(ref a, ref b) 中，a 是 int，b 是 long → 推断失败（int 和 long 无隐式互转，且不共用更小的泛型基类型）
• Process<t>(T first, object second)</t> → 第二个参数是 object，不参与 T 推断，只靠 first 决定

推断失败的典型信号

编译器不会“尽力而为”，一旦条件不满足，就直接报错，要求显式指定类型。常见失败点包括：

• 传入 null，且无其他参数可锚定类型
• 参数是基类或接口类型（如 IEnumerable<object></object>），丢失了原始泛型信息
• 存在多个重载方法，且各自泛型签名都“可能匹配”
• 使用了 var 或未声明类型的局部变量作为参数，导致类型信息延迟或模糊

推断过程本质是单向约束求解

编译器把每个泛型参数当作一个待解变量，把每个带泛型的参数当作一条约束方程。例如：

void Copy<t>(T[] src, List<t> dst)</t></t> 被调用为 Copy(intArray, listOfString) → 得到两个方程：T = int 和 T = string → 矛盾 → 推断失败。

只有当所有方程指向同一个类型，或可通过隐式转换归一化（如 short 和 int 都可转为 int），推断才成立。