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