Kotlin如何避免代码块隐式返回最后一个表达式的返回值？

问题根因 #

Kotlin中try-catch属于表达式结构，整个块的返回值为内部最后一行表达式的返回值。你使用的exchange是带reified泛型参数的内联函数，编译器需要在编译期明确泛型T的类型：当你未显式指定泛型时，编译器无法从Unit返回值的方法上下文中推导出T的具体类型，因此抛出类型不匹配错误。

最优处理方案 #

直接使用你补充中提到的显式指定泛型为Unit的写法：

restTemplate.exchange<Unit>(requestEntity)

该写法的优势包括：

• 无冗余未使用变量，不会触发lint告警
• 语义清晰，明确告知编译器不需要解析响应体内容，直接将响应体映射为Unit即可
• 符合Kotlin语法规范，没有多余的占位逻辑

可选备选方案 #

如果不想显式指定泛型，也可以选择以下两种兼容写法：

1. try块末尾显式补充Unit，指定整个try表达式的返回值为Unit

try {
    val requestEntity = ...
    restTemplate.exchange(requestEntity)
    Unit
} catch (e: RestClientException) {
    ...
}

2. 使用Kotlin专用的废弃变量语法_接收返回值，lint会识别该语法表示主动忽略返回值，不会触发未使用变量告警

val _ = restTemplate.exchange(requestEntity)

泛型相关猜测验证 #

你的猜测完全正确：正因为exchange是inline reified函数，泛型参数T需要在编译期确定具体类型，无法通过上下文隐式推导时就会报错，显式指定<Unit>后编译器就能明确泛型类型，自然不会再抛出类型不匹配问题。

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