泛型类型从默认参数推断问题：Kotlin函数默认优先级实现疑问

为什么带默认参数的版本调用失败？ #

Kotlin的泛型推断规则中，当函数无参调用时，编译器不会使用默认参数的类型来推导泛型参数。在第一个版本的代码中，调用processStuff()时没有传递任何显式参数，编译器无法从上下文获取足够信息确定泛型T的具体类型——即便默认参数返回0（Int类型），也不会被用来推断T，因此会出现泛型类型推断失败的错误。

为什么显式传递lambda的版本可行？ #

第二个版本中，调用processStuff { 0 }时，显式传递的lambda返回值是Int（属于Comparable<Int>），编译器可以直接从lambda的返回类型推断出泛型T = Int，完全符合函数签名的约束，因此能正常编译。

可以利用Kotlin 1.3及以上支持的泛型参数默认类型，给泛型T指定默认的具体类型（比如Int），同时调整默认参数的写法以匹配类型：

fun <T : Comparable<T> = Int> processStuff(
    priority: (Stuff) -> T = { 0 as T }
) { ... }

这样处理后：

• 无参调用processStuff()时，泛型T会默认使用Int，默认参数{0 as T}返回Int类型的0，符合约束；
• 显式传递lambda（比如processStuff { it.name }）时，编译器会从lambda的返回类型（比如String，因为String实现了Comparable<String>）自动推断出T = String，正常工作。

也可以将默认参数的返回值显式指定为Int，结合泛型默认类型，写法更直观：

fun <T : Comparable<T> = Int> processStuff(
    priority: (Stuff) -> T = { 0 } as (Stuff) -> T
) { ... }

两种写法都能在不重载函数的前提下，同时满足默认平等处理和自定义优先级的需求。

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