类型不匹配:对象中引用的类型与对象扩展的特征中定义的类型不同？

Question

Object O扩展了T1具有已C定义类型的特征.

在T1我想要操纵stack对象中定义的静态数据结构O.但编译器继续抱怨

发现T1.this.C的类型不匹配,需要OC

代码如下:

trait T1 {

 case class C(i: Int, s: String)
  def dumbAdd(i: Int, s: String) = {
    O.stack.push(C(i, s))  // type mismatch error goes here.
  }
}

object O extends T1 {

  var stack: Stack[C] = new Stack[C]

}

我很困惑......不O知道C,应该和那个一样T1？我在这里错过了什么？我怎么能做我想做的事？

更新

基于一个建议放入C对象T1,但在我的实例中,对象T1无法访问特征中定义的类型T1.减少的问题如下:

trait T1 {

  abstract sealed class S

  case class SC extends S

  def dumbAdd(i: Int, s: String) = {
    O.stack.push(C(i, s))
  }
}

object T1 {

  case class C(i: Int, s: String)

  def tryASC {
    val scc = SC() // Here the compiler says not found value SC
  }
}

object O extends T1 {

  var stack: Stack[C] = new Stack[C]

}

Answer 1

嵌套类属于其父类的实例.也就是说,其种类x和y下面是不同的:

val a = new T1 {}
val b = new T2 {}
val x = new a.C(0, "")
val y = new b.C(0, "")

该类型x是,从字面上看,a.C和类型y的b.C.

您的代码中的问题是您指的是C没有指定它C所属的实例是什么,最终结果是它们都被假定来自不同的实例.

嵌套类很有用,但由于它们的语义非常严格而难以使用.