JLS 9方法调用类型推断：非适用性相关实参为何纳入约束集？

首先明确JLS 9中的前置规则：在类型参数约简与合并阶段，会用替换规则θ（将方法的类型参数替换为推断变量）处理方法的类型参数。

在调用适用性检查阶段，与适用性相关的实参已经被用来构建初始约束集，完成了方法候选的筛选——这类实参是判断“该方法是否能被当前调用使用”的核心依据，它们的类型约束直接参与了类型参数边界的推导与合并，确保方法具备基本的调用资格。

而进入调用类型推断阶段时，只将与适用性无关的实参ei纳入约束集（添加‹ei → Fi θ›约束），原因在于：

• 这类实参不影响方法的适用性判定（比如可变参数、或者不参与方法重载选择的实参），因此在适用性筛选阶段不需要考虑它们，避免干扰候选方法的快速筛选；
• 但在确定最终调用类型时，必须保证推断出的方法类型能适配所有实参，而不仅仅是那些决定方法能否被选中的实参。补全这些“无关”实参的约束，是为了让最终的类型参数完全满足整个调用的所有类型要求，避免出现“方法能被选中，但实参类型与最终推断出的方法类型不兼容”的情况。

简单说，这是Java类型推断机制对“方法筛选”和“精确类型确定”两个阶段的职责拆分：先通过核心实参选出可用方法，再通过所有实参细化出完全合法的调用类型。

参考JLS 9《18.5.2.2. 额外实参约束》条款：
设θ为§18.5.1中定义的替换规则[P1:=α1, ..., Pp:=αp]，用于将方法m的类型参数替换为推断变量。
则对于所有i（1 ≤ i ≤ k）：
若ei与适用性无关，则约束集C包含‹ei → Fi θ›。

内容的提问来源于stack exchange，提问作者theutonium.18