NAME

Feature::Compat::Class - make class syntax available

SYNOPSIS

use Feature::Compat::Class;

class Point {
   field $x :param :reader = 0;
   field $y :param :reader = 0;

   method move_to ($new_x, $new_y) {
      $x = $new_x;
      $y = $new_y;
   }

   method describe {
      say "A point at ($x, $y)";
   }
}

Point->new(x => 5, y => 10)->describe;

DESCRIPTION

This module provides the new class keyword and related others (method, field and ADJUST) in a forward-compatible way.

Perl added such syntax at version 5.38.0, which is enabled by

use feature 'class';

This syntax was further expanded in 5.40, adding the __CLASS__ keyword and :reader attribute on fields.

On that version of perl or later, this module simply enables the core feature equivalent of using it directly. On such perls, this module will install with no non-core dependencies, and requires no C compiler.

On older versions of perl before such syntax is availble in core, it is currently provided instead using the Object::Pad module, imported with a special set of options to configure it to only recognise the same syntax as the core perl feature, thus ensuring any code using it will still continue to function on that newer perl.

This module is a work-in-progress, because the underlying feature 'class' is too. Many of the limitations and inabilities listed below are a result of the early-access nature of this branch, and are expected to be lifted as work progresses towards a more featureful and complete implementation.

KEYWORDS

The keywords provided by this module offer a subset of the abilities of those provided by Object::Pad, restricted to specifically only what is commonly supported by the core syntax as well. In general, the reader should first consult the documentation for the corresponding Object::Pad keyword, but the following notes may be of interest:

class

class NAME { ... }
class NAME VERSION { ... }

class NAME; ...
class NAME VERSION; ...

See also "class" in Object::Pad.

There is no ability to declare any roles with :does. The legacy subkeywords for these are equally not supported.

The :repr attribute is also not supported; the default representation type will always be selected.

The :strict(params) attribute is not available, but all constructed classes will behave as if the attribute had been declared. Every generated constructor will check its parameters for key names left unhandled by ADJUST blocks, and throw an exception if any remain.

The following class attributes are supported:

:isa

:isa(CLASS)

:isa(CLASS CLASSVER)

Since version 0.02.

Declares a superclass that this class extends. At most one superclass is supported.

If the package providing the superclass does not exist, an attempt is made to load it by code equivalent to

require CLASS ();

and thus it must either already exist, or be locatable via the usual @INC mechanisms.

An optional version check can also be supplied; it performs the equivalent of

BaseClass->VERSION( $ver )

Note that class blocks do not implicitly enable the strict and warnings pragmata; either when using the core feature or Object::Pad. This is to avoid surprises when eventually switching to purely using the core perl feature, which will not do that. Remember however that a use VERSION of a version v5.36 or above will enable both these pragmata anyway, so that will be sufficient.

method

method NAME { ... }
method NAME;

See also "method" in Object::Pad.

Attributes are not supported, other than the usual ones provided by perl itself. Of these, only :lvalue is particularly useful.

Lexical methods are not supported.

field

field $NAME;
field @NAME;
field %NAME;

field $NAME = EXPR;

field $NAME :ATTRS... = EXPR;

See also "field" in Object::Pad.

Most field attributes are not supported. In particular, rather than using the accessor-generator attributes you will have to create accessor methods yourself; such as

field $var;
method var { return $var; }
method set_var ($new_var) { $var = $new_var; }

Since version 0.04 fields of any type may take initialising expressions. Initialiser blocks are not supported.

field $five = 5;

Since version 0.07 field initialiser expressions can see earlier fields that have already been declared, and use their values:

field $fullname  :param;
field $shortname :param = ( split m/ +/, $fullname )[0];

The following field attributes are supported:

:param

field $var :param;

field $var :param(name)

Since version 0.04.

Declares that the constructor will take a named parameter to set the value for this field in a new instance.

field $var :param = EXPR;

Without a defaulting expression, the parameter is mandatory. When combined with a defaulting expression, the parameter is optional and the default will only apply if the named parameter was not passed to the constructor.

field $var :param //= EXPR;
field $var :param ||= EXPR;

With both the :param attribute and a defaulting expression, the operator can also be written as //= or ||=. In this case, the defaulting expression will be used even if the caller passed an undefined value (for //=) or a false value (for ||=). This simplifies many situations where undef would not be a valid value for a field parameter.

class C {
   field $timeout :param //= 20;
}

C->new( timeout => $args{timeout} );
# default applies if %args has no 'timeout' key, or if its value is undef

:reader, :reader(NAME)

Since version 0.07.

Generates a reader method to return the current value of the field. If no name is given, the name of the field is used. A single prefix character _ will be removed if present.

field $x :reader;

# equivalent to
field $x;  method x { return $x }

These are permitted on an field type, not just scalars. The reader method behaves identically to how a lexical variable would behave in the same context; namely returning a list of values from an array or key/value pairs from a hash when in list context, or the number of items or keys when in scalar context.

field @items :reader;

foreach my $item ( $obj->items ) { ... }   # iterates the list of items

my $count = $obj->items;                   # yields count of items

ADJUST

ADJUST { ... }

See also "ADJUST" in Object::Pad.

Attributes are not supported; in particular the :params attribute of Object::Pad v0.70.

__CLASS__

my $classname = __CLASS__;

Since version 0.07.

Only valid within the body (or signature) of a method, an ADJUST block, or the initialising expression of a field. Yields the class name of the instance that the method, block or expression is invoked on.

This is similar to the core perl __PACKAGE__ constant, except that it cares about the dynamic class of the actual instance, not the static class the code belongs to. When invoked by a subclass instance that inherited code from its superclass it yields the name of the class of the instance regardless of which class defined the code.

For example,

class BaseClass {
   ADJUST { say "Constructing an instance of " . __CLASS__; }
}

class DerivedClass :isa(BaseClass) { }

my $obj = DerivedClass->new;

Will produce the following output

Constructing an instance of DerivedClass

This is particularly useful in field initialisers for invoking (constant) methods on the invoking class to provide default values for fields. This way a subclass could provide a different value.

class Timer {
   use constant DEFAULT_DURATION => 60;
   field $duration = __CLASS__->DEFAULT_DURATION;
}

class ThreeMinuteTimer :isa(Timer) {
   use constant DEFAULT_DURATION => 3 * 60;
}

Other Keywords

The following other keywords provided by Object::Pad are not supported here at all:

role

BUILD, ADJUSTPARAMS

has

requires

COMPATIBILITY NOTES

This module may use either Object::Pad or the perl core class feature to implement its syntax. While the two behave very similarly and both conform to the description given above, the following differences should be noted.

No known issues at this time

AUTHOR

Paul Evans <leonerd@leonerd.org.uk>