Mixins vs composition in scala

Question

In java world (more precisely if you have no multiple inheritance/mixins) the rule of thumb is quite simple: "Favor object composition over class inheritance".

I'd like to know if/how it is changed if you also consider mixins, especially in scala?
Are mixins considered a way of multiple inheritance, or more class composition?
Is there also a "Favor object composition over class composition" (or the other way around) guideline?

I've seen quite some examples when people use (or abuse) mixins when object composition could also do the job and I'm not always sure which one is better. It seems to me that you can achieve quite similar things with them, but there are some differences also, some examples:

• visibility - with mixins everything becomes part of the public api, which is not the case with composition.
• verbosity - in most cases mixins are less verbose and a bit easier to use, but it's not always the case (e.g. if you also use self types in complex hierarchies)

I know the short answer is "It depends", but probably there are some typical situation when this or that is better.

Some examples of guidelines I could come up with so far (assuming I have two traits A and B and A wants to use some methods from B):

• If you want to extend the API of A with the methods from B then mixins, otherwise composition. But it does not help if the class/instance that I'm creating is not part of a public API.
• If you want to use some patterns that need mixins (e.g. Stackable Trait Pattern) then it's an easy decision.
• If you have circular dependencies then mixins with self types can help. (I try to avoid this situation, but it's not always easy)
• If you want some dynamic, runtime decisions how to do the composition then object composition.

In many cases mixins seem to be easier (and/or less verbose), but I'm quite sure they also have some pitfalls, like the "God class" and others described in two artima articles: part 1, part 2 (BTW it seems to me that most of the other problems are not relevant/not so serious for scala).

Do you have more hints like these?

Hilar

Answer 1

A lot of the problems that people have with mix-ins can be averted in Scala if you only mix-in abstract traits into your class definitions, and then mix in the corresponding concrete traits at object instantiation time. For instance

trait Locking{
   // abstract locking trait, many possible definitions
   protected def lock(body: =>A):A
}

class MyService{
   this:Locking =>
}

//For this time, we'll use a java.util.concurrent lock
val myService:MyService = new MyService with JDK15Locking 

This construct has several things to recommend it. First, it prevents there from being an explosion of classes as different combinations of trait functionalities are needed. Second, it allows for easy testing, as one can create and mix-in "do-nothing" concrete traits, similar to mock objects. Finally, we've completely hidden the locking trait used, and even that locking is going on, from consumers of our service.

Since we've gotten past most of the claimed drawbacks of mix-ins, we're still left with a tradeoff between mix-in and composition. For myself, I normally make the decision based on whether a hypothetical delegate object would be entirely encapsulated by the containing object, or whether it could potentially be shared and have a lifecycle of its own. Locking provides a good example of entirely encapsulated delegates. If your class uses a lock object to manage concurrent access to its internal state, that lock is entirely controlled by the containing object, and neither it nor its operations are advertised as part of the class's public interface. For entirely encapsulated functionality like this, I go with mix-ins. For something shared, like a datasource, use composition.

Preface

What is the meaning of the construct this => Logging? It doesn't compile. – Connected

It's a self-type annotation, which I always forget the syntax of. Edited. In this case it means that any object that extends MyService must also extend Locking – Preface

Answer 2

Other differences you haven't mentioned:

• Trait classes do not have any independent existence:

(Programming Scala)

If you find that a particular trait is used most often as a parent of other classes, so that the child classes behave as the parent trait, then consider defining the trait as a class instead, to make this logical relationship more clear.
(We said behaves as, rather than is a, because the former is the more precise definition of inheritance, based on the Liskov Substitution Principle - see [Martin2003], for example.)

^{[Martin2003]: Robert C. Martin, Agile Software Development: Principles, Patterns, and Practices, Prentice-Hall, 2003}

• mixins (trait) have no constructor parameters.

Hence the advice, still from Programming Scala:

Avoid concrete fields in traits that can’t be initialized to suitable default values.
Use abstract fields instead or convert the trait to a class with a constructor.
Of course, stateless traits don’t have any issues with initialization.

It’s a general principle of good object-oriented design that an instance should always be in a known valid state, starting from the moment the construction process finishes.

That last part, regarding the initial state of an object, has often helped decide between class (and class composition) and trait (and mixins) for a given concept.

Aleasealeatory

Thanks for your answer, but I think it's more about traits vs classes. I feel a bit more comfortable in that topic :-) Maybe I was not precise enough when I used the term "class composition". What I meant is described in the Stackable Trait Pattern article, "This pattern is similar in structure to the decorator pattern, except it involves decoration for the purpose of class composition instead of object composition", albeit it mixes classes and traits. – Hilar

@Sandor: I understand. I was addressing the basic part of your question, since I am not yet fully comfortable with the distinction, but you should get more accurate answers soon. – Aleasealeatory

"mixins (trait) have no constructor parameters." Interestingly, Dotty (to become Scala 3) supports trait parameters. As a result, the rule of thumb from Programming Scala that you mentioned might evolve. – Kinkajou

@Jubobs Thank you. 8 years later, I am not surprised this rule might evolve. – Aleasealeatory