Skip test for changing TZ if running in a pseudo-fork (on Win32)
[p5sagit/p5-mst-13.2.git] / pod / perlsyn.pod
CommitLineData
a0d0e21e 1=head1 NAME
d74e8afc 2X<syntax>
a0d0e21e 3
4perlsyn - Perl syntax
5
6=head1 DESCRIPTION
7
6014d0cb 8A Perl program consists of a sequence of declarations and statements
9which run from the top to the bottom. Loops, subroutines and other
10control structures allow you to jump around within the code.
11
12Perl is a B<free-form> language, you can format and indent it however
13you like. Whitespace mostly serves to separate tokens, unlike
14languages like Python where it is an important part of the syntax.
15
16Many of Perl's syntactic elements are B<optional>. Rather than
110b9c83 17requiring you to put parentheses around every function call and
6014d0cb 18declare every variable, you can often leave such explicit elements off
19and Perl will figure out what you meant. This is known as B<Do What I
20Mean>, abbreviated B<DWIM>. It allows programmers to be B<lazy> and to
110b9c83 21code in a style with which they are comfortable.
6014d0cb 22
23Perl B<borrows syntax> and concepts from many languages: awk, sed, C,
24Bourne Shell, Smalltalk, Lisp and even English. Other
25languages have borrowed syntax from Perl, particularly its regular
26expression extensions. So if you have programmed in another language
27you will see familiar pieces in Perl. They often work the same, but
28see L<perltrap> for information about how they differ.
a0d0e21e 29
0b8d69e9 30=head2 Declarations
d74e8afc 31X<declaration> X<undef> X<undefined> X<uninitialized>
0b8d69e9 32
cf48932e 33The only things you need to declare in Perl are report formats and
34subroutines (and sometimes not even subroutines). A variable holds
35the undefined value (C<undef>) until it has been assigned a defined
36value, which is anything other than C<undef>. When used as a number,
37C<undef> is treated as C<0>; when used as a string, it is treated as
38the empty string, C<"">; and when used as a reference that isn't being
39assigned to, it is treated as an error. If you enable warnings,
40you'll be notified of an uninitialized value whenever you treat
41C<undef> as a string or a number. Well, usually. Boolean contexts,
42such as:
7bd1983c 43
44 my $a;
45 if ($a) {}
46
a6b1f6d8 47are exempt from warnings (because they care about truth rather than
48definedness). Operators such as C<++>, C<-->, C<+=>,
7bd1983c 49C<-=>, and C<.=>, that operate on undefined left values such as:
50
51 my $a;
52 $a++;
53
54are also always exempt from such warnings.
0b8d69e9 55
a0d0e21e 56A declaration can be put anywhere a statement can, but has no effect on
57the execution of the primary sequence of statements--declarations all
58take effect at compile time. Typically all the declarations are put at
54310121 59the beginning or the end of the script. However, if you're using
0b8d69e9 60lexically-scoped private variables created with C<my()>, you'll
61have to make sure
4633a7c4 62your format or subroutine definition is within the same block scope
5f05dabc 63as the my if you expect to be able to access those private variables.
a0d0e21e 64
4633a7c4 65Declaring a subroutine allows a subroutine name to be used as if it were a
66list operator from that point forward in the program. You can declare a
54310121 67subroutine without defining it by saying C<sub name>, thus:
d74e8afc 68X<subroutine, declaration>
a0d0e21e 69
54310121 70 sub myname;
a0d0e21e 71 $me = myname $0 or die "can't get myname";
72
1f950eb4 73Note that myname() functions as a list operator, not as a unary operator;
74so be careful to use C<or> instead of C<||> in this case. However, if
54310121 75you were to declare the subroutine as C<sub myname ($)>, then
02c45c47 76C<myname> would function as a unary operator, so either C<or> or
54310121 77C<||> would work.
a0d0e21e 78
4633a7c4 79Subroutines declarations can also be loaded up with the C<require> statement
80or both loaded and imported into your namespace with a C<use> statement.
81See L<perlmod> for details on this.
a0d0e21e 82
4633a7c4 83A statement sequence may contain declarations of lexically-scoped
84variables, but apart from declaring a variable name, the declaration acts
85like an ordinary statement, and is elaborated within the sequence of
86statements as if it were an ordinary statement. That means it actually
87has both compile-time and run-time effects.
a0d0e21e 88
6014d0cb 89=head2 Comments
d74e8afc 90X<comment> X<#>
6014d0cb 91
92Text from a C<"#"> character until the end of the line is a comment,
93and is ignored. Exceptions include C<"#"> inside a string or regular
94expression.
95
6ec4bd10 96=head2 Simple Statements
d74e8afc 97X<statement> X<semicolon> X<expression> X<;>
a0d0e21e 98
99The only kind of simple statement is an expression evaluated for its
100side effects. Every simple statement must be terminated with a
101semicolon, unless it is the final statement in a block, in which case
f386e492 102the semicolon is optional. (A semicolon is still encouraged if the
103block takes up more than one line, because you may eventually add
cf48932e 104another line.) Note that there are some operators like C<eval {}> and
105C<do {}> that look like compound statements, but aren't (they're just
106TERMs in an expression), and thus need an explicit termination if used
107as the last item in a statement.
108
109=head2 Truth and Falsehood
d74e8afc 110X<truth> X<falsehood> X<true> X<false> X<!> X<not> X<negation> X<0>
cf48932e 111
f92061c1 112The number 0, the strings C<'0'> and C<''>, the empty list C<()>, and
113C<undef> are all false in a boolean context. All other values are true.
52ea55c9 114Negation of a true value by C<!> or C<not> returns a special false value.
115When evaluated as a string it is treated as C<''>, but as a number, it
116is treated as 0.
cf48932e 117
cf48932e 118=head2 Statement Modifiers
d74e8afc 119X<statement modifier> X<modifier> X<if> X<unless> X<while>
4f8ea571 120X<until> X<when> X<foreach> X<for>
a0d0e21e 121
122Any simple statement may optionally be followed by a I<SINGLE> modifier,
123just before the terminating semicolon (or block ending). The possible
124modifiers are:
125
126 if EXPR
127 unless EXPR
128 while EXPR
129 until EXPR
4f8ea571 130 when EXPR
131 for LIST
cf48932e 132 foreach LIST
133
134The C<EXPR> following the modifier is referred to as the "condition".
135Its truth or falsehood determines how the modifier will behave.
136
137C<if> executes the statement once I<if> and only if the condition is
138true. C<unless> is the opposite, it executes the statement I<unless>
139the condition is true (i.e., if the condition is false).
140
141 print "Basset hounds got long ears" if length $ear >= 10;
142 go_outside() and play() unless $is_raining;
143
4f8ea571 144C<when> executes the statement I<when> C<$_> smart matches C<EXPR>, and
145then either C<break>s out if it's enclosed in a C<given> scope or skips
146to the C<next> element when it lies directly inside a C<for> loop.
147See also L</"Switch statements">.
148
149 given ($something) {
150 $abc = 1 when /^abc/;
151 $just_a = 1 when /^a/;
152 $other = 1;
153 }
154
155 for (@names) {
156 admin($_) when [ qw/Alice Bob/ ];
157 regular($_) when [ qw/Chris David Ellen/ ];
158 }
159
cf48932e 160The C<foreach> modifier is an iterator: it executes the statement once
161for each item in the LIST (with C<$_> aliased to each item in turn).
162
163 print "Hello $_!\n" foreach qw(world Dolly nurse);
164
165C<while> repeats the statement I<while> the condition is true.
166C<until> does the opposite, it repeats the statement I<until> the
167condition is true (or while the condition is false):
168
169 # Both of these count from 0 to 10.
170 print $i++ while $i <= 10;
171 print $j++ until $j > 10;
172
173The C<while> and C<until> modifiers have the usual "C<while> loop"
174semantics (conditional evaluated first), except when applied to a
175C<do>-BLOCK (or to the deprecated C<do>-SUBROUTINE statement), in
176which case the block executes once before the conditional is
177evaluated. This is so that you can write loops like:
a0d0e21e 178
179 do {
4633a7c4 180 $line = <STDIN>;
a0d0e21e 181 ...
4633a7c4 182 } until $line eq ".\n";
a0d0e21e 183
5a964f20 184See L<perlfunc/do>. Note also that the loop control statements described
185later will I<NOT> work in this construct, because modifiers don't take
186loop labels. Sorry. You can always put another block inside of it
187(for C<next>) or around it (for C<last>) to do that sort of thing.
f86cebdf 188For C<next>, just double the braces:
d74e8afc 189X<next> X<last> X<redo>
5a964f20 190
191 do {{
192 next if $x == $y;
193 # do something here
194 }} until $x++ > $z;
195
f86cebdf 196For C<last>, you have to be more elaborate:
d74e8afc 197X<last>
5a964f20 198
199 LOOP: {
200 do {
201 last if $x = $y**2;
202 # do something here
203 } while $x++ <= $z;
204 }
a0d0e21e 205
457b36cb 206B<NOTE:> The behaviour of a C<my> statement modified with a statement
207modifier conditional or loop construct (e.g. C<my $x if ...>) is
208B<undefined>. The value of the C<my> variable may be C<undef>, any
209previously assigned value, or possibly anything else. Don't rely on
210it. Future versions of perl might do something different from the
211version of perl you try it out on. Here be dragons.
d74e8afc 212X<my>
457b36cb 213
6ec4bd10 214=head2 Compound Statements
d74e8afc 215X<statement, compound> X<block> X<bracket, curly> X<curly bracket> X<brace>
216X<{> X<}> X<if> X<unless> X<while> X<until> X<foreach> X<for> X<continue>
a0d0e21e 217
218In Perl, a sequence of statements that defines a scope is called a block.
219Sometimes a block is delimited by the file containing it (in the case
220of a required file, or the program as a whole), and sometimes a block
221is delimited by the extent of a string (in the case of an eval).
222
223But generally, a block is delimited by curly brackets, also known as braces.
224We will call this syntactic construct a BLOCK.
225
226The following compound statements may be used to control flow:
227
228 if (EXPR) BLOCK
229 if (EXPR) BLOCK else BLOCK
230 if (EXPR) BLOCK elsif (EXPR) BLOCK ... else BLOCK
231 LABEL while (EXPR) BLOCK
232 LABEL while (EXPR) BLOCK continue BLOCK
5ec6d87f 233 LABEL until (EXPR) BLOCK
234 LABEL until (EXPR) BLOCK continue BLOCK
a0d0e21e 235 LABEL for (EXPR; EXPR; EXPR) BLOCK
748a9306 236 LABEL foreach VAR (LIST) BLOCK
b303ae78 237 LABEL foreach VAR (LIST) BLOCK continue BLOCK
a0d0e21e 238 LABEL BLOCK continue BLOCK
239
240Note that, unlike C and Pascal, these are defined in terms of BLOCKs,
241not statements. This means that the curly brackets are I<required>--no
242dangling statements allowed. If you want to write conditionals without
243curly brackets there are several other ways to do it. The following
244all do the same thing:
245
246 if (!open(FOO)) { die "Can't open $FOO: $!"; }
247 die "Can't open $FOO: $!" unless open(FOO);
248 open(FOO) or die "Can't open $FOO: $!"; # FOO or bust!
249 open(FOO) ? 'hi mom' : die "Can't open $FOO: $!";
250 # a bit exotic, that last one
251
5f05dabc 252The C<if> statement is straightforward. Because BLOCKs are always
a0d0e21e 253bounded by curly brackets, there is never any ambiguity about which
254C<if> an C<else> goes with. If you use C<unless> in place of C<if>,
255the sense of the test is reversed.
256
257The C<while> statement executes the block as long as the expression is
e17b7802 258L<true|/"Truth and Falsehood">.
1d5653dd 259The C<until> statement executes the block as long as the expression is
260false.
b78218b7 261The LABEL is optional, and if present, consists of an identifier followed
262by a colon. The LABEL identifies the loop for the loop control
263statements C<next>, C<last>, and C<redo>.
264If the LABEL is omitted, the loop control statement
4633a7c4 265refers to the innermost enclosing loop. This may include dynamically
266looking back your call-stack at run time to find the LABEL. Such
9f1b1f2d 267desperate behavior triggers a warning if you use the C<use warnings>
a2293a43 268pragma or the B<-w> flag.
4633a7c4 269
270If there is a C<continue> BLOCK, it is always executed just before the
6ec4bd10 271conditional is about to be evaluated again. Thus it can be used to
272increment a loop variable, even when the loop has been continued via
273the C<next> statement.
4633a7c4 274
275=head2 Loop Control
d74e8afc 276X<loop control> X<loop, control> X<next> X<last> X<redo> X<continue>
4633a7c4 277
6ec4bd10 278The C<next> command starts the next iteration of the loop:
4633a7c4 279
280 LINE: while (<STDIN>) {
281 next LINE if /^#/; # discard comments
282 ...
283 }
284
6ec4bd10 285The C<last> command immediately exits the loop in question. The
4633a7c4 286C<continue> block, if any, is not executed:
287
288 LINE: while (<STDIN>) {
289 last LINE if /^$/; # exit when done with header
290 ...
291 }
292
293The C<redo> command restarts the loop block without evaluating the
294conditional again. The C<continue> block, if any, is I<not> executed.
295This command is normally used by programs that want to lie to themselves
296about what was just input.
297
298For example, when processing a file like F</etc/termcap>.
299If your input lines might end in backslashes to indicate continuation, you
300want to skip ahead and get the next record.
301
302 while (<>) {
303 chomp;
54310121 304 if (s/\\$//) {
305 $_ .= <>;
4633a7c4 306 redo unless eof();
307 }
308 # now process $_
54310121 309 }
4633a7c4 310
311which is Perl short-hand for the more explicitly written version:
312
54310121 313 LINE: while (defined($line = <ARGV>)) {
4633a7c4 314 chomp($line);
54310121 315 if ($line =~ s/\\$//) {
316 $line .= <ARGV>;
4633a7c4 317 redo LINE unless eof(); # not eof(ARGV)!
318 }
319 # now process $line
54310121 320 }
4633a7c4 321
36e7a065 322Note that if there were a C<continue> block on the above code, it would
323get executed only on lines discarded by the regex (since redo skips the
324continue block). A continue block is often used to reset line counters
325or C<?pat?> one-time matches:
4633a7c4 326
5a964f20 327 # inspired by :1,$g/fred/s//WILMA/
328 while (<>) {
329 ?(fred)? && s//WILMA $1 WILMA/;
330 ?(barney)? && s//BETTY $1 BETTY/;
331 ?(homer)? && s//MARGE $1 MARGE/;
332 } continue {
333 print "$ARGV $.: $_";
334 close ARGV if eof(); # reset $.
335 reset if eof(); # reset ?pat?
4633a7c4 336 }
337
a0d0e21e 338If the word C<while> is replaced by the word C<until>, the sense of the
339test is reversed, but the conditional is still tested before the first
340iteration.
341
5a964f20 342The loop control statements don't work in an C<if> or C<unless>, since
343they aren't loops. You can double the braces to make them such, though.
344
345 if (/pattern/) {{
7bd1983c 346 last if /fred/;
347 next if /barney/; # same effect as "last", but doesn't document as well
348 # do something here
5a964f20 349 }}
350
7bd1983c 351This is caused by the fact that a block by itself acts as a loop that
27cec4bd 352executes once, see L<"Basic BLOCKs">.
7bd1983c 353
5b23ba8b 354The form C<while/if BLOCK BLOCK>, available in Perl 4, is no longer
355available. Replace any occurrence of C<if BLOCK> by C<if (do BLOCK)>.
4633a7c4 356
cb1a09d0 357=head2 For Loops
d74e8afc 358X<for> X<foreach>
a0d0e21e 359
b78df5de 360Perl's C-style C<for> loop works like the corresponding C<while> loop;
cb1a09d0 361that means that this:
a0d0e21e 362
363 for ($i = 1; $i < 10; $i++) {
364 ...
365 }
366
cb1a09d0 367is the same as this:
a0d0e21e 368
369 $i = 1;
370 while ($i < 10) {
371 ...
372 } continue {
373 $i++;
374 }
375
b78df5de 376There is one minor difference: if variables are declared with C<my>
377in the initialization section of the C<for>, the lexical scope of
378those variables is exactly the C<for> loop (the body of the loop
379and the control sections).
d74e8afc 380X<my>
55497cff 381
cb1a09d0 382Besides the normal array index looping, C<for> can lend itself
383to many other interesting applications. Here's one that avoids the
54310121 384problem you get into if you explicitly test for end-of-file on
385an interactive file descriptor causing your program to appear to
cb1a09d0 386hang.
d74e8afc 387X<eof> X<end-of-file> X<end of file>
cb1a09d0 388
389 $on_a_tty = -t STDIN && -t STDOUT;
390 sub prompt { print "yes? " if $on_a_tty }
391 for ( prompt(); <STDIN>; prompt() ) {
392 # do something
54310121 393 }
cb1a09d0 394
00cb5da1 395Using C<readline> (or the operator form, C<< <EXPR> >>) as the
396conditional of a C<for> loop is shorthand for the following. This
397behaviour is the same as a C<while> loop conditional.
d74e8afc 398X<readline> X<< <> >>
00cb5da1 399
400 for ( prompt(); defined( $_ = <STDIN> ); prompt() ) {
401 # do something
402 }
403
cb1a09d0 404=head2 Foreach Loops
d74e8afc 405X<for> X<foreach>
cb1a09d0 406
4633a7c4 407The C<foreach> loop iterates over a normal list value and sets the
55497cff 408variable VAR to be each element of the list in turn. If the variable
409is preceded with the keyword C<my>, then it is lexically scoped, and
410is therefore visible only within the loop. Otherwise, the variable is
411implicitly local to the loop and regains its former value upon exiting
412the loop. If the variable was previously declared with C<my>, it uses
413that variable instead of the global one, but it's still localized to
5c502d37 414the loop. This implicit localisation occurs I<only> in a C<foreach>
415loop.
d74e8afc 416X<my> X<local>
4633a7c4 417
418The C<foreach> keyword is actually a synonym for the C<for> keyword, so
5a964f20 419you can use C<foreach> for readability or C<for> for brevity. (Or because
420the Bourne shell is more familiar to you than I<csh>, so writing C<for>
f86cebdf 421comes more naturally.) If VAR is omitted, C<$_> is set to each value.
d74e8afc 422X<$_>
c5674021 423
424If any element of LIST is an lvalue, you can modify it by modifying
425VAR inside the loop. Conversely, if any element of LIST is NOT an
426lvalue, any attempt to modify that element will fail. In other words,
427the C<foreach> loop index variable is an implicit alias for each item
428in the list that you're looping over.
d74e8afc 429X<alias>
302617ea 430
431If any part of LIST is an array, C<foreach> will get very confused if
432you add or remove elements within the loop body, for example with
433C<splice>. So don't do that.
d74e8afc 434X<splice>
302617ea 435
436C<foreach> probably won't do what you expect if VAR is a tied or other
437special variable. Don't do that either.
4633a7c4 438
748a9306 439Examples:
a0d0e21e 440
4633a7c4 441 for (@ary) { s/foo/bar/ }
a0d0e21e 442
96f2dc66 443 for my $elem (@elements) {
a0d0e21e 444 $elem *= 2;
445 }
446
4633a7c4 447 for $count (10,9,8,7,6,5,4,3,2,1,'BOOM') {
448 print $count, "\n"; sleep(1);
a0d0e21e 449 }
450
451 for (1..15) { print "Merry Christmas\n"; }
452
4633a7c4 453 foreach $item (split(/:[\\\n:]*/, $ENV{TERMCAP})) {
a0d0e21e 454 print "Item: $item\n";
455 }
456
4633a7c4 457Here's how a C programmer might code up a particular algorithm in Perl:
458
55497cff 459 for (my $i = 0; $i < @ary1; $i++) {
460 for (my $j = 0; $j < @ary2; $j++) {
4633a7c4 461 if ($ary1[$i] > $ary2[$j]) {
462 last; # can't go to outer :-(
463 }
464 $ary1[$i] += $ary2[$j];
465 }
cb1a09d0 466 # this is where that last takes me
4633a7c4 467 }
468
184e9718 469Whereas here's how a Perl programmer more comfortable with the idiom might
cb1a09d0 470do it:
4633a7c4 471
96f2dc66 472 OUTER: for my $wid (@ary1) {
473 INNER: for my $jet (@ary2) {
cb1a09d0 474 next OUTER if $wid > $jet;
475 $wid += $jet;
54310121 476 }
477 }
4633a7c4 478
cb1a09d0 479See how much easier this is? It's cleaner, safer, and faster. It's
480cleaner because it's less noisy. It's safer because if code gets added
c07a80fd 481between the inner and outer loops later on, the new code won't be
5f05dabc 482accidentally executed. The C<next> explicitly iterates the other loop
c07a80fd 483rather than merely terminating the inner one. And it's faster because
484Perl executes a C<foreach> statement more rapidly than it would the
485equivalent C<for> loop.
4633a7c4 486
0d863452 487=head2 Basic BLOCKs
488X<block>
4633a7c4 489
55497cff 490A BLOCK by itself (labeled or not) is semantically equivalent to a
491loop that executes once. Thus you can use any of the loop control
492statements in it to leave or restart the block. (Note that this is
493I<NOT> true in C<eval{}>, C<sub{}>, or contrary to popular belief
494C<do{}> blocks, which do I<NOT> count as loops.) The C<continue>
495block is optional.
4633a7c4 496
27cec4bd 497The BLOCK construct can be used to emulate case structures.
a0d0e21e 498
499 SWITCH: {
500 if (/^abc/) { $abc = 1; last SWITCH; }
501 if (/^def/) { $def = 1; last SWITCH; }
502 if (/^xyz/) { $xyz = 1; last SWITCH; }
503 $nothing = 1;
504 }
505
0d863452 506Such constructs are quite frequently used, because older versions
507of Perl had no official C<switch> statement.
83df6a1d 508
0d863452 509=head2 Switch statements
510X<switch> X<case> X<given> X<when> X<default>
83df6a1d 511
27cec4bd 512Starting from Perl 5.10, you can say
83df6a1d 513
27cec4bd 514 use feature "switch";
a0d0e21e 515
0d863452 516which enables a switch feature that is closely based on the
517Perl 6 proposal.
518
519The keywords C<given> and C<when> are analogous
520to C<switch> and C<case> in other languages, so the code
521above could be written as
522
27cec4bd 523 given($_) {
524 when (/^abc/) { $abc = 1; }
525 when (/^def/) { $def = 1; }
526 when (/^xyz/) { $xyz = 1; }
527 default { $nothing = 1; }
a0d0e21e 528 }
529
0d863452 530This construct is very flexible and powerful. For example:
a0d0e21e 531
4b7b0ae4 532 use feature ":5.10";
533 given($foo) {
534 when (undef) {
535 say '$foo is undefined';
536 }
9f435386 537
4b7b0ae4 538 when ("foo") {
539 say '$foo is the string "foo"';
540 }
541
542 when ([1,3,5,7,9]) {
543 say '$foo is an odd digit';
544 continue; # Fall through
9f435386 545 }
546
4b7b0ae4 547 when ($_ < 100) {
548 say '$foo is numerically less than 100';
549 }
550
551 when (\&complicated_check) {
552 say 'complicated_check($foo) is true';
553 }
9f435386 554
4b7b0ae4 555 default {
556 die q(I don't know what to do with $foo);
557 }
558 }
559
560C<given(EXPR)> will assign the value of EXPR to C<$_>
561within the lexical scope of the block, so it's similar to
562
563 do { my $_ = EXPR; ... }
564
565except that the block is automatically broken out of by a
566successful C<when> or an explicit C<break>.
567
568Most of the power comes from implicit smart matching:
a0d0e21e 569
4b7b0ae4 570 when($foo)
a0d0e21e 571
0d863452 572is exactly equivalent to
a0d0e21e 573
4b7b0ae4 574 when($_ ~~ $foo)
a0d0e21e 575
8c02634d 576In fact C<when(EXPR)> is treated as an implicit smart match most of the
577time. The exceptions are that when EXPR is:
0d863452 578
579=over 4
580
d991eed6 581=item *
0d863452 582
583a subroutine or method call
584
d991eed6 585=item *
0d863452 586
587a regular expression match, i.e. C</REGEX/> or C<$foo =~ /REGEX/>,
588or a negated regular expression match C<$foo !~ /REGEX/>.
589
d991eed6 590=item *
0d863452 591
4b7b0ae4 592a comparison such as C<$_ E<lt> 10> or C<$x eq "abc">
593(or of course C<$_ ~~ $c>)
0d863452 594
d991eed6 595=item *
0d863452 596
597C<defined(...)>, C<exists(...)>, or C<eof(...)>
598
d991eed6 599=item *
4633a7c4 600
0d863452 601A negated expression C<!(...)> or C<not (...)>, or a logical
602exclusive-or C<(...) xor (...)>.
cb1a09d0 603
0d863452 604=back
605
606then the value of EXPR is used directly as a boolean.
607Furthermore:
608
609=over 4
610
611=item o
612
613If EXPR is C<... && ...> or C<... and ...>, the test
614is applied recursively to both arguments. If I<both>
615arguments pass the test, then the argument is treated
616as boolean.
617
618=item o
619
620If EXPR is C<... || ...> or C<... or ...>, the test
621is applied recursively to the first argument.
622
623=back
624
625These rules look complicated, but usually they will do what
626you want. For example you could write:
627
f849b90f 628 when (/^\d+$/ && $_ < 75) { ... }
0d863452 629
4b7b0ae4 630Another useful shortcut is that, if you use a literal array
631or hash as the argument to C<when>, it is turned into a
632reference. So C<given(@foo)> is the same as C<given(\@foo)>,
633for example.
634
0d863452 635C<default> behaves exactly like C<when(1 == 1)>, which is
636to say that it always matches.
637
638See L</"Smart matching in detail"> for more information
639on smart matching.
640
4b7b0ae4 641=head3 Breaking out
642
643You can use the C<break> keyword to break out of the enclosing
644C<given> block. Every C<when> block is implicitly ended with
645a C<break>.
646
0d863452 647=head3 Fall-through
648
649You can use the C<continue> keyword to fall through from one
650case to the next:
651
27cec4bd 652 given($foo) {
4b7b0ae4 653 when (/x/) { say '$foo contains an x'; continue }
654 when (/y/) { say '$foo contains a y' }
02e7afe2 655 default { say '$foo does not contain a y' }
27cec4bd 656 }
0d863452 657
658=head3 Switching in a loop
659
660Instead of using C<given()>, you can use a C<foreach()> loop.
661For example, here's one way to count how many times a particular
662string occurs in an array:
663
27cec4bd 664 my $count = 0;
665 for (@array) {
666 when ("foo") { ++$count }
5a964f20 667 }
27cec4bd 668 print "\@array contains $count copies of 'foo'\n";
0d863452 669
670On exit from the C<when> block, there is an implicit C<next>.
671You can override that with an explicit C<last> if you're only
672interested in the first match.
673
674This doesn't work if you explicitly specify a loop variable,
675as in C<for $item (@array)>. You have to use the default
676variable C<$_>. (You can use C<for my $_ (@array)>.)
677
678=head3 Smart matching in detail
679
4b7b0ae4 680The behaviour of a smart match depends on what type of thing
681its arguments are. It is always commutative, i.e. C<$a ~~ $b>
682behaves the same as C<$b ~~ $a>. The behaviour is determined
683by the following table: the first row that applies, in either
684order, determines the match behaviour.
685
686
687 $a $b Type of Match Implied Matching Code
688 ====== ===== ===================== =============
689 (overloading trumps everything)
690
691 Code[+] Code[+] referential equality $a == $b
692 Any Code[+] scalar sub truth $b->($a)
693
694 Hash Hash hash keys identical [sort keys %$a]~~[sort keys %$b]
d6db67f2 695 Hash Array hash slice existence @$b == grep {exists $a->{$_}} @$b
4b7b0ae4 696 Hash Regex hash key grep grep /$b/, keys %$a
697 Hash Any hash entry existence exists $a->{$b}
698
699 Array Array arrays are identical[*]
700 Array Regex array grep grep /$b/, @$a
701 Array Num array contains number grep $_ == $b, @$a
702 Array Any array contains string grep $_ eq $b, @$a
703
704 Any undef undefined !defined $a
705 Any Regex pattern match $a =~ /$b/
706 Code() Code() results are equal $a->() eq $b->()
707 Any Code() simple closure truth $b->() # ignoring $a
708 Num numish[!] numeric equality $a == $b
709 Any Str string equality $a eq $b
710 Any Num numeric equality $a == $b
711
712 Any Any string equality $a eq $b
713
714
715 + - this must be a code reference whose prototype (if present) is not ""
716 (subs with a "" prototype are dealt with by the 'Code()' entry lower down)
4b021f5f 717 * - that is, each element matches the element of same index in the other
718 array. If a circular reference is found, we fall back to referential
719 equality.
4b7b0ae4 720 ! - either a real number, or a string that looks like a number
0d863452 721
4b7b0ae4 722The "matching code" doesn't represent the I<real> matching code,
723of course: it's just there to explain the intended meaning. Unlike
724C<grep>, the smart match operator will short-circuit whenever it can.
5a964f20 725
0d863452 726=head3 Custom matching via overloading
5a964f20 727
0d863452 728You can change the way that an object is matched by overloading
4b7b0ae4 729the C<~~> operator. This trumps the usual smart match semantics.
730See L<overload>.
5a964f20 731
54a85b95 732=head3 Differences from Perl 6
733
734The Perl 5 smart match and C<given>/C<when> constructs are not
735absolutely identical to their Perl 6 analogues. The most visible
736difference is that, in Perl 5, parentheses are required around
4f8ea571 737the argument to C<given()> and C<when()> (except when this last
738one is used as a statement modifier). Parentheses in Perl 6
54a85b95 739are always optional in a control construct such as C<if()>,
740C<while()>, or C<when()>; they can't be made optional in Perl
7415 without a great deal of potential confusion, because Perl 5
742would parse the expression
743
744 given $foo {
745 ...
746 }
747
748as though the argument to C<given> were an element of the hash
749C<%foo>, interpreting the braces as hash-element syntax.
750
ccc668fa 751The table of smart matches is not identical to that proposed by the
752Perl 6 specification, mainly due to the differences between Perl 6's
753and Perl 5's data models.
54a85b95 754
755In Perl 6, C<when()> will always do an implicit smart match
756with its argument, whilst it is convenient in Perl 5 to
757suppress this implicit smart match in certain situations,
758as documented above. (The difference is largely because Perl 5
759does not, even internally, have a boolean type.)
760
4633a7c4 761=head2 Goto
d74e8afc 762X<goto>
4633a7c4 763
19799a22 764Although not for the faint of heart, Perl does support a C<goto>
765statement. There are three forms: C<goto>-LABEL, C<goto>-EXPR, and
766C<goto>-&NAME. A loop's LABEL is not actually a valid target for
767a C<goto>; it's just the name of the loop.
4633a7c4 768
f86cebdf 769The C<goto>-LABEL form finds the statement labeled with LABEL and resumes
4633a7c4 770execution there. It may not be used to go into any construct that
f86cebdf 771requires initialization, such as a subroutine or a C<foreach> loop. It
4633a7c4 772also can't be used to go into a construct that is optimized away. It
773can be used to go almost anywhere else within the dynamic scope,
774including out of subroutines, but it's usually better to use some other
f86cebdf 775construct such as C<last> or C<die>. The author of Perl has never felt the
776need to use this form of C<goto> (in Perl, that is--C is another matter).
4633a7c4 777
f86cebdf 778The C<goto>-EXPR form expects a label name, whose scope will be resolved
779dynamically. This allows for computed C<goto>s per FORTRAN, but isn't
4633a7c4 780necessarily recommended if you're optimizing for maintainability:
781
96f2dc66 782 goto(("FOO", "BAR", "GLARCH")[$i]);
4633a7c4 783
f86cebdf 784The C<goto>-&NAME form is highly magical, and substitutes a call to the
4633a7c4 785named subroutine for the currently running subroutine. This is used by
f86cebdf 786C<AUTOLOAD()> subroutines that wish to load another subroutine and then
4633a7c4 787pretend that the other subroutine had been called in the first place
f86cebdf 788(except that any modifications to C<@_> in the current subroutine are
789propagated to the other subroutine.) After the C<goto>, not even C<caller()>
4633a7c4 790will be able to tell that this routine was called first.
791
c07a80fd 792In almost all cases like this, it's usually a far, far better idea to use the
793structured control flow mechanisms of C<next>, C<last>, or C<redo> instead of
4633a7c4 794resorting to a C<goto>. For certain applications, the catch and throw pair of
795C<eval{}> and die() for exception processing can also be a prudent approach.
cb1a09d0 796
797=head2 PODs: Embedded Documentation
d74e8afc 798X<POD> X<documentation>
cb1a09d0 799
800Perl has a mechanism for intermixing documentation with source code.
c07a80fd 801While it's expecting the beginning of a new statement, if the compiler
cb1a09d0 802encounters a line that begins with an equal sign and a word, like this
803
804 =head1 Here There Be Pods!
805
806Then that text and all remaining text up through and including a line
807beginning with C<=cut> will be ignored. The format of the intervening
54310121 808text is described in L<perlpod>.
cb1a09d0 809
810This allows you to intermix your source code
811and your documentation text freely, as in
812
813 =item snazzle($)
814
54310121 815 The snazzle() function will behave in the most spectacular
cb1a09d0 816 form that you can possibly imagine, not even excepting
817 cybernetic pyrotechnics.
818
819 =cut back to the compiler, nuff of this pod stuff!
820
821 sub snazzle($) {
822 my $thingie = shift;
823 .........
54310121 824 }
cb1a09d0 825
54310121 826Note that pod translators should look at only paragraphs beginning
184e9718 827with a pod directive (it makes parsing easier), whereas the compiler
54310121 828actually knows to look for pod escapes even in the middle of a
cb1a09d0 829paragraph. This means that the following secret stuff will be
830ignored by both the compiler and the translators.
831
832 $a=3;
833 =secret stuff
834 warn "Neither POD nor CODE!?"
835 =cut back
836 print "got $a\n";
837
f86cebdf 838You probably shouldn't rely upon the C<warn()> being podded out forever.
cb1a09d0 839Not all pod translators are well-behaved in this regard, and perhaps
840the compiler will become pickier.
774d564b 841
842One may also use pod directives to quickly comment out a section
843of code.
844
845=head2 Plain Old Comments (Not!)
d74e8afc 846X<comment> X<line> X<#> X<preprocessor> X<eval>
774d564b 847
6ec4bd10 848Perl can process line directives, much like the C preprocessor. Using
5a964f20 849this, one can control Perl's idea of filenames and line numbers in
774d564b 850error or warning messages (especially for strings that are processed
f86cebdf 851with C<eval()>). The syntax for this mechanism is the same as for most
774d564b 852C preprocessors: it matches the regular expression
6ec4bd10 853
854 # example: '# line 42 "new_filename.plx"'
82d4537c 855 /^\# \s*
6ec4bd10 856 line \s+ (\d+) \s*
7b6e93a8 857 (?:\s("?)([^"]+)\2)? \s*
6ec4bd10 858 $/x
859
7b6e93a8 860with C<$1> being the line number for the next line, and C<$3> being
861the optional filename (specified with or without quotes).
774d564b 862
003183f2 863There is a fairly obvious gotcha included with the line directive:
864Debuggers and profilers will only show the last source line to appear
865at a particular line number in a given file. Care should be taken not
866to cause line number collisions in code you'd like to debug later.
867
774d564b 868Here are some examples that you should be able to type into your command
869shell:
870
871 % perl
872 # line 200 "bzzzt"
873 # the `#' on the previous line must be the first char on line
874 die 'foo';
875 __END__
876 foo at bzzzt line 201.
54310121 877
774d564b 878 % perl
879 # line 200 "bzzzt"
880 eval qq[\n#line 2001 ""\ndie 'foo']; print $@;
881 __END__
882 foo at - line 2001.
54310121 883
774d564b 884 % perl
885 eval qq[\n#line 200 "foo bar"\ndie 'foo']; print $@;
886 __END__
887 foo at foo bar line 200.
54310121 888
774d564b 889 % perl
890 # line 345 "goop"
891 eval "\n#line " . __LINE__ . ' "' . __FILE__ ."\"\ndie 'foo'";
892 print $@;
893 __END__
894 foo at goop line 345.
895
896=cut