[inseparable changes from patch from perl5.003_12 to perl5.003_13]
[p5sagit/p5-mst-13.2.git] / pod / perlop.pod
CommitLineData
a0d0e21e 1=head1 NAME
2
3perlop - Perl operators and precedence
4
5=head1 SYNOPSIS
6
7Perl operators have the following associativity and precedence,
8listed from highest precedence to lowest. Note that all operators
9borrowed from C keep the same precedence relationship with each other,
10even where C's precedence is slightly screwy. (This makes learning
c07a80fd 11Perl easier for C folks.) With very few exceptions, these all
12operate on scalar values only, not array values.
a0d0e21e 13
14 left terms and list operators (leftward)
15 left ->
16 nonassoc ++ --
17 right **
18 right ! ~ \ and unary + and -
19 left =~ !~
20 left * / % x
21 left + - .
22 left << >>
23 nonassoc named unary operators
24 nonassoc < > <= >= lt gt le ge
25 nonassoc == != <=> eq ne cmp
26 left &
27 left | ^
28 left &&
29 left ||
30 nonassoc ..
31 right ?:
32 right = += -= *= etc.
33 left , =>
34 nonassoc list operators (rightward)
a5f75d66 35 right not
a0d0e21e 36 left and
37 left or xor
38
39In the following sections, these operators are covered in precedence order.
40
cb1a09d0 41=head1 DESCRIPTION
a0d0e21e 42
43=head2 Terms and List Operators (Leftward)
44
45Any TERM is of highest precedence of Perl. These includes variables,
5f05dabc 46quote and quote-like operators, any expression in parentheses,
a0d0e21e 47and any function whose arguments are parenthesized. Actually, there
48aren't really functions in this sense, just list operators and unary
49operators behaving as functions because you put parentheses around
50the arguments. These are all documented in L<perlfunc>.
51
52If any list operator (print(), etc.) or any unary operator (chdir(), etc.)
53is followed by a left parenthesis as the next token, the operator and
54arguments within parentheses are taken to be of highest precedence,
55just like a normal function call.
56
57In the absence of parentheses, the precedence of list operators such as
58C<print>, C<sort>, or C<chmod> is either very high or very low depending on
59whether you look at the left side of operator or the right side of it.
60For example, in
61
62 @ary = (1, 3, sort 4, 2);
63 print @ary; # prints 1324
64
65the commas on the right of the sort are evaluated before the sort, but
66the commas on the left are evaluated after. In other words, list
67operators tend to gobble up all the arguments that follow them, and
68then act like a simple TERM with regard to the preceding expression.
5f05dabc 69Note that you have to be careful with parentheses:
a0d0e21e 70
71 # These evaluate exit before doing the print:
72 print($foo, exit); # Obviously not what you want.
73 print $foo, exit; # Nor is this.
74
75 # These do the print before evaluating exit:
76 (print $foo), exit; # This is what you want.
77 print($foo), exit; # Or this.
78 print ($foo), exit; # Or even this.
79
80Also note that
81
82 print ($foo & 255) + 1, "\n";
83
84probably doesn't do what you expect at first glance. See
85L<Named Unary Operators> for more discussion of this.
86
87Also parsed as terms are the C<do {}> and C<eval {}> constructs, as
88well as subroutine and method calls, and the anonymous
89constructors C<[]> and C<{}>.
90
5f05dabc 91See also L<Quote and Quote-Like Operators> toward the end of this section,
c07a80fd 92as well as L<"I/O Operators">.
a0d0e21e 93
94=head2 The Arrow Operator
95
96Just as in C and C++, "C<-E<gt>>" is an infix dereference operator. If the
97right side is either a C<[...]> or C<{...}> subscript, then the left side
98must be either a hard or symbolic reference to an array or hash (or
99a location capable of holding a hard reference, if it's an lvalue (assignable)).
100See L<perlref>.
101
102Otherwise, the right side is a method name or a simple scalar variable
103containing the method name, and the left side must either be an object
104(a blessed reference) or a class name (that is, a package name).
105See L<perlobj>.
106
5f05dabc 107=head2 Auto-increment and Auto-decrement
a0d0e21e 108
109"++" and "--" work as in C. That is, if placed before a variable, they
110increment or decrement the variable before returning the value, and if
111placed after, increment or decrement the variable after returning the value.
112
5f05dabc 113The auto-increment operator has a little extra built-in magic to it. If
a0d0e21e 114you increment a variable that is numeric, or that has ever been used in
115a numeric context, you get a normal increment. If, however, the
5f05dabc 116variable has been used in only string contexts since it was set, and
a0d0e21e 117has a value that is not null and matches the pattern
118C</^[a-zA-Z]*[0-9]*$/>, the increment is done as a string, preserving each
119character within its range, with carry:
120
121 print ++($foo = '99'); # prints '100'
122 print ++($foo = 'a0'); # prints 'a1'
123 print ++($foo = 'Az'); # prints 'Ba'
124 print ++($foo = 'zz'); # prints 'aaa'
125
5f05dabc 126The auto-decrement operator is not magical.
a0d0e21e 127
128=head2 Exponentiation
129
130Binary "**" is the exponentiation operator. Note that it binds even more
cb1a09d0 131tightly than unary minus, so -2**4 is -(2**4), not (-2)**4. (This is
132implemented using C's pow(3) function, which actually works on doubles
133internally.)
a0d0e21e 134
135=head2 Symbolic Unary Operators
136
5f05dabc 137Unary "!" performs logical negation, i.e., "not". See also C<not> for a lower
a0d0e21e 138precedence version of this.
139
140Unary "-" performs arithmetic negation if the operand is numeric. If
141the operand is an identifier, a string consisting of a minus sign
142concatenated with the identifier is returned. Otherwise, if the string
143starts with a plus or minus, a string starting with the opposite sign
144is returned. One effect of these rules is that C<-bareword> is equivalent
145to C<"-bareword">.
146
5f05dabc 147Unary "~" performs bitwise negation, i.e., 1's complement.
55497cff 148(See also L<Integer Arithmetic>.)
a0d0e21e 149
150Unary "+" has no effect whatsoever, even on strings. It is useful
151syntactically for separating a function name from a parenthesized expression
152that would otherwise be interpreted as the complete list of function
5ba421f6 153arguments. (See examples above under L<Terms and List Operators (Leftward)>.)
a0d0e21e 154
155Unary "\" creates a reference to whatever follows it. See L<perlref>.
156Do not confuse this behavior with the behavior of backslash within a
157string, although both forms do convey the notion of protecting the next
158thing from interpretation.
159
160=head2 Binding Operators
161
c07a80fd 162Binary "=~" binds a scalar expression to a pattern match. Certain operations
cb1a09d0 163search or modify the string $_ by default. This operator makes that kind
164of operation work on some other string. The right argument is a search
165pattern, substitution, or translation. The left argument is what is
166supposed to be searched, substituted, or translated instead of the default
167$_. The return value indicates the success of the operation. (If the
168right argument is an expression rather than a search pattern,
169substitution, or translation, it is interpreted as a search pattern at run
5f05dabc 170time. This is less efficient than an explicit search, because the pattern
cb1a09d0 171must be compiled every time the expression is evaluated--unless you've
172used C</o>.)
a0d0e21e 173
174Binary "!~" is just like "=~" except the return value is negated in
175the logical sense.
176
177=head2 Multiplicative Operators
178
179Binary "*" multiplies two numbers.
180
181Binary "/" divides two numbers.
182
183Binary "%" computes the modulus of the two numbers.
184
185Binary "x" is the repetition operator. In a scalar context, it
186returns a string consisting of the left operand repeated the number of
187times specified by the right operand. In a list context, if the left
5f05dabc 188operand is a list in parentheses, it repeats the list.
a0d0e21e 189
190 print '-' x 80; # print row of dashes
191
192 print "\t" x ($tab/8), ' ' x ($tab%8); # tab over
193
194 @ones = (1) x 80; # a list of 80 1's
195 @ones = (5) x @ones; # set all elements to 5
196
197
198=head2 Additive Operators
199
200Binary "+" returns the sum of two numbers.
201
202Binary "-" returns the difference of two numbers.
203
204Binary "." concatenates two strings.
205
206=head2 Shift Operators
207
55497cff 208Binary "<<" returns the value of its left argument shifted left by the
209number of bits specified by the right argument. Arguments should be
210integers. (See also L<Integer Arithmetic>.)
a0d0e21e 211
55497cff 212Binary ">>" returns the value of its left argument shifted right by
213the number of bits specified by the right argument. Arguments should
214be integers. (See also L<Integer Arithmetic>.)
a0d0e21e 215
216=head2 Named Unary Operators
217
218The various named unary operators are treated as functions with one
219argument, with optional parentheses. These include the filetest
220operators, like C<-f>, C<-M>, etc. See L<perlfunc>.
221
222If any list operator (print(), etc.) or any unary operator (chdir(), etc.)
223is followed by a left parenthesis as the next token, the operator and
224arguments within parentheses are taken to be of highest precedence,
225just like a normal function call. Examples:
226
227 chdir $foo || die; # (chdir $foo) || die
228 chdir($foo) || die; # (chdir $foo) || die
229 chdir ($foo) || die; # (chdir $foo) || die
230 chdir +($foo) || die; # (chdir $foo) || die
231
232but, because * is higher precedence than ||:
233
234 chdir $foo * 20; # chdir ($foo * 20)
235 chdir($foo) * 20; # (chdir $foo) * 20
236 chdir ($foo) * 20; # (chdir $foo) * 20
237 chdir +($foo) * 20; # chdir ($foo * 20)
238
239 rand 10 * 20; # rand (10 * 20)
240 rand(10) * 20; # (rand 10) * 20
241 rand (10) * 20; # (rand 10) * 20
242 rand +(10) * 20; # rand (10 * 20)
243
5ba421f6 244See also L<"Terms and List Operators (Leftward)">.
a0d0e21e 245
246=head2 Relational Operators
247
6ee5d4e7 248Binary "E<lt>" returns true if the left argument is numerically less than
a0d0e21e 249the right argument.
250
6ee5d4e7 251Binary "E<gt>" returns true if the left argument is numerically greater
a0d0e21e 252than the right argument.
253
6ee5d4e7 254Binary "E<lt>=" returns true if the left argument is numerically less than
a0d0e21e 255or equal to the right argument.
256
6ee5d4e7 257Binary "E<gt>=" returns true if the left argument is numerically greater
a0d0e21e 258than or equal to the right argument.
259
260Binary "lt" returns true if the left argument is stringwise less than
261the right argument.
262
263Binary "gt" returns true if the left argument is stringwise greater
264than the right argument.
265
266Binary "le" returns true if the left argument is stringwise less than
267or equal to the right argument.
268
269Binary "ge" returns true if the left argument is stringwise greater
270than or equal to the right argument.
271
272=head2 Equality Operators
273
274Binary "==" returns true if the left argument is numerically equal to
275the right argument.
276
277Binary "!=" returns true if the left argument is numerically not equal
278to the right argument.
279
6ee5d4e7 280Binary "E<lt>=E<gt>" returns -1, 0, or 1 depending on whether the left
281argument is numerically less than, equal to, or greater than the right
282argument.
a0d0e21e 283
284Binary "eq" returns true if the left argument is stringwise equal to
285the right argument.
286
287Binary "ne" returns true if the left argument is stringwise not equal
288to the right argument.
289
290Binary "cmp" returns -1, 0, or 1 depending on whether the left argument is stringwise
291less than, equal to, or greater than the right argument.
292
293=head2 Bitwise And
294
295Binary "&" returns its operators ANDed together bit by bit.
55497cff 296(See also L<Integer Arithmetic>.)
a0d0e21e 297
298=head2 Bitwise Or and Exclusive Or
299
300Binary "|" returns its operators ORed together bit by bit.
55497cff 301(See also L<Integer Arithmetic>.)
a0d0e21e 302
303Binary "^" returns its operators XORed together bit by bit.
55497cff 304(See also L<Integer Arithmetic>.)
a0d0e21e 305
306=head2 C-style Logical And
307
308Binary "&&" performs a short-circuit logical AND operation. That is,
309if the left operand is false, the right operand is not even evaluated.
310Scalar or list context propagates down to the right operand if it
311is evaluated.
312
313=head2 C-style Logical Or
314
315Binary "||" performs a short-circuit logical OR operation. That is,
316if the left operand is true, the right operand is not even evaluated.
317Scalar or list context propagates down to the right operand if it
318is evaluated.
319
320The C<||> and C<&&> operators differ from C's in that, rather than returning
3210 or 1, they return the last value evaluated. Thus, a reasonably portable
322way to find out the home directory (assuming it's not "0") might be:
323
324 $home = $ENV{'HOME'} || $ENV{'LOGDIR'} ||
325 (getpwuid($<))[7] || die "You're homeless!\n";
326
327As more readable alternatives to C<&&> and C<||>, Perl provides "and" and
328"or" operators (see below). The short-circuit behavior is identical. The
329precedence of "and" and "or" is much lower, however, so that you can
330safely use them after a list operator without the need for
331parentheses:
332
333 unlink "alpha", "beta", "gamma"
334 or gripe(), next LINE;
335
336With the C-style operators that would have been written like this:
337
338 unlink("alpha", "beta", "gamma")
339 || (gripe(), next LINE);
340
341=head2 Range Operator
342
343Binary ".." is the range operator, which is really two different
344operators depending on the context. In a list context, it returns an
345array of values counting (by ones) from the left value to the right
346value. This is useful for writing C<for (1..10)> loops and for doing
347slice operations on arrays. Be aware that under the current implementation,
348a temporary array is created, so you'll burn a lot of memory if you
349write something like this:
350
351 for (1 .. 1_000_000) {
352 # code
353 }
354
355In a scalar context, ".." returns a boolean value. The operator is
356bistable, like a flip-flop, and emulates the line-range (comma) operator
357of B<sed>, B<awk>, and various editors. Each ".." operator maintains its
358own boolean state. It is false as long as its left operand is false.
359Once the left operand is true, the range operator stays true until the
360right operand is true, I<AFTER> which the range operator becomes false
361again. (It doesn't become false till the next time the range operator is
362evaluated. It can test the right operand and become false on the same
363evaluation it became true (as in B<awk>), but it still returns true once.
364If you don't want it to test the right operand till the next evaluation
365(as in B<sed>), use three dots ("...") instead of two.) The right
366operand is not evaluated while the operator is in the "false" state, and
367the left operand is not evaluated while the operator is in the "true"
368state. The precedence is a little lower than || and &&. The value
369returned is either the null string for false, or a sequence number
370(beginning with 1) for true. The sequence number is reset for each range
371encountered. The final sequence number in a range has the string "E0"
372appended to it, which doesn't affect its numeric value, but gives you
373something to search for if you want to exclude the endpoint. You can
374exclude the beginning point by waiting for the sequence number to be
375greater than 1. If either operand of scalar ".." is a numeric literal,
376that operand is implicitly compared to the C<$.> variable, the current
377line number. Examples:
378
379As a scalar operator:
380
381 if (101 .. 200) { print; } # print 2nd hundred lines
382 next line if (1 .. /^$/); # skip header lines
383 s/^/> / if (/^$/ .. eof()); # quote body
384
385As a list operator:
386
387 for (101 .. 200) { print; } # print $_ 100 times
388 @foo = @foo[$[ .. $#foo]; # an expensive no-op
389 @foo = @foo[$#foo-4 .. $#foo]; # slice last 5 items
390
391The range operator (in a list context) makes use of the magical
5f05dabc 392auto-increment algorithm if the operands are strings. You
a0d0e21e 393can say
394
395 @alphabet = ('A' .. 'Z');
396
397to get all the letters of the alphabet, or
398
399 $hexdigit = (0 .. 9, 'a' .. 'f')[$num & 15];
400
401to get a hexadecimal digit, or
402
403 @z2 = ('01' .. '31'); print $z2[$mday];
404
405to get dates with leading zeros. If the final value specified is not
406in the sequence that the magical increment would produce, the sequence
407goes until the next value would be longer than the final value
408specified.
409
410=head2 Conditional Operator
411
412Ternary "?:" is the conditional operator, just as in C. It works much
413like an if-then-else. If the argument before the ? is true, the
414argument before the : is returned, otherwise the argument after the :
cb1a09d0 415is returned. For example:
416
417 printf "I have %d dog%s.\n", $n,
418 ($n == 1) ? '' : "s";
419
420Scalar or list context propagates downward into the 2nd
421or 3rd argument, whichever is selected.
422
423 $a = $ok ? $b : $c; # get a scalar
424 @a = $ok ? @b : @c; # get an array
425 $a = $ok ? @b : @c; # oops, that's just a count!
426
427The operator may be assigned to if both the 2nd and 3rd arguments are
428legal lvalues (meaning that you can assign to them):
a0d0e21e 429
430 ($a_or_b ? $a : $b) = $c;
431
cb1a09d0 432This is not necessarily guaranteed to contribute to the readability of your program.
a0d0e21e 433
4633a7c4 434=head2 Assignment Operators
a0d0e21e 435
436"=" is the ordinary assignment operator.
437
438Assignment operators work as in C. That is,
439
440 $a += 2;
441
442is equivalent to
443
444 $a = $a + 2;
445
446although without duplicating any side effects that dereferencing the lvalue
447might trigger, such as from tie(). Other assignment operators work similarly.
448The following are recognized:
449
450 **= += *= &= <<= &&=
451 -= /= |= >>= ||=
452 .= %= ^=
453 x=
454
455Note that while these are grouped by family, they all have the precedence
456of assignment.
457
458Unlike in C, the assignment operator produces a valid lvalue. Modifying
459an assignment is equivalent to doing the assignment and then modifying
460the variable that was assigned to. This is useful for modifying
461a copy of something, like this:
462
463 ($tmp = $global) =~ tr [A-Z] [a-z];
464
465Likewise,
466
467 ($a += 2) *= 3;
468
469is equivalent to
470
471 $a += 2;
472 $a *= 3;
473
748a9306 474=head2 Comma Operator
a0d0e21e 475
476Binary "," is the comma operator. In a scalar context it evaluates
477its left argument, throws that value away, then evaluates its right
478argument and returns that value. This is just like C's comma operator.
479
480In a list context, it's just the list argument separator, and inserts
481both its arguments into the list.
482
6ee5d4e7 483The =E<gt> digraph is mostly just a synonym for the comma operator. It's useful for
cb1a09d0 484documenting arguments that come in pairs. As of release 5.001, it also forces
4633a7c4 485any word to the left of it to be interpreted as a string.
748a9306 486
a0d0e21e 487=head2 List Operators (Rightward)
488
489On the right side of a list operator, it has very low precedence,
490such that it controls all comma-separated expressions found there.
491The only operators with lower precedence are the logical operators
492"and", "or", and "not", which may be used to evaluate calls to list
493operators without the need for extra parentheses:
494
495 open HANDLE, "filename"
496 or die "Can't open: $!\n";
497
5ba421f6 498See also discussion of list operators in L<Terms and List Operators (Leftward)>.
a0d0e21e 499
500=head2 Logical Not
501
502Unary "not" returns the logical negation of the expression to its right.
503It's the equivalent of "!" except for the very low precedence.
504
505=head2 Logical And
506
507Binary "and" returns the logical conjunction of the two surrounding
508expressions. It's equivalent to && except for the very low
5f05dabc 509precedence. This means that it short-circuits: i.e., the right
a0d0e21e 510expression is evaluated only if the left expression is true.
511
512=head2 Logical or and Exclusive Or
513
514Binary "or" returns the logical disjunction of the two surrounding
515expressions. It's equivalent to || except for the very low
5f05dabc 516precedence. This means that it short-circuits: i.e., the right
a0d0e21e 517expression is evaluated only if the left expression is false.
518
519Binary "xor" returns the exclusive-OR of the two surrounding expressions.
520It cannot short circuit, of course.
521
522=head2 C Operators Missing From Perl
523
524Here is what C has that Perl doesn't:
525
526=over 8
527
528=item unary &
529
530Address-of operator. (But see the "\" operator for taking a reference.)
531
532=item unary *
533
534Dereference-address operator. (Perl's prefix dereferencing
535operators are typed: $, @, %, and &.)
536
537=item (TYPE)
538
539Type casting operator.
540
541=back
542
5f05dabc 543=head2 Quote and Quote-like Operators
a0d0e21e 544
545While we usually think of quotes as literal values, in Perl they
546function as operators, providing various kinds of interpolating and
547pattern matching capabilities. Perl provides customary quote characters
548for these behaviors, but also provides a way for you to choose your
549quote character for any of them. In the following table, a C<{}> represents
550any pair of delimiters you choose. Non-bracketing delimiters use
551the same character fore and aft, but the 4 sorts of brackets
552(round, angle, square, curly) will all nest.
553
554 Customary Generic Meaning Interpolates
555 '' q{} Literal no
556 "" qq{} Literal yes
557 `` qx{} Command yes
558 qw{} Word list no
559 // m{} Pattern match yes
560 s{}{} Substitution yes
561 tr{}{} Translation no
562
cb1a09d0 563For constructs that do interpolation, variables beginning with "C<$>" or "C<@>"
a0d0e21e 564are interpolated, as are the following sequences:
565
6ee5d4e7 566 \t tab (HT, TAB)
567 \n newline (LF, NL)
568 \r return (CR)
569 \f form feed (FF)
570 \b backspace (BS)
571 \a alarm (bell) (BEL)
572 \e escape (ESC)
a0d0e21e 573 \033 octal char
574 \x1b hex char
575 \c[ control char
576 \l lowercase next char
577 \u uppercase next char
578 \L lowercase till \E
579 \U uppercase till \E
580 \E end case modification
581 \Q quote regexp metacharacters till \E
582
583Patterns are subject to an additional level of interpretation as a
584regular expression. This is done as a second pass, after variables are
585interpolated, so that regular expressions may be incorporated into the
586pattern from the variables. If this is not what you want, use C<\Q> to
587interpolate a variable literally.
588
589Apart from the above, there are no multiple levels of interpolation. In
5f05dabc 590particular, contrary to the expectations of shell programmers, back-quotes
a0d0e21e 591do I<NOT> interpolate within double quotes, nor do single quotes impede
592evaluation of variables when used within double quotes.
593
5f05dabc 594=head2 Regexp Quote-Like Operators
cb1a09d0 595
5f05dabc 596Here are the quote-like operators that apply to pattern
cb1a09d0 597matching and related activities.
598
a0d0e21e 599=over 8
600
601=item ?PATTERN?
602
603This is just like the C</pattern/> search, except that it matches only
604once between calls to the reset() operator. This is a useful
5f05dabc 605optimization when you want to see only the first occurrence of
a0d0e21e 606something in each file of a set of files, for instance. Only C<??>
607patterns local to the current package are reset.
608
609This usage is vaguely deprecated, and may be removed in some future
610version of Perl.
611
612=item m/PATTERN/gimosx
613
614=item /PATTERN/gimosx
615
616Searches a string for a pattern match, and in a scalar context returns
617true (1) or false (''). If no string is specified via the C<=~> or
618C<!~> operator, the $_ string is searched. (The string specified with
619C<=~> need not be an lvalue--it may be the result of an expression
620evaluation, but remember the C<=~> binds rather tightly.) See also
621L<perlre>.
622
623Options are:
624
5f05dabc 625 g Match globally, i.e., find all occurrences.
a0d0e21e 626 i Do case-insensitive pattern matching.
627 m Treat string as multiple lines.
5f05dabc 628 o Compile pattern only once.
a0d0e21e 629 s Treat string as single line.
630 x Use extended regular expressions.
631
632If "/" is the delimiter then the initial C<m> is optional. With the C<m>
633you can use any pair of non-alphanumeric, non-whitespace characters as
634delimiters. This is particularly useful for matching Unix path names
635that contain "/", to avoid LTS (leaning toothpick syndrome).
636
637PATTERN may contain variables, which will be interpolated (and the
638pattern recompiled) every time the pattern search is evaluated. (Note
639that C<$)> and C<$|> might not be interpolated because they look like
640end-of-string tests.) If you want such a pattern to be compiled only
641once, add a C</o> after the trailing delimiter. This avoids expensive
642run-time recompilations, and is useful when the value you are
643interpolating won't change over the life of the script. However, mentioning
644C</o> constitutes a promise that you won't change the variables in the pattern.
645If you change them, Perl won't even notice.
646
4633a7c4 647If the PATTERN evaluates to a null string, the last
648successfully executed regular expression is used instead.
a0d0e21e 649
650If used in a context that requires a list value, a pattern match returns a
651list consisting of the subexpressions matched by the parentheses in the
5f05dabc 652pattern, i.e., (C<$1>, $2, $3...). (Note that here $1 etc. are also set, and
a0d0e21e 653that this differs from Perl 4's behavior.) If the match fails, a null
654array is returned. If the match succeeds, but there were no parentheses,
655a list value of (1) is returned.
656
657Examples:
658
659 open(TTY, '/dev/tty');
660 <TTY> =~ /^y/i && foo(); # do foo if desired
661
662 if (/Version: *([0-9.]*)/) { $version = $1; }
663
664 next if m#^/usr/spool/uucp#;
665
666 # poor man's grep
667 $arg = shift;
668 while (<>) {
669 print if /$arg/o; # compile only once
670 }
671
672 if (($F1, $F2, $Etc) = ($foo =~ /^(\S+)\s+(\S+)\s*(.*)/))
673
674This last example splits $foo into the first two words and the
5f05dabc 675remainder of the line, and assigns those three fields to $F1, $F2, and
676$Etc. The conditional is true if any variables were assigned, i.e., if
a0d0e21e 677the pattern matched.
678
679The C</g> modifier specifies global pattern matching--that is, matching
680as many times as possible within the string. How it behaves depends on
681the context. In a list context, it returns a list of all the
682substrings matched by all the parentheses in the regular expression.
683If there are no parentheses, it returns a list of all the matched
684strings, as if there were parentheses around the whole pattern.
685
686In a scalar context, C<m//g> iterates through the string, returning TRUE
687each time it matches, and FALSE when it eventually runs out of
688matches. (In other words, it remembers where it left off last time and
689restarts the search at that point. You can actually find the current
690match position of a string using the pos() function--see L<perlfunc>.)
691If you modify the string in any way, the match position is reset to the
692beginning. Examples:
693
694 # list context
695 ($one,$five,$fifteen) = (`uptime` =~ /(\d+\.\d+)/g);
696
697 # scalar context
5f05dabc 698 $/ = ""; $* = 1; # $* deprecated in modern perls
a0d0e21e 699 while ($paragraph = <>) {
700 while ($paragraph =~ /[a-z]['")]*[.!?]+['")]*\s/g) {
701 $sentences++;
702 }
703 }
704 print "$sentences\n";
705
706=item q/STRING/
707
708=item C<'STRING'>
709
710A single-quoted, literal string. Backslashes are ignored, unless
711followed by the delimiter or another backslash, in which case the
712delimiter or backslash is interpolated.
713
714 $foo = q!I said, "You said, 'She said it.'"!;
715 $bar = q('This is it.');
716
717=item qq/STRING/
718
719=item "STRING"
720
721A double-quoted, interpolated string.
722
723 $_ .= qq
724 (*** The previous line contains the naughty word "$1".\n)
725 if /(tcl|rexx|python)/; # :-)
726
727=item qx/STRING/
728
729=item `STRING`
730
731A string which is interpolated and then executed as a system command.
732The collected standard output of the command is returned. In scalar
733context, it comes back as a single (potentially multi-line) string.
734In list context, returns a list of lines (however you've defined lines
735with $/ or $INPUT_RECORD_SEPARATOR).
736
737 $today = qx{ date };
738
739See L<I/O Operators> for more discussion.
740
741=item qw/STRING/
742
743Returns a list of the words extracted out of STRING, using embedded
744whitespace as the word delimiters. It is exactly equivalent to
745
746 split(' ', q/STRING/);
747
748Some frequently seen examples:
749
750 use POSIX qw( setlocale localeconv )
751 @EXPORT = qw( foo bar baz );
752
753=item s/PATTERN/REPLACEMENT/egimosx
754
755Searches a string for a pattern, and if found, replaces that pattern
756with the replacement text and returns the number of substitutions
e37d713d 757made. Otherwise it returns false (specifically, the empty string).
a0d0e21e 758
759If no string is specified via the C<=~> or C<!~> operator, the C<$_>
760variable is searched and modified. (The string specified with C<=~> must
761be a scalar variable, an array element, a hash element, or an assignment
5f05dabc 762to one of those, i.e., an lvalue.)
a0d0e21e 763
764If the delimiter chosen is single quote, no variable interpolation is
765done on either the PATTERN or the REPLACEMENT. Otherwise, if the
766PATTERN contains a $ that looks like a variable rather than an
767end-of-string test, the variable will be interpolated into the pattern
5f05dabc 768at run-time. If you want the pattern compiled only once the first time
a0d0e21e 769the variable is interpolated, use the C</o> option. If the pattern
4633a7c4 770evaluates to a null string, the last successfully executed regular
a0d0e21e 771expression is used instead. See L<perlre> for further explanation on these.
772
773Options are:
774
775 e Evaluate the right side as an expression.
5f05dabc 776 g Replace globally, i.e., all occurrences.
a0d0e21e 777 i Do case-insensitive pattern matching.
778 m Treat string as multiple lines.
5f05dabc 779 o Compile pattern only once.
a0d0e21e 780 s Treat string as single line.
781 x Use extended regular expressions.
782
783Any non-alphanumeric, non-whitespace delimiter may replace the
784slashes. If single quotes are used, no interpretation is done on the
e37d713d 785replacement string (the C</e> modifier overrides this, however). Unlike
5f05dabc 786Perl 4, Perl 5 treats back-ticks as normal delimiters; the replacement
e37d713d 787text is not evaluated as a command. If the
a0d0e21e 788PATTERN is delimited by bracketing quotes, the REPLACEMENT has its own
5f05dabc 789pair of quotes, which may or may not be bracketing quotes, e.g.,
a0d0e21e 790C<s(foo)(bar)> or C<sE<lt>fooE<gt>/bar/>. A C</e> will cause the
791replacement portion to be interpreter as a full-fledged Perl expression
792and eval()ed right then and there. It is, however, syntax checked at
793compile-time.
794
795Examples:
796
797 s/\bgreen\b/mauve/g; # don't change wintergreen
798
799 $path =~ s|/usr/bin|/usr/local/bin|;
800
801 s/Login: $foo/Login: $bar/; # run-time pattern
802
803 ($foo = $bar) =~ s/this/that/;
804
805 $count = ($paragraph =~ s/Mister\b/Mr./g);
806
807 $_ = 'abc123xyz';
808 s/\d+/$&*2/e; # yields 'abc246xyz'
809 s/\d+/sprintf("%5d",$&)/e; # yields 'abc 246xyz'
810 s/\w/$& x 2/eg; # yields 'aabbcc 224466xxyyzz'
811
812 s/%(.)/$percent{$1}/g; # change percent escapes; no /e
813 s/%(.)/$percent{$1} || $&/ge; # expr now, so /e
814 s/^=(\w+)/&pod($1)/ge; # use function call
815
816 # /e's can even nest; this will expand
817 # simple embedded variables in $_
818 s/(\$\w+)/$1/eeg;
819
820 # Delete C comments.
821 $program =~ s {
4633a7c4 822 /\* # Match the opening delimiter.
823 .*? # Match a minimal number of characters.
824 \*/ # Match the closing delimiter.
a0d0e21e 825 } []gsx;
826
827 s/^\s*(.*?)\s*$/$1/; # trim white space
828
829 s/([^ ]*) *([^ ]*)/$2 $1/; # reverse 1st two fields
830
831Note the use of $ instead of \ in the last example. Unlike
5f05dabc 832B<sed>, we use the \E<lt>I<digit>E<gt> form in only the left hand side.
6ee5d4e7 833Anywhere else it's $E<lt>I<digit>E<gt>.
a0d0e21e 834
5f05dabc 835Occasionally, you can't use just a C</g> to get all the changes
a0d0e21e 836to occur. Here are two common cases:
837
838 # put commas in the right places in an integer
839 1 while s/(.*\d)(\d\d\d)/$1,$2/g; # perl4
840 1 while s/(\d)(\d\d\d)(?!\d)/$1,$2/g; # perl5
841
842 # expand tabs to 8-column spacing
843 1 while s/\t+/' ' x (length($&)*8 - length($`)%8)/e;
844
845
846=item tr/SEARCHLIST/REPLACEMENTLIST/cds
847
848=item y/SEARCHLIST/REPLACEMENTLIST/cds
849
850Translates all occurrences of the characters found in the search list
851with the corresponding character in the replacement list. It returns
852the number of characters replaced or deleted. If no string is
853specified via the =~ or !~ operator, the $_ string is translated. (The
854string specified with =~ must be a scalar variable, an array element,
5f05dabc 855or an assignment to one of those, i.e., an lvalue.) For B<sed> devotees,
a0d0e21e 856C<y> is provided as a synonym for C<tr>. If the SEARCHLIST is
857delimited by bracketing quotes, the REPLACEMENTLIST has its own pair of
5f05dabc 858quotes, which may or may not be bracketing quotes, e.g., C<tr[A-Z][a-z]>
a0d0e21e 859or C<tr(+-*/)/ABCD/>.
860
861Options:
862
863 c Complement the SEARCHLIST.
864 d Delete found but unreplaced characters.
865 s Squash duplicate replaced characters.
866
867If the C</c> modifier is specified, the SEARCHLIST character set is
868complemented. If the C</d> modifier is specified, any characters specified
869by SEARCHLIST not found in REPLACEMENTLIST are deleted. (Note
870that this is slightly more flexible than the behavior of some B<tr>
871programs, which delete anything they find in the SEARCHLIST, period.)
872If the C</s> modifier is specified, sequences of characters that were
873translated to the same character are squashed down to a single instance of the
874character.
875
876If the C</d> modifier is used, the REPLACEMENTLIST is always interpreted
877exactly as specified. Otherwise, if the REPLACEMENTLIST is shorter
878than the SEARCHLIST, the final character is replicated till it is long
879enough. If the REPLACEMENTLIST is null, the SEARCHLIST is replicated.
880This latter is useful for counting characters in a class or for
881squashing character sequences in a class.
882
883Examples:
884
885 $ARGV[1] =~ tr/A-Z/a-z/; # canonicalize to lower case
886
887 $cnt = tr/*/*/; # count the stars in $_
888
889 $cnt = $sky =~ tr/*/*/; # count the stars in $sky
890
891 $cnt = tr/0-9//; # count the digits in $_
892
893 tr/a-zA-Z//s; # bookkeeper -> bokeper
894
895 ($HOST = $host) =~ tr/a-z/A-Z/;
896
897 tr/a-zA-Z/ /cs; # change non-alphas to single space
898
899 tr [\200-\377]
900 [\000-\177]; # delete 8th bit
901
748a9306 902If multiple translations are given for a character, only the first one is used:
903
904 tr/AAA/XYZ/
905
906will translate any A to X.
907
a0d0e21e 908Note that because the translation table is built at compile time, neither
909the SEARCHLIST nor the REPLACEMENTLIST are subjected to double quote
910interpolation. That means that if you want to use variables, you must use
911an eval():
912
913 eval "tr/$oldlist/$newlist/";
914 die $@ if $@;
915
916 eval "tr/$oldlist/$newlist/, 1" or die $@;
917
918=back
919
920=head2 I/O Operators
921
922There are several I/O operators you should know about.
5f05dabc 923A string is enclosed by back-ticks (grave accents) first undergoes
a0d0e21e 924variable substitution just like a double quoted string. It is then
925interpreted as a command, and the output of that command is the value
926of the pseudo-literal, like in a shell. In a scalar context, a single
927string consisting of all the output is returned. In a list context,
928a list of values is returned, one for each line of output. (You can
929set C<$/> to use a different line terminator.) The command is executed
930each time the pseudo-literal is evaluated. The status value of the
931command is returned in C<$?> (see L<perlvar> for the interpretation
932of C<$?>). Unlike in B<csh>, no translation is done on the return
933data--newlines remain newlines. Unlike in any of the shells, single
934quotes do not hide variable names in the command from interpretation.
935To pass a $ through to the shell you need to hide it with a backslash.
5f05dabc 936The generalized form of back-ticks is C<qx//>. (Because back-ticks
cb1a09d0 937always undergo shell expansion as well, see L<perlsec> for
938security concerns.)
a0d0e21e 939
940Evaluating a filehandle in angle brackets yields the next line from
748a9306 941that file (newline included, so it's never false until end of file, at
942which time an undefined value is returned). Ordinarily you must assign
943that value to a variable, but there is one situation where an automatic
a0d0e21e 944assignment happens. I<If and ONLY if> the input symbol is the only
945thing inside the conditional of a C<while> loop, the value is
748a9306 946automatically assigned to the variable C<$_>. The assigned value is
947then tested to see if it is defined. (This may seem like an odd thing
948to you, but you'll use the construct in almost every Perl script you
949write.) Anyway, the following lines are equivalent to each other:
a0d0e21e 950
748a9306 951 while (defined($_ = <STDIN>)) { print; }
a0d0e21e 952 while (<STDIN>) { print; }
953 for (;<STDIN>;) { print; }
748a9306 954 print while defined($_ = <STDIN>);
a0d0e21e 955 print while <STDIN>;
956
5f05dabc 957The filehandles STDIN, STDOUT, and STDERR are predefined. (The
958filehandles C<stdin>, C<stdout>, and C<stderr> will also work except in
a0d0e21e 959packages, where they would be interpreted as local identifiers rather
960than global.) Additional filehandles may be created with the open()
cb1a09d0 961function. See L<perlfunc/open()> for details on this.
a0d0e21e 962
6ee5d4e7 963If a E<lt>FILEHANDLEE<gt> is used in a context that is looking for a list, a
a0d0e21e 964list consisting of all the input lines is returned, one line per list
965element. It's easy to make a I<LARGE> data space this way, so use with
966care.
967
d28ebecd 968The null filehandle E<lt>E<gt> is special and can be used to emulate the
969behavior of B<sed> and B<awk>. Input from E<lt>E<gt> comes either from
a0d0e21e 970standard input, or from each file listed on the command line. Here's
d28ebecd 971how it works: the first time E<lt>E<gt> is evaluated, the @ARGV array is
a0d0e21e 972checked, and if it is null, C<$ARGV[0]> is set to "-", which when opened
973gives you standard input. The @ARGV array is then processed as a list
974of filenames. The loop
975
976 while (<>) {
977 ... # code for each line
978 }
979
980is equivalent to the following Perl-like pseudo code:
981
982 unshift(@ARGV, '-') if $#ARGV < $[;
983 while ($ARGV = shift) {
984 open(ARGV, $ARGV);
985 while (<ARGV>) {
986 ... # code for each line
987 }
988 }
989
990except that it isn't so cumbersome to say, and will actually work. It
991really does shift array @ARGV and put the current filename into variable
5f05dabc 992$ARGV. It also uses filehandle I<ARGV> internally--E<lt>E<gt> is just a
993synonym for E<lt>ARGVE<gt>, which is magical. (The pseudo code above
994doesn't work because it treats E<lt>ARGVE<gt> as non-magical.)
a0d0e21e 995
d28ebecd 996You can modify @ARGV before the first E<lt>E<gt> as long as the array ends up
a0d0e21e 997containing the list of filenames you really want. Line numbers (C<$.>)
998continue as if the input were one big happy file. (But see example
999under eof() for how to reset line numbers on each file.)
1000
1001If you want to set @ARGV to your own list of files, go right ahead. If
1002you want to pass switches into your script, you can use one of the
1003Getopts modules or put a loop on the front like this:
1004
1005 while ($_ = $ARGV[0], /^-/) {
1006 shift;
1007 last if /^--$/;
1008 if (/^-D(.*)/) { $debug = $1 }
1009 if (/^-v/) { $verbose++ }
1010 ... # other switches
1011 }
1012 while (<>) {
1013 ... # code for each line
1014 }
1015
d28ebecd 1016The E<lt>E<gt> symbol will return FALSE only once. If you call it again after
a0d0e21e 1017this it will assume you are processing another @ARGV list, and if you
1018haven't set @ARGV, will input from STDIN.
1019
1020If the string inside the angle brackets is a reference to a scalar
5f05dabc 1021variable (e.g., E<lt>$fooE<gt>), then that variable contains the name of the
cb1a09d0 1022filehandle to input from, or a reference to the same. For example:
1023
1024 $fh = \*STDIN;
1025 $line = <$fh>;
a0d0e21e 1026
cb1a09d0 1027If the string inside angle brackets is not a filehandle or a scalar
1028variable containing a filehandle name or reference, then it is interpreted
4633a7c4 1029as a filename pattern to be globbed, and either a list of filenames or the
1030next filename in the list is returned, depending on context. One level of
1031$ interpretation is done first, but you can't say C<E<lt>$fooE<gt>>
1032because that's an indirect filehandle as explained in the previous
6ee5d4e7 1033paragraph. (In older versions of Perl, programmers would insert curly
4633a7c4 1034brackets to force interpretation as a filename glob: C<E<lt>${foo}E<gt>>.
d28ebecd 1035These days, it's considered cleaner to call the internal function directly
4633a7c4 1036as C<glob($foo)>, which is probably the right way to have done it in the
1037first place.) Example:
a0d0e21e 1038
1039 while (<*.c>) {
1040 chmod 0644, $_;
1041 }
1042
1043is equivalent to
1044
1045 open(FOO, "echo *.c | tr -s ' \t\r\f' '\\012\\012\\012\\012'|");
1046 while (<FOO>) {
1047 chop;
1048 chmod 0644, $_;
1049 }
1050
1051In fact, it's currently implemented that way. (Which means it will not
1052work on filenames with spaces in them unless you have csh(1) on your
1053machine.) Of course, the shortest way to do the above is:
1054
1055 chmod 0644, <*.c>;
1056
1057Because globbing invokes a shell, it's often faster to call readdir() yourself
5f05dabc 1058and do your own grep() on the filenames. Furthermore, due to its current
a0d0e21e 1059implementation of using a shell, the glob() routine may get "Arg list too
1060long" errors (unless you've installed tcsh(1L) as F</bin/csh>).
1061
5f05dabc 1062A glob evaluates its (embedded) argument only when it is starting a new
4633a7c4 1063list. All values must be read before it will start over. In a list
1064context this isn't important, because you automatically get them all
1065anyway. In a scalar context, however, the operator returns the next value
1066each time it is called, or a FALSE value if you've just run out. Again,
1067FALSE is returned only once. So if you're expecting a single value from
1068a glob, it is much better to say
1069
1070 ($file) = <blurch*>;
1071
1072than
1073
1074 $file = <blurch*>;
1075
1076because the latter will alternate between returning a filename and
1077returning FALSE.
1078
1079It you're trying to do variable interpolation, it's definitely better
1080to use the glob() function, because the older notation can cause people
e37d713d 1081to become confused with the indirect filehandle notation.
4633a7c4 1082
1083 @files = glob("$dir/*.[ch]");
1084 @files = glob($files[$i]);
1085
a0d0e21e 1086=head2 Constant Folding
1087
1088Like C, Perl does a certain amount of expression evaluation at
1089compile time, whenever it determines that all of the arguments to an
1090operator are static and have no side effects. In particular, string
1091concatenation happens at compile time between literals that don't do
1092variable substitution. Backslash interpretation also happens at
1093compile time. You can say
1094
1095 'Now is the time for all' . "\n" .
1096 'good men to come to.'
1097
1098and this all reduces to one string internally. Likewise, if
1099you say
1100
1101 foreach $file (@filenames) {
1102 if (-s $file > 5 + 100 * 2**16) { ... }
1103 }
1104
1105the compiler will pre-compute the number that
1106expression represents so that the interpreter
1107won't have to.
1108
1109
55497cff 1110=head2 Integer Arithmetic
a0d0e21e 1111
1112By default Perl assumes that it must do most of its arithmetic in
1113floating point. But by saying
1114
1115 use integer;
1116
1117you may tell the compiler that it's okay to use integer operations
1118from here to the end of the enclosing BLOCK. An inner BLOCK may
1119countermand this by saying
1120
1121 no integer;
1122
1123which lasts until the end of that BLOCK.
1124
55497cff 1125The bitwise operators ("&", "|", "^", "~", "<<", and ">>") always
1126produce integral results. However, C<use integer> still has meaning
1127for them. By default, their results are interpreted as unsigned
1128integers. However, if C<use integer> is in effect, their results are
5f05dabc 1129interpreted as signed integers. For example, C<~0> usually evaluates
55497cff 1130to a large integral value. However, C<use integer; ~0> is -1.