Scala的类型系统中的错误?
发布时间:2020-12-16 18:46:23 所属栏目:安全 来源:网络整理
导读:以下 scala代码似乎有效: class A[X]class C[M[X] : A[X]]class Mainnew C[A] 我希望编译器在类型A上执行类型推断,但是在我尝试以下操作之后: new C[A[Int]] 我收到以下错误消息: (fragment of Main.scala):11: error: this.A[Int] takes no type paramet
以下
scala代码似乎有效:
class A[X] class C[M[X] <: A[X]] class Main new C[A] 我希望编译器在类型A上执行类型推断,但是在我尝试以下操作之后: new C[A[Int]] 我收到以下错误消息: (fragment of Main.scala):11: error: this.A[Int] takes no type parameters,expected: one println( new C[A[Int]] ) 解决方法
让我们用简单的英语看看这意味着什么.
class A[X] 意思是:让A成为一个带有一个类型参数的类. class C[M[X] <: A[X]] 意味着:让C成为一个带有一个类型参数的类,该类应该是一个带有一个类型参数的类AND,参数化,是一个用相同类型参数化的类A的子类. 当你写作 new C[A] 你说的是:用A作为参数创建一个C实例. A符合上述标准吗?是的,它是一个接受一个类型参数的类,并且参数化它是自身参数化的子类. 但是,当你写作 new C[A[Int]] 您尝试给C,A [Int]的类型参数不符合条件:A [Int]不接受任何类型参数,编译器会告诉您. (它也不是A [X]的子类.) (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |