Kotlin 基于参数类型的返回类型推断

使用泛型是可能的:

@Suppress("UNCHECKED_CAST")
fun <T : String?> readOptional(variableName: String, defaultValue: T = null as T): T {
    if (skipOptionalArgs) return defaultValue
    print("Provide the $variableName (optional${if (defaultValue != null) ", default: $defaultValue" else ""}): ")
    return (readln().takeIf { it.isNotEmpty() }  ?: defaultValue) as T
}

呼叫方不再需要邪恶的!!支票:

val inputName: String = readOptional("input name", "Input")

val inputNameNullable: String? = readOptional("input name", null)

val inputNameDefaultNullable: String? = readOptional("input name")

但我们要付出的代价是unchecked cast美元.这是因为编译器无法确保该方法在每个条件下都返回非空默认参数.

因此，我们让调用站点可以轻松地使用所有变体，而无需额外的判断.但正如前面提到的，编译器不能阻止我们错误地使用它.仍然可以额外设置(错误的)泛型类型，或者让它从val类型推断错误:

val inputNameDefaultTypedWrong: String = readOptional<String>("input name")
val inputNameDefaultNullableWrongInferred: String = readOptional("input name") 

Edit:这也可以与额外的方法重载相结合来解决，如@Tenfour04:

fun readOptional(variableName: String): String? = readOptional(variableName, null)

我的 idea 和更多解释也可以在这里找到: Kotlin generics with nullable types个