主页 / coding / 问题 / 78009792
Accepted
bwbecker
Asked: 2024-02-17 04:13:19 +0800 CST

具有额外方法的匿名子类——scala2 与 scala3

  • 772

以下代码在 scala2 中按 (I) 预期工作，但在 scala3 中生成编译时错误。我试图在《Scala 编程》第五版和网络中找到解释，但失败了。有什么见解吗？

object Main {
    def main(args:Array[String]): Unit = {

        val foo = new Foo(7)
        println(foo.double)             // 14

        val bar = new Foo(8) {
            def triple:Int = this.i * 3
        }

        println(bar.double)             // 16
        println(bar.triple)             // 24 in scala2; compile error in scala3
    }
}

class Foo(val i:Int) {
    def double:Int = i*2
}

编译错误：

-- [E008] Not Found Error: /tmp/example.scala:12:20 ----
12 |        println(bar.triple)
   |                ^^^^^^^^^^
   |                value triple is not a member of Foo
scala

2 个回答

  1. Best Answer

    如果您使用 编译代码scala -Xprint:typer ，您将看到val bar现在Foo在 Scala 3 中明确具有类型：

        def main(args: Array[String]): Unit = 
      {
        val foo: Foo = new Foo(7)
        println(foo.double)
        val bar: Foo = 
          {
            final class $anon() extends Foo(8) {
              def triple: Int = this.i.*(3)
            }
            new $anon():Foo
          }
        println(bar.double)
        println(bar.triple)
      }

    将此与 Scala 2 进行对比，其中bar获取细化类型Foo { def triple: Int }：

          val bar: Foo{def triple: Int} = {
        final class $anon extends Foo {
          def <init>(): <$anon: Foo> = {
            $anon.super.<init>(8);
            ()
          };
          def triple: Int = this.i.*(3)
        };
        new $anon()
      };

    所以就是

    val bar: Foo                   // In Scala 3
val bar: Foo{def triple: Int}  // In Scala 2

    要实现 Scala 2 的行为，您可以Bar显式引入一个新类：

            class Bar extends Foo(8) {
          def triple: Int = this.i * 3
        }
        val bar = new Bar

    完整的可编译代码：

    object Main {
    def main(args:Array[String]): Unit = {

        val foo = new Foo(7)
        println(foo.double)             // 14

        class Bar extends Foo(8) {
          def triple: Int = this.i * 3
        }
        val bar = new Bar

        println(bar.double)             // 16
        println(bar.triple)             // 24 in scala2; compile error in scala3
    }
}

class Foo(val i:Int) {
    def double:Int = i*2
}

    至于为什么它是推断Foo而不是Foo { def triple: Int }- 我不太确定，我猜他们最终发现这种行为与其他语言功能配合得更好。

    你如何解释val x = "hello"推论x: String和不推论x: "hello"？

    • 3

  2. Scala 3 迁移指南对此进行了介绍，网址为https://docs.scala-lang.org/scala3/guides/migration/incompat-type-in ​​ference.html#reflective-type ：

    Scala 2 反射调用被放弃并被更广泛的编程结构类型所取代。

    • 2

相关问题