in reply to Re: simple OO constructor
in thread simple OO constructor
Indeed. I've learned the hard way that approaches to OO that leave objects in an "I'm almost valid, really!" state are either asking for trouble now, or are investing in future trouble for the poor soul who picks up the code a year later, tries to extend it, and doesn't get the partial initialization exactly right.
Clients of an API should never--at least never in production code--be handed invalid objects with the expectation that the client will do the right thing to get the object into a valid state.
At the very least, this means that initialization parameters passed to new need to be honored.
sub new { my $proto = shift; bless { @_ }, ref($proto) || $proto; }This suffices to create instances of some simple objects, but often times setup is a bit more complicated. One pattern from the Smalltalk world is to separate initialization from instantiation, using a generic method for the latter, and a method for the former that subclasses can override.
Using the pattern, the base class implements new (instantiation) and initialize (initialization).
Subclasses then specialize the initialization.sub new { my $proto = shift; my $self = bless { @_ }, ref($proto) || $proto; $self->initialize(); } sub initialize { my $self = shift; ... initialization for the base class ... }
When I then create an instance of a subclass in this hierarchy, I get the generic new, followed by a pre-order invocation of initialize. I.e., first the object is initialized as if it is a member of the base class, and the initializations for subclasses happen in the order of refinement until I get down to the class I targeted. I end up with a fully initialized object.sub initialize { my $self = shift; # First initialize our inherited aspects $self->SUPER::initialize(); ... initialization specific to the subclass ... }
Using this scheme, at least with the class of objects for which this type of initialization works, I'm guaranteed to get a valid object back from new.
|
---|