默认推断 class 类型的参数

Question

我有一个 class 构造函数声明如下

class Facade<T : SuperClass>(
    val kClass: KClass<in T> = SuperClass::class
)

这样做是为了让开发人员在想要使用超类而不是子类时不必指定超类class。甚至发送 class 类型的原因是，开发人员不必在尖括号中指定类型。

但是问题来了。如下所示创建实例表示没有足够的信息来推断参数 T。这导致必须将 class 放入尖括号中。

Facade()

但由于默认值为 SuperClass，因此 kotlin 应该能够将参数 T 推断为 SuperClass。我哪里想错了？

谢谢

TL;DR:

Facade(SubClass:class) // working
Facade(SuperClass:class) // working, but don't want (superclass is default)
Facade<SuperClass>() // working, but don't want angle brackets <>
Facade() // not working, cannot infer T type from default, why?

Answer 1

要使 Facade() 等效于 Facade(DerivedClass::class)，默认构造函数参数必须声明为 val kClass: KClass<in T> = T::class。然而，要使用 T::class，T 类型参数需要是 reified。类型参数只能在内联函数中具体化，而不能在构造函数中具体化。

要解决此问题，您可以像这样声明一个委托给构造函数的工厂函数：

inline fun <reified T : SuperClass> Facade(): Facade<T> = Facade(T::class)

这允许人们使用它，例如：

val derivedFacade:Facade<DerivedClass> = Facade()

请注意，如果您想使用 SuperClass 作为 T 的默认参数，您需要使用 不同的名称 声明另一个工厂方法例如：

fun SuperFacade(): Facade<SuperClass> = Facade()

这是必需的，因为如果我们声明了 @JvmName("SuperFacade") fun Facade() = Facade(SuperClass::class)，只要我们 不提供 类型参数，编译就会匹配它。这反过来会违背 derivedFacade 示例的类型推断。

Answer 2

您可以通过删除尖括号并更改构造函数类型来解决您的问题。只需使用此构造函数：

class Facade(val kClass: KClass<*> = SuperClass::class)

所有这些调用都有效

Facade(SubClass:class)
Facade(SuperClass:class)
Facade()

默认推断 class 类型的参数

Inferring parameter of class type with default

android

kotlin

kotlin-generics