slurping an empty file should return '' rather than undef, with
[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
54310121 11Perl easier for C folks.) With very few exceptions, these all
c07a80fd 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 -
54310121 19 left =~ !~
a0d0e21e 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 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
5a964f20 41Many operators can be overloaded for objects. See L<overload>.
42
cb1a09d0 43=head1 DESCRIPTION
a0d0e21e 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 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 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 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 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 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 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 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 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 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 129
130=head2 Exponentiation
131
132Binary "**" is the exponentiation operator. Note that it binds even more
cb1a09d0 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 136
137=head2 Symbolic Unary Operators
138
5f05dabc 139Unary "!" performs logical negation, i.e., "not". See also C<not> for a lower
a0d0e21e 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 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 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 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 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 168pattern, substitution, or transliteration. The left argument is what is
169supposed to be searched, substituted, or transliterated instead of the default
cb1a09d0 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 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 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 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 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 256
257=head2 Relational Operators
258
6ee5d4e7 259Binary "E<lt>" returns true if the left argument is numerically less than
a0d0e21e 260the right argument.
261
6ee5d4e7 262Binary "E<gt>" returns true if the left argument is numerically greater
a0d0e21e 263than the right argument.
264
6ee5d4e7 265Binary "E<lt>=" returns true if the left argument is numerically less than
a0d0e21e 266or equal to the right argument.
267
6ee5d4e7 268Binary "E<gt>=" returns true if the left argument is numerically greater
a0d0e21e 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 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 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 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 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 316
317Binary "^" returns its operators XORed together bit by bit.
2c268ad5 318(See also L<Integer Arithmetic> and L<Bitwise String Operators>.)
a0d0e21e 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 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 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 362Use "or" for assignment is unlikely to do what you want; see below.
363
364=head2 Range Operators
a0d0e21e 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 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 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 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 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 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 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 418As a list operator:
419
420 for (101 .. 200) { print; } # print $_ 100 times
3e3baf6d 421 @foo = @foo[0 .. $#foo]; # an expensive no-op
a0d0e21e 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 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 448is returned. For example:
449
54310121 450 printf "I have %d dog%s.\n", $n,
cb1a09d0 451 ($n == 1) ? '' : "s";
452
453Scalar or list context propagates downward into the 2nd
54310121 454or 3rd argument, whichever is selected.
cb1a09d0 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 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 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 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 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 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 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 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 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 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 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 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 599operators are typed: $, @, %, and &.)
600
601=item (TYPE)
602
54310121 603Type casting operator.
a0d0e21e 604
605=back
606
5f05dabc 607=head2 Quote and Quote-like Operators
a0d0e21e 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 616(round, angle, square, curly) will all nest.
617
2c268ad5 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 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 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 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 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 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 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 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 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 696matching and related activities.
697
75e14d17 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 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 717something in each file of a set of files, for instance. Only C<??>
718patterns local to the current package are reset.
719
5a964f20 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 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 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 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 748 i Do case-insensitive pattern matching.
749 m Treat string as multiple lines.
5f05dabc 750 o Compile pattern only once.
a0d0e21e 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 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 759If "'" is the delimiter, no variable interpolation is performed on the
760PATTERN.
a0d0e21e 761
762PATTERN may contain variables, which will be interpolated (and the
f70b4f9c 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 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 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 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 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 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 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 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 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 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 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 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 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 911=item qr/STRING/imosx
912
4b6a7270 913Quote-as-a-regular-expression operator. I<STRING> is interpolated the
f70b4f9c 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 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 928
929 $re = qr/$pattern/;
0a92e3a8 930 $string =~ /foo${re}bar/; # can be interpolated in other patterns
931 $string =~ $re; # or used standalone
4b6a7270 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 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 964See L<perlre> for additional information on valid syntax for STRING, and
965for a detailed look at the semantics of regular expressions.
966
a0d0e21e 967=item qx/STRING/
968
969=item `STRING`
970
5a964f20 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 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 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 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 1040
1041=item qw/STRING/
1042
8127e0e3 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 1046
1047 split(' ', q/STRING/);
1048
26ef7447 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 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
49bb6761 1068Note that under use L<locale> qw() taints because the definition of
1069whitespace is tainted. See L<perlsec> for more information about
1070tainting and L<perllocale> for more information about locales.
1071
a0d0e21e 1072=item s/PATTERN/REPLACEMENT/egimosx
1073
1074Searches a string for a pattern, and if found, replaces that pattern
1075with the replacement text and returns the number of substitutions
e37d713d 1076made. Otherwise it returns false (specifically, the empty string).
a0d0e21e 1077
1078If no string is specified via the C<=~> or C<!~> operator, the C<$_>
1079variable is searched and modified. (The string specified with C<=~> must
5a964f20 1080be scalar variable, an array element, a hash element, or an assignment
5f05dabc 1081to one of those, i.e., an lvalue.)
a0d0e21e 1082
f70b4f9c 1083If the delimiter chosen is a single quote, no variable interpolation is
a0d0e21e 1084done on either the PATTERN or the REPLACEMENT. Otherwise, if the
1085PATTERN contains a $ that looks like a variable rather than an
1086end-of-string test, the variable will be interpolated into the pattern
5f05dabc 1087at run-time. If you want the pattern compiled only once the first time
a0d0e21e 1088the variable is interpolated, use the C</o> option. If the pattern
5a964f20 1089evaluates to the empty string, the last successfully executed regular
a0d0e21e 1090expression is used instead. See L<perlre> for further explanation on these.
5a964f20 1091See L<perllocale> for discussion of additional considerations that apply
a034a98d 1092when C<use locale> is in effect.
a0d0e21e 1093
1094Options are:
1095
1096 e Evaluate the right side as an expression.
5f05dabc 1097 g Replace globally, i.e., all occurrences.
a0d0e21e 1098 i Do case-insensitive pattern matching.
1099 m Treat string as multiple lines.
5f05dabc 1100 o Compile pattern only once.
a0d0e21e 1101 s Treat string as single line.
1102 x Use extended regular expressions.
1103
1104Any non-alphanumeric, non-whitespace delimiter may replace the
1105slashes. If single quotes are used, no interpretation is done on the
e37d713d 1106replacement string (the C</e> modifier overrides this, however). Unlike
54310121 1107Perl 4, Perl 5 treats backticks as normal delimiters; the replacement
e37d713d 1108text is not evaluated as a command. If the
a0d0e21e 1109PATTERN is delimited by bracketing quotes, the REPLACEMENT has its own
5f05dabc 1110pair of quotes, which may or may not be bracketing quotes, e.g.,
a0d0e21e 1111C<s(foo)(bar)> or C<sE<lt>fooE<gt>/bar/>. A C</e> will cause the
7b8d334a 1112replacement portion to be interpreted as a full-fledged Perl expression
a0d0e21e 1113and eval()ed right then and there. It is, however, syntax checked at
1114compile-time.
1115
1116Examples:
1117
1118 s/\bgreen\b/mauve/g; # don't change wintergreen
1119
1120 $path =~ s|/usr/bin|/usr/local/bin|;
1121
1122 s/Login: $foo/Login: $bar/; # run-time pattern
1123
5a964f20 1124 ($foo = $bar) =~ s/this/that/; # copy first, then change
a0d0e21e 1125
5a964f20 1126 $count = ($paragraph =~ s/Mister\b/Mr./g); # get change-count
a0d0e21e 1127
1128 $_ = 'abc123xyz';
1129 s/\d+/$&*2/e; # yields 'abc246xyz'
1130 s/\d+/sprintf("%5d",$&)/e; # yields 'abc 246xyz'
1131 s/\w/$& x 2/eg; # yields 'aabbcc 224466xxyyzz'
1132
1133 s/%(.)/$percent{$1}/g; # change percent escapes; no /e
1134 s/%(.)/$percent{$1} || $&/ge; # expr now, so /e
1135 s/^=(\w+)/&pod($1)/ge; # use function call
1136
5a964f20 1137 # expand variables in $_, but dynamics only, using
1138 # symbolic dereferencing
1139 s/\$(\w+)/${$1}/g;
1140
a0d0e21e 1141 # /e's can even nest; this will expand
5a964f20 1142 # any embedded scalar variable (including lexicals) in $_
a0d0e21e 1143 s/(\$\w+)/$1/eeg;
1144
5a964f20 1145 # Delete (most) C comments.
a0d0e21e 1146 $program =~ s {
4633a7c4 1147 /\* # Match the opening delimiter.
1148 .*? # Match a minimal number of characters.
1149 \*/ # Match the closing delimiter.
a0d0e21e 1150 } []gsx;
1151
5a964f20 1152 s/^\s*(.*?)\s*$/$1/; # trim white space in $_, expensively
1153
1154 for ($variable) { # trim white space in $variable, cheap
1155 s/^\s+//;
1156 s/\s+$//;
1157 }
a0d0e21e 1158
1159 s/([^ ]*) *([^ ]*)/$2 $1/; # reverse 1st two fields
1160
54310121 1161Note the use of $ instead of \ in the last example. Unlike
5f05dabc 1162B<sed>, we use the \E<lt>I<digit>E<gt> form in only the left hand side.
6ee5d4e7 1163Anywhere else it's $E<lt>I<digit>E<gt>.
a0d0e21e 1164
5f05dabc 1165Occasionally, you can't use just a C</g> to get all the changes
a0d0e21e 1166to occur. Here are two common cases:
1167
1168 # put commas in the right places in an integer
1169 1 while s/(.*\d)(\d\d\d)/$1,$2/g; # perl4
1170 1 while s/(\d)(\d\d\d)(?!\d)/$1,$2/g; # perl5
1171
1172 # expand tabs to 8-column spacing
1173 1 while s/\t+/' ' x (length($&)*8 - length($`)%8)/e;
1174
1175
a0ed51b3 1176=item tr/SEARCHLIST/REPLACEMENTLIST/cdsUC
a0d0e21e 1177
a0ed51b3 1178=item y/SEARCHLIST/REPLACEMENTLIST/cdsUC
a0d0e21e 1179
2c268ad5 1180Transliterates all occurrences of the characters found in the search list
a0d0e21e 1181with the corresponding character in the replacement list. It returns
1182the number of characters replaced or deleted. If no string is
2c268ad5 1183specified via the =~ or !~ operator, the $_ string is transliterated. (The
54310121 1184string specified with =~ must be a scalar variable, an array element, a
1185hash element, or an assignment to one of those, i.e., an lvalue.)
8ada0baa 1186
2c268ad5 1187A character range may be specified with a hyphen, so C<tr/A-J/0-9/>
1188does the same replacement as C<tr/ACEGIBDFHJ/0246813579/>.
54310121 1189For B<sed> devotees, C<y> is provided as a synonym for C<tr>. If the
1190SEARCHLIST is delimited by bracketing quotes, the REPLACEMENTLIST has
1191its own pair of quotes, which may or may not be bracketing quotes,
2c268ad5 1192e.g., C<tr[A-Z][a-z]> or C<tr(+\-*/)/ABCD/>.
a0d0e21e 1193
8ada0baa 1194Note also that the whole range idea is rather unportable between
1195character sets--and even within character sets they may cause results
1196you probably didn't expect. A sound principle is to use only ranges
1197that begin from and end at either alphabets of equal case (a-e, A-E),
1198or digits (0-4). Anything else is unsafe. If in doubt, spell out the
1199character sets in full.
1200
a0d0e21e 1201Options:
1202
1203 c Complement the SEARCHLIST.
1204 d Delete found but unreplaced characters.
1205 s Squash duplicate replaced characters.
a0ed51b3 1206 U Translate to/from UTF-8.
1207 C Translate to/from 8-bit char (octet).
a0d0e21e 1208
1209If the C</c> modifier is specified, the SEARCHLIST character set is
1210complemented. If the C</d> modifier is specified, any characters specified
1211by SEARCHLIST not found in REPLACEMENTLIST are deleted. (Note
1212that this is slightly more flexible than the behavior of some B<tr>
1213programs, which delete anything they find in the SEARCHLIST, period.)
1214If the C</s> modifier is specified, sequences of characters that were
2c268ad5 1215transliterated to the same character are squashed down to a single instance of the
a0d0e21e 1216character.
1217
1218If the C</d> modifier is used, the REPLACEMENTLIST is always interpreted
1219exactly as specified. Otherwise, if the REPLACEMENTLIST is shorter
1220than the SEARCHLIST, the final character is replicated till it is long
5a964f20 1221enough. If the REPLACEMENTLIST is empty, the SEARCHLIST is replicated.
a0d0e21e 1222This latter is useful for counting characters in a class or for
1223squashing character sequences in a class.
1224
a0ed51b3 1225The first C</U> or C</C> modifier applies to the left side of the translation.
1226The second one applies to the right side. If present, these modifiers override
1227the current utf8 state.
1228
a0d0e21e 1229Examples:
1230
1231 $ARGV[1] =~ tr/A-Z/a-z/; # canonicalize to lower case
1232
1233 $cnt = tr/*/*/; # count the stars in $_
1234
1235 $cnt = $sky =~ tr/*/*/; # count the stars in $sky
1236
1237 $cnt = tr/0-9//; # count the digits in $_
1238
1239 tr/a-zA-Z//s; # bookkeeper -> bokeper
1240
1241 ($HOST = $host) =~ tr/a-z/A-Z/;
1242
1243 tr/a-zA-Z/ /cs; # change non-alphas to single space
1244
1245 tr [\200-\377]
1246 [\000-\177]; # delete 8th bit
1247
a0ed51b3 1248 tr/\0-\xFF//CU; # translate Latin-1 to Unicode
1249 tr/\0-\x{FF}//UC; # translate Unicode to Latin-1
1250
2c268ad5 1251If multiple transliterations are given for a character, only the first one is used:
748a9306 1252
1253 tr/AAA/XYZ/
1254
2c268ad5 1255will transliterate any A to X.
748a9306 1256
2c268ad5 1257Note that because the transliteration table is built at compile time, neither
a0d0e21e 1258the SEARCHLIST nor the REPLACEMENTLIST are subjected to double quote
1259interpolation. That means that if you want to use variables, you must use
1260an eval():
1261
1262 eval "tr/$oldlist/$newlist/";
1263 die $@ if $@;
1264
1265 eval "tr/$oldlist/$newlist/, 1" or die $@;
1266
1267=back
1268
75e14d17 1269=head2 Gory details of parsing quoted constructs
1270
1271When presented with something which may have several different
1272interpretations, Perl uses the principle B<DWIM> (expanded to Do What I Mean
1273- not what I wrote) to pick up the most probable interpretation of the
1274source. This strategy is so successful that Perl users usually do not
1275suspect ambivalence of what they write. However, time to time Perl's ideas
1276differ from what the author meant.
1277
1278The target of this section is to clarify the Perl's way of interpreting
1279quoted constructs. The most frequent reason one may have to want to know the
1280details discussed in this section is hairy regular expressions. However, the
1281first steps of parsing are the same for all Perl quoting operators, so here
1282they are discussed together.
1283
1284Some of the passes discussed below are performed concurrently, but as
1285far as results are the same, we consider them one-by-one. For different
1286quoting constructs Perl performs different number of passes, from
1287one to five, but they are always performed in the same order.
1288
1289=over
1290
1291=item Finding the end
1292
1293First pass is finding the end of the quoted construct, be it multichar ender
1294C<"\nEOF\n"> of C<<<EOF> construct, C</> which terminates C<qq/> construct,
7522fed5 1295C<]> which terminates C<qq[> construct, or C<E<gt>> which terminates a
75e14d17 1296fileglob started with C<<>.
1297
1298When searching for multichar construct no skipping is performed. When
1299searching for one-char non-matching delimiter, such as C</>, combinations
1300C<\\> and C<\/> are skipped. When searching for one-char matching delimiter,
1301such as C<]>, combinations C<\\>, C<\]> and C<\[> are skipped, and
1302nested C<[>, C<]> are skipped as well.
1303
7522fed5 1304For 3-parts constructs, C<s///> etc. the search is repeated once more.
75e14d17 1305
7522fed5 1306During this search no attention is paid to the semantic of the construct, thus
75e14d17 1307
1308 "$hash{"$foo/$bar"}"
1309
1310or
1311
1312 m/
1313 bar # This is not a comment, this slash / terminated m//!
1314 /x
1315
1316do not form legal quoted expressions. Note that since the slash which
1317terminated C<m//> was followed by a C<SPACE>, this is not C<m//x>,
1318thus C<#> was interpreted as a literal C<#>.
1319
1320=item Removal of backslashes before delimiters
1321
1322During the second pass the text between the starting delimiter and
1323the ending delimiter is copied to a safe location, and the C<\> is
1324removed from combinations consisting of C<\> and delimiter(s) (both starting
1325and ending delimiter if they differ).
1326
1327The removal does not happen for multi-char delimiters.
1328
1329Note that the combination C<\\> is left as it was!
1330
1331Starting from this step no information about the delimiter(s) is used in the
1332parsing.
1333
1334=item Interpolation
1335
1336Next step is interpolation in the obtained delimiter-independent text.
7522fed5 1337There are four different cases.
75e14d17 1338
1339=over
1340
1341=item C<<<'EOF'>, C<m''>, C<s'''>, C<tr///>, C<y///>
1342
1343No interpolation is performed.
1344
1345=item C<''>, C<q//>
1346
1347The only interpolation is removal of C<\> from pairs C<\\>.
1348
1349=item C<"">, C<``>, C<qq//>, C<qx//>, C<<file*globE<gt>>
1350
1351C<\Q>, C<\U>, C<\u>, C<\L>, C<\l> (possibly paired with C<\E>) are converted
1352to corresponding Perl constructs, thus C<"$foo\Qbaz$bar"> is converted to
1353
1354 $foo . (quotemeta("baz" . $bar));
1355
1356Other combinations of C<\> with following chars are substituted with
1357appropriate expansions.
1358
1359Interpolated scalars and arrays are converted to C<join> and C<.> Perl
1360constructs, thus C<"'@arr'"> becomes
1361
1362 "'" . (join $", @arr) . "'";
1363
1364Since all three above steps are performed simultaneously left-to-right,
1365the is no way to insert a literal C<$> or C<@> inside C<\Q\E> pair: it
1366cannot be protected by C<\>, since any C<\> (except in C<\E>) is
7522fed5 1367interpreted as a literal inside C<\Q\E>, and any C<$> is
75e14d17 1368interpreted as starting an interpolated scalar.
1369
1370Note also that the interpolating code needs to make decision where the
7522fed5 1371interpolated scalar ends, say, whether C<"a $b -E<gt> {c}"> means
75e14d17 1372
1373 "a " . $b . " -> {c}";
1374
1375or
1376
1377 "a " . $b -> {c};
1378
1379Most the time the decision is to take the longest possible text which does
1380not include spaces between components and contains matching braces/brackets.
1381
1382=item C<?RE?>, C</RE/>, C<m/RE/>, C<s/RE/foo/>,
1383
1384Processing of C<\Q>, C<\U>, C<\u>, C<\L>, C<\l> and interpolation happens
7522fed5 1385(almost) as with C<qq//> constructs, but I<the substitution of C<\> followed by
75e14d17 1386other chars is not performed>! Moreover, inside C<(?{BLOCK})> no processing
1387is performed at all.
1388
7522fed5 1389Interpolation has several quirks: C<$|>, C<$(> and C<$)> are not interpolated, and
75e14d17 1390constructs C<$var[SOMETHING]> are I<voted> (by several different estimators)
7522fed5 1391to be an array element or C<$var> followed by a RE alternative. This is
75e14d17 1392the place where the notation C<${arr[$bar]}> comes handy: C</${arr[0-9]}/>
7522fed5 1393is interpreted as an array element C<-9>, not as a regular expression from
1394variable C<$arr> followed by a digit, which is the interpretation of
75e14d17 1395C</$arr[0-9]/>.
1396
7522fed5 1397Note that absence of processing of C<\\> creates specific restrictions on the
1398post-processed text: if the delimiter is C</>, one cannot get the combination
75e14d17 1399C<\/> into the result of this step: C</> will finish the regular expression,
1400C<\/> will be stripped to C</> on the previous step, and C<\\/> will be left
1401as is. Since C</> is equivalent to C<\/> inside a regular expression, this
7522fed5 1402does not matter unless the delimiter is special character for the RE engine, as
75e14d17 1403in C<s*foo*bar*>, C<m[foo]>, or C<?foo?>.
1404
1405=back
1406
1407This step is the last one for all the constructs except regular expressions,
1408which are processed further.
1409
1410=item Interpolation of regular expressions
1411
1412All the previous steps were performed during the compilation of Perl code,
1413this one happens in run time (though it may be optimized to be calculated
1414at compile time if appropriate). After all the preprocessing performed
1415above (and possibly after evaluation if catenation, joining, up/down-casing
7522fed5 1416and C<quotemeta()>ing are involved) the resulting I<string> is passed to RE
75e14d17 1417engine for compilation.
1418
1419Whatever happens in the RE engine is better be discussed in L<perlre>,
1420but for the sake of continuity let us do it here.
1421
7522fed5 1422This is the first step where presence of the C<//x> switch is relevant.
1423The RE engine scans the string left-to-right, and converts it to a finite
75e14d17 1424automaton.
1425
1426Backslashed chars are either substituted by corresponding literal
1427strings, or generate special nodes of the finite automaton. Characters
7522fed5 1428which are special to the RE engine generate corresponding nodes. C<(?#...)>
75e14d17 1429comments are ignored. All the rest is either converted to literal strings
1430to match, or is ignored (as is whitespace and C<#>-style comments if
1431C<//x> is present).
1432
1433Note that the parsing of the construct C<[...]> is performed using
1434absolutely different rules than the rest of the regular expression.
1435Similarly, the C<(?{...})> is only checked for matching braces.
1436
1437=item Optimization of regular expressions
1438
7522fed5 1439This step is listed for completeness only. Since it does not change
75e14d17 1440semantics, details of this step are not documented and are subject
1441to change.
1442
1443=back
1444
a0d0e21e 1445=head2 I/O Operators
1446
54310121 1447There are several I/O operators you should know about.
fbad3eb5 1448
7b8d334a 1449A string enclosed by backticks (grave accents) first undergoes
a0d0e21e 1450variable substitution just like a double quoted string. It is then
1451interpreted as a command, and the output of that command is the value
5a964f20 1452of the pseudo-literal, like in a shell. In scalar context, a single
1453string consisting of all the output is returned. In list context,
a0d0e21e 1454a list of values is returned, one for each line of output. (You can
1455set C<$/> to use a different line terminator.) The command is executed
1456each time the pseudo-literal is evaluated. The status value of the
1457command is returned in C<$?> (see L<perlvar> for the interpretation
1458of C<$?>). Unlike in B<csh>, no translation is done on the return
1459data--newlines remain newlines. Unlike in any of the shells, single
1460quotes do not hide variable names in the command from interpretation.
1461To pass a $ through to the shell you need to hide it with a backslash.
54310121 1462The generalized form of backticks is C<qx//>. (Because backticks
1463always undergo shell expansion as well, see L<perlsec> for
cb1a09d0 1464security concerns.)
a0d0e21e 1465
fbad3eb5 1466In a scalar context, evaluating a filehandle in angle brackets yields the
1467next line from that file (newline, if any, included), or C<undef> at
1468end-of-file. When C<$/> is set to C<undef> (i.e. file slurp mode),
1469it returns C<''> the first time, followed by C<undef> subsequently.
1470
1471Ordinarily you must assign the returned value to a variable, but there is one
aa689395 1472situation where an automatic assignment happens. I<If and ONLY if> the
1473input symbol is the only thing inside the conditional of a C<while> or
1474C<for(;;)> loop, the value is automatically assigned to the variable
7b8d334a 1475C<$_>. In these loop constructs, the assigned value (whether assignment
5a964f20 1476is automatic or explicit) is then tested to see if it is defined.
7b8d334a 1477The defined test avoids problems where line has a string value
1478that would be treated as false by perl e.g. "" or "0" with no trailing
1479newline. (This may seem like an odd thing to you, but you'll use the
1480construct in almost every Perl script you write.) Anyway, the following
1481lines are equivalent to each other:
a0d0e21e 1482
748a9306 1483 while (defined($_ = <STDIN>)) { print; }
7b8d334a 1484 while ($_ = <STDIN>) { print; }
a0d0e21e 1485 while (<STDIN>) { print; }
1486 for (;<STDIN>;) { print; }
748a9306 1487 print while defined($_ = <STDIN>);
7b8d334a 1488 print while ($_ = <STDIN>);
a0d0e21e 1489 print while <STDIN>;
1490
7b8d334a 1491and this also behaves similarly, but avoids the use of $_ :
1492
1493 while (my $line = <STDIN>) { print $line }
1494
1495If you really mean such values to terminate the loop they should be
5a964f20 1496tested for explicitly:
7b8d334a 1497
1498 while (($_ = <STDIN>) ne '0') { ... }
1499 while (<STDIN>) { last unless $_; ... }
1500
5a964f20 1501In other boolean contexts, C<E<lt>I<filehandle>E<gt>> without explicit C<defined>
7b8d334a 1502test or comparison will solicit a warning if C<-w> is in effect.
1503
5f05dabc 1504The filehandles STDIN, STDOUT, and STDERR are predefined. (The
1505filehandles C<stdin>, C<stdout>, and C<stderr> will also work except in
a0d0e21e 1506packages, where they would be interpreted as local identifiers rather
1507than global.) Additional filehandles may be created with the open()
fbad3eb5 1508function. See L<perlfunc/open> for details on this.
a0d0e21e 1509
6ee5d4e7 1510If a E<lt>FILEHANDLEE<gt> is used in a context that is looking for a list, a
a0d0e21e 1511list consisting of all the input lines is returned, one line per list
1512element. It's easy to make a I<LARGE> data space this way, so use with
1513care.
1514
fbad3eb5 1515E<lt>FILEHANDLEE<gt> may also be spelt readline(FILEHANDLE). See
1516L<perlfunc/readline>.
1517
d28ebecd 1518The null filehandle E<lt>E<gt> is special and can be used to emulate the
1519behavior of B<sed> and B<awk>. Input from E<lt>E<gt> comes either from
a0d0e21e 1520standard input, or from each file listed on the command line. Here's
d28ebecd 1521how it works: the first time E<lt>E<gt> is evaluated, the @ARGV array is
5a964f20 1522checked, and if it is empty, C<$ARGV[0]> is set to "-", which when opened
a0d0e21e 1523gives you standard input. The @ARGV array is then processed as a list
1524of filenames. The loop
1525
1526 while (<>) {
1527 ... # code for each line
1528 }
1529
1530is equivalent to the following Perl-like pseudo code:
1531
3e3baf6d 1532 unshift(@ARGV, '-') unless @ARGV;
a0d0e21e 1533 while ($ARGV = shift) {
1534 open(ARGV, $ARGV);
1535 while (<ARGV>) {
1536 ... # code for each line
1537 }
1538 }
1539
1540except that it isn't so cumbersome to say, and will actually work. It
1541really does shift array @ARGV and put the current filename into variable
5f05dabc 1542$ARGV. It also uses filehandle I<ARGV> internally--E<lt>E<gt> is just a
1543synonym for E<lt>ARGVE<gt>, which is magical. (The pseudo code above
1544doesn't work because it treats E<lt>ARGVE<gt> as non-magical.)
a0d0e21e 1545
d28ebecd 1546You can modify @ARGV before the first E<lt>E<gt> as long as the array ends up
a0d0e21e 1547containing the list of filenames you really want. Line numbers (C<$.>)
1548continue as if the input were one big happy file. (But see example
5a964f20 1549under C<eof> for how to reset line numbers on each file.)
1550
1551If you want to set @ARGV to your own list of files, go right ahead.
1552This sets @ARGV to all plain text files if no @ARGV was given:
1553
1554 @ARGV = grep { -f && -T } glob('*') unless @ARGV;
a0d0e21e 1555
5a964f20 1556You can even set them to pipe commands. For example, this automatically
1557filters compressed arguments through B<gzip>:
1558
1559 @ARGV = map { /\.(gz|Z)$/ ? "gzip -dc < $_ |" : $_ } @ARGV;
1560
1561If you want to pass switches into your script, you can use one of the
a0d0e21e 1562Getopts modules or put a loop on the front like this:
1563
1564 while ($_ = $ARGV[0], /^-/) {
1565 shift;
1566 last if /^--$/;
1567 if (/^-D(.*)/) { $debug = $1 }
1568 if (/^-v/) { $verbose++ }
5a964f20 1569 # ... # other switches
a0d0e21e 1570 }
5a964f20 1571
a0d0e21e 1572 while (<>) {
5a964f20 1573 # ... # code for each line
a0d0e21e 1574 }
1575
7b8d334a 1576The E<lt>E<gt> symbol will return C<undef> for end-of-file only once.
1577If you call it again after this it will assume you are processing another
1578@ARGV list, and if you haven't set @ARGV, will input from STDIN.
a0d0e21e 1579
1580If the string inside the angle brackets is a reference to a scalar
5f05dabc 1581variable (e.g., E<lt>$fooE<gt>), then that variable contains the name of the
5a964f20 1582filehandle to input from, or its typeglob, or a reference to the same. For example:
cb1a09d0 1583
1584 $fh = \*STDIN;
1585 $line = <$fh>;
a0d0e21e 1586
5a964f20 1587If what's within the angle brackets is neither a filehandle nor a simple
1588scalar variable containing a filehandle name, typeglob, or typeglob
1589reference, it is interpreted as a filename pattern to be globbed, and
1590either a list of filenames or the next filename in the list is returned,
1591depending on context. This distinction is determined on syntactic
1592grounds alone. That means C<E<lt>$xE<gt>> is always a readline from
1593an indirect handle, but C<E<lt>$hash{key}E<gt>> is always a glob.
1594That's because $x is a simple scalar variable, but C<$hash{key}> is
1595not--it's a hash element.
1596
1597One level of double-quote interpretation is done first, but you can't
1598say C<E<lt>$fooE<gt>> because that's an indirect filehandle as explained
1599in the previous paragraph. (In older versions of Perl, programmers
1600would insert curly brackets to force interpretation as a filename glob:
1601C<E<lt>${foo}E<gt>>. These days, it's considered cleaner to call the
1602internal function directly as C<glob($foo)>, which is probably the right
1603way to have done it in the first place.) Example:
a0d0e21e 1604
1605 while (<*.c>) {
1606 chmod 0644, $_;
1607 }
1608
1609is equivalent to
1610
1611 open(FOO, "echo *.c | tr -s ' \t\r\f' '\\012\\012\\012\\012'|");
1612 while (<FOO>) {
1613 chop;
1614 chmod 0644, $_;
1615 }
1616
1617In fact, it's currently implemented that way. (Which means it will not
1618work on filenames with spaces in them unless you have csh(1) on your
1619machine.) Of course, the shortest way to do the above is:
1620
1621 chmod 0644, <*.c>;
1622
1623Because globbing invokes a shell, it's often faster to call readdir() yourself
5f05dabc 1624and do your own grep() on the filenames. Furthermore, due to its current
54310121 1625implementation of using a shell, the glob() routine may get "Arg list too
a0d0e21e 1626long" errors (unless you've installed tcsh(1L) as F</bin/csh>).
1627
5f05dabc 1628A glob evaluates its (embedded) argument only when it is starting a new
4633a7c4 1629list. All values must be read before it will start over. In a list
1630context this isn't important, because you automatically get them all
5a964f20 1631anyway. In scalar context, however, the operator returns the next value
7b8d334a 1632each time it is called, or a C<undef> value if you've just run out. As
1633for filehandles an automatic C<defined> is generated when the glob
1634occurs in the test part of a C<while> or C<for> - because legal glob returns
1635(e.g. a file called F<0>) would otherwise terminate the loop.
1636Again, C<undef> is returned only once. So if you're expecting a single value
1637from a glob, it is much better to say
4633a7c4 1638
1639 ($file) = <blurch*>;
1640
1641than
1642
1643 $file = <blurch*>;
1644
1645because the latter will alternate between returning a filename and
54310121 1646returning FALSE.
4633a7c4 1647
1648It you're trying to do variable interpolation, it's definitely better
1649to use the glob() function, because the older notation can cause people
e37d713d 1650to become confused with the indirect filehandle notation.
4633a7c4 1651
1652 @files = glob("$dir/*.[ch]");
1653 @files = glob($files[$i]);
1654
a0d0e21e 1655=head2 Constant Folding
1656
1657Like C, Perl does a certain amount of expression evaluation at
5a964f20 1658compile time, whenever it determines that all arguments to an
a0d0e21e 1659operator are static and have no side effects. In particular, string
1660concatenation happens at compile time between literals that don't do
1661variable substitution. Backslash interpretation also happens at
1662compile time. You can say
1663
1664 'Now is the time for all' . "\n" .
1665 'good men to come to.'
1666
54310121 1667and this all reduces to one string internally. Likewise, if
a0d0e21e 1668you say
1669
1670 foreach $file (@filenames) {
5a964f20 1671 if (-s $file > 5 + 100 * 2**16) { }
54310121 1672 }
a0d0e21e 1673
54310121 1674the compiler will precompute the number that
a0d0e21e 1675expression represents so that the interpreter
1676won't have to.
1677
2c268ad5 1678=head2 Bitwise String Operators
1679
1680Bitstrings of any size may be manipulated by the bitwise operators
1681(C<~ | & ^>).
1682
1683If the operands to a binary bitwise op are strings of different sizes,
1ae175c8 1684B<|> and B<^> ops will act as if the shorter operand had additional
1685zero bits on the right, while the B<&> op will act as if the longer
1686operand were truncated to the length of the shorter. Note that the
1687granularity for such extension or truncation is one or more I<bytes>.
2c268ad5 1688
1689 # ASCII-based examples
1690 print "j p \n" ^ " a h"; # prints "JAPH\n"
1691 print "JA" | " ph\n"; # prints "japh\n"
1692 print "japh\nJunk" & '_____'; # prints "JAPH\n";
1693 print 'p N$' ^ " E<H\n"; # prints "Perl\n";
1694
1695If you are intending to manipulate bitstrings, you should be certain that
1696you're supplying bitstrings: If an operand is a number, that will imply
1697a B<numeric> bitwise operation. You may explicitly show which type of
1698operation you intend by using C<""> or C<0+>, as in the examples below.
1699
1700 $foo = 150 | 105 ; # yields 255 (0x96 | 0x69 is 0xFF)
1701 $foo = '150' | 105 ; # yields 255
1702 $foo = 150 | '105'; # yields 255
1703 $foo = '150' | '105'; # yields string '155' (under ASCII)
1704
1705 $baz = 0+$foo & 0+$bar; # both ops explicitly numeric
1706 $biz = "$foo" ^ "$bar"; # both ops explicitly stringy
a0d0e21e 1707
1ae175c8 1708See L<perlfunc/vec> for information on how to manipulate individual bits
1709in a bit vector.
1710
55497cff 1711=head2 Integer Arithmetic
a0d0e21e 1712
1713By default Perl assumes that it must do most of its arithmetic in
1714floating point. But by saying
1715
1716 use integer;
1717
1718you may tell the compiler that it's okay to use integer operations
1719from here to the end of the enclosing BLOCK. An inner BLOCK may
54310121 1720countermand this by saying
a0d0e21e 1721
1722 no integer;
1723
1724which lasts until the end of that BLOCK.
1725
55497cff 1726The bitwise operators ("&", "|", "^", "~", "<<", and ">>") always
2c268ad5 1727produce integral results. (But see also L<Bitwise String Operators>.)
1728However, C<use integer> still has meaning
55497cff 1729for them. By default, their results are interpreted as unsigned
1730integers. However, if C<use integer> is in effect, their results are
5f05dabc 1731interpreted as signed integers. For example, C<~0> usually evaluates
5a964f20 1732to a large integral value. However, C<use integer; ~0> is -1 on twos-complement machines.
68dc0745 1733
1734=head2 Floating-point Arithmetic
1735
1736While C<use integer> provides integer-only arithmetic, there is no
1737similar ways to provide rounding or truncation at a certain number of
1738decimal places. For rounding to a certain number of digits, sprintf()
1739or printf() is usually the easiest route.
1740
5a964f20 1741Floating-point numbers are only approximations to what a mathematician
1742would call real numbers. There are infinitely more reals than floats,
1743so some corners must be cut. For example:
1744
1745 printf "%.20g\n", 123456789123456789;
1746 # produces 123456789123456784
1747
1748Testing for exact equality of floating-point equality or inequality is
1749not a good idea. Here's a (relatively expensive) work-around to compare
1750whether two floating-point numbers are equal to a particular number of
1751decimal places. See Knuth, volume II, for a more robust treatment of
1752this topic.
1753
1754 sub fp_equal {
1755 my ($X, $Y, $POINTS) = @_;
1756 my ($tX, $tY);
1757 $tX = sprintf("%.${POINTS}g", $X);
1758 $tY = sprintf("%.${POINTS}g", $Y);
1759 return $tX eq $tY;
1760 }
1761
68dc0745 1762The POSIX module (part of the standard perl distribution) implements
1763ceil(), floor(), and a number of other mathematical and trigonometric
1764functions. The Math::Complex module (part of the standard perl
1765distribution) defines a number of mathematical functions that can also
1766work on real numbers. Math::Complex not as efficient as POSIX, but
1767POSIX can't work with complex numbers.
1768
1769Rounding in financial applications can have serious implications, and
1770the rounding method used should be specified precisely. In these
1771cases, it probably pays not to trust whichever system rounding is
1772being used by Perl, but to instead implement the rounding function you
1773need yourself.
5a964f20 1774
1775=head2 Bigger Numbers
1776
1777The standard Math::BigInt and Math::BigFloat modules provide
1778variable precision arithmetic and overloaded operators.
1779At the cost of some space and considerable speed, they
1780avoid the normal pitfalls associated with limited-precision
1781representations.
1782
1783 use Math::BigInt;
1784 $x = Math::BigInt->new('123456789123456789');
1785 print $x * $x;
1786
1787 # prints +15241578780673678515622620750190521