This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Sync cfgperl with maint-5.005 change #3000.
[perl5.git] / pod / perlop.pod
CommitLineData
a0d0e21e
LW
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
54310121 11Perl easier for C folks.) With very few exceptions, these all
c07a80fd 12operate on scalar values only, not array values.
a0d0e21e
LW
13
14 left terms and list operators (leftward)
15 left ->
16 nonassoc ++ --
17 right **
18 right ! ~ \ and unary + and -
54310121 19 left =~ !~
a0d0e21e
LW
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 ||
137443ea 30 nonassoc .. ...
a0d0e21e
LW
31 right ?:
32 right = += -= *= etc.
33 left , =>
34 nonassoc list operators (rightward)
a5f75d66 35 right not
a0d0e21e
LW
36 left and
37 left or xor
38
39In the following sections, these operators are covered in precedence order.
40
5a964f20
TC
41Many operators can be overloaded for objects. See L<overload>.
42
cb1a09d0 43=head1 DESCRIPTION
a0d0e21e
LW
44
45=head2 Terms and List Operators (Leftward)
46
62c18ce2 47A TERM has the highest precedence in Perl. They include variables,
5f05dabc 48quote and quote-like operators, any expression in parentheses,
a0d0e21e
LW
49and any function whose arguments are parenthesized. Actually, there
50aren't really functions in this sense, just list operators and unary
51operators behaving as functions because you put parentheses around
52the arguments. These are all documented in L<perlfunc>.
53
54If any list operator (print(), etc.) or any unary operator (chdir(), etc.)
55is followed by a left parenthesis as the next token, the operator and
56arguments within parentheses are taken to be of highest precedence,
57just like a normal function call.
58
59In the absence of parentheses, the precedence of list operators such as
60C<print>, C<sort>, or C<chmod> is either very high or very low depending on
54310121 61whether you are looking at the left side or the right side of the operator.
a0d0e21e
LW
62For example, in
63
64 @ary = (1, 3, sort 4, 2);
65 print @ary; # prints 1324
66
67the commas on the right of the sort are evaluated before the sort, but
68the commas on the left are evaluated after. In other words, list
69operators tend to gobble up all the arguments that follow them, and
70then act like a simple TERM with regard to the preceding expression.
5f05dabc 71Note that you have to be careful with parentheses:
a0d0e21e
LW
72
73 # These evaluate exit before doing the print:
74 print($foo, exit); # Obviously not what you want.
75 print $foo, exit; # Nor is this.
76
77 # These do the print before evaluating exit:
78 (print $foo), exit; # This is what you want.
79 print($foo), exit; # Or this.
80 print ($foo), exit; # Or even this.
81
82Also note that
83
84 print ($foo & 255) + 1, "\n";
85
54310121 86probably doesn't do what you expect at first glance. See
a0d0e21e
LW
87L<Named Unary Operators> for more discussion of this.
88
89Also parsed as terms are the C<do {}> and C<eval {}> constructs, as
54310121 90well as subroutine and method calls, and the anonymous
a0d0e21e
LW
91constructors C<[]> and C<{}>.
92
2ae324a7 93See also L<Quote and Quote-like Operators> toward the end of this section,
c07a80fd 94as well as L<"I/O Operators">.
a0d0e21e
LW
95
96=head2 The Arrow Operator
97
98Just as in C and C++, "C<-E<gt>>" is an infix dereference operator. If the
99right side is either a C<[...]> or C<{...}> subscript, then the left side
100must be either a hard or symbolic reference to an array or hash (or
101a location capable of holding a hard reference, if it's an lvalue (assignable)).
102See L<perlref>.
103
104Otherwise, the right side is a method name or a simple scalar variable
105containing the method name, and the left side must either be an object
106(a blessed reference) or a class name (that is, a package name).
107See L<perlobj>.
108
5f05dabc 109=head2 Auto-increment and Auto-decrement
a0d0e21e
LW
110
111"++" and "--" work as in C. That is, if placed before a variable, they
112increment or decrement the variable before returning the value, and if
113placed after, increment or decrement the variable after returning the value.
114
54310121 115The auto-increment operator has a little extra builtin magic to it. If
a0d0e21e
LW
116you increment a variable that is numeric, or that has ever been used in
117a numeric context, you get a normal increment. If, however, the
5f05dabc 118variable has been used in only string contexts since it was set, and
5a964f20 119has a value that is not the empty string and matches the pattern
a0d0e21e
LW
120C</^[a-zA-Z]*[0-9]*$/>, the increment is done as a string, preserving each
121character within its range, with carry:
122
123 print ++($foo = '99'); # prints '100'
124 print ++($foo = 'a0'); # prints 'a1'
125 print ++($foo = 'Az'); # prints 'Ba'
126 print ++($foo = 'zz'); # prints 'aaa'
127
5f05dabc 128The auto-decrement operator is not magical.
a0d0e21e
LW
129
130=head2 Exponentiation
131
132Binary "**" is the exponentiation operator. Note that it binds even more
cb1a09d0
AD
133tightly than unary minus, so -2**4 is -(2**4), not (-2)**4. (This is
134implemented using C's pow(3) function, which actually works on doubles
135internally.)
a0d0e21e
LW
136
137=head2 Symbolic Unary Operators
138
5f05dabc 139Unary "!" performs logical negation, i.e., "not". See also C<not> for a lower
a0d0e21e
LW
140precedence version of this.
141
142Unary "-" performs arithmetic negation if the operand is numeric. If
143the operand is an identifier, a string consisting of a minus sign
144concatenated with the identifier is returned. Otherwise, if the string
145starts with a plus or minus, a string starting with the opposite sign
146is returned. One effect of these rules is that C<-bareword> is equivalent
147to C<"-bareword">.
148
5a964f20
TC
149Unary "~" performs bitwise negation, i.e., 1's complement. For example,
150C<0666 &~ 027> is 0640. (See also L<Integer Arithmetic> and L<Bitwise
151String Operators>.)
a0d0e21e
LW
152
153Unary "+" has no effect whatsoever, even on strings. It is useful
154syntactically for separating a function name from a parenthesized expression
155that would otherwise be interpreted as the complete list of function
5ba421f6 156arguments. (See examples above under L<Terms and List Operators (Leftward)>.)
a0d0e21e
LW
157
158Unary "\" creates a reference to whatever follows it. See L<perlref>.
159Do not confuse this behavior with the behavior of backslash within a
160string, although both forms do convey the notion of protecting the next
161thing from interpretation.
162
163=head2 Binding Operators
164
c07a80fd 165Binary "=~" binds a scalar expression to a pattern match. Certain operations
cb1a09d0
AD
166search or modify the string $_ by default. This operator makes that kind
167of operation work on some other string. The right argument is a search
2c268ad5
TP
168pattern, substitution, or transliteration. The left argument is what is
169supposed to be searched, substituted, or transliterated instead of the default
cb1a09d0
AD
170$_. The return value indicates the success of the operation. (If the
171right argument is an expression rather than a search pattern,
2c268ad5 172substitution, or transliteration, it is interpreted as a search pattern at run
aa689395 173time. This can be is less efficient than an explicit search, because the
174pattern must be compiled every time the expression is evaluated.
a0d0e21e
LW
175
176Binary "!~" is just like "=~" except the return value is negated in
177the logical sense.
178
179=head2 Multiplicative Operators
180
181Binary "*" multiplies two numbers.
182
183Binary "/" divides two numbers.
184
54310121 185Binary "%" computes the modulus of two numbers. Given integer
186operands C<$a> and C<$b>: If C<$b> is positive, then C<$a % $b> is
187C<$a> minus the largest multiple of C<$b> that is not greater than
188C<$a>. If C<$b> is negative, then C<$a % $b> is C<$a> minus the
189smallest multiple of C<$b> that is not less than C<$a> (i.e. the
6bb4e6d4 190result will be less than or equal to zero).
5a964f20 191Note than when C<use integer> is in scope, "%" give you direct access
55d729e4
GS
192to the modulus operator as implemented by your C compiler. This
193operator is not as well defined for negative operands, but it will
194execute faster.
195
5a964f20 196Binary "x" is the repetition operator. In scalar context, it
a0d0e21e 197returns a string consisting of the left operand repeated the number of
5a964f20 198times specified by the right operand. In list context, if the left
5f05dabc 199operand is a list in parentheses, it repeats the list.
a0d0e21e
LW
200
201 print '-' x 80; # print row of dashes
202
203 print "\t" x ($tab/8), ' ' x ($tab%8); # tab over
204
205 @ones = (1) x 80; # a list of 80 1's
206 @ones = (5) x @ones; # set all elements to 5
207
208
209=head2 Additive Operators
210
211Binary "+" returns the sum of two numbers.
212
213Binary "-" returns the difference of two numbers.
214
215Binary "." concatenates two strings.
216
217=head2 Shift Operators
218
55497cff 219Binary "<<" returns the value of its left argument shifted left by the
220number of bits specified by the right argument. Arguments should be
221integers. (See also L<Integer Arithmetic>.)
a0d0e21e 222
55497cff 223Binary ">>" returns the value of its left argument shifted right by
224the number of bits specified by the right argument. Arguments should
225be integers. (See also L<Integer Arithmetic>.)
a0d0e21e
LW
226
227=head2 Named Unary Operators
228
229The various named unary operators are treated as functions with one
230argument, with optional parentheses. These include the filetest
231operators, like C<-f>, C<-M>, etc. See L<perlfunc>.
232
233If any list operator (print(), etc.) or any unary operator (chdir(), etc.)
234is followed by a left parenthesis as the next token, the operator and
235arguments within parentheses are taken to be of highest precedence,
236just like a normal function call. Examples:
237
238 chdir $foo || die; # (chdir $foo) || die
239 chdir($foo) || die; # (chdir $foo) || die
240 chdir ($foo) || die; # (chdir $foo) || die
241 chdir +($foo) || die; # (chdir $foo) || die
242
243but, because * is higher precedence than ||:
244
245 chdir $foo * 20; # chdir ($foo * 20)
246 chdir($foo) * 20; # (chdir $foo) * 20
247 chdir ($foo) * 20; # (chdir $foo) * 20
248 chdir +($foo) * 20; # chdir ($foo * 20)
249
250 rand 10 * 20; # rand (10 * 20)
251 rand(10) * 20; # (rand 10) * 20
252 rand (10) * 20; # (rand 10) * 20
253 rand +(10) * 20; # rand (10 * 20)
254
5ba421f6 255See also L<"Terms and List Operators (Leftward)">.
a0d0e21e
LW
256
257=head2 Relational Operators
258
6ee5d4e7 259Binary "E<lt>" returns true if the left argument is numerically less than
a0d0e21e
LW
260the right argument.
261
6ee5d4e7 262Binary "E<gt>" returns true if the left argument is numerically greater
a0d0e21e
LW
263than the right argument.
264
6ee5d4e7 265Binary "E<lt>=" returns true if the left argument is numerically less than
a0d0e21e
LW
266or equal to the right argument.
267
6ee5d4e7 268Binary "E<gt>=" returns true if the left argument is numerically greater
a0d0e21e
LW
269than or equal to the right argument.
270
271Binary "lt" returns true if the left argument is stringwise less than
272the right argument.
273
274Binary "gt" returns true if the left argument is stringwise greater
275than the right argument.
276
277Binary "le" returns true if the left argument is stringwise less than
278or equal to the right argument.
279
280Binary "ge" returns true if the left argument is stringwise greater
281than or equal to the right argument.
282
283=head2 Equality Operators
284
285Binary "==" returns true if the left argument is numerically equal to
286the right argument.
287
288Binary "!=" returns true if the left argument is numerically not equal
289to the right argument.
290
6ee5d4e7 291Binary "E<lt>=E<gt>" returns -1, 0, or 1 depending on whether the left
292argument is numerically less than, equal to, or greater than the right
293argument.
a0d0e21e
LW
294
295Binary "eq" returns true if the left argument is stringwise equal to
296the right argument.
297
298Binary "ne" returns true if the left argument is stringwise not equal
299to the right argument.
300
301Binary "cmp" returns -1, 0, or 1 depending on whether the left argument is stringwise
302less than, equal to, or greater than the right argument.
303
a034a98d
DD
304"lt", "le", "ge", "gt" and "cmp" use the collation (sort) order specified
305by the current locale if C<use locale> is in effect. See L<perllocale>.
306
a0d0e21e
LW
307=head2 Bitwise And
308
309Binary "&" returns its operators ANDed together bit by bit.
2c268ad5 310(See also L<Integer Arithmetic> and L<Bitwise String Operators>.)
a0d0e21e
LW
311
312=head2 Bitwise Or and Exclusive Or
313
314Binary "|" returns its operators ORed together bit by bit.
2c268ad5 315(See also L<Integer Arithmetic> and L<Bitwise String Operators>.)
a0d0e21e
LW
316
317Binary "^" returns its operators XORed together bit by bit.
2c268ad5 318(See also L<Integer Arithmetic> and L<Bitwise String Operators>.)
a0d0e21e
LW
319
320=head2 C-style Logical And
321
322Binary "&&" performs a short-circuit logical AND operation. That is,
323if the left operand is false, the right operand is not even evaluated.
324Scalar or list context propagates down to the right operand if it
325is evaluated.
326
327=head2 C-style Logical Or
328
329Binary "||" performs a short-circuit logical OR operation. That is,
330if the left operand is true, the right operand is not even evaluated.
331Scalar or list context propagates down to the right operand if it
332is evaluated.
333
334The C<||> and C<&&> operators differ from C's in that, rather than returning
3350 or 1, they return the last value evaluated. Thus, a reasonably portable
336way to find out the home directory (assuming it's not "0") might be:
337
338 $home = $ENV{'HOME'} || $ENV{'LOGDIR'} ||
339 (getpwuid($<))[7] || die "You're homeless!\n";
340
5a964f20
TC
341In particular, this means that you shouldn't use this
342for selecting between two aggregates for assignment:
343
344 @a = @b || @c; # this is wrong
345 @a = scalar(@b) || @c; # really meant this
346 @a = @b ? @b : @c; # this works fine, though
347
348As more readable alternatives to C<&&> and C<||> when used for
349control flow, Perl provides C<and> and C<or> operators (see below).
350The short-circuit behavior is identical. The precedence of "and" and
351"or" is much lower, however, so that you can safely use them after a
352list operator without the need for parentheses:
a0d0e21e
LW
353
354 unlink "alpha", "beta", "gamma"
355 or gripe(), next LINE;
356
357With the C-style operators that would have been written like this:
358
359 unlink("alpha", "beta", "gamma")
360 || (gripe(), next LINE);
361
5a964f20
TC
362Use "or" for assignment is unlikely to do what you want; see below.
363
364=head2 Range Operators
a0d0e21e
LW
365
366Binary ".." is the range operator, which is really two different
5a964f20 367operators depending on the context. In list context, it returns an
a0d0e21e 368array of values counting (by ones) from the left value to the right
89ea2908
GA
369value. This is useful for writing C<foreach (1..10)> loops and for
370doing slice operations on arrays. In the current implementation, no
371temporary array is created when the range operator is used as the
372expression in C<foreach> loops, but older versions of Perl might burn
373a lot of memory when you write something like this:
a0d0e21e
LW
374
375 for (1 .. 1_000_000) {
376 # code
54310121 377 }
a0d0e21e 378
5a964f20 379In scalar context, ".." returns a boolean value. The operator is
a0d0e21e
LW
380bistable, like a flip-flop, and emulates the line-range (comma) operator
381of B<sed>, B<awk>, and various editors. Each ".." operator maintains its
382own boolean state. It is false as long as its left operand is false.
383Once the left operand is true, the range operator stays true until the
384right operand is true, I<AFTER> which the range operator becomes false
385again. (It doesn't become false till the next time the range operator is
386evaluated. It can test the right operand and become false on the same
387evaluation it became true (as in B<awk>), but it still returns true once.
388If you don't want it to test the right operand till the next evaluation
389(as in B<sed>), use three dots ("...") instead of two.) The right
390operand is not evaluated while the operator is in the "false" state, and
391the left operand is not evaluated while the operator is in the "true"
392state. The precedence is a little lower than || and &&. The value
5a964f20 393returned is either the empty string for false, or a sequence number
a0d0e21e
LW
394(beginning with 1) for true. The sequence number is reset for each range
395encountered. The final sequence number in a range has the string "E0"
396appended to it, which doesn't affect its numeric value, but gives you
397something to search for if you want to exclude the endpoint. You can
398exclude the beginning point by waiting for the sequence number to be
0a528a35 399greater than 1. If either operand of scalar ".." is a constant expression,
a0d0e21e
LW
400that operand is implicitly compared to the C<$.> variable, the current
401line number. Examples:
402
403As a scalar operator:
404
405 if (101 .. 200) { print; } # print 2nd hundred lines
406 next line if (1 .. /^$/); # skip header lines
407 s/^/> / if (/^$/ .. eof()); # quote body
408
5a964f20
TC
409 # parse mail messages
410 while (<>) {
411 $in_header = 1 .. /^$/;
412 $in_body = /^$/ .. eof();
413 # do something based on those
414 } continue {
415 close ARGV if eof; # reset $. each file
416 }
417
a0d0e21e
LW
418As a list operator:
419
420 for (101 .. 200) { print; } # print $_ 100 times
3e3baf6d 421 @foo = @foo[0 .. $#foo]; # an expensive no-op
a0d0e21e
LW
422 @foo = @foo[$#foo-4 .. $#foo]; # slice last 5 items
423
5a964f20 424The range operator (in list context) makes use of the magical
5f05dabc 425auto-increment algorithm if the operands are strings. You
a0d0e21e
LW
426can say
427
428 @alphabet = ('A' .. 'Z');
429
430to get all the letters of the alphabet, or
431
432 $hexdigit = (0 .. 9, 'a' .. 'f')[$num & 15];
433
434to get a hexadecimal digit, or
435
436 @z2 = ('01' .. '31'); print $z2[$mday];
437
438to get dates with leading zeros. If the final value specified is not
439in the sequence that the magical increment would produce, the sequence
440goes until the next value would be longer than the final value
441specified.
442
443=head2 Conditional Operator
444
445Ternary "?:" is the conditional operator, just as in C. It works much
446like an if-then-else. If the argument before the ? is true, the
447argument before the : is returned, otherwise the argument after the :
cb1a09d0
AD
448is returned. For example:
449
54310121 450 printf "I have %d dog%s.\n", $n,
cb1a09d0
AD
451 ($n == 1) ? '' : "s";
452
453Scalar or list context propagates downward into the 2nd
54310121 454or 3rd argument, whichever is selected.
cb1a09d0
AD
455
456 $a = $ok ? $b : $c; # get a scalar
457 @a = $ok ? @b : @c; # get an array
458 $a = $ok ? @b : @c; # oops, that's just a count!
459
460The operator may be assigned to if both the 2nd and 3rd arguments are
461legal lvalues (meaning that you can assign to them):
a0d0e21e
LW
462
463 ($a_or_b ? $a : $b) = $c;
464
cb1a09d0 465This is not necessarily guaranteed to contribute to the readability of your program.
a0d0e21e 466
5a964f20
TC
467Because this operator produces an assignable result, using assignments
468without parentheses will get you in trouble. For example, this:
469
470 $a % 2 ? $a += 10 : $a += 2
471
472Really means this:
473
474 (($a % 2) ? ($a += 10) : $a) += 2
475
476Rather than this:
477
478 ($a % 2) ? ($a += 10) : ($a += 2)
479
4633a7c4 480=head2 Assignment Operators
a0d0e21e
LW
481
482"=" is the ordinary assignment operator.
483
484Assignment operators work as in C. That is,
485
486 $a += 2;
487
488is equivalent to
489
490 $a = $a + 2;
491
492although without duplicating any side effects that dereferencing the lvalue
54310121 493might trigger, such as from tie(). Other assignment operators work similarly.
494The following are recognized:
a0d0e21e
LW
495
496 **= += *= &= <<= &&=
497 -= /= |= >>= ||=
498 .= %= ^=
499 x=
500
501Note that while these are grouped by family, they all have the precedence
502of assignment.
503
504Unlike in C, the assignment operator produces a valid lvalue. Modifying
505an assignment is equivalent to doing the assignment and then modifying
506the variable that was assigned to. This is useful for modifying
507a copy of something, like this:
508
509 ($tmp = $global) =~ tr [A-Z] [a-z];
510
511Likewise,
512
513 ($a += 2) *= 3;
514
515is equivalent to
516
517 $a += 2;
518 $a *= 3;
519
748a9306 520=head2 Comma Operator
a0d0e21e 521
5a964f20 522Binary "," is the comma operator. In scalar context it evaluates
a0d0e21e
LW
523its left argument, throws that value away, then evaluates its right
524argument and returns that value. This is just like C's comma operator.
525
5a964f20 526In list context, it's just the list argument separator, and inserts
a0d0e21e
LW
527both its arguments into the list.
528
6ee5d4e7 529The =E<gt> digraph is mostly just a synonym for the comma operator. It's useful for
cb1a09d0 530documenting arguments that come in pairs. As of release 5.001, it also forces
4633a7c4 531any word to the left of it to be interpreted as a string.
748a9306 532
a0d0e21e
LW
533=head2 List Operators (Rightward)
534
535On the right side of a list operator, it has very low precedence,
536such that it controls all comma-separated expressions found there.
537The only operators with lower precedence are the logical operators
538"and", "or", and "not", which may be used to evaluate calls to list
539operators without the need for extra parentheses:
540
541 open HANDLE, "filename"
542 or die "Can't open: $!\n";
543
5ba421f6 544See also discussion of list operators in L<Terms and List Operators (Leftward)>.
a0d0e21e
LW
545
546=head2 Logical Not
547
548Unary "not" returns the logical negation of the expression to its right.
549It's the equivalent of "!" except for the very low precedence.
550
551=head2 Logical And
552
553Binary "and" returns the logical conjunction of the two surrounding
554expressions. It's equivalent to && except for the very low
5f05dabc 555precedence. This means that it short-circuits: i.e., the right
a0d0e21e
LW
556expression is evaluated only if the left expression is true.
557
558=head2 Logical or and Exclusive Or
559
560Binary "or" returns the logical disjunction of the two surrounding
5a964f20
TC
561expressions. It's equivalent to || except for the very low precedence.
562This makes it useful for control flow
563
564 print FH $data or die "Can't write to FH: $!";
565
566This means that it short-circuits: i.e., the right expression is evaluated
567only if the left expression is false. Due to its precedence, you should
568probably avoid using this for assignment, only for control flow.
569
570 $a = $b or $c; # bug: this is wrong
571 ($a = $b) or $c; # really means this
572 $a = $b || $c; # better written this way
573
574However, when it's a list context assignment and you're trying to use
575"||" for control flow, you probably need "or" so that the assignment
576takes higher precedence.
577
578 @info = stat($file) || die; # oops, scalar sense of stat!
579 @info = stat($file) or die; # better, now @info gets its due
580
581Then again, you could always use parentheses.
a0d0e21e
LW
582
583Binary "xor" returns the exclusive-OR of the two surrounding expressions.
584It cannot short circuit, of course.
585
586=head2 C Operators Missing From Perl
587
588Here is what C has that Perl doesn't:
589
590=over 8
591
592=item unary &
593
594Address-of operator. (But see the "\" operator for taking a reference.)
595
596=item unary *
597
54310121 598Dereference-address operator. (Perl's prefix dereferencing
a0d0e21e
LW
599operators are typed: $, @, %, and &.)
600
601=item (TYPE)
602
54310121 603Type casting operator.
a0d0e21e
LW
604
605=back
606
5f05dabc 607=head2 Quote and Quote-like Operators
a0d0e21e
LW
608
609While we usually think of quotes as literal values, in Perl they
610function as operators, providing various kinds of interpolating and
611pattern matching capabilities. Perl provides customary quote characters
612for these behaviors, but also provides a way for you to choose your
613quote character for any of them. In the following table, a C<{}> represents
614any pair of delimiters you choose. Non-bracketing delimiters use
54310121 615the same character fore and aft, but the 4 sorts of brackets
a0d0e21e
LW
616(round, angle, square, curly) will all nest.
617
2c268ad5
TP
618 Customary Generic Meaning Interpolates
619 '' q{} Literal no
620 "" qq{} Literal yes
01ae956f 621 `` qx{} Command yes (unless '' is delimiter)
2c268ad5 622 qw{} Word list no
f70b4f9c
AB
623 // m{} Pattern match yes (unless '' is delimiter)
624 qr{} Pattern yes (unless '' is delimiter)
625 s{}{} Substitution yes (unless '' is delimiter)
2c268ad5 626 tr{}{} Transliteration no (but see below)
a0d0e21e 627
fb73857a 628Note that there can be whitespace between the operator and the quoting
629characters, except when C<#> is being used as the quoting character.
a3cb178b 630C<q#foo#> is parsed as being the string C<foo>, while C<q #foo#> is the
fb73857a 631operator C<q> followed by a comment. Its argument will be taken from the
632next line. This allows you to write:
633
634 s {foo} # Replace foo
635 {bar} # with bar.
636
2c268ad5
TP
637For constructs that do interpolation, variables beginning with "C<$>"
638or "C<@>" are interpolated, as are the following sequences. Within
a0ed51b3 639a transliteration, the first eleven of these sequences may be used.
a0d0e21e 640
6ee5d4e7 641 \t tab (HT, TAB)
5a964f20 642 \n newline (NL)
6ee5d4e7 643 \r return (CR)
644 \f form feed (FF)
645 \b backspace (BS)
646 \a alarm (bell) (BEL)
647 \e escape (ESC)
a0ed51b3
LW
648 \033 octal char (ESC)
649 \x1b hex char (ESC)
650 \x{263a} wide hex char (SMILEY)
a0d0e21e 651 \c[ control char
2c268ad5 652
a0d0e21e
LW
653 \l lowercase next char
654 \u uppercase next char
655 \L lowercase till \E
656 \U uppercase till \E
657 \E end case modification
1d2dff63 658 \Q quote non-word characters till \E
a0d0e21e 659
a034a98d 660If C<use locale> is in effect, the case map used by C<\l>, C<\L>, C<\u>
7b8d334a 661and C<\U> is taken from the current locale. See L<perllocale>.
a034a98d 662
5a964f20
TC
663All systems use the virtual C<"\n"> to represent a line terminator,
664called a "newline". There is no such thing as an unvarying, physical
665newline character. It is an illusion that the operating system,
666device drivers, C libraries, and Perl all conspire to preserve. Not all
667systems read C<"\r"> as ASCII CR and C<"\n"> as ASCII LF. For example,
668on a Mac, these are reversed, and on systems without line terminator,
669printing C<"\n"> may emit no actual data. In general, use C<"\n"> when
670you mean a "newline" for your system, but use the literal ASCII when you
671need an exact character. For example, most networking protocols expect
672and prefer a CR+LF (C<"\012\015"> or C<"\cJ\cM">) for line terminators,
673and although they often accept just C<"\012">, they seldom tolerate just
674C<"\015">. If you get in the habit of using C<"\n"> for networking,
675you may be burned some day.
676
1d2dff63
GS
677You cannot include a literal C<$> or C<@> within a C<\Q> sequence.
678An unescaped C<$> or C<@> interpolates the corresponding variable,
679while escaping will cause the literal string C<\$> to be inserted.
680You'll need to write something like C<m/\Quser\E\@\Qhost/>.
681
a0d0e21e
LW
682Patterns are subject to an additional level of interpretation as a
683regular expression. This is done as a second pass, after variables are
684interpolated, so that regular expressions may be incorporated into the
685pattern from the variables. If this is not what you want, use C<\Q> to
686interpolate a variable literally.
687
688Apart from the above, there are no multiple levels of interpolation. In
5f05dabc 689particular, contrary to the expectations of shell programmers, back-quotes
a0d0e21e
LW
690do I<NOT> interpolate within double quotes, nor do single quotes impede
691evaluation of variables when used within double quotes.
692
5f05dabc 693=head2 Regexp Quote-Like Operators
cb1a09d0 694
5f05dabc 695Here are the quote-like operators that apply to pattern
cb1a09d0
AD
696matching and related activities.
697
75e14d17
IZ
698Most of this section is related to use of regular expressions from Perl.
699Such a use may be considered from two points of view: Perl handles a
700a string and a "pattern" to RE (regular expression) engine to match,
701RE engine finds (or does not find) the match, and Perl uses the findings
702of RE engine for its operation, possibly asking the engine for other matches.
703
704RE engine has no idea what Perl is going to do with what it finds,
705similarly, the rest of Perl has no idea what a particular regular expression
706means to RE engine. This creates a clean separation, and in this section
707we discuss matching from Perl point of view only. The other point of
708view may be found in L<perlre>.
709
a0d0e21e
LW
710=over 8
711
712=item ?PATTERN?
713
714This is just like the C</pattern/> search, except that it matches only
715once between calls to the reset() operator. This is a useful
5f05dabc 716optimization when you want to see only the first occurrence of
a0d0e21e
LW
717something in each file of a set of files, for instance. Only C<??>
718patterns local to the current package are reset.
719
5a964f20
TC
720 while (<>) {
721 if (?^$?) {
722 # blank line between header and body
723 }
724 } continue {
725 reset if eof; # clear ?? status for next file
726 }
727
a0d0e21e
LW
728This usage is vaguely deprecated, and may be removed in some future
729version of Perl.
730
fb73857a 731=item m/PATTERN/cgimosx
a0d0e21e 732
fb73857a 733=item /PATTERN/cgimosx
a0d0e21e 734
5a964f20 735Searches a string for a pattern match, and in scalar context returns
a0d0e21e
LW
736true (1) or false (''). If no string is specified via the C<=~> or
737C<!~> operator, the $_ string is searched. (The string specified with
738C<=~> need not be an lvalue--it may be the result of an expression
739evaluation, but remember the C<=~> binds rather tightly.) See also
740L<perlre>.
5a964f20 741See L<perllocale> for discussion of additional considerations that apply
a034a98d 742when C<use locale> is in effect.
a0d0e21e
LW
743
744Options are:
745
fb73857a 746 c Do not reset search position on a failed match when /g is in effect.
5f05dabc 747 g Match globally, i.e., find all occurrences.
a0d0e21e
LW
748 i Do case-insensitive pattern matching.
749 m Treat string as multiple lines.
5f05dabc 750 o Compile pattern only once.
a0d0e21e
LW
751 s Treat string as single line.
752 x Use extended regular expressions.
753
754If "/" is the delimiter then the initial C<m> is optional. With the C<m>
01ae956f 755you can use any pair of non-alphanumeric, non-whitespace characters
f70b4f9c
AB
756as delimiters. This is particularly useful for matching Unix path names
757that contain "/", to avoid LTS (leaning toothpick syndrome). If "?" is
7bac28a0 758the delimiter, then the match-only-once rule of C<?PATTERN?> applies.
f70b4f9c
AB
759If "'" is the delimiter, no variable interpolation is performed on the
760PATTERN.
a0d0e21e
LW
761
762PATTERN may contain variables, which will be interpolated (and the
f70b4f9c
AB
763pattern recompiled) every time the pattern search is evaluated, except
764for when the delimiter is a single quote. (Note that C<$)> and C<$|>
765might not be interpolated because they look like end-of-string tests.)
766If you want such a pattern to be compiled only once, add a C</o> after
767the trailing delimiter. This avoids expensive run-time recompilations,
768and is useful when the value you are interpolating won't change over
769the life of the script. However, mentioning C</o> constitutes a promise
770that you won't change the variables in the pattern. If you change them,
771Perl won't even notice.
a0d0e21e 772
5a964f20
TC
773If the PATTERN evaluates to the empty string, the last
774I<successfully> matched regular expression is used instead.
a0d0e21e 775
a2008d6d 776If the C</g> option is not used, C<m//> in a list context returns a
a0d0e21e 777list consisting of the subexpressions matched by the parentheses in the
f7e33566
GS
778pattern, i.e., (C<$1>, C<$2>, C<$3>...). (Note that here C<$1> etc. are
779also set, and that this differs from Perl 4's behavior.) When there are
780no parentheses in the pattern, the return value is the list C<(1)> for
781success. With or without parentheses, an empty list is returned upon
782failure.
a0d0e21e
LW
783
784Examples:
785
786 open(TTY, '/dev/tty');
787 <TTY> =~ /^y/i && foo(); # do foo if desired
788
789 if (/Version: *([0-9.]*)/) { $version = $1; }
790
791 next if m#^/usr/spool/uucp#;
792
793 # poor man's grep
794 $arg = shift;
795 while (<>) {
796 print if /$arg/o; # compile only once
797 }
798
799 if (($F1, $F2, $Etc) = ($foo =~ /^(\S+)\s+(\S+)\s*(.*)/))
800
801This last example splits $foo into the first two words and the
5f05dabc 802remainder of the line, and assigns those three fields to $F1, $F2, and
803$Etc. The conditional is true if any variables were assigned, i.e., if
a0d0e21e
LW
804the pattern matched.
805
806The C</g> modifier specifies global pattern matching--that is, matching
807as many times as possible within the string. How it behaves depends on
5a964f20 808the context. In list context, it returns a list of all the
a0d0e21e
LW
809substrings matched by all the parentheses in the regular expression.
810If there are no parentheses, it returns a list of all the matched
811strings, as if there were parentheses around the whole pattern.
812
7e86de3e
MG
813In scalar context, each execution of C<m//g> finds the next match,
814returning TRUE if it matches, and FALSE if there is no further match.
815The position after the last match can be read or set using the pos()
816function; see L<perlfunc/pos>. A failed match normally resets the
817search position to the beginning of the string, but you can avoid that
818by adding the C</c> modifier (e.g. C<m//gc>). Modifying the target
819string also resets the search position.
c90c0ff4 820
821You can intermix C<m//g> matches with C<m/\G.../g>, where C<\G> is a
822zero-width assertion that matches the exact position where the previous
823C<m//g>, if any, left off. The C<\G> assertion is not supported without
824the C</g> modifier; currently, without C</g>, C<\G> behaves just like
825C<\A>, but that's accidental and may change in the future.
826
827Examples:
a0d0e21e
LW
828
829 # list context
830 ($one,$five,$fifteen) = (`uptime` =~ /(\d+\.\d+)/g);
831
832 # scalar context
5f05dabc 833 $/ = ""; $* = 1; # $* deprecated in modern perls
54310121 834 while (defined($paragraph = <>)) {
a0d0e21e
LW
835 while ($paragraph =~ /[a-z]['")]*[.!?]+['")]*\s/g) {
836 $sentences++;
837 }
838 }
839 print "$sentences\n";
840
c90c0ff4 841 # using m//gc with \G
137443ea 842 $_ = "ppooqppqq";
44a8e56a 843 while ($i++ < 2) {
844 print "1: '";
c90c0ff4 845 print $1 while /(o)/gc; print "', pos=", pos, "\n";
44a8e56a 846 print "2: '";
c90c0ff4 847 print $1 if /\G(q)/gc; print "', pos=", pos, "\n";
44a8e56a 848 print "3: '";
c90c0ff4 849 print $1 while /(p)/gc; print "', pos=", pos, "\n";
44a8e56a 850 }
851
852The last example should print:
853
854 1: 'oo', pos=4
137443ea 855 2: 'q', pos=5
44a8e56a 856 3: 'pp', pos=7
857 1: '', pos=7
137443ea 858 2: 'q', pos=8
859 3: '', pos=8
44a8e56a 860
c90c0ff4 861A useful idiom for C<lex>-like scanners is C</\G.../gc>. You can
e7ea3e70 862combine several regexps like this to process a string part-by-part,
c90c0ff4 863doing different actions depending on which regexp matched. Each
864regexp tries to match where the previous one leaves off.
e7ea3e70 865
3fe9a6f1 866 $_ = <<'EOL';
e7ea3e70 867 $url = new URI::URL "http://www/"; die if $url eq "xXx";
3fe9a6f1 868 EOL
869 LOOP:
e7ea3e70 870 {
c90c0ff4 871 print(" digits"), redo LOOP if /\G\d+\b[,.;]?\s*/gc;
872 print(" lowercase"), redo LOOP if /\G[a-z]+\b[,.;]?\s*/gc;
873 print(" UPPERCASE"), redo LOOP if /\G[A-Z]+\b[,.;]?\s*/gc;
874 print(" Capitalized"), redo LOOP if /\G[A-Z][a-z]+\b[,.;]?\s*/gc;
875 print(" MiXeD"), redo LOOP if /\G[A-Za-z]+\b[,.;]?\s*/gc;
876 print(" alphanumeric"), redo LOOP if /\G[A-Za-z0-9]+\b[,.;]?\s*/gc;
877 print(" line-noise"), redo LOOP if /\G[^A-Za-z0-9]+/gc;
e7ea3e70
IZ
878 print ". That's all!\n";
879 }
880
881Here is the output (split into several lines):
882
883 line-noise lowercase line-noise lowercase UPPERCASE line-noise
884 UPPERCASE line-noise lowercase line-noise lowercase line-noise
885 lowercase lowercase line-noise lowercase lowercase line-noise
886 MiXeD line-noise. That's all!
44a8e56a 887
a0d0e21e
LW
888=item q/STRING/
889
890=item C<'STRING'>
891
68dc0745 892A single-quoted, literal string. A backslash represents a backslash
893unless followed by the delimiter or another backslash, in which case
894the delimiter or backslash is interpolated.
a0d0e21e
LW
895
896 $foo = q!I said, "You said, 'She said it.'"!;
897 $bar = q('This is it.');
68dc0745 898 $baz = '\n'; # a two-character string
a0d0e21e
LW
899
900=item qq/STRING/
901
902=item "STRING"
903
904A double-quoted, interpolated string.
905
906 $_ .= qq
907 (*** The previous line contains the naughty word "$1".\n)
908 if /(tcl|rexx|python)/; # :-)
68dc0745 909 $baz = "\n"; # a one-character string
a0d0e21e 910
eec2d3df
GS
911=item qr/STRING/imosx
912
4b6a7270 913Quote-as-a-regular-expression operator. I<STRING> is interpolated the
f70b4f9c
AB
914same way as I<PATTERN> in C<m/PATTERN/>. If "'" is used as the
915delimiter, no variable interpolation is done. Returns a Perl value
916which may be used instead of the corresponding C</STRING/imosx> expression.
4b6a7270
IZ
917
918For example,
919
920 $rex = qr/my.STRING/is;
921 s/$rex/foo/;
922
923is equivalent to
924
925 s/my.STRING/foo/is;
926
927The result may be used as a subpattern in a match:
eec2d3df
GS
928
929 $re = qr/$pattern/;
0a92e3a8
GS
930 $string =~ /foo${re}bar/; # can be interpolated in other patterns
931 $string =~ $re; # or used standalone
4b6a7270
IZ
932 $string =~ /$re/; # or this way
933
934Since Perl may compile the pattern at the moment of execution of qr()
935operator, using qr() may have speed advantages in I<some> situations,
936notably if the result of qr() is used standalone:
937
938 sub match {
939 my $patterns = shift;
940 my @compiled = map qr/$_/i, @$patterns;
941 grep {
942 my $success = 0;
943 foreach my $pat @compiled {
944 $success = 1, last if /$pat/;
945 }
946 $success;
947 } @_;
948 }
949
950Precompilation of the pattern into an internal representation at the
951moment of qr() avoids a need to recompile the pattern every time a
952match C</$pat/> is attempted. (Note that Perl has many other
953internal optimizations, but none would be triggered in the above
954example if we did not use qr() operator.)
eec2d3df
GS
955
956Options are:
957
958 i Do case-insensitive pattern matching.
959 m Treat string as multiple lines.
960 o Compile pattern only once.
961 s Treat string as single line.
962 x Use extended regular expressions.
963
0a92e3a8
GS
964See L<perlre> for additional information on valid syntax for STRING, and
965for a detailed look at the semantics of regular expressions.
966
a0d0e21e
LW
967=item qx/STRING/
968
969=item `STRING`
970
5a964f20
TC
971A string which is (possibly) interpolated and then executed as a system
972command with C</bin/sh> or its equivalent. Shell wildcards, pipes,
973and redirections will be honored. The collected standard output of the
974command is returned; standard error is unaffected. In scalar context,
975it comes back as a single (potentially multi-line) string. In list
976context, returns a list of lines (however you've defined lines with $/
977or $INPUT_RECORD_SEPARATOR).
978
979Because backticks do not affect standard error, use shell file descriptor
980syntax (assuming the shell supports this) if you care to address this.
981To capture a command's STDERR and STDOUT together:
a0d0e21e 982
5a964f20
TC
983 $output = `cmd 2>&1`;
984
985To capture a command's STDOUT but discard its STDERR:
986
987 $output = `cmd 2>/dev/null`;
988
989To capture a command's STDERR but discard its STDOUT (ordering is
990important here):
991
992 $output = `cmd 2>&1 1>/dev/null`;
993
994To exchange a command's STDOUT and STDERR in order to capture the STDERR
995but leave its STDOUT to come out the old STDERR:
996
997 $output = `cmd 3>&1 1>&2 2>&3 3>&-`;
998
999To read both a command's STDOUT and its STDERR separately, it's easiest
1000and safest to redirect them separately to files, and then read from those
1001files when the program is done:
1002
1003 system("program args 1>/tmp/program.stdout 2>/tmp/program.stderr");
1004
1005Using single-quote as a delimiter protects the command from Perl's
1006double-quote interpolation, passing it on to the shell instead:
1007
1008 $perl_info = qx(ps $$); # that's Perl's $$
1009 $shell_info = qx'ps $$'; # that's the new shell's $$
1010
1011Note that how the string gets evaluated is entirely subject to the command
1012interpreter on your system. On most platforms, you will have to protect
1013shell metacharacters if you want them treated literally. This is in
1014practice difficult to do, as it's unclear how to escape which characters.
1015See L<perlsec> for a clean and safe example of a manual fork() and exec()
1016to emulate backticks safely.
a0d0e21e 1017
bb32b41a
GS
1018On some platforms (notably DOS-like ones), the shell may not be
1019capable of dealing with multiline commands, so putting newlines in
1020the string may not get you what you want. You may be able to evaluate
1021multiple commands in a single line by separating them with the command
1022separator character, if your shell supports that (e.g. C<;> on many Unix
1023shells; C<&> on the Windows NT C<cmd> shell).
1024
1025Beware that some command shells may place restrictions on the length
1026of the command line. You must ensure your strings don't exceed this
1027limit after any necessary interpolations. See the platform-specific
1028release notes for more details about your particular environment.
1029
5a964f20
TC
1030Using this operator can lead to programs that are difficult to port,
1031because the shell commands called vary between systems, and may in
1032fact not be present at all. As one example, the C<type> command under
1033the POSIX shell is very different from the C<type> command under DOS.
1034That doesn't mean you should go out of your way to avoid backticks
1035when they're the right way to get something done. Perl was made to be
1036a glue language, and one of the things it glues together is commands.
1037Just understand what you're getting yourself into.
bb32b41a 1038
dc848c6f 1039See L<"I/O Operators"> for more discussion.
a0d0e21e
LW
1040
1041=item qw/STRING/
1042
8127e0e3
GS
1043Evaluates to a list of the words extracted out of STRING, using embedded
1044whitespace as the word delimiters. It can be understood as being roughly
1045equivalent to:
a0d0e21e
LW
1046
1047 split(' ', q/STRING/);
1048
26ef7447
GS
1049the difference being that it generates a real list at compile time. So
1050this expression:
1051
1052 qw(foo bar baz)
1053
1054is exactly equivalent to the list:
1055
1056 ('foo', 'bar', 'baz')
5a964f20 1057
a0d0e21e
LW
1058Some frequently seen examples:
1059
1060 use POSIX qw( setlocale localeconv )
1061 @EXPORT = qw( foo bar baz );
1062
7bac28a0 1063A common mistake is to try to separate the words with comma or to put
5a964f20 1064comments into a multi-line C<qw>-string. For this reason the C<-w>
7bac28a0 1065switch produce warnings if the STRING contains the "," or the "#"
1066character.
1067
a0d0e21e
LW
1068=item s/PATTERN/REPLACEMENT/egimosx
1069
1070Searches a string for a pattern, and if found, replaces that pattern
1071with the replacement text and returns the number of substitutions
e37d713d 1072made. Otherwise it returns false (specifically, the empty string).
a0d0e21e
LW
1073
1074If no string is specified via the C<=~> or C<!~> operator, the C<$_>
1075variable is searched and modified. (The string specified with C<=~> must
5a964f20 1076be scalar variable, an array element, a hash element, or an assignment
5f05dabc 1077to one of those, i.e., an lvalue.)
a0d0e21e 1078
f70b4f9c 1079If the delimiter chosen is a single quote, no variable interpolation is
a0d0e21e
LW
1080done on either the PATTERN or the REPLACEMENT. Otherwise, if the
1081PATTERN contains a $ that looks like a variable rather than an
1082end-of-string test, the variable will be interpolated into the pattern
5f05dabc 1083at run-time. If you want the pattern compiled only once the first time
a0d0e21e 1084the variable is interpolated, use the C</o> option. If the pattern
5a964f20 1085evaluates to the empty string, the last successfully executed regular
a0d0e21e 1086expression is used instead. See L<perlre> for further explanation on these.
5a964f20 1087See L<perllocale> for discussion of additional considerations that apply
a034a98d 1088when C<use locale> is in effect.
a0d0e21e
LW
1089
1090Options are:
1091
1092 e Evaluate the right side as an expression.
5f05dabc 1093 g Replace globally, i.e., all occurrences.
a0d0e21e
LW
1094 i Do case-insensitive pattern matching.
1095 m Treat string as multiple lines.
5f05dabc 1096 o Compile pattern only once.
a0d0e21e
LW
1097 s Treat string as single line.
1098 x Use extended regular expressions.
1099
1100Any non-alphanumeric, non-whitespace delimiter may replace the
1101slashes. If single quotes are used, no interpretation is done on the
e37d713d 1102replacement string (the C</e> modifier overrides this, however). Unlike
54310121 1103Perl 4, Perl 5 treats backticks as normal delimiters; the replacement
e37d713d 1104text is not evaluated as a command. If the
a0d0e21e 1105PATTERN is delimited by bracketing quotes, the REPLACEMENT has its own
5f05dabc 1106pair of quotes, which may or may not be bracketing quotes, e.g.,
a0d0e21e 1107C<s(foo)(bar)> or C<sE<lt>fooE<gt>/bar/>. A C</e> will cause the
7b8d334a 1108replacement portion to be interpreted as a full-fledged Perl expression
a0d0e21e
LW
1109and eval()ed right then and there. It is, however, syntax checked at
1110compile-time.
1111
1112Examples:
1113
1114 s/\bgreen\b/mauve/g; # don't change wintergreen
1115
1116 $path =~ s|/usr/bin|/usr/local/bin|;
1117
1118 s/Login: $foo/Login: $bar/; # run-time pattern
1119
5a964f20 1120 ($foo = $bar) =~ s/this/that/; # copy first, then change
a0d0e21e 1121
5a964f20 1122 $count = ($paragraph =~ s/Mister\b/Mr./g); # get change-count
a0d0e21e
LW
1123
1124 $_ = 'abc123xyz';
1125 s/\d+/$&*2/e; # yields 'abc246xyz'
1126 s/\d+/sprintf("%5d",$&)/e; # yields 'abc 246xyz'
1127 s/\w/$& x 2/eg; # yields 'aabbcc 224466xxyyzz'
1128
1129 s/%(.)/$percent{$1}/g; # change percent escapes; no /e
1130 s/%(.)/$percent{$1} || $&/ge; # expr now, so /e
1131 s/^=(\w+)/&pod($1)/ge; # use function call
1132
5a964f20
TC
1133 # expand variables in $_, but dynamics only, using
1134 # symbolic dereferencing
1135 s/\$(\w+)/${$1}/g;
1136
a0d0e21e 1137 # /e's can even nest; this will expand
5a964f20 1138 # any embedded scalar variable (including lexicals) in $_
a0d0e21e
LW
1139 s/(\$\w+)/$1/eeg;
1140
5a964f20 1141 # Delete (most) C comments.
a0d0e21e 1142 $program =~ s {
4633a7c4
LW
1143 /\* # Match the opening delimiter.
1144 .*? # Match a minimal number of characters.
1145 \*/ # Match the closing delimiter.
a0d0e21e
LW
1146 } []gsx;
1147
5a964f20
TC
1148 s/^\s*(.*?)\s*$/$1/; # trim white space in $_, expensively
1149
1150 for ($variable) { # trim white space in $variable, cheap
1151 s/^\s+//;
1152 s/\s+$//;
1153 }
a0d0e21e
LW
1154
1155 s/([^ ]*) *([^ ]*)/$2 $1/; # reverse 1st two fields
1156
54310121 1157Note the use of $ instead of \ in the last example. Unlike
5f05dabc 1158B<sed>, we use the \E<lt>I<digit>E<gt> form in only the left hand side.
6ee5d4e7 1159Anywhere else it's $E<lt>I<digit>E<gt>.
a0d0e21e 1160
5f05dabc 1161Occasionally, you can't use just a C</g> to get all the changes
a0d0e21e
LW
1162to occur. Here are two common cases:
1163
1164 # put commas in the right places in an integer
1165 1 while s/(.*\d)(\d\d\d)/$1,$2/g; # perl4
1166 1 while s/(\d)(\d\d\d)(?!\d)/$1,$2/g; # perl5
1167
1168 # expand tabs to 8-column spacing
1169 1 while s/\t+/' ' x (length($&)*8 - length($`)%8)/e;
1170
1171
a0ed51b3 1172=item tr/SEARCHLIST/REPLACEMENTLIST/cdsUC
a0d0e21e 1173
a0ed51b3 1174=item y/SEARCHLIST/REPLACEMENTLIST/cdsUC
a0d0e21e 1175
2c268ad5 1176Transliterates all occurrences of the characters found in the search list
a0d0e21e
LW
1177with the corresponding character in the replacement list. It returns
1178the number of characters replaced or deleted. If no string is
2c268ad5 1179specified via the =~ or !~ operator, the $_ string is transliterated. (The
54310121 1180string specified with =~ must be a scalar variable, an array element, a
1181hash element, or an assignment to one of those, i.e., an lvalue.)
8ada0baa 1182
2c268ad5
TP
1183A character range may be specified with a hyphen, so C<tr/A-J/0-9/>
1184does the same replacement as C<tr/ACEGIBDFHJ/0246813579/>.
54310121 1185For B<sed> devotees, C<y> is provided as a synonym for C<tr>. If the
1186SEARCHLIST is delimited by bracketing quotes, the REPLACEMENTLIST has
1187its own pair of quotes, which may or may not be bracketing quotes,
2c268ad5 1188e.g., C<tr[A-Z][a-z]> or C<tr(+\-*/)/ABCD/>.
a0d0e21e 1189
8ada0baa
JH
1190Note also that the whole range idea is rather unportable between
1191character sets--and even within character sets they may cause results
1192you probably didn't expect. A sound principle is to use only ranges
1193that begin from and end at either alphabets of equal case (a-e, A-E),
1194or digits (0-4). Anything else is unsafe. If in doubt, spell out the
1195character sets in full.
1196
a0d0e21e
LW
1197Options:
1198
1199 c Complement the SEARCHLIST.
1200 d Delete found but unreplaced characters.
1201 s Squash duplicate replaced characters.
a0ed51b3
LW
1202 U Translate to/from UTF-8.
1203 C Translate to/from 8-bit char (octet).
a0d0e21e
LW
1204
1205If the C</c> modifier is specified, the SEARCHLIST character set is
1206complemented. If the C</d> modifier is specified, any characters specified
1207by SEARCHLIST not found in REPLACEMENTLIST are deleted. (Note
1208that this is slightly more flexible than the behavior of some B<tr>
1209programs, which delete anything they find in the SEARCHLIST, period.)
1210If the C</s> modifier is specified, sequences of characters that were
2c268ad5 1211transliterated to the same character are squashed down to a single instance of the
a0d0e21e
LW
1212character.
1213
1214If the C</d> modifier is used, the REPLACEMENTLIST is always interpreted
1215exactly as specified. Otherwise, if the REPLACEMENTLIST is shorter
1216than the SEARCHLIST, the final character is replicated till it is long
5a964f20 1217enough. If the REPLACEMENTLIST is empty, the SEARCHLIST is replicated.
a0d0e21e
LW
1218This latter is useful for counting characters in a class or for
1219squashing character sequences in a class.
1220
a0ed51b3
LW
1221The first C</U> or C</C> modifier applies to the left side of the translation.
1222The second one applies to the right side. If present, these modifiers override
1223the current utf8 state.
1224
a0d0e21e
LW
1225Examples:
1226
1227 $ARGV[1] =~ tr/A-Z/a-z/; # canonicalize to lower case
1228
1229 $cnt = tr/*/*/; # count the stars in $_
1230
1231 $cnt = $sky =~ tr/*/*/; # count the stars in $sky
1232
1233 $cnt = tr/0-9//; # count the digits in $_
1234
1235 tr/a-zA-Z//s; # bookkeeper -> bokeper
1236
1237 ($HOST = $host) =~ tr/a-z/A-Z/;
1238
1239 tr/a-zA-Z/ /cs; # change non-alphas to single space
1240
1241 tr [\200-\377]
1242 [\000-\177]; # delete 8th bit
1243
a0ed51b3
LW
1244 tr/\0-\xFF//CU; # translate Latin-1 to Unicode
1245 tr/\0-\x{FF}//UC; # translate Unicode to Latin-1
1246
2c268ad5 1247If multiple transliterations are given for a character, only the first one is used:
748a9306
LW
1248
1249 tr/AAA/XYZ/
1250
2c268ad5 1251will transliterate any A to X.
748a9306 1252
2c268ad5 1253Note that because the transliteration table is built at compile time, neither
a0d0e21e
LW
1254the SEARCHLIST nor the REPLACEMENTLIST are subjected to double quote
1255interpolation. That means that if you want to use variables, you must use
1256an eval():
1257
1258 eval "tr/$oldlist/$newlist/";
1259 die $@ if $@;
1260
1261 eval "tr/$oldlist/$newlist/, 1" or die $@;
1262
1263=back
1264
75e14d17
IZ
1265=head2 Gory details of parsing quoted constructs
1266
1267When presented with something which may have several different
1268interpretations, Perl uses the principle B<DWIM> (expanded to Do What I Mean
1269- not what I wrote) to pick up the most probable interpretation of the
1270source. This strategy is so successful that Perl users usually do not
1271suspect ambivalence of what they write. However, time to time Perl's ideas
1272differ from what the author meant.
1273
1274The target of this section is to clarify the Perl's way of interpreting
1275quoted constructs. The most frequent reason one may have to want to know the
1276details discussed in this section is hairy regular expressions. However, the
1277first steps of parsing are the same for all Perl quoting operators, so here
1278they are discussed together.
1279
2a94b7ce
IZ
1280The most important detail of Perl parsing rules is the first one
1281discussed below; when processing a quoted construct, Perl I<first>
1282finds the end of the construct, then it interprets the contents of the
1283construct. If you understand this rule, you may skip the rest of this
1284section on the first reading. The other rules would
1285contradict user's expectations much less frequently than the first one.
1286
75e14d17
IZ
1287Some of the passes discussed below are performed concurrently, but as
1288far as results are the same, we consider them one-by-one. For different
1289quoting constructs Perl performs different number of passes, from
1290one to five, but they are always performed in the same order.
1291
1292=over
1293
1294=item Finding the end
1295
2a94b7ce
IZ
1296First pass is finding the end of the quoted construct, be it
1297a multichar delimiter
75e14d17 1298C<"\nEOF\n"> of C<<<EOF> construct, C</> which terminates C<qq/> construct,
7522fed5 1299C<]> which terminates C<qq[> construct, or C<E<gt>> which terminates a
75e14d17
IZ
1300fileglob started with C<<>.
1301
2a94b7ce 1302When searching for one-char non-matching delimiter, such as C</>, combinations
75e14d17
IZ
1303C<\\> and C<\/> are skipped. When searching for one-char matching delimiter,
1304such as C<]>, combinations C<\\>, C<\]> and C<\[> are skipped, and
2a94b7ce
IZ
1305nested C<[>, C<]> are skipped as well. When searching for multichar delimiter
1306no skipping is performed.
75e14d17 1307
2a94b7ce
IZ
1308For constructs with 3-part delimiters (C<s///> etc.) the search is
1309repeated once more.
75e14d17 1310
2a94b7ce
IZ
1311During this search no attention is paid to the semantic of the construct,
1312thus:
75e14d17
IZ
1313
1314 "$hash{"$foo/$bar"}"
1315
2a94b7ce 1316or:
75e14d17
IZ
1317
1318 m/
2a94b7ce 1319 bar # NOT a comment, this slash / terminated m//!
75e14d17
IZ
1320 /x
1321
2a94b7ce
IZ
1322do not form legal quoted expressions, the quoted part ends on the first C<">
1323and C</>, and the rest happens to be a syntax error. Note that since the slash
1324which terminated C<m//> was followed by a C<SPACE>, the above is not C<m//x>,
1325but rather C<m//> with no 'x' switch. So the embedded C<#> is interpreted
1326as a literal C<#>.
75e14d17
IZ
1327
1328=item Removal of backslashes before delimiters
1329
1330During the second pass the text between the starting delimiter and
1331the ending delimiter is copied to a safe location, and the C<\> is
1332removed from combinations consisting of C<\> and delimiter(s) (both starting
1333and ending delimiter if they differ).
1334
1335The removal does not happen for multi-char delimiters.
1336
1337Note that the combination C<\\> is left as it was!
1338
1339Starting from this step no information about the delimiter(s) is used in the
1340parsing.
1341
1342=item Interpolation
1343
1344Next step is interpolation in the obtained delimiter-independent text.
7522fed5 1345There are four different cases.
75e14d17
IZ
1346
1347=over
1348
1349=item C<<<'EOF'>, C<m''>, C<s'''>, C<tr///>, C<y///>
1350
1351No interpolation is performed.
1352
1353=item C<''>, C<q//>
1354
1355The only interpolation is removal of C<\> from pairs C<\\>.
1356
1357=item C<"">, C<``>, C<qq//>, C<qx//>, C<<file*globE<gt>>
1358
1359C<\Q>, C<\U>, C<\u>, C<\L>, C<\l> (possibly paired with C<\E>) are converted
2a94b7ce 1360to corresponding Perl constructs, thus C<"$foo\Qbaz$bar"> is converted to :
75e14d17
IZ
1361
1362 $foo . (quotemeta("baz" . $bar));
1363
1364Other combinations of C<\> with following chars are substituted with
2a94b7ce
IZ
1365appropriate expansions.
1366
1367Let it be stressed that I<whatever is between C<\Q> and C<\E>> is interpolated
1368in the usual way. Say, C<"\Q\\E"> has no C<\E> inside: it has C<\Q>, C<\\>,
1369and C<E>, thus the result is the same as for C<"\\\\E">. Generally speaking,
1370having backslashes between C<\Q> and C<\E> may lead to counterintuitive
1371results. So, C<"\Q\t\E"> is converted to:
1372
1373 quotemeta("\t")
1374
1375which is the same as C<"\\\t"> (since TAB is not alphanumerical). Note also
1376that:
1377
1378 $str = '\t';
1379 return "\Q$str";
1380
1381may be closer to the conjectural I<intention> of the writer of C<"\Q\t\E">.
1382
1383Interpolated scalars and arrays are internally converted to the C<join> and
1384C<.> Perl operations, thus C<"$foo >>> '@arr'"> becomes:
75e14d17 1385
2a94b7ce 1386 $foo . " >>> '" . (join $", @arr) . "'";
75e14d17 1387
2a94b7ce 1388All the operations in the above are performed simultaneously left-to-right.
75e14d17 1389
2a94b7ce
IZ
1390Since the result of "\Q STRING \E" has all the metacharacters quoted
1391there is no way to insert a literal C<$> or C<@> inside a C<\Q\E> pair: if
1392protected by C<\> C<$> will be quoted to became "\\\$", if not, it is
75e14d17
IZ
1393interpreted as starting an interpolated scalar.
1394
2a94b7ce
IZ
1395Note also that the interpolating code needs to make a decision on where the
1396interpolated scalar ends. For instance, whether C<"a $b -E<gt> {c}"> means:
75e14d17
IZ
1397
1398 "a " . $b . " -> {c}";
1399
2a94b7ce 1400or:
75e14d17
IZ
1401
1402 "a " . $b -> {c};
1403
2a94b7ce
IZ
1404I<Most of the time> the decision is to take the longest possible text which
1405does not include spaces between components and contains matching
1406braces/brackets. Since the outcome may be determined by I<voting> based
1407on heuristic estimators, the result I<is not strictly predictable>, but
1408is usually correct for the ambiguous cases.
75e14d17
IZ
1409
1410=item C<?RE?>, C</RE/>, C<m/RE/>, C<s/RE/foo/>,
1411
1412Processing of C<\Q>, C<\U>, C<\u>, C<\L>, C<\l> and interpolation happens
7522fed5 1413(almost) as with C<qq//> constructs, but I<the substitution of C<\> followed by
2a94b7ce
IZ
1414RE-special chars (including C<\>) is not performed>! Moreover,
1415inside C<(?{BLOCK})>, C<(?# comment )>, and C<#>-comment of
1416C<//x>-regular expressions no processing is performed at all.
1417This is the first step where presence of the C<//x> switch is relevant.
75e14d17 1418
7522fed5 1419Interpolation has several quirks: C<$|>, C<$(> and C<$)> are not interpolated, and
75e14d17 1420constructs C<$var[SOMETHING]> are I<voted> (by several different estimators)
7522fed5 1421to be an array element or C<$var> followed by a RE alternative. This is
75e14d17 1422the place where the notation C<${arr[$bar]}> comes handy: C</${arr[0-9]}/>
7522fed5
A
1423is interpreted as an array element C<-9>, not as a regular expression from
1424variable C<$arr> followed by a digit, which is the interpretation of
2a94b7ce
IZ
1425C</$arr[0-9]/>. Since voting among different estimators may be performed,
1426the result I<is not predictable>.
1427
1428It is on this step that C<\1> is converted to C<$1> in the replacement
1429text of C<s///>.
75e14d17 1430
7522fed5
A
1431Note that absence of processing of C<\\> creates specific restrictions on the
1432post-processed text: if the delimiter is C</>, one cannot get the combination
75e14d17
IZ
1433C<\/> into the result of this step: C</> will finish the regular expression,
1434C<\/> will be stripped to C</> on the previous step, and C<\\/> will be left
1435as is. Since C</> is equivalent to C<\/> inside a regular expression, this
2a94b7ce
IZ
1436does not matter unless the delimiter is a special character for the RE engine,
1437as in C<s*foo*bar*>, C<m[foo]>, or C<?foo?>, or an alphanumeric char, as in:
1438
1439 m m ^ a \s* b mmx;
1440
1441In the above RE, which is intentionally obfuscated for illustration, the
1442delimiter is C<m>, the modifier is C<mx>, and after backslash-removal the
1443RE is the same as for C<m/ ^ a s* b /mx>).
75e14d17
IZ
1444
1445=back
1446
1447This step is the last one for all the constructs except regular expressions,
1448which are processed further.
1449
1450=item Interpolation of regular expressions
1451
1452All the previous steps were performed during the compilation of Perl code,
1453this one happens in run time (though it may be optimized to be calculated
1454at compile time if appropriate). After all the preprocessing performed
1455above (and possibly after evaluation if catenation, joining, up/down-casing
7522fed5 1456and C<quotemeta()>ing are involved) the resulting I<string> is passed to RE
75e14d17
IZ
1457engine for compilation.
1458
1459Whatever happens in the RE engine is better be discussed in L<perlre>,
1460but for the sake of continuity let us do it here.
1461
2a94b7ce 1462This is another step where presence of the C<//x> switch is relevant.
7522fed5 1463The RE engine scans the string left-to-right, and converts it to a finite
75e14d17
IZ
1464automaton.
1465
1466Backslashed chars are either substituted by corresponding literal
2a94b7ce
IZ
1467strings (as with C<\{>), or generate special nodes of the finite automaton
1468(as with C<\b>). Characters which are special to the RE engine (such as
1469C<|>) generate corresponding nodes or groups of nodes. C<(?#...)>
75e14d17
IZ
1470comments are ignored. All the rest is either converted to literal strings
1471to match, or is ignored (as is whitespace and C<#>-style comments if
1472C<//x> is present).
1473
1474Note that the parsing of the construct C<[...]> is performed using
2a94b7ce
IZ
1475rather different rules than for the rest of the regular expression.
1476The terminator of this construct is found using the same rules as for
1477finding a terminator of a C<{}>-delimited construct, the only exception
1478being that C<]> immediately following C<[> is considered as if preceded
1479by a backslash. Similarly, the terminator of C<(?{...})> is found using
1480the same rules as for finding a terminator of a C<{}>-delimited construct.
1481
1482It is possible to inspect both the string given to RE engine, and the
1483resulting finite automaton. See arguments C<debug>/C<debugcolor>
1484of C<use L<re>> directive, and/or B<-Dr> option of Perl in
1485L<perlrun/Switches>.
75e14d17
IZ
1486
1487=item Optimization of regular expressions
1488
7522fed5 1489This step is listed for completeness only. Since it does not change
75e14d17 1490semantics, details of this step are not documented and are subject
2a94b7ce
IZ
1491to change. This step is performed over the finite automaton generated
1492during the previous pass.
1493
1494However, in older versions of Perl C<L<split>> used to silently
1495optimize C</^/> to mean C</^/m>. This behaviour, though present
1496in current versions of Perl, may be deprecated in future.
75e14d17
IZ
1497
1498=back
1499
a0d0e21e
LW
1500=head2 I/O Operators
1501
54310121 1502There are several I/O operators you should know about.
fbad3eb5 1503
7b8d334a 1504A string enclosed by backticks (grave accents) first undergoes
a0d0e21e
LW
1505variable substitution just like a double quoted string. It is then
1506interpreted as a command, and the output of that command is the value
5a964f20
TC
1507of the pseudo-literal, like in a shell. In scalar context, a single
1508string consisting of all the output is returned. In list context,
a0d0e21e
LW
1509a list of values is returned, one for each line of output. (You can
1510set C<$/> to use a different line terminator.) The command is executed
1511each time the pseudo-literal is evaluated. The status value of the
1512command is returned in C<$?> (see L<perlvar> for the interpretation
1513of C<$?>). Unlike in B<csh>, no translation is done on the return
1514data--newlines remain newlines. Unlike in any of the shells, single
1515quotes do not hide variable names in the command from interpretation.
1516To pass a $ through to the shell you need to hide it with a backslash.
54310121 1517The generalized form of backticks is C<qx//>. (Because backticks
1518always undergo shell expansion as well, see L<perlsec> for
cb1a09d0 1519security concerns.)
a0d0e21e 1520
fbad3eb5
GS
1521In a scalar context, evaluating a filehandle in angle brackets yields the
1522next line from that file (newline, if any, included), or C<undef> at
1523end-of-file. When C<$/> is set to C<undef> (i.e. file slurp mode),
1524it returns C<''> the first time, followed by C<undef> subsequently.
1525
1526Ordinarily you must assign the returned value to a variable, but there is one
aa689395 1527situation where an automatic assignment happens. I<If and ONLY if> the
1528input symbol is the only thing inside the conditional of a C<while> or
1529C<for(;;)> loop, the value is automatically assigned to the variable
7b8d334a 1530C<$_>. In these loop constructs, the assigned value (whether assignment
5a964f20 1531is automatic or explicit) is then tested to see if it is defined.
7b8d334a
GS
1532The defined test avoids problems where line has a string value
1533that would be treated as false by perl e.g. "" or "0" with no trailing
1534newline. (This may seem like an odd thing to you, but you'll use the
1535construct in almost every Perl script you write.) Anyway, the following
1536lines are equivalent to each other:
a0d0e21e 1537
748a9306 1538 while (defined($_ = <STDIN>)) { print; }
7b8d334a 1539 while ($_ = <STDIN>) { print; }
a0d0e21e
LW
1540 while (<STDIN>) { print; }
1541 for (;<STDIN>;) { print; }
748a9306 1542 print while defined($_ = <STDIN>);
7b8d334a 1543 print while ($_ = <STDIN>);
a0d0e21e
LW
1544 print while <STDIN>;
1545
7b8d334a
GS
1546and this also behaves similarly, but avoids the use of $_ :
1547
1548 while (my $line = <STDIN>) { print $line }
1549
1550If you really mean such values to terminate the loop they should be
5a964f20 1551tested for explicitly:
7b8d334a
GS
1552
1553 while (($_ = <STDIN>) ne '0') { ... }
1554 while (<STDIN>) { last unless $_; ... }
1555
5a964f20 1556In other boolean contexts, C<E<lt>I<filehandle>E<gt>> without explicit C<defined>
7b8d334a
GS
1557test or comparison will solicit a warning if C<-w> is in effect.
1558
5f05dabc 1559The filehandles STDIN, STDOUT, and STDERR are predefined. (The
1560filehandles C<stdin>, C<stdout>, and C<stderr> will also work except in
a0d0e21e
LW
1561packages, where they would be interpreted as local identifiers rather
1562than global.) Additional filehandles may be created with the open()
fbad3eb5 1563function. See L<perlfunc/open> for details on this.
a0d0e21e 1564
6ee5d4e7 1565If a E<lt>FILEHANDLEE<gt> is used in a context that is looking for a list, a
a0d0e21e
LW
1566list consisting of all the input lines is returned, one line per list
1567element. It's easy to make a I<LARGE> data space this way, so use with
1568care.
1569
fbad3eb5
GS
1570E<lt>FILEHANDLEE<gt> may also be spelt readline(FILEHANDLE). See
1571L<perlfunc/readline>.
1572
d28ebecd 1573The null filehandle E<lt>E<gt> is special and can be used to emulate the
1574behavior of B<sed> and B<awk>. Input from E<lt>E<gt> comes either from
a0d0e21e 1575standard input, or from each file listed on the command line. Here's
d28ebecd 1576how it works: the first time E<lt>E<gt> is evaluated, the @ARGV array is
5a964f20 1577checked, and if it is empty, C<$ARGV[0]> is set to "-", which when opened
a0d0e21e
LW
1578gives you standard input. The @ARGV array is then processed as a list
1579of filenames. The loop
1580
1581 while (<>) {
1582 ... # code for each line
1583 }
1584
1585is equivalent to the following Perl-like pseudo code:
1586
3e3baf6d 1587 unshift(@ARGV, '-') unless @ARGV;
a0d0e21e
LW
1588 while ($ARGV = shift) {
1589 open(ARGV, $ARGV);
1590 while (<ARGV>) {
1591 ... # code for each line
1592 }
1593 }
1594
1595except that it isn't so cumbersome to say, and will actually work. It
1596really does shift array @ARGV and put the current filename into variable
5f05dabc 1597$ARGV. It also uses filehandle I<ARGV> internally--E<lt>E<gt> is just a
1598synonym for E<lt>ARGVE<gt>, which is magical. (The pseudo code above
1599doesn't work because it treats E<lt>ARGVE<gt> as non-magical.)
a0d0e21e 1600
d28ebecd 1601You can modify @ARGV before the first E<lt>E<gt> as long as the array ends up
a0d0e21e
LW
1602containing the list of filenames you really want. Line numbers (C<$.>)
1603continue as if the input were one big happy file. (But see example
5a964f20
TC
1604under C<eof> for how to reset line numbers on each file.)
1605
1606If you want to set @ARGV to your own list of files, go right ahead.
1607This sets @ARGV to all plain text files if no @ARGV was given:
1608
1609 @ARGV = grep { -f && -T } glob('*') unless @ARGV;
a0d0e21e 1610
5a964f20
TC
1611You can even set them to pipe commands. For example, this automatically
1612filters compressed arguments through B<gzip>:
1613
1614 @ARGV = map { /\.(gz|Z)$/ ? "gzip -dc < $_ |" : $_ } @ARGV;
1615
1616If you want to pass switches into your script, you can use one of the
a0d0e21e
LW
1617Getopts modules or put a loop on the front like this:
1618
1619 while ($_ = $ARGV[0], /^-/) {
1620 shift;
1621 last if /^--$/;
1622 if (/^-D(.*)/) { $debug = $1 }
1623 if (/^-v/) { $verbose++ }
5a964f20 1624 # ... # other switches
a0d0e21e 1625 }
5a964f20 1626
a0d0e21e 1627 while (<>) {
5a964f20 1628 # ... # code for each line
a0d0e21e
LW
1629 }
1630
7b8d334a
GS
1631The E<lt>E<gt> symbol will return C<undef> for end-of-file only once.
1632If you call it again after this it will assume you are processing another
1633@ARGV list, and if you haven't set @ARGV, will input from STDIN.
a0d0e21e
LW
1634
1635If the string inside the angle brackets is a reference to a scalar
5f05dabc 1636variable (e.g., E<lt>$fooE<gt>), then that variable contains the name of the
5a964f20 1637filehandle to input from, or its typeglob, or a reference to the same. For example:
cb1a09d0
AD
1638
1639 $fh = \*STDIN;
1640 $line = <$fh>;
a0d0e21e 1641
5a964f20
TC
1642If what's within the angle brackets is neither a filehandle nor a simple
1643scalar variable containing a filehandle name, typeglob, or typeglob
1644reference, it is interpreted as a filename pattern to be globbed, and
1645either a list of filenames or the next filename in the list is returned,
1646depending on context. This distinction is determined on syntactic
1647grounds alone. That means C<E<lt>$xE<gt>> is always a readline from
1648an indirect handle, but C<E<lt>$hash{key}E<gt>> is always a glob.
1649That's because $x is a simple scalar variable, but C<$hash{key}> is
1650not--it's a hash element.
1651
1652One level of double-quote interpretation is done first, but you can't
1653say C<E<lt>$fooE<gt>> because that's an indirect filehandle as explained
1654in the previous paragraph. (In older versions of Perl, programmers
1655would insert curly brackets to force interpretation as a filename glob:
1656C<E<lt>${foo}E<gt>>. These days, it's considered cleaner to call the
1657internal function directly as C<glob($foo)>, which is probably the right
1658way to have done it in the first place.) Example:
a0d0e21e
LW
1659
1660 while (<*.c>) {
1661 chmod 0644, $_;
1662 }
1663
1664is equivalent to
1665
1666 open(FOO, "echo *.c | tr -s ' \t\r\f' '\\012\\012\\012\\012'|");
1667 while (<FOO>) {
1668 chop;
1669 chmod 0644, $_;
1670 }
1671
1672In fact, it's currently implemented that way. (Which means it will not
1673work on filenames with spaces in them unless you have csh(1) on your
1674machine.) Of course, the shortest way to do the above is:
1675
1676 chmod 0644, <*.c>;
1677
1678Because globbing invokes a shell, it's often faster to call readdir() yourself
5f05dabc 1679and do your own grep() on the filenames. Furthermore, due to its current
54310121 1680implementation of using a shell, the glob() routine may get "Arg list too
a0d0e21e
LW
1681long" errors (unless you've installed tcsh(1L) as F</bin/csh>).
1682
5f05dabc 1683A glob evaluates its (embedded) argument only when it is starting a new
4633a7c4
LW
1684list. All values must be read before it will start over. In a list
1685context this isn't important, because you automatically get them all
5a964f20 1686anyway. In scalar context, however, the operator returns the next value
7b8d334a
GS
1687each time it is called, or a C<undef> value if you've just run out. As
1688for filehandles an automatic C<defined> is generated when the glob
1689occurs in the test part of a C<while> or C<for> - because legal glob returns
1690(e.g. a file called F<0>) would otherwise terminate the loop.
1691Again, C<undef> is returned only once. So if you're expecting a single value
1692from a glob, it is much better to say
4633a7c4
LW
1693
1694 ($file) = <blurch*>;
1695
1696than
1697
1698 $file = <blurch*>;
1699
1700because the latter will alternate between returning a filename and
54310121 1701returning FALSE.
4633a7c4
LW
1702
1703It you're trying to do variable interpolation, it's definitely better
1704to use the glob() function, because the older notation can cause people
e37d713d 1705to become confused with the indirect filehandle notation.
4633a7c4
LW
1706
1707 @files = glob("$dir/*.[ch]");
1708 @files = glob($files[$i]);
1709
a0d0e21e
LW
1710=head2 Constant Folding
1711
1712Like C, Perl does a certain amount of expression evaluation at
5a964f20 1713compile time, whenever it determines that all arguments to an
a0d0e21e
LW
1714operator are static and have no side effects. In particular, string
1715concatenation happens at compile time between literals that don't do
1716variable substitution. Backslash interpretation also happens at
1717compile time. You can say
1718
1719 'Now is the time for all' . "\n" .
1720 'good men to come to.'
1721
54310121 1722and this all reduces to one string internally. Likewise, if
a0d0e21e
LW
1723you say
1724
1725 foreach $file (@filenames) {
5a964f20 1726 if (-s $file > 5 + 100 * 2**16) { }
54310121 1727 }
a0d0e21e 1728
54310121 1729the compiler will precompute the number that
a0d0e21e
LW
1730expression represents so that the interpreter
1731won't have to.
1732
2c268ad5
TP
1733=head2 Bitwise String Operators
1734
1735Bitstrings of any size may be manipulated by the bitwise operators
1736(C<~ | & ^>).
1737
1738If the operands to a binary bitwise op are strings of different sizes,
1ae175c8
GS
1739B<|> and B<^> ops will act as if the shorter operand had additional
1740zero bits on the right, while the B<&> op will act as if the longer
1741operand were truncated to the length of the shorter. Note that the
1742granularity for such extension or truncation is one or more I<bytes>.
2c268ad5
TP
1743
1744 # ASCII-based examples
1745 print "j p \n" ^ " a h"; # prints "JAPH\n"
1746 print "JA" | " ph\n"; # prints "japh\n"
1747 print "japh\nJunk" & '_____'; # prints "JAPH\n";
1748 print 'p N$' ^ " E<H\n"; # prints "Perl\n";
1749
1750If you are intending to manipulate bitstrings, you should be certain that
1751you're supplying bitstrings: If an operand is a number, that will imply
1752a B<numeric> bitwise operation. You may explicitly show which type of
1753operation you intend by using C<""> or C<0+>, as in the examples below.
1754
1755 $foo = 150 | 105 ; # yields 255 (0x96 | 0x69 is 0xFF)
1756 $foo = '150' | 105 ; # yields 255
1757 $foo = 150 | '105'; # yields 255
1758 $foo = '150' | '105'; # yields string '155' (under ASCII)
1759
1760 $baz = 0+$foo & 0+$bar; # both ops explicitly numeric
1761 $biz = "$foo" ^ "$bar"; # both ops explicitly stringy
a0d0e21e 1762
1ae175c8
GS
1763See L<perlfunc/vec> for information on how to manipulate individual bits
1764in a bit vector.
1765
55497cff 1766=head2 Integer Arithmetic
a0d0e21e
LW
1767
1768By default Perl assumes that it must do most of its arithmetic in
1769floating point. But by saying
1770
1771 use integer;
1772
1773you may tell the compiler that it's okay to use integer operations
1774from here to the end of the enclosing BLOCK. An inner BLOCK may
54310121 1775countermand this by saying
a0d0e21e
LW
1776
1777 no integer;
1778
1779which lasts until the end of that BLOCK.
1780
55497cff 1781The bitwise operators ("&", "|", "^", "~", "<<", and ">>") always
2c268ad5
TP
1782produce integral results. (But see also L<Bitwise String Operators>.)
1783However, C<use integer> still has meaning
55497cff 1784for them. By default, their results are interpreted as unsigned
1785integers. However, if C<use integer> is in effect, their results are
5f05dabc 1786interpreted as signed integers. For example, C<~0> usually evaluates
5a964f20 1787to a large integral value. However, C<use integer; ~0> is -1 on twos-complement machines.
68dc0745 1788
1789=head2 Floating-point Arithmetic
1790
1791While C<use integer> provides integer-only arithmetic, there is no
1792similar ways to provide rounding or truncation at a certain number of
1793decimal places. For rounding to a certain number of digits, sprintf()
1794or printf() is usually the easiest route.
1795
5a964f20
TC
1796Floating-point numbers are only approximations to what a mathematician
1797would call real numbers. There are infinitely more reals than floats,
1798so some corners must be cut. For example:
1799
1800 printf "%.20g\n", 123456789123456789;
1801 # produces 123456789123456784
1802
1803Testing for exact equality of floating-point equality or inequality is
1804not a good idea. Here's a (relatively expensive) work-around to compare
1805whether two floating-point numbers are equal to a particular number of
1806decimal places. See Knuth, volume II, for a more robust treatment of
1807this topic.
1808
1809 sub fp_equal {
1810 my ($X, $Y, $POINTS) = @_;
1811 my ($tX, $tY);
1812 $tX = sprintf("%.${POINTS}g", $X);
1813 $tY = sprintf("%.${POINTS}g", $Y);
1814 return $tX eq $tY;
1815 }
1816
68dc0745 1817The POSIX module (part of the standard perl distribution) implements
1818ceil(), floor(), and a number of other mathematical and trigonometric
1819functions. The Math::Complex module (part of the standard perl
1820distribution) defines a number of mathematical functions that can also
1821work on real numbers. Math::Complex not as efficient as POSIX, but
1822POSIX can't work with complex numbers.
1823
1824Rounding in financial applications can have serious implications, and
1825the rounding method used should be specified precisely. In these
1826cases, it probably pays not to trust whichever system rounding is
1827being used by Perl, but to instead implement the rounding function you
1828need yourself.
5a964f20
TC
1829
1830=head2 Bigger Numbers
1831
1832The standard Math::BigInt and Math::BigFloat modules provide
1833variable precision arithmetic and overloaded operators.
1834At the cost of some space and considerable speed, they
1835avoid the normal pitfalls associated with limited-precision
1836representations.
1837
1838 use Math::BigInt;
1839 $x = Math::BigInt->new('123456789123456789');
1840 print $x * $x;
1841
1842 # prints +15241578780673678515622620750190521