4

本質的に、 val と def の微妙な違いに似た質問です。メンバーシングルトンオブジェクトを持つことの意味的な違いは何だろうか：

class Text {
    ...
    object Whitespace { def unapply(s :String) = 
        if (s.forall(_.isWhitespace)) Some(s) else None
    }
}

と

class Text {
    ...
    val Whitespace = new { def unapply(s :String) = 
        if (s.forall(_.isWhitespace)) Some(s) else None
    }
}

どちらもバイトコードに変換する方法は知っていますが、一方のコードではできないことで、もう一方のコードでは何ができるのでしょうか?

4

1 に答える 1

3

メンバー オブジェクトをオーバーライドするには、さらに努力する必要があります。

apm@mara:~/tmp$ skala
Welcome to Scala version 2.11.0-20130622-103744-990c2b024a (OpenJDK 64-Bit Server VM, Java 1.7.0_21).
Type in expressions to have them evaluated.
Type :help for more information.

scala> class Foo1 { val foo = () => 1 }
defined class Foo1

scala> class Bar1 extends Foo1 { override val foo = () => 2 }
defined class Bar1

scala> class Foo2 { object foo { def apply() = 3 } }
defined class Foo2

scala> class Bar2 extends Foo2 { override object foo { def apply() = 4 }}
<console>:8: error: overriding object foo in class Foo2;
 object foo cannot override final member
       class Bar2 extends Foo2 { override object foo { def apply() = 4 }}
                                                 ^

scala> :q
apm@mara:~/tmp$ skala -Yoverride-objects
Welcome to Scala version 2.11.0-20130622-103744-990c2b024a (OpenJDK 64-Bit Server VM, Java 1.7.0_21).
Type in expressions to have them evaluated.
Type :help for more information.

scala> class Foo2 { object foo { def apply() = 3 } }
defined class Foo2

scala> class Bar2 extends Foo2 { override object foo { def apply() = 4 }}
defined class Bar2

scala> new Bar2
res0: Bar2 = Bar2@508c825

scala> .foo()
res1: Int = 4

scala> :q
于 2013-06-26T04:56:03.443 に答える