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