Should I use enums or boxed trait objects to emulate polymorphism?
Another difference not mentioned in @Kwarrtz's answer is memory related.
enum
s can be stored directly on the stack, while a boxed trait will always require the heap. That is,enum
s are cheap to create, but boxed traits are not.an
enum
instance will always be as big as its biggest variant (plus a discriminant in most cases), even if you store mostly small variants. This would be a problem in a case like this:enum Foo { SmallVariant(bool), BigVariant([u64; 100]), }
If you were to store N instances of this type in an vector, the vector would always need
N*(100*sizeof::<u64> + sizeOfDiscriminant)
bytes of memory, even when the vector only containsSmallVariant
s.If you were using a boxed trait, the vector would use
N * sizeOfFatPointer == N * 2 * sizeof::<usize>
.
One of the big differences between using traits and enums for your situation is their extensibility. If you make Axes
an enum, then the two options are hardcoded into the type. If you want to add some third form of axis, you'll have to modify the type itself, which will probably involve a lot of modifications to the code with uses Axes
(e.g. anywhere you match on an Axes
will probably need to be changed). On the other hand, if you make Axes
a trait, you can add other types of axes by just defining a new type and writing an appropriate implementation, without modifying existing code at all. This could even be done from outside of the library, e.g. by a user.
The other important thing to consider is how much access you need to the internals of the structs. With an enum, you get full access to all the data stored within the struct. If you want to write a function which can operate on both Coordinate
and Quaternion
using a trait, then the only operations you will be able to perform are those described in the Axes
trait (in this case Shift
and Fold
). For instance, giving the implementation of Axes
you gave, there would be no way for you to simply retrieve the (X,Y,Z)
tuple via the Axes
interface. If you needed to do that at some point, you would have to add a new method.
Without knowing more about how you plan to use these types it's difficult to say for sure which of these options is the better choice, but if it were me I would probably use an enum. Ultimately, it comes down largely to preference, but hopefully this will give you some idea of the sorts of things to be thinking about when making your decision.