NAME
Nice::Try - A real Try Catch Block Implementation Using Perl Filter
SYNOPSIS
use Nice::Try;
print( "Hello, I want to try\n" );
# Try out {
print( "this piece of code\n" );
try
{
# Not so sure }
print( "I am trying!\n" );
die( "Bye cruel world..." );
# Never going to reach this
return( 1 );
}
# Some comment
catch( Exception $e ) {
return( "Caught an exception $e" );
}
# More comment with space too
catch( $e ) {
print( "Got an error: $e\n" );
}
finally
{
print( "Cleaning up\n" );
}
print( "Ok, then\n" );
When run, this would produce, as one would expect:
Hello, I want to try
this piece of code
I am trying!
Got an error: Bye cruel world... at ./some/script.pl line 18.
Cleaning up
Ok, then
Also since version 1.0.0, Nice::Try is extended context aware:
use Want; # an awesome module which extends wantarray
sub info
{
my $self = shift( @_ );
try
{
# Do something
if( want('OBJECT') )
{
return( $self );
}
elsif( want('CODE') )
{
# dummy code ref for example
return( sub{ return( $name ); } );
}
elsif( want('LIST') )
{
return( @some_data );
}
elsif( want('ARRAY') )
{
return( \@some_data );
}
elsif( want('HASH') )
{
return({ name => $name, location => $city });
}
elsif( want('REFSCALAR') )
{
return( \$name );
}
elsif( want('SCALAR' ) )
{
return( $name ); # regular string
}
elsif( want('VOID') )
{
return;
}
}
catch( $e )
{
$Logger->( "Caught exception: $e" );
}
}
# regular string context
my $name = $o->info;
# code context
my $name = $o->info->();
# list context like wantarray
my @data = $o->info;
# hash context
my $name = $o->info->{name};
# array context
my $name = $o->info->[2];
# object context
my $name = $o->info->another_method;
# scalar reference context
my $name = ${$o->info};
And you also have granular power in the catch block to filter which exception to handle. See more on this in "EXCEPTION CLASS"
try
{
die( Exception->new( "Arghhh" => 401 ) );
}
# can also write this as:
# catch( Exception $oopsie where { $_->message =~ /Arghhh/ && $_->code == 500 } )
catch( $oopsie isa Exception where { $_->message =~ /Arghhh/ && $_->code == 500 } )
{
# Do something to deal with some server error
}
catch( $oopsie isa Exception where { $_->message =~ /Arghhh/ && $_->code == 401 } )
{
# should reach here.
}
catch( $oh_well isa("Exception") ) # or you can also write catch( Exception $oh_well )
{
# Default using another way to filter by Exception
}
catch( $oopsie where { /Oh no/ } )
{
# Do something based on the value of a simple error; not an exception class
}
# Default
catch( $default )
{
print( "Unknown error: $default\n" );
}
VERSION
v1.3.13
DESCRIPTION
Nice::Try is a lightweight implementation of Try-Catch exception trapping block using perl filter. It behaves like you would expect.
Here is a list of its distinctive features:
No routine to import like
Nice::Try qw( try catch )
. Just adduse Nice::Try
in your scriptProperly report the right line number for the original error message
Allows embedded try-catch block within try-catch block, such as:
use Nice::Try; print( "Wow, something went awry: ", &gotcha, "\n" ); sub gotcha { print( "Hello, I want to try\n" ); # Try out { CORE::say( 'this piece' ); try { # Not so sure } print( "I am trying!\n" ); try { die( "Bye cruel world..." ); return( 1 ); } catch( $err ) { die( "Dying again with embedded error: '$err'" ); } } catch( Exception $e ) { return( "Caught an exception \$e" ); } catch( $e ) { try { print( "Got an error: $e\n" ); print( "Trying something else.\n" ); die( "No really, dying out... with error: $e\n" ); } catch( $err2 ) { return( "Returning from catch L2 with error '$err2'" ); } } CORE::say( "Ok, then" ); }
No need for semicolon on the last closing brace
It does not rely on perl regular expression, but instead uses PPI (short for "Perl Parsing Interface").
Variable assignment in the catch block works. For example:
try { # Something or die( "Oops\n" ); } catch( $funky_variable_name ) { return( "Oh no: $funky_variable_name" ); }
catch
can filter by exception class. For example:try { die( My::Exception->new( "Not alllowed here.", { code => 401 }) ); } catch( My::Exception $e where { $_->code == 500 }) { print( "Oopsie\n" ); } catch( My::Exception $e where { $_->code == 401 }) { print( "Get away!\n" ); } catch( My::Exception $e ) { print( "Got an exception: $e\n" ); } catch( $default ) { print( "Something weird has happened: $default\n" ); } finally { $dbh->disconnect; }
See more on this in "EXCEPTION CLASS"
$@
is always available tooYou can return a value from try-catch blocks, even with embedded try-catch blocks
It recognises
@_
inside try-catch blocks, so you can do something like:print( &gotme( 'Jacques' ), "\n" ); sub gotme { try { print( "I am trying my best $_[0]!\n" ); die( "But I failed\n" ); } catch( $some_reason ) { return( "Failed: $some_reason" ); } }
Would produce:
I am trying my best Jacques! Failed: But I failed
try
orcatch
blocks can contain flow control keywords such asnext
,last
andredo
while( defined( my $product = $items->[++$i] ) ) { try { # Do something last if( !$product->active ); } catch( $oops ) { $log->( "Error: $oops" ); last; } } continue { try { if( $product->region eq 'Asia' ) { push( @asia, $product ); } else { next; } } catch( $e ) { $log->( "An unexpected error has occurred. Is $product an object? $e" ); last; } }
Can be used with or without a
catch
blockSupports a
finally
block called in void context for cleanup for example. Thefinally
block will always be called, if present.#!/usr/local/bin/perl use v5.36; use strict; use warnings; use Nice::Try; try { die( "Oops" ); } catch( $e ) { say "Caught an error: $e"; die( "Oops again" ); } finally { # Some code here that will be executed after the catch block dies say "Got here in finally with \$\@ -> $@"; }
The above would yield something like:
Caught error: Oops at ./test.pl line 9. Oops again at ./test.pl line 14. Got here in finally with $@ -> Oops again at ./test.pl line 14.
Nice::Try is rich context aware, which means it can provide you with a super granular context on how to return data back to the caller based on the caller's expectation, by using a module like Want.
Call to "caller" in perlfunc will return the correct entry in call stack
#!/usr/bin/perl BEGIN { use strict; use warnings; use Nice::Try; }; { &callme(); } sub callme { try { my @info = caller(1); # or my @info = caller; print( "Called from package $info[0] in file $info[1] at line $info[2]\n" ); } catch( $e ) { print( "Got an error: $e\n" ); } }
Will yield:
Called from package main in file ./test.pl at line 10
WHY USE IT?
There are quite a few implementations of try-catch blocks in perl, and they can be grouped in 4 categories:
- 1 Try-Catch as subroutines
-
For example Try::Tiny
- 2 Using Perl Filter
-
For example Nice::Try, Try::Harder
- 3 Using Devel::Declare
-
For example TryCatch
- 4 Others
-
For example Syntax::Keyword::Try and now perl with version 5.34.0 using experimental feature.
Group 1 requires the use of semi-colons like:
try
{
# Something
}
catch
{
# More code
};
It also imports the subroutines try
and catch
in your namespace.
And you cannot do exception variable assignment like catch( $err )
In group 2, Try::Harder does a very nice work, but relies on perl regular expression with Text::Balanced and that makes it susceptible to failure if the try-catch block is not written as it expects it to be. For example if you put comments between try and catch, it would not work anymore. This is because parsing perl is famously difficult. Also, it does not do exception variable assignment, or catch filtered based on exception class like:
try
{
# Something
die( Exception->new( "Failed!" ) );
}
catch( Exception $e )
{
# Do something if exception is an Exception class
}
See "die" in perlfunc for more information on dying with an object.
Also Try::Harder will die if you use only try
with no catch, such as:
use Try::Harder;
try
{
die( "Oops\n" );
}
# Will never reach this
print( "Got here with $@\n" );
In this example, the print line will never get executed. With Nice::Try you can use try
alone as an equivalent of "eval" in perlfunc and the $@
will be available too. So:
use Nice::Try;
try
{
die( "Oops\n" );
}
print( "Got here with $@\n" );
will produces:
Got here with Oops
In group 3, TryCatch was working wonderfully, but was relying on Devel::Declare which was doing some esoteric stuff and eventually the version 0.006020 broke TryCatch and there seems to be no intention of correcting this breaking change. Besides, Devel::Declare is now marked as deprecated and its use is officially discouraged.
TryCatch does not support any finally
block.
In group 4, there is Syntax::Keyword::Try, which is a great alternative if you do not care about exception class filter (it supports class exception since 2020-07-21 with version 0.15 and variable assignment since 2020-08-01 with version 0.18).
Although, the following script would not work under Syntax::Keyword::Try :
BEGIN
{
use strict;
use warnings;
use Syntax::Keyword::Try;
};
{
&callme();
}
sub callme
{
try {
print( "Hello there\n" );
}
catch ($e) {
print( "Got an error: $e\n" );
}
}
This will trigger the following error:
syntax error at ./test.pl line 18, near ") {"
syntax error at ./test.pl line 21, near "}"
Execution of ./test.pl aborted due to compilation errors.
That is because Syntax::Keyword::Try expects to be used
outside of a BEGIN block like this:
use strict;
use warnings;
use Syntax::Keyword::Try;
# Rest of the script, same as above
Of course, with Nice::Try, there is no such constraint. You can "use" in perlfunc Nice::Try inside or outside of a BEGIN
block indistinctively.
Since perl version 5.33.7 and now in perl v5.34.0 you can use the try-catch block using an experimental feature which may be removed in future versions, by writing:
use feature 'try'; # will emit a warning this is experimental
This new feature supports try-catch block and variable assignment, but no exception class, nor support for finally
block until version perl 5.36 released on 2022-05-28 of perl, so you can do:
try
{
# Oh no!
die( "Argh...\n" );
}
catch( $oh_well )
{
return( $self->error( "Something went awry: $oh_well" ) );
}
But you cannot do:
try
{
# Oh no!
die( MyException->new( "Argh..." ) );
}
catch( MyException $oh_well )
{
return( $self->error( "Something went awry with MyException: $oh_well" ) );
}
# Support for 'finally' has been implemented in perl 5.36 released on 2022-05-28
finally
{
# do some cleanup here
}
An update as of 2022-05-28, perl-v5.36 now supports the experimental finally
block.
Also, the use feature 'try'
expression must be in the relevant block where you use try-catch
. You cannot just put it in your BEGIN
block at the beginning of your script. If you have 3 subroutines using try-catch
, you need to put use feature 'try'
in each of them. See perl documentation on lexical effect for more explanation on this.
It is probably a matter of time until this is fully implemented in perl as a regular non-experimental feature.
See more information about perl's featured implementation of try-catch in perlsyn
So, Nice::Try is quite unique and fills the missing features, and since it uses XS modules for a one-time filtering, it is quite fast.
FINALLY
Like with other language such as Java or JavaScript, the finally
block will be executed even if the try
or catch
block contains a return statement.
This is useful to do some clean-up. For example:
try
{
# Something worth dying
}
catch( $e )
{
return( "I failed: $e" );
}
finally
{
# Do some mop up
# This would be reached even if catch already returned
# Putting return statement here does not actually return anything.
# This is only for clean-up
}
However, because this is designed for clean-up, it is called in void context, so any return
statement there will not actually return anything back to the caller.
CATCHING OR NOT CATCHING?
Nice::Try can be used with a single try
block which will, in effect, behaves like an eval and the special variable $@
will be available as always.
try
{
die( "Oh no, something went wrong!\n" );
}
print( "Got here with $@\n" );
or even:
try
{
die( "Oh no, something went wrong!\n" );
}
catch( $e ); # Not very meaningful, but it will work
print( "Got here with $@\n" );
However, if you decide to catch class exceptions, make sure to add a default catch( $e )
. For example:
try
{
die( MyException->new( "Oh no" ) );
}
print( "Got here with $@\n" );
will work and print
will display "Got here with Oh no". However:
try
{
die( MyException->new( "Oh no" ) );
}
catch( Some::Exception $e )
{
# won't reach here
}
will make your process die because of the exception not being caught, thus you might want to do instead:
try
{
die( MyException->new( "Oh no" ) );
}
catch( Some::Exception $e )
{
# won't reach here
}
catch( $default )
{
print( "Got you! Error was: $default\n" );
}
And the last catch will catch the exception.
Since, try-catch block can be nested, the following would work too:
try
{
try
{
die( MyException->new( "Oh no" ) );
}
catch( Some::Exception $e )
{
# won't reach here
}
}
catch( MyException $e )
{
print( "Got you! MyException was: $e\n" );
}
# to play it safe
catch( $e )
{
# do something about it
}
EXCEPTION CLASS
As mentioned above, you can use class when raising exceptions and you can filter them in a variety of ways when you catch them.
Here are your options (replace Exception::Class
with your favorite exception class):
- 1. catch( Exception::Class $error_variable ) { }
- 2. catch( Exception::Class $error_variable where { $condition } ) { }
-
Here
$condition
could be anything that fits in a legitimate perl block, such as:try { die( Exception->new( "Oh no!", { code => 401 } ) ); } catch( Exception $oopsie where { $_->code >= 400 && $_->code <= 499 }) { # some more handling here }
In the condition block
$_
will always be made available and will correspond to the exception object thrown, just like$oopsie
in this example.$@
is also available with the exception object as its value. - 3. catch( $e isa Exception::Class ) { }
-
This is a variant of the
catch( Exception::Class $e ) {}
form - 4. catch( $e isa('Exception::Class') ) { }
-
A variant of the one above if you want to use single quotes.
- 5. catch( $e isa("Exception::Class") ) { }
-
A variant of the one above if you want to use double quotes.
- 6. catch( $e isa Exception::Class where { $condition } ) { }
- 7. catch( $e isa('Exception::Class') where { $condition } ) { }
- 8. catch( $e isa("Exception::Class") where { $condition } ) { }
- 9. catch( $e where { $condition } ) { }
-
This is not a class exception catching, but worth mentioning. For example:
try { die( "Something bad happened.\n" ); } catch( $e where { /something bad/i }) { # Do something about it } catch( $e ) { # Default here }
LOOPS
Since version v0.2.0 Nice::Try supports the use of flow control keywords such as next
, last
and redo
inside try-catch blocks. For example:
my @names = qw( John Jack Peter Paul Mark );
for( $i..$#names )
{
try
{
next if( $i == 2 );
# some more code...
}
catch( $e )
{
print( "Got exception: $e\n" );
}
}
It also works inside the catch block or inside the continue
block:
while( defined( my $product = $items->[++$i] ) )
{
# Do something
}
continue
{
try
{
if( $product->region eq 'Asia' )
{
push( @asia, $product );
}
else
{
next;
}
}
catch( $e )
{
$log->( "An unexpected error has occurred. Is $product an object? $e" );
last;
}
}
Control flow with labels also work
ELEM: foreach my $n ( @names )
{
try
{
$n->moveAfter( $this );
next ELEM if( $n->value == 1234567 );
}
catch( $oops )
{
last ELEM;
}
}
However, if you enclose a try-catch block inside another block, use of next
, last
or redo
will silently not work. This is due to perl control flow. See perlsyn for more information on this. For example, the following would not yield the desired outcome:
ELEM: foreach my $n ( @names )
{
{ # <--- Here is the culprit
try
{
$n->moveAfter( $this );
# This next statement will not do anything.
next ELEM if( $n->value == 1234567 );
}
catch( $oops )
{
# Neither would this one.
last ELEM;
}
}
}
CONTEXT AWARENESS
Nice::Try provides a high level of granularity about the context in which your subroutine was called.
Normally, you would write something like this, and it works as always:
sub info
{
try
{
# do something here
if( wantarray() )
{
return( @list_of_values );
}
# caller just want a scalar
elsif( defined( wantarray() ) )
{
return( $name );
}
# otherwise if undefined, it means we are called in void context, like:
# $o->info; with no expectation of return value
}
catch( $e )
{
print( "Caught an error: $e\n" );
}
}
The above is nice, but how do you differentiate cases were your caller wants a simple returned value and the one where the caller wants an object for chaining purpose, or if the caller wants an hash or array reference in return?
For example:
my $val = $o->info->[2]; # wants an array reference
my $val = $o->info->{name} # wants an hash reference
# etc...
Now, you can do the following:
use Want; # an awesome module which extends wantarray
sub info
{
my $self = shift( @_ );
try
{
# Do something
#
# same as wantarray() == 1
if( want('LIST') )
{
return( @some_data );
}
# same as: if( defined( wantarray() ) && !wantarray() )
elsif( want('SCALAR' ) )
{
return( $name ); # regular string
}
# same as if( !defined( wantarray() ) )
elsif( want('VOID') )
{
return;
}
# For the other contexts below, wantarray is of no help
if( want('OBJECT') )
{
return( $obj ); # useful for chaining
}
elsif( want('CODE') )
{
# dummy code ref for example
return( sub{ return( $name ); } );
}
elsif( want('ARRAY') )
{
return( \@some_data );
}
elsif( want('HASH') )
{
return({ name => $name, location => $city });
}
}
catch( $e )
{
$Logger->( "Caught exception: $e" );
}
}
Thus this is particularly useful if, for example, you want to differentiate if the caller just wants a return string, or an object for chaining.
"wantarray" in perlfunc would not know the difference, and other try-catch implementation would not let you benefit from using Want.
For example:
my $val = $o->info; # simple regular scalar context; but...
# here, we are called in object context and wantarray is of no help to tell the difference
my $val = $o->info->another_method;
Other cases are:
# regular string context
my $name = $o->info;
# list context like wantarray
my @data = $o->info;
# code context
my $name = $o->info->();
# hash context
my $name = $o->info->{name};
# array context
my $name = $o->info->[2];
# object context
my $name = $o->info->another_method;
See Want for more information on how you can benefit from it.
Currently lvalues are not implemented and will be in future releases. Also note that Want does not work within tie-handlers. It would trigger a segmentation fault. Nice::Try detects this and disable automatically support for Want if used inside a tie-handler, reverting to regular "wantarray" in perlfunc context.
Also, for this rich context awareness to be used, obviously try-catch would need to be inside a subroutine, otherwise there is no rich context other than the one the regular "wantarray" in perlfunc provides.
This is particularly true when running within an Apache modperl handler which has no caller. If you use Nice::Try in such handler, it will kill Apache process, so you need to disable the use of Want, by calling:
use Nice::Try dont_want => 1;
When there is an update to correct this bug from Want, I will issue a new version.
The use of Want is also automatically disabled when running under a package that use overloading.
LIMITATIONS
Before version v1.3.5
, there was a limitation on using signature on a subroutine, but since version v1.3.5
, it has been fixed and there is no more any limitation. Thus the following works nicely too.
use strict;
use warnings;
use experimental 'signatures';
use Nice::Try;
sub test { 1 }
sub foo ($f = test()) { 1 }
try {
my $k = sub ($f = foo()) {}; # <-- this sub routine attribute inside try-catch block used to disrupt Nice::Try and make it fail.
print( "worked\n" );
}
catch($e) {
warn "caught: $e";
}
__END__
PERFORMANCE
Nice::Try
is quite fast, but as with any class implementing a try-catch
block, it is of course a bit slower than the natural eval
block.
Because Nice::Try
relies on PPI for parsing the perl code, if your code is very long, there will be an execution time penalty.
If you use framework such as mod_perl2, then it will only affect the first time the code is run, since afterward, the code will be loaded in memory.
Still, if you use perl version v5.34
or higher, and have simple need of try-catch
, then simply use instead perl experimental implementation, such as:
use v5.34;
use strict;
use warnings;
use feature 'try';
no warnings 'experimental';
try
{
# do something
}
catch( $e )
{
# catch fatal error here
}
DEBUGGING
And to have Nice::Try save the filtered code to a file, pass it the debug_file
parameter like this:
use Nice::Try debug_file => './updated_script.pl';
You can also call your script using Filter::ExtractSource like this:
perl -MFilter::ExtractSource script.pl > updated_script.pl
or add use Filter::ExtractSource
inside it.
In the updated script produced, you can add the line calling Nice::Try to:
use Nice::Try no_filter => 1;
to avoid Nice::Try from filtering your script
If you want Nice::Try to produce human readable code, pass it the debug_code
parameter like this:
use Nice::Try debug_code => 1;
CLASS FUNCTIONS
The following class functions can be used.
implement
my $new_code = Nice::Try->implement( $perl_code );
eval( $new_code );
Provided with a perl code having one or more try-catch blocks and this will return a perl code converted to support try-catch blocks.
This is designed to be used for perl code you store, such as subroutines dynamically loaded or eval'ed.
For example:
my $code = Nice::Try->implement( <<EOT );
sub $method
{
my \$self = shift( \@_ );
try
{
# doing something that may die here
}
catch( \$e )
{
return( \$self->error( "Oops: \$e ) );
}
}
EOT
You can also pass an optional hash or hash reference of options to "implement" and it will be used to instantiate a new Nice::Try method. The options accepted are the same ones that can be passed when using use Nice::Try
CREDITS
Credits to Stephen R. Scaffidi for his implementation of Try::Harder from which I initially borrowed some code.
AUTHOR
Jacques Deguest <jack@deguest.jp>
SEE ALSO
PPI, Filter::Util::Call, Try::Harder, Syntax::Keyword::Try, Exception::Class
JavaScript implementation of nice-try
COPYRIGHT & LICENSE
Copyright (c) 2020-2024 DEGUEST Pte. Ltd.
You can use, copy, modify and redistribute this package and associated files under the same terms as Perl itself.