使用 Kotlin 泛型 where 子句作为属性的返回类型答案

【问题标题】：Using Kotlin generics where clause for return type of property使用 Kotlin 泛型 where 子句作为属性的返回类型
【发布时间】：2020-02-12 07:12:56
【问题描述】：

是否可以使用 Kotlin 泛型 where 子句作为属性的返回类型？

如果有，怎么做？

我已将它用于返回类型的函数，但似乎无法让它用于属性，这让我认为它不适用于属性。

我需要这个，因为我有多个层次结构，我的对象的属性必须实现。我在类扩展/实现子句中使用<interface> by <class> 委托组合来实现它们。

问题是我想将实现类的有限 API 暴露给某些代码（而不是完整的 API），我想通过有限的接口来做到这一点。唯一的问题是，虽然我可以对实际的object:s 使用委托组合，但我似乎不能只将它用于接口。

【问题讨论】：

【解决方案1】：

您可以将where 子句放在属性类型说明之后：

val <T> T.size: Int where T : CharSequence
    get() = this.length

请注意，属性只能声明从其接收者推断出的泛型类型，因为没有语法可以显式调用此类指定类型参数的属性。因此，具有泛型参数的属性只能是扩展属性。

【讨论】：

【解决方案2】：

只有在可以从接收器类型推断出类型参数的情况下，才可以使用 Kotlin 泛型 where 子句作为属性的返回类型。否则，将无法在属性使用时指定泛型类型。

例子：

val <T> Iterable<T>.firstNotEmpty: T where T : CharSequence?
    get() = first { !it.isNullOrEmpty() }

inline val <reified T> Iterable<*>.firstIntsanceOf: T where T : Any
    get() = first { it is T } as T

【讨论】：