Kotlin无参调用重载函数为何未匹配带默认参数的非内联版本

考虑如下Kotlin代码：

fun foo(type: Class<out Any> = Any::class.java) {

}

inline fun <reified T : Any> foo() {

}

fun main() {
    foo() // 触发编译错误
}

代码编译时抛出如下错误：

类型推断失败：无足够信息推断inline fun foo(): Unit中的类型参数T
请显式指定该类型参数。

核心疑问：为什么编译器没有默认选择带默认参数的非内联版本foo？

这是Kotlin重载解析规则的正常表现，核心逻辑分两步：

• 重载候选的优先级判定早于类型推断执行，判定阶段只关注显式传入的实参和函数声明形参的匹配度。
  调用foo()时没有传入任何显式实参，两个函数都会进入候选池：
  • 带reified泛型的内联foo()本身声明为零形参，零实参调用时形参和实参完全对齐，不需要任何额外处理就能匹配
  • 带Class参数的非内联foo要支持零实参调用，必须依赖形参的默认值填充缺失的实参
    按照Kotlin重载决议的明确规则：无需填充默认参数即可匹配调用的候选，优先级永远高于需要依赖默认参数才能匹配的候选。这一轮排序完成后，内联reified版本已经被判定为最优候选，非内联版本直接被排除。
• 重载解析不存在「最优候选编译失败就回退选择次优候选」的逻辑。
  选定内联reified版本作为目标调用函数后，编译器才会进入类型推断阶段，此时才发现该函数的reified类型参数T既没有显式指定，也无法从调用上下文、实参中获取足够的推断信息，因此直接抛出类型推断错误，不会回退选择优先级更低的非内联版本。

可以通过简单场景验证这个逻辑：如果调用时显式传入Class类型实参，比如foo(Any::class.java)，零参的内联版本会因为形参列表不匹配直接被排除，编译器会正常调用带默认参数的非内联版本；如果调用时显式指定泛型参数，比如foo<String>()，编译器也会明确匹配到reified版本，不存在歧义。

内容的提问来源于stack exchange，提问作者Matthew Layton