1

这是第 1 部分的后续问题：

在scala中，如果案例类在家庭外部类型中声明，如何调用它的通用复制函数？

在第 2 部分中，家庭类的定义变得稍微复杂一些：


trait OuterSpike {

  class Thing

  case class Inner(v: Thing) {

    //    val outer = self
  }
}

object OuterSpike {

  {

    def cp(src: OuterSpike#Inner): OuterSpike#Inner = {
      src.copy()
    }

    def cp2[O <: OuterSpike](src: O#Inner): O#Inner = src.copy()

    val outer = new OuterSpike {
      val inner = this.Inner(new Thing)
    }
    cp(outer.inner)
  }
}

所以旧技巧不再起作用，上面的编译错误如下：

[Error] /home/peng/git/shapesafe/graph-commons/src/main/scala/com/tribbloids/graph/commons/util/reflect/format/OuterSpike.scala:18: type mismatch;
 found   : com.tribbloids.graph.commons.util.reflect.format.OuterSpike#Thing
 required: _1.Thing where val _1: com.tribbloids.graph.commons.util.reflect.format.OuterSpike
[Error] /home/peng/git/shapesafe/graph-commons/src/main/scala/com/tribbloids/graph/commons/util/reflect/format/OuterSpike.scala:21: type mismatch;
 found   : O#Thing
 required: _1.Thing where val _1: O
two errors found

在这种情况下如何编译？

4

2 回答 2

1

似乎你正在OuterSpike改进val inner取决于outer实例

val outer = new OuterSpike {
  val inner = this.Inner(new Thing)
}

所以尝试使用依赖类型而不是类型投影

def cp(outer: OuterSpike)(src: outer.Inner): outer.Inner = {
  src.copy()
}
cp(outer)(outer.inner)
于 2021-04-16T23:04:42.690 回答
0

cp在可能上定义一个无参数Inner？

trait OuterSpike { 
  class Thing
  case class Inner(v: Thing) {
     def cp() = copy()
  }
}

object OuterSpike {
    def cp[O <: OuterSpike](src: O#Inner) = src.cp()
    val outer = new OuterSpike {
      val inner = this.Inner(new Thing)
    }
    cp(outer.inner)
}

或者，您可以稍微放宽Inner一点的定义：

case class Inner(v: OuterSpike#Thing)

如果你这样定义它，那么就def cp[O <: OuterSpike](src: O#Inner) = src.copy()可以了。

于 2021-04-27T00:25:54.303 回答