为什么这段带泛型的Kotlin代码会产生类型不匹配编译错误？

咱们先把问题里的代码明确出来，方便拆解分析：

class E

fun <B> foo(): B { 
    return E() // <--- 此处报错：Type mismatch: inferred type is Misc.E, but B was expected
} 

fun bar() { 
    val r = foo<E>() 
}

核心原因：泛型函数的类型参数要适配所有可能的调用场景 #

你可能会疑惑：我调用foo<E>()的时候，B明明就是E类型，返回E()为什么不行？其实Kotlin的泛型检查是在函数定义阶段生效的，而不是只看单次调用的情况。

fun <B> foo(): B 这个函数的语义是：无论调用者传入什么类型作为B，这个函数都必须能返回一个合法的B类型实例。但你在函数里硬返回E()，这只能满足B=E这一种场景——如果有人调用foo<String>()、foo<Int>()呢？这时候返回E()完全不兼容目标类型，所以编译器在定义阶段就直接报错，杜绝这种不安全的写法。

怎么调整才能让代码合法？ #

如果你的foo函数确实只想返回E相关的实例，可以给泛型参数加上上界约束，限定B只能是E或者E的子类：

fun <B : E> foo(): B { 
    return E() as B // 这里需要显式转型，因为B可能是E的子类，编译器无法保证E()是B的实例
}

不过这种转型是不安全的：如果调用foo<SomeSubclassOfE>()，运行时会抛出ClassCastException。更合理的做法是直接明确返回E类型，或者调整泛型设计，让函数依赖调用者提供的类型构造逻辑：

fun <B> foo(create: () -> B): B { 
    return create()
}

fun bar() { 
    val r = foo { E() } // 此时B被自动推断为E，完全符合类型安全要求
}

内容的提问来源于stack exchange，提问作者Julian A.