/ 
XS-Parse-Sublike-0.41
River stage three • 17 direct dependents • 204 total dependents
/ Sublike::Extended

NAME

Sublike::Extended - enable extended features when parsing sub-like syntax

SYNOPSIS

use v5.26;
use Sublike::Extended;
use experimental 'signatures';

extended sub greet (:$name = "world") {
   say "Hello, $name";
}

greet( name => $ENV{USER} );

Or, since version 0.29:

use v5.26;
use Sublike::Extended 0.29 'sub';
use experimental 'signatures';

sub greet (:$name = "world") {
   say "Hello, $name";
}

greet( name => $ENV{USER} );

DESCRIPTION

This module extends the syntax for declaring named or anonymous subroutines using Perl's builtin sub keyword, or other similar keywords provided by third-party modules, to enable parsing of extra features.

By default, this module provides a new keyword, extended, which parses the extra syntax required. Optionally since version 0.29, this module can additionally take over the handling of the sub keyword itself, allowing this extra syntax to be used without the extended prefix keyword. As this ability may be surprising to unsuspecting readers, this is not done by default and must be explicitly requested with the sub import argument:

use Sublike::Extended 'sub';

On Perl 5.38 or above, this can also take over handling of the method keyword when using feature 'class'.

use Sublike::Extended 'method';

Currently, the only extended features that are provided are related to the parsing of a subroutine signature. Since signatures are only available on Perl version 5.26 or later, this module is unlikely to be useful in earlier versions of Perl.

Named Parameters

Extended subroutines can declare named parameters in the signature, after any positional ones. These take the form of a name prefixed by a colon character. The caller of such a function should pass values for these parameters by the usual name-value pair syntax that would be used for passing into a regular hash. Within the body of the subroutine the values passed into these are unpacked into regular lexical variables.

sub colour (:$red, :$green, :$blue) {
   ... # $red, $green and $blue are available as regular lexicals
}

# argument order at the caller site is not important
colour(green => 1, blue => 2, red => 3);

Positional parameters can be placed after optional positional ones, but in order to make use of them the caller would have to pass a value for every positional parameter including the optional ones first. This is unlikely to be very useful; if you want to have optional parameters and named parameters, use named optional ones after any mandatory positional parameters.

As with positional parameters, they are normally mandatory, but can be made optional by supplying a defaulting expression. If the caller fails to pass a value corresponding to an optional parameter, the default expression is evaluated and used instead.

sub f (:$x0, :$x1, :$x2 = 0) { ... }
# The caller must provide x0 and x1, but x2 is optional

Since version 0.23 named parameters can be given defaulting expressions with the //= or ||= operators, meaning their defaults apply also if the caller passed a present-but-undef, or present-but-false value.

sub f (:$x0, :$x1, :$x2 //= 0) { ... }
# $x2 will be set to 0 even if the caller passes  x2 => undef

An optional slurpy hash or (since version 0.24) slurpy array is also permitted after all of these. It will contain the values of any other name-value pairs given by the caller, after those corresponding to named parameters have already been extracted.

sub g (:$alpha, :$beta, %rest) { ... }

sub g (:$alpha, :$beta, @rest) { ... }

In the case of a slurpy array, it will contain every argument value that was not consumed as a named parameter pair, in the original order passed by the caller, including any duplicates.

This syntax is compatible with that proposed by PPC0024, which will become available in Perl version 5.43.5.

Parameter Attributes

Parameters to extended subroutines can use attribute syntax to apply extra attributes to individual parameters.

sub info ($x :Attribute) { ... }

Any attributes that are available are ones that have been previously registered with XS::Parse::Sublike using its XS-level API. The particular behaviour of such an attribute would be defined by whatever module provided the attribute.

Refalias Parameters

Since version 0.40.

Parameters to extended subroutines can use refalias syntax in order to create lexical variables that alias, rather than contain copies of, variables that callers pass in references.

sub h (\@items) { ... }

# The caller must provide an ARRAY reference
my @arr = (1, 2, 3, 4, 5);
h(\@arr);

This syntax is similar to refalias assignment as provided by "The 'refaliasing' feature" in feature. This example creates a lexical array variable within the body of the function, which aliases an array passed by reference from the caller.

Refaliased variables may be scalars, arrays, or hashes. For argument handling purposes each will act like a positional scalar which consumes a reference to a variable of the matching type. If the caller does not pass a reference, or a reference to a mismatched type of variable, an exception is thrown as part of argument handling in the signature.

Since version 0.41 named parameters may also use refalias assignment, using the syntax :\VAR - such as :\@items.

As with other parameters, a defaulting expression can be provided, which makes the parameter optional for the caller. If the caller does not provide a corresponding value, this value is used as if the caller passed it. In this case, note that the defaulting expression must still yield a reference to a container of the appropriate shape to match the declared parameter variable. While all of the =, //= and ||= operators can be used here, because the value must be a reference, it is unlikely that the distinction between testing for definedness vs boolean truth will be useful.

Note that as of version 0.41 optional named refalias parameters are allowed, but a limitation of the implementation means that if a corresponding value for the parameter is not provided by the caller and the defaulting expression yields a reference to an incompatible variable, the resulting exception message fails to identify the name of the variable involved; instead just quoting three questionmarks:

$ perl -E 'use Sublike::Extended "sub"; sub f ( :\@arr = \undef ) {}  f()'
refaliases are experimental at -e line 1.
Expected named argument '???' to main::f to be a reference to ARRAY at -e line 1.

The body of the function can see the value stored by the referred variable and make modifications to it. Any such modifications will be reflected in the variable whose reference was passed by the caller, or the value created by the defaulting expression if it was used.

KEYWORDS

extended

extended sub NAME (SIGNATURE...) { BODY... }

extended sub (SIGNATURE...) { BODY... };

This prefix keyword enables extra parsing features when handling a sub (or other sub-like function keyword).

This keyword can be freely mixed with other sub-prefix keywords, such as async from Future::AsyncAwait

async extended sub f (:$param) { ... }

This can also be used with other keywords that provide sub-like syntax, such as method from Object::Pad or the core use feature 'class'.

extended method f (:$param) { ... }

TODO

  • Support defined-or and true-or positional parameters even on versions of Perl before they were officially added (v5.38).

AUTHOR

Paul Evans <leonerd@leonerd.org.uk>