Is there any advantage to definining a val over a def in a trait?

前端 未结 4 1277
失恋的感觉
失恋的感觉 2021-02-05 16:56

In Scala, a val can override a def, but a def cannot override a val.

So, is there an advantage to declaring a trait

4条回答
  •  长发绾君心
    2021-02-05 17:02

    Short answer:

    As far as I can tell, the values are always accessed through the accessor method. Using def defines a simple method, which returns the value. Using val defines a private [*] final field, with an accessor method. So in terms of access, there is very little difference between the two. The difference is conceptual, def gets reevaluated each time, and val is only evaluated once. This can obviously have an impact on performance.

    [*] Java private

    Long answer:

    Let's take the following example:

    trait ResourceDef {
      def id: String = "5"
    }
    
    trait ResourceVal {
      val id: String = "5"
    }
    

    The ResourceDef & ResourceVal produce the same code, ignoring initializers:

    public interface ResourceVal extends ScalaObject {
        volatile void foo$ResourceVal$_setter_$id_$eq(String s);
        String id();
    }
    
    public interface ResourceDef extends ScalaObject {
        String id();
    }
    

    For the subsidiary classes produced (which contain the implementation of the methods), the ResourceDef produces is as you would expect, noting that the method is static:

    public abstract class ResourceDef$class {
        public static String id(ResourceDef $this) {
            return "5";
        }
    
        public static void $init$(ResourceDef resourcedef) {}
    }
    

    and for the val, we simply call the initialiser in the containing class

    public abstract class ResourceVal$class {
        public static void $init$(ResourceVal $this) {
            $this.foo$ResourceVal$_setter_$id_$eq("5");
        }
    }
    

    When we start extending:

    class ResourceDefClass extends ResourceDef {
      override def id: String = "6"
    }
    
    class ResourceValClass extends ResourceVal {
      override val id: String = "6"
      def foobar() = id
    }
    
    class ResourceNoneClass extends ResourceDef
    

    Where we override, we get a method in the class which just does what you expect. The def is simple method:

    public class ResourceDefClass implements ResourceDef, ScalaObject {
        public String id() {
            return "6";
        }
    }
    

    and the val defines a private field and accessor method:

    public class ResourceValClass implements ResourceVal, ScalaObject {
        public String id() {
            return id;
        }
    
        private final String id = "6";
    
        public String foobar() {
            return id();
        }
    }
    

    Note that even foobar() doesn't use the field id, but uses the accessor method.

    And finally, if we don't override, then we get a method which calls the static method in the trait auxiliary class:

    public class ResourceNoneClass implements ResourceDef, ScalaObject {
        public volatile String id() {
            return ResourceDef$class.id(this);
        }
    }
    

    I've cut out the constructors in these examples.

    So, the accessor method is always used. I assume this is to avoid complications when extending multiple traits which could implement the same methods. It gets complicated really quickly.

    Even longer answer:

    Josh Suereth did a very interesting talk on Binary Resilience at Scala Days 2012, which covers the background to this question. The abstract for this is:

    This talk focuses on binary compatibility on the JVM and what it means to be binary compatible. An outline of the machinations of binary incompatibility in Scala are described in depth, followed by a set of rules and guidelines that will help developers ensure their own library releases are both binary compatible and binary resilient.

    In particular, this talk looks at:

    • Traits and binary compatibility
    • Java Serialization and anonymous classes
    • The hidden creations of lazy vals
    • Developing code that is binary resilient

提交回复
热议问题