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