3

我有一个像这样声明的构造函数的类

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

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

但现在问题来了。像下面这样创建实例，表示没有足够的信息来推断参数 T。这导致必须将类放入尖括号中。

Facade()

但是由于默认值是 SuperClass，那么 kotlin 应该能够将参数 T 推断为 SuperClass。我在想什么错？

谢谢

TL;博士：

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?
4

2 回答 2

0

为了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

于 2018-02-06T13:26:17.363 回答
0

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

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

所有这些电话都在工作

Facade(SubClass:class)
Facade(SuperClass:class)
Facade()
于 2018-02-06T13:51:23.740 回答