- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
这是显示此问题的最小演示代码:
interface A
fun <T1, T2> test() where T2 : T1, T2 : A {}
当我尝试编译它时,编译器会报错:
Error:(81, 25) Kotlin: Type parameter cannot have any other bounds if it's bounded by another type parameter
我阅读了 Kotlin Language Specification ,但只找到了以下绑定(bind)限制:
A type-parameter cannot specify itself as its own bound, and several type-parameters cannot specify each other as a bound in a cyclic manner.
它没有解释我遇到的限制。
我探索了 Kotlin 的问题跟踪器,发现了一个关于此限制的问题:Allow to inherit a type parameter from another type parameter and a class : KT-13768。但是,此问题已被以下原因拒绝(2017 年 5 月 6 日更新:此问题已由 Stanislav Erokhin 重新打开):
I don't think we can compile the code correctly to JVM if we remove this restriction.
By Andrey Breslav
那么问题来了:如果我们去掉这个限制,为什么我们不能正确地将代码编译到 JVM 中呢?
同样的演示也适用于 Scala:
trait A
def test[T1, T2 <: T1 with A](): Unit = {}
这表明Scala可以将代码正确编译到JVM。为什么 Kotlin 不能?在 Kotlin 中保证可确定的子类型是否是一种限制(我猜。子类型对于 Scala 是不可确定的(Scala 具有图灵完备的类型系统)。Kotlin 可能需要像 C# 这样的可确定子类型。)?
@erokhins (https://stackoverflow.com/a/43807444/7964561) 回答后更新:
在支持 Java 禁止但 JVM 允许的东西时存在一些微妙的问题,尤其是在 Java 互操作性方面。在深入研究 scalac 生成的字节码时,我发现了一个有趣的问题。我在演示中修改 Scala 代码如下:
trait A
trait B
def test[T1 <: B, T2 <: T1 with A](t1: T1, t2: T2): Unit = {}
class AB extends A with B
Scalac 将生成以下签名:
// signature <T1::LB;T2:TT1;:LA;>(TT1;TT2;)V
// descriptor: (LB;LB;)V
public <T1 extends B, T2 extends T1 & A> void test(T1, T2);
在 Scala 中使用 test(new AB, new AB)
调用 test
将成功,因为 Scalas 调用签名 (LB;LB;)V
;但是在 Java 中使用 test(new AB(), new AB());
调用会失败,因为 Java 调用签名 (LB;Ljava/lang/Object;)V
,在运行时导致 java.lang.NoSuchMethodError
。这意味着scalac在放松这个限制后生成了一些不能在Java中调用的东西。 Kotlin 放松后可能会遇到同样的问题。
最佳答案
这个限制是因为java(语言)有它:
interface A {}
// Error:(7, 26) java: a type variable may not be followed by other bounds
<T1, T2 extends T1 & A> void test() {}
我们假设这在字节码级别也是禁止的。我深入研究它,似乎它是允许的,并且 scalac 生成以下签名:
// access flags 0x1
// signature <T1:Ljava/lang/Object;T2:TT1;:LA;>()V
// declaration: void test<T1, T2T1 extends A>()
public test()V
所以,我们可能会在未来的 kotlin 版本中支持这种情况。
附:据我所知,Kotlin 具有可判定的子类型,并且可判定性不受此影响。
关于types - 如果 Kotlin 中的类型参数受另一个类型参数的限制,为什么它不能有任何其他范围?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43790137/
我正在查看Kotlin Github page我注意到 Kotlin 语言本身大部分是用 Kotlin 编写的:我只是想知道,一种语言怎么可能大部分都是用它自己的语言编写的?在您可以使用正在创建的语言
我有以下非常简单的 kotlin 代码来演示中缀函数 com.lopushen.demo.presentation 包 fun main(args: Array) { print("Hello
我在 Java 中有 2 个模型类,其中一个扩展了另一个 @UseStag public class GenericMessages extends NavigationLocalizationMap
Kotlin 代码 runBlocking { flow { for (i in 0..4) { println("Emit $i")
这三个 Kotlin 插件和它们的实际作用有什么区别? plugins { id 'kotlin-android' id 'org.jetbrains.kotlin.android'
我正在为某些现有库添加 Kotlin 原生 linuxX64 目标支持。库已成功编译,但在运行测试用例时,出现以下运行时错误: kotlin.native.concurrent.InvalidMuta
关闭。这个问题需要details or clarity .它目前不接受答案。 想改进这个问题吗? 通过 editing this post 添加细节并澄清问题. 关闭 2 年前。 Improve t
我创建了一个类并向其添加了一个与成员函数具有相同签名的扩展,并执行了这个方法,它总是执行成员方法。 class Worker { fun work() = "...working" } fun
我知道传递给函数的参数将被视为“val”,即使变量被初始化为“var”。但这对我来说一直是个问题。在下面的示例代码中,我想通过使用函数“changeNum”修改变量“num”的值。但当然,Kotlin
现在,我正在尝试用 Kotlin 重写我的 Java 应用程序。然后,我遇到了日志语句,比如 log.info("do the print thing for {}", arg); 所以我有两种方法可
有点出名article关于许多语言的异步编程模型的状态,指出它们存在“颜色”问题,特别是将生态系统分为两个独立的世界:异步和非异步。以下是这种语言的属性: 每个函数都有一种颜色,红色或蓝色(例如asy
因为 KDoc 文档生成引擎是 abandoned in favor of Dokka , Kotlin 文档应该称为“KDoc 注释”,还是“Dokka 注释”? 最佳答案 如所述here , KD
我想在可空对象上传递函数引用。以 Android 为例,假设我想使用 Activity#onBackPressed来自作为该事件的子级的片段。 如果我想调用这个函数,我可以很容易地做到 activit
我有一个列表 (x, y)其中y只能是 0 或 1 这样 例如: [(3, 0), (3, 1), (5, 1)] [(5, 0), (3, 1), (5, 1)] [(1, 1), (3, 1),
从强类型语言的定义来看: A strongly-typed programming language is one in which each type of data (such as intege
这不能编译的事实是否意味着它们不是一流的类型? fun foo(s: String): Int = s.length // This won't compile. val bar = foo 有没有办
如果在 Java i++是一个表达式和 i++;是一个表达式语句,分号(;) 在 Kotlin 中是可选的,是 i++ Kotlin 中的表达式或表达式语句? 最佳答案 i++是一个表达式,因为它有一
代码(如下所示)是否正确?它取自 Kotlin-docs.pdf 的第 63 页,这也是 https://kotlinlang.org/docs/reference/generics.html 的最后
我正在尝试使用 Kotlin 为 Android 的一些全局 API 解析器(检查网络连接、调用 API 并通过来自源的单个调用返回格式化数据),并且在某些时候我不得不创建一个通用类型 object就
kotlinlang 中的任务: 使用月份变量重写此模式,使其与格式 13 JUN 1992(两位数字、一个空格、一个月份缩写、一个空格、四位数字)中的日期相匹配。 答案是:val month = "
我是一名优秀的程序员,十分优秀!