This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
op.c: Force shared hash key optimisation for existing COWs
[perl5.git] / pod / perlop.pod
CommitLineData
a0d0e21e 1=head1 NAME
d74e8afc 2X<operator>
a0d0e21e
LW
3
4perlop - Perl operators and precedence
5
d042e63d
MS
6=head1 DESCRIPTION
7
ae3f7391
ML
8In Perl, the operator determines what operation is performed,
9independent of the type of the operands. For example C<$a + $b>
10is always a numeric addition, and if C<$a> or C<$b> do not contain
11numbers, an attempt is made to convert them to numbers first.
12
13This is in contrast to many other dynamic languages, where the
14operation is determined by the type of the first argument. It also
15means that Perl has two versions of some operators, one for numeric
16and one for string comparison. For example C<$a == $b> compares
17two numbers for equality, and C<$a eq $b> compares two strings.
18
19There are a few exceptions though: C<x> can be either string
20repetition or list repetition, depending on the type of the left
21operand, and C<&>, C<|> and C<^> can be either string or numeric bit
22operations.
23
89d205f2 24=head2 Operator Precedence and Associativity
d74e8afc 25X<operator, precedence> X<precedence> X<associativity>
d042e63d
MS
26
27Operator precedence and associativity work in Perl more or less like
28they do in mathematics.
29
30I<Operator precedence> means some operators are evaluated before
31others. For example, in C<2 + 4 * 5>, the multiplication has higher
32precedence so C<4 * 5> is evaluated first yielding C<2 + 20 ==
3322> and not C<6 * 5 == 30>.
34
35I<Operator associativity> defines what happens if a sequence of the
36same operators is used one after another: whether the evaluator will
37evaluate the left operations first or the right. For example, in C<8
38- 4 - 2>, subtraction is left associative so Perl evaluates the
39expression left to right. C<8 - 4> is evaluated first making the
40expression C<4 - 2 == 2> and not C<8 - 2 == 6>.
a0d0e21e
LW
41
42Perl operators have the following associativity and precedence,
19799a22
GS
43listed from highest precedence to lowest. Operators borrowed from
44C keep the same precedence relationship with each other, even where
45C's precedence is slightly screwy. (This makes learning Perl easier
46for C folks.) With very few exceptions, these all operate on scalar
47values only, not array values.
a0d0e21e
LW
48
49 left terms and list operators (leftward)
50 left ->
51 nonassoc ++ --
52 right **
53 right ! ~ \ and unary + and -
54310121 54 left =~ !~
a0d0e21e
LW
55 left * / % x
56 left + - .
57 left << >>
58 nonassoc named unary operators
59 nonassoc < > <= >= lt gt le ge
0d863452 60 nonassoc == != <=> eq ne cmp ~~
a0d0e21e
LW
61 left &
62 left | ^
63 left &&
c963b151 64 left || //
137443ea 65 nonassoc .. ...
a0d0e21e 66 right ?:
2ba1f20a 67 right = += -= *= etc. goto last next redo dump
a0d0e21e
LW
68 left , =>
69 nonassoc list operators (rightward)
a5f75d66 70 right not
a0d0e21e 71 left and
f23102e2 72 left or xor
a0d0e21e
LW
73
74In the following sections, these operators are covered in precedence order.
75
5a964f20
TC
76Many operators can be overloaded for objects. See L<overload>.
77
a0d0e21e 78=head2 Terms and List Operators (Leftward)
d74e8afc 79X<list operator> X<operator, list> X<term>
a0d0e21e 80
62c18ce2 81A TERM has the highest precedence in Perl. They include variables,
5f05dabc 82quote and quote-like operators, any expression in parentheses,
a0d0e21e
LW
83and any function whose arguments are parenthesized. Actually, there
84aren't really functions in this sense, just list operators and unary
85operators behaving as functions because you put parentheses around
86the arguments. These are all documented in L<perlfunc>.
87
88If any list operator (print(), etc.) or any unary operator (chdir(), etc.)
89is followed by a left parenthesis as the next token, the operator and
90arguments within parentheses are taken to be of highest precedence,
91just like a normal function call.
92
93In the absence of parentheses, the precedence of list operators such as
94C<print>, C<sort>, or C<chmod> is either very high or very low depending on
54310121 95whether you are looking at the left side or the right side of the operator.
a0d0e21e
LW
96For example, in
97
98 @ary = (1, 3, sort 4, 2);
99 print @ary; # prints 1324
100
19799a22
GS
101the commas on the right of the sort are evaluated before the sort,
102but the commas on the left are evaluated after. In other words,
103list operators tend to gobble up all arguments that follow, and
a0d0e21e 104then act like a simple TERM with regard to the preceding expression.
19799a22 105Be careful with parentheses:
a0d0e21e
LW
106
107 # These evaluate exit before doing the print:
108 print($foo, exit); # Obviously not what you want.
109 print $foo, exit; # Nor is this.
110
111 # These do the print before evaluating exit:
112 (print $foo), exit; # This is what you want.
113 print($foo), exit; # Or this.
114 print ($foo), exit; # Or even this.
115
116Also note that
117
118 print ($foo & 255) + 1, "\n";
119
d042e63d
MS
120probably doesn't do what you expect at first glance. The parentheses
121enclose the argument list for C<print> which is evaluated (printing
122the result of C<$foo & 255>). Then one is added to the return value
123of C<print> (usually 1). The result is something like this:
124
125 1 + 1, "\n"; # Obviously not what you meant.
126
127To do what you meant properly, you must write:
128
129 print(($foo & 255) + 1, "\n");
130
131See L<Named Unary Operators> for more discussion of this.
a0d0e21e
LW
132
133Also parsed as terms are the C<do {}> and C<eval {}> constructs, as
54310121 134well as subroutine and method calls, and the anonymous
a0d0e21e
LW
135constructors C<[]> and C<{}>.
136
2ae324a7 137See also L<Quote and Quote-like Operators> toward the end of this section,
da87341d 138as well as L</"I/O Operators">.
a0d0e21e
LW
139
140=head2 The Arrow Operator
d74e8afc 141X<arrow> X<dereference> X<< -> >>
a0d0e21e 142
35f2feb0 143"C<< -> >>" is an infix dereference operator, just as it is in C
19799a22
GS
144and C++. If the right side is either a C<[...]>, C<{...}>, or a
145C<(...)> subscript, then the left side must be either a hard or
146symbolic reference to an array, a hash, or a subroutine respectively.
147(Or technically speaking, a location capable of holding a hard
148reference, if it's an array or hash reference being used for
149assignment.) See L<perlreftut> and L<perlref>.
a0d0e21e 150
19799a22
GS
151Otherwise, the right side is a method name or a simple scalar
152variable containing either the method name or a subroutine reference,
153and the left side must be either an object (a blessed reference)
154or a class name (that is, a package name). See L<perlobj>.
a0d0e21e 155
5f05dabc 156=head2 Auto-increment and Auto-decrement
d74e8afc 157X<increment> X<auto-increment> X<++> X<decrement> X<auto-decrement> X<-->
a0d0e21e 158
d042e63d
MS
159"++" and "--" work as in C. That is, if placed before a variable,
160they increment or decrement the variable by one before returning the
161value, and if placed after, increment or decrement after returning the
162value.
163
164 $i = 0; $j = 0;
165 print $i++; # prints 0
166 print ++$j; # prints 1
a0d0e21e 167
b033823e 168Note that just as in C, Perl doesn't define B<when> the variable is
89d205f2 169incremented or decremented. You just know it will be done sometime
b033823e 170before or after the value is returned. This also means that modifying
c543c01b 171a variable twice in the same statement will lead to undefined behavior.
b033823e
A
172Avoid statements like:
173
174 $i = $i ++;
175 print ++ $i + $i ++;
176
177Perl will not guarantee what the result of the above statements is.
178
54310121 179The auto-increment operator has a little extra builtin magic to it. If
a0d0e21e
LW
180you increment a variable that is numeric, or that has ever been used in
181a numeric context, you get a normal increment. If, however, the
5f05dabc 182variable has been used in only string contexts since it was set, and
5a964f20 183has a value that is not the empty string and matches the pattern
9c0670e1 184C</^[a-zA-Z]*[0-9]*\z/>, the increment is done as a string, preserving each
a0d0e21e
LW
185character within its range, with carry:
186
c543c01b
TC
187 print ++($foo = "99"); # prints "100"
188 print ++($foo = "a0"); # prints "a1"
189 print ++($foo = "Az"); # prints "Ba"
190 print ++($foo = "zz"); # prints "aaa"
a0d0e21e 191
6a61d433
HS
192C<undef> is always treated as numeric, and in particular is changed
193to C<0> before incrementing (so that a post-increment of an undef value
194will return C<0> rather than C<undef>).
195
5f05dabc 196The auto-decrement operator is not magical.
a0d0e21e
LW
197
198=head2 Exponentiation
d74e8afc 199X<**> X<exponentiation> X<power>
a0d0e21e 200
19799a22 201Binary "**" is the exponentiation operator. It binds even more
cb1a09d0
AD
202tightly than unary minus, so -2**4 is -(2**4), not (-2)**4. (This is
203implemented using C's pow(3) function, which actually works on doubles
204internally.)
a0d0e21e
LW
205
206=head2 Symbolic Unary Operators
d74e8afc 207X<unary operator> X<operator, unary>
a0d0e21e 208
1ca345ed 209Unary "!" performs logical negation, that is, "not". See also C<not> for a lower
a0d0e21e 210precedence version of this.
d74e8afc 211X<!>
a0d0e21e 212
da2f94c5
FC
213Unary "-" performs arithmetic negation if the operand is numeric,
214including any string that looks like a number. If the operand is
215an identifier, a string consisting of a minus sign concatenated
216with the identifier is returned. Otherwise, if the string starts
217with a plus or minus, a string starting with the opposite sign is
218returned. One effect of these rules is that -bareword is equivalent
8705167b 219to the string "-bareword". If, however, the string begins with a
353c6505 220non-alphabetic character (excluding "+" or "-"), Perl will attempt to convert
06705523
SP
221the string to a numeric and the arithmetic negation is performed. If the
222string cannot be cleanly converted to a numeric, Perl will give the warning
223B<Argument "the string" isn't numeric in negation (-) at ...>.
d74e8afc 224X<-> X<negation, arithmetic>
a0d0e21e 225
1ca345ed 226Unary "~" performs bitwise negation, that is, 1's complement. For
972b05a9
JH
227example, C<0666 & ~027> is 0640. (See also L<Integer Arithmetic> and
228L<Bitwise String Operators>.) Note that the width of the result is
229platform-dependent: ~0 is 32 bits wide on a 32-bit platform, but 64
230bits wide on a 64-bit platform, so if you are expecting a certain bit
f113cf86 231width, remember to use the "&" operator to mask off the excess bits.
d74e8afc 232X<~> X<negation, binary>
a0d0e21e 233
f113cf86
TC
234When complementing strings, if all characters have ordinal values under
235256, then their complements will, also. But if they do not, all
236characters will be in either 32- or 64-bit complements, depending on your
237architecture. So for example, C<~"\x{3B1}"> is C<"\x{FFFF_FC4E}"> on
23832-bit machines and C<"\x{FFFF_FFFF_FFFF_FC4E}"> on 64-bit machines.
239
a0d0e21e
LW
240Unary "+" has no effect whatsoever, even on strings. It is useful
241syntactically for separating a function name from a parenthesized expression
242that would otherwise be interpreted as the complete list of function
5ba421f6 243arguments. (See examples above under L<Terms and List Operators (Leftward)>.)
d74e8afc 244X<+>
a0d0e21e 245
19799a22
GS
246Unary "\" creates a reference to whatever follows it. See L<perlreftut>
247and L<perlref>. Do not confuse this behavior with the behavior of
248backslash within a string, although both forms do convey the notion
249of protecting the next thing from interpolation.
d74e8afc 250X<\> X<reference> X<backslash>
a0d0e21e
LW
251
252=head2 Binding Operators
d74e8afc 253X<binding> X<operator, binding> X<=~> X<!~>
a0d0e21e 254
c07a80fd 255Binary "=~" binds a scalar expression to a pattern match. Certain operations
cb1a09d0
AD
256search or modify the string $_ by default. This operator makes that kind
257of operation work on some other string. The right argument is a search
2c268ad5
TP
258pattern, substitution, or transliteration. The left argument is what is
259supposed to be searched, substituted, or transliterated instead of the default
f8bab1e9 260$_. When used in scalar context, the return value generally indicates the
8ff32507
FC
261success of the operation. The exceptions are substitution (s///)
262and transliteration (y///) with the C</r> (non-destructive) option,
263which cause the B<r>eturn value to be the result of the substitution.
264Behavior in list context depends on the particular operator.
000c65fc
DG
265See L</"Regexp Quote-Like Operators"> for details and L<perlretut> for
266examples using these operators.
f8bab1e9
GS
267
268If the right argument is an expression rather than a search pattern,
2c268ad5 269substitution, or transliteration, it is interpreted as a search pattern at run
89d205f2
YO
270time. Note that this means that its contents will be interpolated twice, so
271
1ca345ed 272 '\\' =~ q'\\';
89d205f2
YO
273
274is not ok, as the regex engine will end up trying to compile the
275pattern C<\>, which it will consider a syntax error.
a0d0e21e
LW
276
277Binary "!~" is just like "=~" except the return value is negated in
278the logical sense.
279
8ff32507
FC
280Binary "!~" with a non-destructive substitution (s///r) or transliteration
281(y///r) is a syntax error.
4f4d7508 282
a0d0e21e 283=head2 Multiplicative Operators
d74e8afc 284X<operator, multiplicative>
a0d0e21e
LW
285
286Binary "*" multiplies two numbers.
d74e8afc 287X<*>
a0d0e21e
LW
288
289Binary "/" divides two numbers.
d74e8afc 290X</> X<slash>
a0d0e21e 291
f7918450
KW
292Binary "%" is the modulo operator, which computes the division
293remainder of its first argument with respect to its second argument.
294Given integer
54310121 295operands C<$a> and C<$b>: If C<$b> is positive, then C<$a % $b> is
f7918450 296C<$a> minus the largest multiple of C<$b> less than or equal to
54310121 297C<$a>. If C<$b> is negative, then C<$a % $b> is C<$a> minus the
1ca345ed 298smallest multiple of C<$b> that is not less than C<$a> (that is, the
89b4f0ad 299result will be less than or equal to zero). If the operands
4848a83b
TS
300C<$a> and C<$b> are floating point values and the absolute value of
301C<$b> (that is C<abs($b)>) is less than C<(UV_MAX + 1)>, only
302the integer portion of C<$a> and C<$b> will be used in the operation
303(Note: here C<UV_MAX> means the maximum of the unsigned integer type).
304If the absolute value of the right operand (C<abs($b)>) is greater than
305or equal to C<(UV_MAX + 1)>, "%" computes the floating-point remainder
306C<$r> in the equation C<($r = $a - $i*$b)> where C<$i> is a certain
f7918450 307integer that makes C<$r> have the same sign as the right operand
4848a83b
TS
308C<$b> (B<not> as the left operand C<$a> like C function C<fmod()>)
309and the absolute value less than that of C<$b>.
0412d526 310Note that when C<use integer> is in scope, "%" gives you direct access
f7918450 311to the modulo operator as implemented by your C compiler. This
55d729e4
GS
312operator is not as well defined for negative operands, but it will
313execute faster.
f7918450 314X<%> X<remainder> X<modulo> X<mod>
55d729e4 315
62d10b70
GS
316Binary "x" is the repetition operator. In scalar context or if the left
317operand is not enclosed in parentheses, it returns a string consisting
318of the left operand repeated the number of times specified by the right
319operand. In list context, if the left operand is enclosed in
3585017f
YST
320parentheses or is a list formed by C<qw/STRING/>, it repeats the list.
321If the right operand is zero or negative, it returns an empty string
322or an empty list, depending on the context.
d74e8afc 323X<x>
a0d0e21e
LW
324
325 print '-' x 80; # print row of dashes
326
327 print "\t" x ($tab/8), ' ' x ($tab%8); # tab over
328
329 @ones = (1) x 80; # a list of 80 1's
330 @ones = (5) x @ones; # set all elements to 5
331
332
333=head2 Additive Operators
d74e8afc 334X<operator, additive>
a0d0e21e 335
1ca345ed 336Binary C<+> returns the sum of two numbers.
d74e8afc 337X<+>
a0d0e21e 338
1ca345ed 339Binary C<-> returns the difference of two numbers.
d74e8afc 340X<->
a0d0e21e 341
1ca345ed 342Binary C<.> concatenates two strings.
d74e8afc
ITB
343X<string, concatenation> X<concatenation>
344X<cat> X<concat> X<concatenate> X<.>
a0d0e21e
LW
345
346=head2 Shift Operators
d74e8afc
ITB
347X<shift operator> X<operator, shift> X<<< << >>>
348X<<< >> >>> X<right shift> X<left shift> X<bitwise shift>
349X<shl> X<shr> X<shift, right> X<shift, left>
a0d0e21e 350
1ca345ed 351Binary C<<< << >>> returns the value of its left argument shifted left by the
55497cff 352number of bits specified by the right argument. Arguments should be
982ce180 353integers. (See also L<Integer Arithmetic>.)
a0d0e21e 354
1ca345ed 355Binary C<<< >> >>> returns the value of its left argument shifted right by
55497cff 356the number of bits specified by the right argument. Arguments should
982ce180 357be integers. (See also L<Integer Arithmetic>.)
a0d0e21e 358
1ca345ed
TC
359Note that both C<<< << >>> and C<<< >> >>> in Perl are implemented directly using
360C<<< << >>> and C<<< >> >>> in C. If C<use integer> (see L<Integer Arithmetic>) is
b16cf6df
JH
361in force then signed C integers are used, else unsigned C integers are
362used. Either way, the implementation isn't going to generate results
363larger than the size of the integer type Perl was built with (32 bits
364or 64 bits).
365
366The result of overflowing the range of the integers is undefined
367because it is undefined also in C. In other words, using 32-bit
368integers, C<< 1 << 32 >> is undefined. Shifting by a negative number
369of bits is also undefined.
370
1ca345ed
TC
371If you get tired of being subject to your platform's native integers,
372the C<use bigint> pragma neatly sidesteps the issue altogether:
373
374 print 20 << 20; # 20971520
375 print 20 << 40; # 5120 on 32-bit machines,
376 # 21990232555520 on 64-bit machines
377 use bigint;
378 print 20 << 100; # 25353012004564588029934064107520
379
a0d0e21e 380=head2 Named Unary Operators
d74e8afc 381X<operator, named unary>
a0d0e21e
LW
382
383The various named unary operators are treated as functions with one
568e6d8b 384argument, with optional parentheses.
a0d0e21e
LW
385
386If any list operator (print(), etc.) or any unary operator (chdir(), etc.)
387is followed by a left parenthesis as the next token, the operator and
388arguments within parentheses are taken to be of highest precedence,
3981b0eb 389just like a normal function call. For example,
1ca345ed 390because named unary operators are higher precedence than C<||>:
a0d0e21e
LW
391
392 chdir $foo || die; # (chdir $foo) || die
393 chdir($foo) || die; # (chdir $foo) || die
394 chdir ($foo) || die; # (chdir $foo) || die
395 chdir +($foo) || die; # (chdir $foo) || die
396
3981b0eb 397but, because * is higher precedence than named operators:
a0d0e21e
LW
398
399 chdir $foo * 20; # chdir ($foo * 20)
400 chdir($foo) * 20; # (chdir $foo) * 20
401 chdir ($foo) * 20; # (chdir $foo) * 20
402 chdir +($foo) * 20; # chdir ($foo * 20)
403
404 rand 10 * 20; # rand (10 * 20)
405 rand(10) * 20; # (rand 10) * 20
406 rand (10) * 20; # (rand 10) * 20
407 rand +(10) * 20; # rand (10 * 20)
408
568e6d8b
RGS
409Regarding precedence, the filetest operators, like C<-f>, C<-M>, etc. are
410treated like named unary operators, but they don't follow this functional
411parenthesis rule. That means, for example, that C<-f($file).".bak"> is
412equivalent to C<-f "$file.bak">.
d74e8afc 413X<-X> X<filetest> X<operator, filetest>
568e6d8b 414
5ba421f6 415See also L<"Terms and List Operators (Leftward)">.
a0d0e21e
LW
416
417=head2 Relational Operators
d74e8afc 418X<relational operator> X<operator, relational>
a0d0e21e 419
1ca345ed
TC
420Perl operators that return true or false generally return values
421that can be safely used as numbers. For example, the relational
422operators in this section and the equality operators in the next
423one return C<1> for true and a special version of the defined empty
424string, C<"">, which counts as a zero but is exempt from warnings
425about improper numeric conversions, just as C<"0 but true"> is.
426
35f2feb0 427Binary "<" returns true if the left argument is numerically less than
a0d0e21e 428the right argument.
d74e8afc 429X<< < >>
a0d0e21e 430
35f2feb0 431Binary ">" returns true if the left argument is numerically greater
a0d0e21e 432than the right argument.
d74e8afc 433X<< > >>
a0d0e21e 434
35f2feb0 435Binary "<=" returns true if the left argument is numerically less than
a0d0e21e 436or equal to the right argument.
d74e8afc 437X<< <= >>
a0d0e21e 438
35f2feb0 439Binary ">=" returns true if the left argument is numerically greater
a0d0e21e 440than or equal to the right argument.
d74e8afc 441X<< >= >>
a0d0e21e
LW
442
443Binary "lt" returns true if the left argument is stringwise less than
444the right argument.
d74e8afc 445X<< lt >>
a0d0e21e
LW
446
447Binary "gt" returns true if the left argument is stringwise greater
448than the right argument.
d74e8afc 449X<< gt >>
a0d0e21e
LW
450
451Binary "le" returns true if the left argument is stringwise less than
452or equal to the right argument.
d74e8afc 453X<< le >>
a0d0e21e
LW
454
455Binary "ge" returns true if the left argument is stringwise greater
456than or equal to the right argument.
d74e8afc 457X<< ge >>
a0d0e21e
LW
458
459=head2 Equality Operators
d74e8afc 460X<equality> X<equal> X<equals> X<operator, equality>
a0d0e21e
LW
461
462Binary "==" returns true if the left argument is numerically equal to
463the right argument.
d74e8afc 464X<==>
a0d0e21e
LW
465
466Binary "!=" returns true if the left argument is numerically not equal
467to the right argument.
d74e8afc 468X<!=>
a0d0e21e 469
35f2feb0 470Binary "<=>" returns -1, 0, or 1 depending on whether the left
6ee5d4e7 471argument is numerically less than, equal to, or greater than the right
d4ad863d 472argument. If your platform supports NaNs (not-a-numbers) as numeric
7d3a9d88
NC
473values, using them with "<=>" returns undef. NaN is not "<", "==", ">",
474"<=" or ">=" anything (even NaN), so those 5 return false. NaN != NaN
475returns true, as does NaN != anything else. If your platform doesn't
476support NaNs then NaN is just a string with numeric value 0.
d74e8afc 477X<< <=> >> X<spaceship>
7d3a9d88 478
1ca345ed
TC
479 $ perl -le '$a = "NaN"; print "No NaN support here" if $a == $a'
480 $ perl -le '$a = "NaN"; print "NaN support here" if $a != $a'
481
482(Note that the L<bigint>, L<bigrat>, and L<bignum> pragmas all
483support "NaN".)
a0d0e21e
LW
484
485Binary "eq" returns true if the left argument is stringwise equal to
486the right argument.
d74e8afc 487X<eq>
a0d0e21e
LW
488
489Binary "ne" returns true if the left argument is stringwise not equal
490to the right argument.
d74e8afc 491X<ne>
a0d0e21e 492
d4ad863d
JH
493Binary "cmp" returns -1, 0, or 1 depending on whether the left
494argument is stringwise less than, equal to, or greater than the right
495argument.
d74e8afc 496X<cmp>
a0d0e21e 497
1ca345ed
TC
498Binary "~~" does a smartmatch between its arguments. Smart matching
499is described in the next section.
0d863452
RH
500X<~~>
501
a034a98d 502"lt", "le", "ge", "gt" and "cmp" use the collation (sort) order specified
66cbab2c
KW
503by the current locale if a legacy C<use locale> (but not
504C<use locale ':not_characters'>) is in effect. See
1ca345ed
TC
505L<perllocale>. Do not mix these with Unicode, only with legacy binary
506encodings. The standard L<Unicode::Collate> and
507L<Unicode::Collate::Locale> modules offer much more powerful solutions to
508collation issues.
509
510=head2 Smartmatch Operator
511
512First available in Perl 5.10.1 (the 5.10.0 version behaved differently),
513binary C<~~> does a "smartmatch" between its arguments. This is mostly
514used implicitly in the C<when> construct described in L<perlsyn>, although
515not all C<when> clauses call the smartmatch operator. Unique among all of
516Perl's operators, the smartmatch operator can recurse.
517
518It is also unique in that all other Perl operators impose a context
519(usually string or numeric context) on their operands, autoconverting
520those operands to those imposed contexts. In contrast, smartmatch
521I<infers> contexts from the actual types of its operands and uses that
522type information to select a suitable comparison mechanism.
523
524The C<~~> operator compares its operands "polymorphically", determining how
525to compare them according to their actual types (numeric, string, array,
526hash, etc.) Like the equality operators with which it shares the same
527precedence, C<~~> returns 1 for true and C<""> for false. It is often best
528read aloud as "in", "inside of", or "is contained in", because the left
529operand is often looked for I<inside> the right operand. That makes the
40bec8a5 530order of the operands to the smartmatch operand often opposite that of
1ca345ed
TC
531the regular match operator. In other words, the "smaller" thing is usually
532placed in the left operand and the larger one in the right.
533
534The behavior of a smartmatch depends on what type of things its arguments
535are, as determined by the following table. The first row of the table
536whose types apply determines the smartmatch behavior. Because what
537actually happens is mostly determined by the type of the second operand,
538the table is sorted on the right operand instead of on the left.
539
540 Left Right Description and pseudocode
541 ===============================================================
542 Any undef check whether Any is undefined
543 like: !defined Any
544
545 Any Object invoke ~~ overloading on Object, or die
546
547 Right operand is an ARRAY:
548
549 Left Right Description and pseudocode
550 ===============================================================
551 ARRAY1 ARRAY2 recurse on paired elements of ARRAY1 and ARRAY2[2]
552 like: (ARRAY1[0] ~~ ARRAY2[0])
553 && (ARRAY1[1] ~~ ARRAY2[1]) && ...
554 HASH ARRAY any ARRAY elements exist as HASH keys
555 like: grep { exists HASH->{$_} } ARRAY
556 Regexp ARRAY any ARRAY elements pattern match Regexp
557 like: grep { /Regexp/ } ARRAY
558 undef ARRAY undef in ARRAY
559 like: grep { !defined } ARRAY
40bec8a5 560 Any ARRAY smartmatch each ARRAY element[3]
1ca345ed
TC
561 like: grep { Any ~~ $_ } ARRAY
562
563 Right operand is a HASH:
564
565 Left Right Description and pseudocode
566 ===============================================================
567 HASH1 HASH2 all same keys in both HASHes
568 like: keys HASH1 ==
569 grep { exists HASH2->{$_} } keys HASH1
570 ARRAY HASH any ARRAY elements exist as HASH keys
571 like: grep { exists HASH->{$_} } ARRAY
572 Regexp HASH any HASH keys pattern match Regexp
573 like: grep { /Regexp/ } keys HASH
574 undef HASH always false (undef can't be a key)
575 like: 0 == 1
576 Any HASH HASH key existence
577 like: exists HASH->{Any}
578
579 Right operand is CODE:
f703fc96 580
1ca345ed
TC
581 Left Right Description and pseudocode
582 ===============================================================
583 ARRAY CODE sub returns true on all ARRAY elements[1]
584 like: !grep { !CODE->($_) } ARRAY
585 HASH CODE sub returns true on all HASH keys[1]
586 like: !grep { !CODE->($_) } keys HASH
587 Any CODE sub passed Any returns true
588 like: CODE->(Any)
589
590Right operand is a Regexp:
591
592 Left Right Description and pseudocode
593 ===============================================================
594 ARRAY Regexp any ARRAY elements match Regexp
595 like: grep { /Regexp/ } ARRAY
596 HASH Regexp any HASH keys match Regexp
597 like: grep { /Regexp/ } keys HASH
598 Any Regexp pattern match
599 like: Any =~ /Regexp/
600
601 Other:
602
603 Left Right Description and pseudocode
604 ===============================================================
605 Object Any invoke ~~ overloading on Object,
606 or fall back to...
607
608 Any Num numeric equality
609 like: Any == Num
610 Num nummy[4] numeric equality
611 like: Num == nummy
612 undef Any check whether undefined
613 like: !defined(Any)
614 Any Any string equality
615 like: Any eq Any
616
617
618Notes:
619
620=over
621
622=item 1.
623Empty hashes or arrays match.
624
625=item 2.
40bec8a5 626That is, each element smartmatches the element of the same index in the other array.[3]
1ca345ed
TC
627
628=item 3.
629If a circular reference is found, fall back to referential equality.
630
631=item 4.
632Either an actual number, or a string that looks like one.
633
634=back
635
636The smartmatch implicitly dereferences any non-blessed hash or array
637reference, so the C<I<HASH>> and C<I<ARRAY>> entries apply in those cases.
638For blessed references, the C<I<Object>> entries apply. Smartmatches
639involving hashes only consider hash keys, never hash values.
640
641The "like" code entry is not always an exact rendition. For example, the
40bec8a5 642smartmatch operator short-circuits whenever possible, but C<grep> does
1ca345ed
TC
643not. Also, C<grep> in scalar context returns the number of matches, but
644C<~~> returns only true or false.
645
646Unlike most operators, the smartmatch operator knows to treat C<undef>
647specially:
648
649 use v5.10.1;
650 @array = (1, 2, 3, undef, 4, 5);
651 say "some elements undefined" if undef ~~ @array;
652
653Each operand is considered in a modified scalar context, the modification
654being that array and hash variables are passed by reference to the
655operator, which implicitly dereferences them. Both elements
656of each pair are the same:
657
658 use v5.10.1;
659
660 my %hash = (red => 1, blue => 2, green => 3,
661 orange => 4, yellow => 5, purple => 6,
662 black => 7, grey => 8, white => 9);
663
664 my @array = qw(red blue green);
665
666 say "some array elements in hash keys" if @array ~~ %hash;
667 say "some array elements in hash keys" if \@array ~~ \%hash;
668
669 say "red in array" if "red" ~~ @array;
670 say "red in array" if "red" ~~ \@array;
671
672 say "some keys end in e" if /e$/ ~~ %hash;
673 say "some keys end in e" if /e$/ ~~ \%hash;
674
40bec8a5
TC
675Two arrays smartmatch if each element in the first array smartmatches
676(that is, is "in") the corresponding element in the second array,
677recursively.
1ca345ed
TC
678
679 use v5.10.1;
680 my @little = qw(red blue green);
681 my @bigger = ("red", "blue", [ "orange", "green" ] );
682 if (@little ~~ @bigger) { # true!
683 say "little is contained in bigger";
684 }
685
686Because the smartmatch operator recurses on nested arrays, this
687will still report that "red" is in the array.
688
689 use v5.10.1;
690 my @array = qw(red blue green);
691 my $nested_array = [[[[[[[ @array ]]]]]]];
692 say "red in array" if "red" ~~ $nested_array;
693
694If two arrays smartmatch each other, then they are deep
695copies of each others' values, as this example reports:
696
697 use v5.12.0;
698 my @a = (0, 1, 2, [3, [4, 5], 6], 7);
699 my @b = (0, 1, 2, [3, [4, 5], 6], 7);
700
701 if (@a ~~ @b && @b ~~ @a) {
702 say "a and b are deep copies of each other";
703 }
704 elsif (@a ~~ @b) {
705 say "a smartmatches in b";
706 }
707 elsif (@b ~~ @a) {
708 say "b smartmatches in a";
709 }
710 else {
711 say "a and b don't smartmatch each other at all";
712 }
713
714
715If you were to set C<$b[3] = 4>, then instead of reporting that "a and b
716are deep copies of each other", it now reports that "b smartmatches in a".
717That because the corresponding position in C<@a> contains an array that
718(eventually) has a 4 in it.
719
720Smartmatching one hash against another reports whether both contain the
721same keys, no more and no less. This could be used to see whether two
722records have the same field names, without caring what values those fields
723might have. For example:
724
725 use v5.10.1;
726 sub make_dogtag {
727 state $REQUIRED_FIELDS = { name=>1, rank=>1, serial_num=>1 };
728
729 my ($class, $init_fields) = @_;
730
731 die "Must supply (only) name, rank, and serial number"
732 unless $init_fields ~~ $REQUIRED_FIELDS;
733
734 ...
735 }
736
737or, if other non-required fields are allowed, use ARRAY ~~ HASH:
738
739 use v5.10.1;
740 sub make_dogtag {
741 state $REQUIRED_FIELDS = { name=>1, rank=>1, serial_num=>1 };
742
743 my ($class, $init_fields) = @_;
744
745 die "Must supply (at least) name, rank, and serial number"
746 unless [keys %{$init_fields}] ~~ $REQUIRED_FIELDS;
747
748 ...
749 }
750
751The smartmatch operator is most often used as the implicit operator of a
752C<when> clause. See the section on "Switch Statements" in L<perlsyn>.
753
754=head3 Smartmatching of Objects
755
40bec8a5
TC
756To avoid relying on an object's underlying representation, if the
757smartmatch's right operand is an object that doesn't overload C<~~>,
758it raises the exception "C<Smartmatching a non-overloaded object
759breaks encapsulation>". That's because one has no business digging
760around to see whether something is "in" an object. These are all
761illegal on objects without a C<~~> overload:
1ca345ed
TC
762
763 %hash ~~ $object
764 42 ~~ $object
765 "fred" ~~ $object
766
767However, you can change the way an object is smartmatched by overloading
768the C<~~> operator. This is allowed to extend the usual smartmatch semantics.
769For objects that do have an C<~~> overload, see L<overload>.
770
771Using an object as the left operand is allowed, although not very useful.
772Smartmatching rules take precedence over overloading, so even if the
773object in the left operand has smartmatch overloading, this will be
774ignored. A left operand that is a non-overloaded object falls back on a
775string or numeric comparison of whatever the C<ref> operator returns. That
776means that
777
778 $object ~~ X
779
780does I<not> invoke the overload method with C<I<X>> as an argument.
781Instead the above table is consulted as normal, and based on the type of
782C<I<X>>, overloading may or may not be invoked. For simple strings or
783numbers, in becomes equivalent to this:
784
785 $object ~~ $number ref($object) == $number
786 $object ~~ $string ref($object) eq $string
787
788For example, this reports that the handle smells IOish
789(but please don't really do this!):
790
791 use IO::Handle;
792 my $fh = IO::Handle->new();
793 if ($fh ~~ /\bIO\b/) {
794 say "handle smells IOish";
795 }
796
797That's because it treats C<$fh> as a string like
798C<"IO::Handle=GLOB(0x8039e0)">, then pattern matches against that.
a034a98d 799
a0d0e21e 800=head2 Bitwise And
d74e8afc 801X<operator, bitwise, and> X<bitwise and> X<&>
a0d0e21e 802
2cdc098b 803Binary "&" returns its operands ANDed together bit by bit.
2c268ad5 804(See also L<Integer Arithmetic> and L<Bitwise String Operators>.)
a0d0e21e 805
2cdc098b 806Note that "&" has lower priority than relational operators, so for example
1ca345ed 807the parentheses are essential in a test like
2cdc098b 808
1ca345ed 809 print "Even\n" if ($x & 1) == 0;
2cdc098b 810
a0d0e21e 811=head2 Bitwise Or and Exclusive Or
d74e8afc
ITB
812X<operator, bitwise, or> X<bitwise or> X<|> X<operator, bitwise, xor>
813X<bitwise xor> X<^>
a0d0e21e 814
2cdc098b 815Binary "|" returns its operands ORed together bit by bit.
2c268ad5 816(See also L<Integer Arithmetic> and L<Bitwise String Operators>.)
a0d0e21e 817
2cdc098b 818Binary "^" returns its operands XORed together bit by bit.
2c268ad5 819(See also L<Integer Arithmetic> and L<Bitwise String Operators>.)
a0d0e21e 820
2cdc098b
MG
821Note that "|" and "^" have lower priority than relational operators, so
822for example the brackets are essential in a test like
823
1ca345ed 824 print "false\n" if (8 | 2) != 10;
2cdc098b 825
a0d0e21e 826=head2 C-style Logical And
d74e8afc 827X<&&> X<logical and> X<operator, logical, and>
a0d0e21e
LW
828
829Binary "&&" performs a short-circuit logical AND operation. That is,
830if the left operand is false, the right operand is not even evaluated.
831Scalar or list context propagates down to the right operand if it
832is evaluated.
833
834=head2 C-style Logical Or
d74e8afc 835X<||> X<operator, logical, or>
a0d0e21e
LW
836
837Binary "||" performs a short-circuit logical OR operation. That is,
838if the left operand is true, the right operand is not even evaluated.
839Scalar or list context propagates down to the right operand if it
840is evaluated.
841
26d9d83b 842=head2 Logical Defined-Or
d74e8afc 843X<//> X<operator, logical, defined-or>
c963b151
BD
844
845Although it has no direct equivalent in C, Perl's C<//> operator is related
89d205f2 846to its C-style or. In fact, it's exactly the same as C<||>, except that it
95bee9ba
A
847tests the left hand side's definedness instead of its truth. Thus,
848C<< EXPR1 // EXPR2 >> returns the value of C<< EXPR1 >> if it's defined,
849otherwise, the value of C<< EXPR2 >> is returned. (C<< EXPR1 >> is evaluated
850in scalar context, C<< EXPR2 >> in the context of C<< // >> itself). Usually,
851this is the same result as C<< defined(EXPR1) ? EXPR1 : EXPR2 >> (except that
852the ternary-operator form can be used as a lvalue, while C<< EXPR1 // EXPR2 >>
853cannot). This is very useful for
bdc7923b
RGS
854providing default values for variables. If you actually want to test if
855at least one of C<$a> and C<$b> is defined, use C<defined($a // $b)>.
c963b151 856
d042e63d
MS
857The C<||>, C<//> and C<&&> operators return the last value evaluated
858(unlike C's C<||> and C<&&>, which return 0 or 1). Thus, a reasonably
859portable way to find out the home directory might be:
a0d0e21e 860
c543c01b
TC
861 $home = $ENV{HOME}
862 // $ENV{LOGDIR}
863 // (getpwuid($<))[7]
864 // die "You're homeless!\n";
a0d0e21e 865
5a964f20
TC
866In particular, this means that you shouldn't use this
867for selecting between two aggregates for assignment:
868
869 @a = @b || @c; # this is wrong
870 @a = scalar(@b) || @c; # really meant this
871 @a = @b ? @b : @c; # this works fine, though
872
1ca345ed 873As alternatives to C<&&> and C<||> when used for
f23102e2
RGS
874control flow, Perl provides the C<and> and C<or> operators (see below).
875The short-circuit behavior is identical. The precedence of "and"
c963b151 876and "or" is much lower, however, so that you can safely use them after a
5a964f20 877list operator without the need for parentheses:
a0d0e21e
LW
878
879 unlink "alpha", "beta", "gamma"
880 or gripe(), next LINE;
881
882With the C-style operators that would have been written like this:
883
884 unlink("alpha", "beta", "gamma")
885 || (gripe(), next LINE);
886
1ca345ed
TC
887It would be even more readable to write that this way:
888
889 unless(unlink("alpha", "beta", "gamma")) {
890 gripe();
891 next LINE;
892 }
893
eeb6a2c9 894Using "or" for assignment is unlikely to do what you want; see below.
5a964f20
TC
895
896=head2 Range Operators
d74e8afc 897X<operator, range> X<range> X<..> X<...>
a0d0e21e
LW
898
899Binary ".." is the range operator, which is really two different
fb53bbb2 900operators depending on the context. In list context, it returns a
54ae734e 901list of values counting (up by ones) from the left value to the right
2cdbc966 902value. If the left value is greater than the right value then it
fb53bbb2 903returns the empty list. The range operator is useful for writing
54ae734e 904C<foreach (1..10)> loops and for doing slice operations on arrays. In
2cdbc966
JD
905the current implementation, no temporary array is created when the
906range operator is used as the expression in C<foreach> loops, but older
907versions of Perl might burn a lot of memory when you write something
908like this:
a0d0e21e
LW
909
910 for (1 .. 1_000_000) {
911 # code
54310121 912 }
a0d0e21e 913
8f0f46f8 914The range operator also works on strings, using the magical
915auto-increment, see below.
54ae734e 916
5a964f20 917In scalar context, ".." returns a boolean value. The operator is
8f0f46f8 918bistable, like a flip-flop, and emulates the line-range (comma)
919operator of B<sed>, B<awk>, and various editors. Each ".." operator
920maintains its own boolean state, even across calls to a subroutine
921that contains it. It is false as long as its left operand is false.
a0d0e21e
LW
922Once the left operand is true, the range operator stays true until the
923right operand is true, I<AFTER> which the range operator becomes false
8f0f46f8 924again. It doesn't become false till the next time the range operator
925is evaluated. It can test the right operand and become false on the
926same evaluation it became true (as in B<awk>), but it still returns
927true once. If you don't want it to test the right operand until the
928next evaluation, as in B<sed>, just use three dots ("...") instead of
19799a22
GS
929two. In all other regards, "..." behaves just like ".." does.
930
931The right operand is not evaluated while the operator is in the
932"false" state, and the left operand is not evaluated while the
933operator is in the "true" state. The precedence is a little lower
934than || and &&. The value returned is either the empty string for
8f0f46f8 935false, or a sequence number (beginning with 1) for true. The sequence
936number is reset for each range encountered. The final sequence number
937in a range has the string "E0" appended to it, which doesn't affect
938its numeric value, but gives you something to search for if you want
939to exclude the endpoint. You can exclude the beginning point by
940waiting for the sequence number to be greater than 1.
df5f8116
CW
941
942If either operand of scalar ".." is a constant expression,
943that operand is considered true if it is equal (C<==>) to the current
944input line number (the C<$.> variable).
945
946To be pedantic, the comparison is actually C<int(EXPR) == int(EXPR)>,
947but that is only an issue if you use a floating point expression; when
948implicitly using C<$.> as described in the previous paragraph, the
949comparison is C<int(EXPR) == int($.)> which is only an issue when C<$.>
950is set to a floating point value and you are not reading from a file.
951Furthermore, C<"span" .. "spat"> or C<2.18 .. 3.14> will not do what
952you want in scalar context because each of the operands are evaluated
953using their integer representation.
954
955Examples:
a0d0e21e
LW
956
957As a scalar operator:
958
df5f8116 959 if (101 .. 200) { print; } # print 2nd hundred lines, short for
950b09ed 960 # if ($. == 101 .. $. == 200) { print; }
9f10b797
RGS
961
962 next LINE if (1 .. /^$/); # skip header lines, short for
f343f960 963 # next LINE if ($. == 1 .. /^$/);
9f10b797
RGS
964 # (typically in a loop labeled LINE)
965
966 s/^/> / if (/^$/ .. eof()); # quote body
a0d0e21e 967
5a964f20
TC
968 # parse mail messages
969 while (<>) {
970 $in_header = 1 .. /^$/;
df5f8116
CW
971 $in_body = /^$/ .. eof;
972 if ($in_header) {
f343f960 973 # do something
df5f8116 974 } else { # in body
f343f960 975 # do something else
df5f8116 976 }
5a964f20 977 } continue {
df5f8116 978 close ARGV if eof; # reset $. each file
5a964f20
TC
979 }
980
acf31ca5
SF
981Here's a simple example to illustrate the difference between
982the two range operators:
983
984 @lines = (" - Foo",
985 "01 - Bar",
986 "1 - Baz",
987 " - Quux");
988
9f10b797
RGS
989 foreach (@lines) {
990 if (/0/ .. /1/) {
acf31ca5
SF
991 print "$_\n";
992 }
993 }
994
9f10b797
RGS
995This program will print only the line containing "Bar". If
996the range operator is changed to C<...>, it will also print the
acf31ca5
SF
997"Baz" line.
998
999And now some examples as a list operator:
a0d0e21e 1000
1ca345ed
TC
1001 for (101 .. 200) { print } # print $_ 100 times
1002 @foo = @foo[0 .. $#foo]; # an expensive no-op
1003 @foo = @foo[$#foo-4 .. $#foo]; # slice last 5 items
a0d0e21e 1004
5a964f20 1005The range operator (in list context) makes use of the magical
5f05dabc 1006auto-increment algorithm if the operands are strings. You
a0d0e21e
LW
1007can say
1008
c543c01b 1009 @alphabet = ("A" .. "Z");
a0d0e21e 1010
54ae734e 1011to get all normal letters of the English alphabet, or
a0d0e21e 1012
c543c01b 1013 $hexdigit = (0 .. 9, "a" .. "f")[$num & 15];
a0d0e21e
LW
1014
1015to get a hexadecimal digit, or
1016
1ca345ed
TC
1017 @z2 = ("01" .. "31");
1018 print $z2[$mday];
a0d0e21e 1019
ea4f5703
YST
1020to get dates with leading zeros.
1021
1022If the final value specified is not in the sequence that the magical
1023increment would produce, the sequence goes until the next value would
1024be longer than the final value specified.
1025
1026If the initial value specified isn't part of a magical increment
c543c01b 1027sequence (that is, a non-empty string matching C</^[a-zA-Z]*[0-9]*\z/>),
ea4f5703
YST
1028only the initial value will be returned. So the following will only
1029return an alpha:
1030
c543c01b 1031 use charnames "greek";
ea4f5703
YST
1032 my @greek_small = ("\N{alpha}" .. "\N{omega}");
1033
c543c01b
TC
1034To get the 25 traditional lowercase Greek letters, including both sigmas,
1035you could use this instead:
ea4f5703 1036
c543c01b 1037 use charnames "greek";
1ca345ed
TC
1038 my @greek_small = map { chr } ( ord("\N{alpha}")
1039 ..
1040 ord("\N{omega}")
1041 );
c543c01b
TC
1042
1043However, because there are I<many> other lowercase Greek characters than
1044just those, to match lowercase Greek characters in a regular expression,
1045you would use the pattern C</(?:(?=\p{Greek})\p{Lower})+/>.
a0d0e21e 1046
df5f8116
CW
1047Because each operand is evaluated in integer form, C<2.18 .. 3.14> will
1048return two elements in list context.
1049
1050 @list = (2.18 .. 3.14); # same as @list = (2 .. 3);
1051
a0d0e21e 1052=head2 Conditional Operator
d74e8afc 1053X<operator, conditional> X<operator, ternary> X<ternary> X<?:>
a0d0e21e
LW
1054
1055Ternary "?:" is the conditional operator, just as in C. It works much
1056like an if-then-else. If the argument before the ? is true, the
1057argument before the : is returned, otherwise the argument after the :
cb1a09d0
AD
1058is returned. For example:
1059
54310121 1060 printf "I have %d dog%s.\n", $n,
c543c01b 1061 ($n == 1) ? "" : "s";
cb1a09d0
AD
1062
1063Scalar or list context propagates downward into the 2nd
54310121 1064or 3rd argument, whichever is selected.
cb1a09d0
AD
1065
1066 $a = $ok ? $b : $c; # get a scalar
1067 @a = $ok ? @b : @c; # get an array
1068 $a = $ok ? @b : @c; # oops, that's just a count!
1069
1070The operator may be assigned to if both the 2nd and 3rd arguments are
1071legal lvalues (meaning that you can assign to them):
a0d0e21e
LW
1072
1073 ($a_or_b ? $a : $b) = $c;
1074
5a964f20
TC
1075Because this operator produces an assignable result, using assignments
1076without parentheses will get you in trouble. For example, this:
1077
1078 $a % 2 ? $a += 10 : $a += 2
1079
1080Really means this:
1081
1082 (($a % 2) ? ($a += 10) : $a) += 2
1083
1084Rather than this:
1085
1086 ($a % 2) ? ($a += 10) : ($a += 2)
1087
19799a22
GS
1088That should probably be written more simply as:
1089
1090 $a += ($a % 2) ? 10 : 2;
1091
4633a7c4 1092=head2 Assignment Operators
d74e8afc 1093X<assignment> X<operator, assignment> X<=> X<**=> X<+=> X<*=> X<&=>
5ac3b81c 1094X<<< <<= >>> X<&&=> X<-=> X</=> X<|=> X<<< >>= >>> X<||=> X<//=> X<.=>
d74e8afc 1095X<%=> X<^=> X<x=>
a0d0e21e
LW
1096
1097"=" is the ordinary assignment operator.
1098
1099Assignment operators work as in C. That is,
1100
1101 $a += 2;
1102
1103is equivalent to
1104
1105 $a = $a + 2;
1106
1107although without duplicating any side effects that dereferencing the lvalue
54310121 1108might trigger, such as from tie(). Other assignment operators work similarly.
1109The following are recognized:
a0d0e21e
LW
1110
1111 **= += *= &= <<= &&=
9f10b797
RGS
1112 -= /= |= >>= ||=
1113 .= %= ^= //=
1114 x=
a0d0e21e 1115
19799a22 1116Although these are grouped by family, they all have the precedence
a0d0e21e
LW
1117of assignment.
1118
b350dd2f
GS
1119Unlike in C, the scalar assignment operator produces a valid lvalue.
1120Modifying an assignment is equivalent to doing the assignment and
1121then modifying the variable that was assigned to. This is useful
1122for modifying a copy of something, like this:
a0d0e21e 1123
1ca345ed
TC
1124 ($tmp = $global) =~ tr/13579/24680/;
1125
1126Although as of 5.14, that can be also be accomplished this way:
1127
1128 use v5.14;
1129 $tmp = ($global =~ tr/13579/24680/r);
a0d0e21e
LW
1130
1131Likewise,
1132
1133 ($a += 2) *= 3;
1134
1135is equivalent to
1136
1137 $a += 2;
1138 $a *= 3;
1139
b350dd2f
GS
1140Similarly, a list assignment in list context produces the list of
1141lvalues assigned to, and a list assignment in scalar context returns
1142the number of elements produced by the expression on the right hand
1143side of the assignment.
1144
748a9306 1145=head2 Comma Operator
d74e8afc 1146X<comma> X<operator, comma> X<,>
a0d0e21e 1147
5a964f20 1148Binary "," is the comma operator. In scalar context it evaluates
a0d0e21e
LW
1149its left argument, throws that value away, then evaluates its right
1150argument and returns that value. This is just like C's comma operator.
1151
5a964f20 1152In list context, it's just the list argument separator, and inserts
ed5c6d31
PJ
1153both its arguments into the list. These arguments are also evaluated
1154from left to right.
a0d0e21e 1155
4e1988c6
FC
1156The C<< => >> operator is a synonym for the comma except that it causes a
1157word on its left to be interpreted as a string if it begins with a letter
344f2c40
IG
1158or underscore and is composed only of letters, digits and underscores.
1159This includes operands that might otherwise be interpreted as operators,
1160constants, single number v-strings or function calls. If in doubt about
c543c01b 1161this behavior, the left operand can be quoted explicitly.
344f2c40
IG
1162
1163Otherwise, the C<< => >> operator behaves exactly as the comma operator
1164or list argument separator, according to context.
1165
1166For example:
a44e5664
MS
1167
1168 use constant FOO => "something";
1169
1170 my %h = ( FOO => 23 );
1171
1172is equivalent to:
1173
1174 my %h = ("FOO", 23);
1175
1176It is I<NOT>:
1177
1178 my %h = ("something", 23);
1179
719b43e8
RGS
1180The C<< => >> operator is helpful in documenting the correspondence
1181between keys and values in hashes, and other paired elements in lists.
748a9306 1182
a12b8f3c
FC
1183 %hash = ( $key => $value );
1184 login( $username => $password );
a44e5664 1185
4e1988c6
FC
1186The special quoting behavior ignores precedence, and hence may apply to
1187I<part> of the left operand:
1188
1189 print time.shift => "bbb";
1190
1191That example prints something like "1314363215shiftbbb", because the
1192C<< => >> implicitly quotes the C<shift> immediately on its left, ignoring
1193the fact that C<time.shift> is the entire left operand.
1194
a0d0e21e 1195=head2 List Operators (Rightward)
d74e8afc 1196X<operator, list, rightward> X<list operator>
a0d0e21e 1197
c543c01b 1198On the right side of a list operator, the comma has very low precedence,
a0d0e21e
LW
1199such that it controls all comma-separated expressions found there.
1200The only operators with lower precedence are the logical operators
1201"and", "or", and "not", which may be used to evaluate calls to list
1ca345ed
TC
1202operators without the need for parentheses:
1203
1204 open HANDLE, "< :utf8", "filename" or die "Can't open: $!\n";
1205
1206However, some people find that code harder to read than writing
1207it with parentheses:
1208
1209 open(HANDLE, "< :utf8", "filename") or die "Can't open: $!\n";
1210
1211in which case you might as well just use the more customary "||" operator:
a0d0e21e 1212
1ca345ed 1213 open(HANDLE, "< :utf8", "filename") || die "Can't open: $!\n";
a0d0e21e 1214
5ba421f6 1215See also discussion of list operators in L<Terms and List Operators (Leftward)>.
a0d0e21e
LW
1216
1217=head2 Logical Not
d74e8afc 1218X<operator, logical, not> X<not>
a0d0e21e
LW
1219
1220Unary "not" returns the logical negation of the expression to its right.
1221It's the equivalent of "!" except for the very low precedence.
1222
1223=head2 Logical And
d74e8afc 1224X<operator, logical, and> X<and>
a0d0e21e
LW
1225
1226Binary "and" returns the logical conjunction of the two surrounding
c543c01b
TC
1227expressions. It's equivalent to C<&&> except for the very low
1228precedence. This means that it short-circuits: the right
a0d0e21e
LW
1229expression is evaluated only if the left expression is true.
1230
59ab9d6e 1231=head2 Logical or and Exclusive Or
f23102e2 1232X<operator, logical, or> X<operator, logical, xor>
59ab9d6e 1233X<operator, logical, exclusive or>
f23102e2 1234X<or> X<xor>
a0d0e21e
LW
1235
1236Binary "or" returns the logical disjunction of the two surrounding
c543c01b
TC
1237expressions. It's equivalent to C<||> except for the very low precedence.
1238This makes it useful for control flow:
5a964f20
TC
1239
1240 print FH $data or die "Can't write to FH: $!";
1241
c543c01b
TC
1242This means that it short-circuits: the right expression is evaluated
1243only if the left expression is false. Due to its precedence, you must
1244be careful to avoid using it as replacement for the C<||> operator.
1245It usually works out better for flow control than in assignments:
5a964f20
TC
1246
1247 $a = $b or $c; # bug: this is wrong
1248 ($a = $b) or $c; # really means this
1249 $a = $b || $c; # better written this way
1250
19799a22 1251However, when it's a list-context assignment and you're trying to use
c543c01b 1252C<||> for control flow, you probably need "or" so that the assignment
5a964f20
TC
1253takes higher precedence.
1254
1255 @info = stat($file) || die; # oops, scalar sense of stat!
1256 @info = stat($file) or die; # better, now @info gets its due
1257
c963b151
BD
1258Then again, you could always use parentheses.
1259
1ca345ed 1260Binary C<xor> returns the exclusive-OR of the two surrounding expressions.
c543c01b 1261It cannot short-circuit (of course).
a0d0e21e 1262
59ab9d6e
MB
1263There is no low precedence operator for defined-OR.
1264
a0d0e21e 1265=head2 C Operators Missing From Perl
d74e8afc
ITB
1266X<operator, missing from perl> X<&> X<*>
1267X<typecasting> X<(TYPE)>
a0d0e21e
LW
1268
1269Here is what C has that Perl doesn't:
1270
1271=over 8
1272
1273=item unary &
1274
1275Address-of operator. (But see the "\" operator for taking a reference.)
1276
1277=item unary *
1278
54310121 1279Dereference-address operator. (Perl's prefix dereferencing
a0d0e21e
LW
1280operators are typed: $, @, %, and &.)
1281
1282=item (TYPE)
1283
19799a22 1284Type-casting operator.
a0d0e21e
LW
1285
1286=back
1287
5f05dabc 1288=head2 Quote and Quote-like Operators
89d205f2 1289X<operator, quote> X<operator, quote-like> X<q> X<qq> X<qx> X<qw> X<m>
d74e8afc
ITB
1290X<qr> X<s> X<tr> X<'> X<''> X<"> X<""> X<//> X<`> X<``> X<<< << >>>
1291X<escape sequence> X<escape>
1292
a0d0e21e
LW
1293While we usually think of quotes as literal values, in Perl they
1294function as operators, providing various kinds of interpolating and
1295pattern matching capabilities. Perl provides customary quote characters
1296for these behaviors, but also provides a way for you to choose your
1297quote character for any of them. In the following table, a C<{}> represents
9f10b797 1298any pair of delimiters you choose.
a0d0e21e 1299
2c268ad5
TP
1300 Customary Generic Meaning Interpolates
1301 '' q{} Literal no
1302 "" qq{} Literal yes
af9219ee 1303 `` qx{} Command yes*
2c268ad5 1304 qw{} Word list no
af9219ee
MG
1305 // m{} Pattern match yes*
1306 qr{} Pattern yes*
1307 s{}{} Substitution yes*
2c268ad5 1308 tr{}{} Transliteration no (but see below)
c543c01b 1309 y{}{} Transliteration no (but see below)
7e3b091d 1310 <<EOF here-doc yes*
a0d0e21e 1311
af9219ee
MG
1312 * unless the delimiter is ''.
1313
87275199 1314Non-bracketing delimiters use the same character fore and aft, but the four
c543c01b 1315sorts of ASCII brackets (round, angle, square, curly) all nest, which means
9f10b797 1316that
87275199 1317
c543c01b 1318 q{foo{bar}baz}
35f2feb0 1319
9f10b797 1320is the same as
87275199 1321
c543c01b 1322 'foo{bar}baz'
87275199
GS
1323
1324Note, however, that this does not always work for quoting Perl code:
1325
c543c01b 1326 $s = q{ if($a eq "}") ... }; # WRONG
87275199 1327
c543c01b
TC
1328is a syntax error. The C<Text::Balanced> module (standard as of v5.8,
1329and from CPAN before then) is able to do this properly.
87275199 1330
19799a22 1331There can be whitespace between the operator and the quoting
fb73857a 1332characters, except when C<#> is being used as the quoting character.
19799a22
GS
1333C<q#foo#> is parsed as the string C<foo>, while C<q #foo#> is the
1334operator C<q> followed by a comment. Its argument will be taken
1335from the next line. This allows you to write:
fb73857a 1336
1337 s {foo} # Replace foo
1338 {bar} # with bar.
1339
c543c01b
TC
1340The following escape sequences are available in constructs that interpolate,
1341and in transliterations:
5691ca5f 1342X<\t> X<\n> X<\r> X<\f> X<\b> X<\a> X<\e> X<\x> X<\0> X<\c> X<\N> X<\N{}>
04341565 1343X<\o{}>
5691ca5f 1344
2c4c1ff2
KW
1345 Sequence Note Description
1346 \t tab (HT, TAB)
1347 \n newline (NL)
1348 \r return (CR)
1349 \f form feed (FF)
1350 \b backspace (BS)
1351 \a alarm (bell) (BEL)
1352 \e escape (ESC)
c543c01b 1353 \x{263A} [1,8] hex char (example: SMILEY)
2c4c1ff2 1354 \x1b [2,8] restricted range hex char (example: ESC)
fb121860 1355 \N{name} [3] named Unicode character or character sequence
2c4c1ff2
KW
1356 \N{U+263D} [4,8] Unicode character (example: FIRST QUARTER MOON)
1357 \c[ [5] control char (example: chr(27))
1358 \o{23072} [6,8] octal char (example: SMILEY)
1359 \033 [7,8] restricted range octal char (example: ESC)
5691ca5f
KW
1360
1361=over 4
1362
1363=item [1]
1364
2c4c1ff2
KW
1365The result is the character specified by the hexadecimal number between
1366the braces. See L</[8]> below for details on which character.
96448467
DG
1367
1368Only hexadecimal digits are valid between the braces. If an invalid
1369character is encountered, a warning will be issued and the invalid
1370character and all subsequent characters (valid or invalid) within the
1371braces will be discarded.
1372
1373If there are no valid digits between the braces, the generated character is
1374the NULL character (C<\x{00}>). However, an explicit empty brace (C<\x{}>)
c543c01b 1375will not cause a warning (currently).
40687185
KW
1376
1377=item [2]
1378
2c4c1ff2
KW
1379The result is the character specified by the hexadecimal number in the range
13800x00 to 0xFF. See L</[8]> below for details on which character.
96448467
DG
1381
1382Only hexadecimal digits are valid following C<\x>. When C<\x> is followed
2c4c1ff2 1383by fewer than two valid digits, any valid digits will be zero-padded. This
c543c01b 1384means that C<\x7> will be interpreted as C<\x07>, and a lone <\x> will be
2c4c1ff2 1385interpreted as C<\x00>. Except at the end of a string, having fewer than
c543c01b 1386two valid digits will result in a warning. Note that although the warning
96448467
DG
1387says the illegal character is ignored, it is only ignored as part of the
1388escape and will still be used as the subsequent character in the string.
1389For example:
1390
1391 Original Result Warns?
1392 "\x7" "\x07" no
1393 "\x" "\x00" no
1394 "\x7q" "\x07q" yes
1395 "\xq" "\x00q" yes
1396
40687185
KW
1397=item [3]
1398
fb121860 1399The result is the Unicode character or character sequence given by I<name>.
2c4c1ff2 1400See L<charnames>.
40687185
KW
1401
1402=item [4]
1403
2c4c1ff2
KW
1404C<\N{U+I<hexadecimal number>}> means the Unicode character whose Unicode code
1405point is I<hexadecimal number>.
40687185
KW
1406
1407=item [5]
1408
5691ca5f
KW
1409The character following C<\c> is mapped to some other character as shown in the
1410table:
1411
1412 Sequence Value
1413 \c@ chr(0)
1414 \cA chr(1)
1415 \ca chr(1)
1416 \cB chr(2)
1417 \cb chr(2)
1418 ...
1419 \cZ chr(26)
1420 \cz chr(26)
1421 \c[ chr(27)
1422 \c] chr(29)
1423 \c^ chr(30)
1424 \c? chr(127)
1425
d813941f 1426In other words, it's the character whose code point has had 64 xor'd with
8df27208 1427its uppercase. C<\c?> is DELETE because C<ord("?") ^ 64> is 127, and
d813941f
KW
1428C<\c@> is NULL because the ord of "@" is 64, so xor'ing 64 itself produces 0.
1429
5691ca5f
KW
1430Also, C<\c\I<X>> yields C< chr(28) . "I<X>"> for any I<X>, but cannot come at the
1431end of a string, because the backslash would be parsed as escaping the end
1432quote.
1433
1434On ASCII platforms, the resulting characters from the list above are the
1435complete set of ASCII controls. This isn't the case on EBCDIC platforms; see
1436L<perlebcdic/OPERATOR DIFFERENCES> for the complete list of what these
1437sequences mean on both ASCII and EBCDIC platforms.
1438
1439Use of any other character following the "c" besides those listed above is
17a3df4c 1440discouraged, and some are deprecated with the intention of removing
9fef6a0d 1441those in a later Perl version. What happens for any of these
d813941f
KW
1442other characters currently though, is that the value is derived by xor'ing
1443with the seventh bit, which is 64.
5691ca5f
KW
1444
1445To get platform independent controls, you can use C<\N{...}>.
1446
40687185
KW
1447=item [6]
1448
2c4c1ff2
KW
1449The result is the character specified by the octal number between the braces.
1450See L</[8]> below for details on which character.
04341565
DG
1451
1452If a character that isn't an octal digit is encountered, a warning is raised,
1453and the value is based on the octal digits before it, discarding it and all
1454following characters up to the closing brace. It is a fatal error if there are
1455no octal digits at all.
1456
1457=item [7]
1458
c543c01b 1459The result is the character specified by the three-digit octal number in the
2c4c1ff2
KW
1460range 000 to 777 (but best to not use above 077, see next paragraph). See
1461L</[8]> below for details on which character.
1462
1463Some contexts allow 2 or even 1 digit, but any usage without exactly
40687185 1464three digits, the first being a zero, may give unintended results. (For
5db3e519
FC
1465example, in a regular expression it may be confused with a backreference;
1466see L<perlrebackslash/Octal escapes>.) Starting in Perl 5.14, you may
c543c01b 1467use C<\o{}> instead, which avoids all these problems. Otherwise, it is best to
04341565
DG
1468use this construct only for ordinals C<\077> and below, remembering to pad to
1469the left with zeros to make three digits. For larger ordinals, either use
9fef6a0d 1470C<\o{}>, or convert to something else, such as to hex and use C<\x{}>
04341565 1471instead.
40687185 1472
40687185
KW
1473Having fewer than 3 digits may lead to a misleading warning message that says
1474that what follows is ignored. For example, C<"\128"> in the ASCII character set
1475is equivalent to the two characters C<"\n8">, but the warning C<Illegal octal
5db3e519
FC
1476digit '8' ignored> will be thrown. If C<"\n8"> is what you want, you can
1477avoid this warning by padding your octal number with C<0>'s: C<"\0128">.
5691ca5f 1478
2c4c1ff2
KW
1479=item [8]
1480
c543c01b 1481Several constructs above specify a character by a number. That number
2c4c1ff2 1482gives the character's position in the character set encoding (indexed from 0).
c543c01b 1483This is called synonymously its ordinal, code position, or code point. Perl
2c4c1ff2
KW
1484works on platforms that have a native encoding currently of either ASCII/Latin1
1485or EBCDIC, each of which allow specification of 256 characters. In general, if
1486the number is 255 (0xFF, 0377) or below, Perl interprets this in the platform's
1487native encoding. If the number is 256 (0x100, 0400) or above, Perl interprets
c543c01b 1488it as a Unicode code point and the result is the corresponding Unicode
2c4c1ff2
KW
1489character. For example C<\x{50}> and C<\o{120}> both are the number 80 in
1490decimal, which is less than 256, so the number is interpreted in the native
1491character set encoding. In ASCII the character in the 80th position (indexed
1492from 0) is the letter "P", and in EBCDIC it is the ampersand symbol "&".
1493C<\x{100}> and C<\o{400}> are both 256 in decimal, so the number is interpreted
1494as a Unicode code point no matter what the native encoding is. The name of the
9fef6a0d 1495character in the 256th position (indexed by 0) in Unicode is
2c4c1ff2
KW
1496C<LATIN CAPITAL LETTER A WITH MACRON>.
1497
9fef6a0d 1498There are a couple of exceptions to the above rule. S<C<\N{U+I<hex number>}>> is
2c4c1ff2
KW
1499always interpreted as a Unicode code point, so that C<\N{U+0050}> is "P" even
1500on EBCDIC platforms. And if L<C<S<use encoding>>|encoding> is in effect, the
1501number is considered to be in that encoding, and is translated from that into
1502the platform's native encoding if there is a corresponding native character;
1503otherwise to Unicode.
1504
5691ca5f 1505=back
4c77eaa2 1506
e526e8bb 1507B<NOTE>: Unlike C and other languages, Perl has no C<\v> escape sequence for
8b312c40
KW
1508the vertical tab (VT, which is 11 in both ASCII and EBCDIC), but you may
1509use C<\ck> or
1510C<\x0b>. (C<\v>
e526e8bb
KW
1511does have meaning in regular expression patterns in Perl, see L<perlre>.)
1512
1513The following escape sequences are available in constructs that interpolate,
904501ec 1514but not in transliterations.
628253b8 1515X<\l> X<\u> X<\L> X<\U> X<\E> X<\Q> X<\F>
904501ec 1516
c543c01b
TC
1517 \l lowercase next character only
1518 \u titlecase (not uppercase!) next character only
e4d34742
EB
1519 \L lowercase all characters till \E or end of string
1520 \U uppercase all characters till \E or end of string
628253b8 1521 \F foldcase all characters till \E or end of string
736fe711
KW
1522 \Q quote (disable) pattern metacharacters till \E or
1523 end of string
7e31b643 1524 \E end either case modification or quoted section
c543c01b
TC
1525 (whichever was last seen)
1526
736fe711
KW
1527See L<perlfunc/quotemeta> for the exact definition of characters that
1528are quoted by C<\Q>.
1529
628253b8 1530C<\L>, C<\U>, C<\F>, and C<\Q> can stack, in which case you need one
c543c01b
TC
1531C<\E> for each. For example:
1532
9fef6a0d
KW
1533 say"This \Qquoting \ubusiness \Uhere isn't quite\E done yet,\E is it?";
1534 This quoting\ Business\ HERE\ ISN\'T\ QUITE\ done\ yet\, is it?
a0d0e21e 1535
66cbab2c
KW
1536If C<use locale> is in effect (but not C<use locale ':not_characters'>),
1537the case map used by C<\l>, C<\L>,
c543c01b 1538C<\u>, and C<\U> is taken from the current locale. See L<perllocale>.
b6538e4f 1539If Unicode (for example, C<\N{}> or code points of 0x100 or
c543c01b
TC
1540beyond) is being used, the case map used by C<\l>, C<\L>, C<\u>, and
1541C<\U> is as defined by Unicode. That means that case-mapping
1542a single character can sometimes produce several characters.
628253b8 1543Under C<use locale>, C<\F> produces the same results as C<\L>.
a034a98d 1544
5a964f20
TC
1545All systems use the virtual C<"\n"> to represent a line terminator,
1546called a "newline". There is no such thing as an unvarying, physical
19799a22 1547newline character. It is only an illusion that the operating system,
5a964f20
TC
1548device drivers, C libraries, and Perl all conspire to preserve. Not all
1549systems read C<"\r"> as ASCII CR and C<"\n"> as ASCII LF. For example,
c543c01b
TC
1550on the ancient Macs (pre-MacOS X) of yesteryear, these used to be reversed,
1551and on systems without line terminator,
1552printing C<"\n"> might emit no actual data. In general, use C<"\n"> when
5a964f20
TC
1553you mean a "newline" for your system, but use the literal ASCII when you
1554need an exact character. For example, most networking protocols expect
2a380090 1555and prefer a CR+LF (C<"\015\012"> or C<"\cM\cJ">) for line terminators,
5a964f20
TC
1556and although they often accept just C<"\012">, they seldom tolerate just
1557C<"\015">. If you get in the habit of using C<"\n"> for networking,
1558you may be burned some day.
d74e8afc
ITB
1559X<newline> X<line terminator> X<eol> X<end of line>
1560X<\n> X<\r> X<\r\n>
5a964f20 1561
904501ec
MG
1562For constructs that do interpolate, variables beginning with "C<$>"
1563or "C<@>" are interpolated. Subscripted variables such as C<$a[3]> or
ad0f383a
A
1564C<< $href->{key}[0] >> are also interpolated, as are array and hash slices.
1565But method calls such as C<< $obj->meth >> are not.
af9219ee
MG
1566
1567Interpolating an array or slice interpolates the elements in order,
1568separated by the value of C<$">, so is equivalent to interpolating
c543c01b
TC
1569C<join $", @array>. "Punctuation" arrays such as C<@*> are usually
1570interpolated only if the name is enclosed in braces C<@{*}>, but the
1571arrays C<@_>, C<@+>, and C<@-> are interpolated even without braces.
af9219ee 1572
bc7b91c6
EB
1573For double-quoted strings, the quoting from C<\Q> is applied after
1574interpolation and escapes are processed.
1575
1576 "abc\Qfoo\tbar$s\Exyz"
1577
1578is equivalent to
1579
1580 "abc" . quotemeta("foo\tbar$s") . "xyz"
1581
1582For the pattern of regex operators (C<qr//>, C<m//> and C<s///>),
1583the quoting from C<\Q> is applied after interpolation is processed,
1584but before escapes are processed. This allows the pattern to match
1585literally (except for C<$> and C<@>). For example, the following matches:
1586
1587 '\s\t' =~ /\Q\s\t/
1588
1589Because C<$> or C<@> trigger interpolation, you'll need to use something
1590like C</\Quser\E\@\Qhost/> to match them literally.
1d2dff63 1591
a0d0e21e
LW
1592Patterns are subject to an additional level of interpretation as a
1593regular expression. This is done as a second pass, after variables are
1594interpolated, so that regular expressions may be incorporated into the
1595pattern from the variables. If this is not what you want, use C<\Q> to
1596interpolate a variable literally.
1597
19799a22
GS
1598Apart from the behavior described above, Perl does not expand
1599multiple levels of interpolation. In particular, contrary to the
1600expectations of shell programmers, back-quotes do I<NOT> interpolate
1601within double quotes, nor do single quotes impede evaluation of
1602variables when used within double quotes.
a0d0e21e 1603
5f05dabc 1604=head2 Regexp Quote-Like Operators
d74e8afc 1605X<operator, regexp>
cb1a09d0 1606
5f05dabc 1607Here are the quote-like operators that apply to pattern
cb1a09d0
AD
1608matching and related activities.
1609
a0d0e21e
LW
1610=over 8
1611
b6fa137b 1612=item qr/STRING/msixpodual
01c6f5f4 1613X<qr> X</i> X</m> X</o> X</s> X</x> X</p>
a0d0e21e 1614
87e95b7f
YO
1615This operator quotes (and possibly compiles) its I<STRING> as a regular
1616expression. I<STRING> is interpolated the same way as I<PATTERN>
1617in C<m/PATTERN/>. If "'" is used as the delimiter, no interpolation
1618is done. Returns a Perl value which may be used instead of the
f6050459 1619corresponding C</STRING/msixpodual> expression. The returned value is a
85dd5c8b 1620normalized version of the original pattern. It magically differs from
1c8ee595
CO
1621a string containing the same characters: C<ref(qr/x/)> returns "Regexp";
1622however, dereferencing it is not well defined (you currently get the
1623normalized version of the original pattern, but this may change).
1624
a0d0e21e 1625
87e95b7f
YO
1626For example,
1627
1628 $rex = qr/my.STRING/is;
85dd5c8b 1629 print $rex; # prints (?si-xm:my.STRING)
87e95b7f
YO
1630 s/$rex/foo/;
1631
1632is equivalent to
1633
1634 s/my.STRING/foo/is;
1635
1636The result may be used as a subpattern in a match:
1637
1638 $re = qr/$pattern/;
7188ca43
KW
1639 $string =~ /foo${re}bar/; # can be interpolated in other
1640 # patterns
87e95b7f
YO
1641 $string =~ $re; # or used standalone
1642 $string =~ /$re/; # or this way
1643
f6050459 1644Since Perl may compile the pattern at the moment of execution of the qr()
87e95b7f
YO
1645operator, using qr() may have speed advantages in some situations,
1646notably if the result of qr() is used standalone:
1647
1648 sub match {
1649 my $patterns = shift;
1650 my @compiled = map qr/$_/i, @$patterns;
1651 grep {
1652 my $success = 0;
1653 foreach my $pat (@compiled) {
1654 $success = 1, last if /$pat/;
1655 }
1656 $success;
1657 } @_;
5a964f20
TC
1658 }
1659
87e95b7f
YO
1660Precompilation of the pattern into an internal representation at
1661the moment of qr() avoids a need to recompile the pattern every
1662time a match C</$pat/> is attempted. (Perl has many other internal
1663optimizations, but none would be triggered in the above example if
1664we did not use qr() operator.)
1665
765fa144 1666Options (specified by the following modifiers) are:
87e95b7f
YO
1667
1668 m Treat string as multiple lines.
1669 s Treat string as single line. (Make . match a newline)
1670 i Do case-insensitive pattern matching.
1671 x Use extended regular expressions.
1672 p When matching preserve a copy of the matched string so
7188ca43
KW
1673 that ${^PREMATCH}, ${^MATCH}, ${^POSTMATCH} will be
1674 defined.
87e95b7f 1675 o Compile pattern only once.
7188ca43
KW
1676 a ASCII-restrict: Use ASCII for \d, \s, \w; specifying two
1677 a's further restricts /i matching so that no ASCII
48cbae4f
SK
1678 character will match a non-ASCII one.
1679 l Use the locale.
1680 u Use Unicode rules.
1681 d Use Unicode or native charset, as in 5.12 and earlier.
87e95b7f
YO
1682
1683If a precompiled pattern is embedded in a larger pattern then the effect
c543c01b 1684of "msixpluad" will be propagated appropriately. The effect the "o"
87e95b7f
YO
1685modifier has is not propagated, being restricted to those patterns
1686explicitly using it.
1687
b6fa137b 1688The last four modifiers listed above, added in Perl 5.14,
18509dec
KW
1689control the character set semantics, but C</a> is the only one you are likely
1690to want to specify explicitly; the other three are selected
1691automatically by various pragmas.
da392a17 1692
87e95b7f 1693See L<perlre> for additional information on valid syntax for STRING, and
5e2aa8f5 1694for a detailed look at the semantics of regular expressions. In
1ca345ed
TC
1695particular, all modifiers except the largely obsolete C</o> are further
1696explained in L<perlre/Modifiers>. C</o> is described in the next section.
a0d0e21e 1697
b6fa137b 1698=item m/PATTERN/msixpodualgc
89d205f2
YO
1699X<m> X<operator, match>
1700X<regexp, options> X<regexp> X<regex, options> X<regex>
01c6f5f4 1701X</m> X</s> X</i> X</x> X</p> X</o> X</g> X</c>
a0d0e21e 1702
b6fa137b 1703=item /PATTERN/msixpodualgc
a0d0e21e 1704
5a964f20 1705Searches a string for a pattern match, and in scalar context returns
19799a22
GS
1706true if it succeeds, false if it fails. If no string is specified
1707via the C<=~> or C<!~> operator, the $_ string is searched. (The
1708string specified with C<=~> need not be an lvalue--it may be the
1709result of an expression evaluation, but remember the C<=~> binds
006671a6 1710rather tightly.) See also L<perlre>.
a0d0e21e 1711
f6050459 1712Options are as described in C<qr//> above; in addition, the following match
01c6f5f4 1713process modifiers are available:
a0d0e21e 1714
950b09ed 1715 g Match globally, i.e., find all occurrences.
7188ca43
KW
1716 c Do not reset search position on a failed match when /g is
1717 in effect.
a0d0e21e 1718
725a61d7 1719If "/" is the delimiter then the initial C<m> is optional. With the C<m>
c543c01b 1720you can use any pair of non-whitespace (ASCII) characters
725a61d7
Z
1721as delimiters. This is particularly useful for matching path names
1722that contain "/", to avoid LTS (leaning toothpick syndrome). If "?" is
1723the delimiter, then a match-only-once rule applies,
6ca3c6c6
JK
1724described in C<m?PATTERN?> below. If "'" (single quote) is the delimiter,
1725no interpolation is performed on the PATTERN.
ed02a3bf
DN
1726When using a character valid in an identifier, whitespace is required
1727after the C<m>.
a0d0e21e 1728
532c9e80
KW
1729PATTERN may contain variables, which will be interpolated
1730every time the pattern search is evaluated, except
1f247705
GS
1731for when the delimiter is a single quote. (Note that C<$(>, C<$)>, and
1732C<$|> are not interpolated because they look like end-of-string tests.)
532c9e80
KW
1733Perl will not recompile the pattern unless an interpolated
1734variable that it contains changes. You can force Perl to skip the
1735test and never recompile by adding a C</o> (which stands for "once")
1736after the trailing delimiter.
1737Once upon a time, Perl would recompile regular expressions
1738unnecessarily, and this modifier was useful to tell it not to do so, in the
1739interests of speed. But now, the only reasons to use C</o> are either:
1740
1741=over
1742
1743=item 1
1744
1745The variables are thousands of characters long and you know that they
1746don't change, and you need to wring out the last little bit of speed by
1747having Perl skip testing for that. (There is a maintenance penalty for
1748doing this, as mentioning C</o> constitutes a promise that you won't
18509dec 1749change the variables in the pattern. If you do change them, Perl won't
532c9e80
KW
1750even notice.)
1751
1752=item 2
1753
1754you want the pattern to use the initial values of the variables
1755regardless of whether they change or not. (But there are saner ways
1756of accomplishing this than using C</o>.)
1757
fa9b8686
DM
1758=item 3
1759
1760If the pattern contains embedded code, such as
1761
1762 use re 'eval';
1763 $code = 'foo(?{ $x })';
1764 /$code/
1765
1766then perl will recompile each time, even though the pattern string hasn't
1767changed, to ensure that the current value of C<$x> is seen each time.
1768Use C</o> if you want to avoid this.
1769
532c9e80 1770=back
a0d0e21e 1771
18509dec
KW
1772The bottom line is that using C</o> is almost never a good idea.
1773
e9d89077
DN
1774=item The empty pattern //
1775
5a964f20 1776If the PATTERN evaluates to the empty string, the last
d65afb4b 1777I<successfully> matched regular expression is used instead. In this
c543c01b 1778case, only the C<g> and C<c> flags on the empty pattern are honored;
d65afb4b
HS
1779the other flags are taken from the original pattern. If no match has
1780previously succeeded, this will (silently) act instead as a genuine
1781empty pattern (which will always match).
a0d0e21e 1782
89d205f2
YO
1783Note that it's possible to confuse Perl into thinking C<//> (the empty
1784regex) is really C<//> (the defined-or operator). Perl is usually pretty
1785good about this, but some pathological cases might trigger this, such as
1786C<$a///> (is that C<($a) / (//)> or C<$a // />?) and C<print $fh //>
1787(C<print $fh(//> or C<print($fh //>?). In all of these examples, Perl
1788will assume you meant defined-or. If you meant the empty regex, just
1789use parentheses or spaces to disambiguate, or even prefix the empty
c963b151
BD
1790regex with an C<m> (so C<//> becomes C<m//>).
1791
e9d89077
DN
1792=item Matching in list context
1793
19799a22 1794If the C</g> option is not used, C<m//> in list context returns a
a0d0e21e 1795list consisting of the subexpressions matched by the parentheses in the
3ff8ecf9
BF
1796pattern, that is, (C<$1>, C<$2>, C<$3>...) (Note that here C<$1> etc. are
1797also set). When there are no parentheses in the pattern, the return
1798value is the list C<(1)> for success.
1799With or without parentheses, an empty list is returned upon failure.
a0d0e21e
LW
1800
1801Examples:
1802
7188ca43
KW
1803 open(TTY, "+</dev/tty")
1804 || die "can't access /dev/tty: $!";
c543c01b 1805
7188ca43 1806 <TTY> =~ /^y/i && foo(); # do foo if desired
a0d0e21e 1807
7188ca43 1808 if (/Version: *([0-9.]*)/) { $version = $1; }
a0d0e21e 1809
7188ca43 1810 next if m#^/usr/spool/uucp#;
a0d0e21e 1811
7188ca43
KW
1812 # poor man's grep
1813 $arg = shift;
1814 while (<>) {
1815 print if /$arg/o; # compile only once (no longer needed!)
1816 }
a0d0e21e 1817
7188ca43 1818 if (($F1, $F2, $Etc) = ($foo =~ /^(\S+)\s+(\S+)\s*(.*)/))
a0d0e21e
LW
1819
1820This last example splits $foo into the first two words and the
5f05dabc 1821remainder of the line, and assigns those three fields to $F1, $F2, and
c543c01b
TC
1822$Etc. The conditional is true if any variables were assigned; that is,
1823if the pattern matched.
a0d0e21e 1824
19799a22 1825The C</g> modifier specifies global pattern matching--that is,
3dd93342 1826matching as many times as possible within the string. How it behaves
1827depends on the context. In list context, it returns a list of the
19799a22 1828substrings matched by any capturing parentheses in the regular
3dd93342 1829expression. If there are no parentheses, it returns a list of all
19799a22
GS
1830the matched strings, as if there were parentheses around the whole
1831pattern.
a0d0e21e 1832
7e86de3e 1833In scalar context, each execution of C<m//g> finds the next match,
19799a22 1834returning true if it matches, and false if there is no further match.
3dd93342 1835The position after the last match can be read or set using the C<pos()>
1836function; see L<perlfunc/pos>. A failed match normally resets the
7e86de3e 1837search position to the beginning of the string, but you can avoid that
1ca345ed 1838by adding the C</c> modifier (for example, C<m//gc>). Modifying the target
7e86de3e 1839string also resets the search position.
c90c0ff4 1840
e9d89077
DN
1841=item \G assertion
1842
c90c0ff4 1843You can intermix C<m//g> matches with C<m/\G.../g>, where C<\G> is a
3dd93342 1844zero-width assertion that matches the exact position where the
1845previous C<m//g>, if any, left off. Without the C</g> modifier, the
1846C<\G> assertion still anchors at C<pos()> as it was at the start of
1847the operation (see L<perlfunc/pos>), but the match is of course only
1848attempted once. Using C<\G> without C</g> on a target string that has
1849not previously had a C</g> match applied to it is the same as using
1850the C<\A> assertion to match the beginning of the string. Note also
1851that, currently, C<\G> is only properly supported when anchored at the
1852very beginning of the pattern.
c90c0ff4 1853
1854Examples:
a0d0e21e
LW
1855
1856 # list context
1857 ($one,$five,$fifteen) = (`uptime` =~ /(\d+\.\d+)/g);
1858
1859 # scalar context
c543c01b
TC
1860 local $/ = "";
1861 while ($paragraph = <>) {
1862 while ($paragraph =~ /\p{Ll}['")]*[.!?]+['")]*\s/g) {
19799a22 1863 $sentences++;
a0d0e21e
LW
1864 }
1865 }
c543c01b
TC
1866 say $sentences;
1867
1868Here's another way to check for sentences in a paragraph:
1869
7188ca43
KW
1870 my $sentence_rx = qr{
1871 (?: (?<= ^ ) | (?<= \s ) ) # after start-of-string or
1872 # whitespace
1873 \p{Lu} # capital letter
1874 .*? # a bunch of anything
1875 (?<= \S ) # that ends in non-
1876 # whitespace
1877 (?<! \b [DMS]r ) # but isn't a common abbr.
1878 (?<! \b Mrs )
1879 (?<! \b Sra )
1880 (?<! \b St )
1881 [.?!] # followed by a sentence
1882 # ender
1883 (?= $ | \s ) # in front of end-of-string
1884 # or whitespace
1885 }sx;
1886 local $/ = "";
1887 while (my $paragraph = <>) {
1888 say "NEW PARAGRAPH";
1889 my $count = 0;
1890 while ($paragraph =~ /($sentence_rx)/g) {
1891 printf "\tgot sentence %d: <%s>\n", ++$count, $1;
c543c01b 1892 }
7188ca43 1893 }
c543c01b
TC
1894
1895Here's how to use C<m//gc> with C<\G>:
a0d0e21e 1896
137443ea 1897 $_ = "ppooqppqq";
44a8e56a 1898 while ($i++ < 2) {
1899 print "1: '";
c90c0ff4 1900 print $1 while /(o)/gc; print "', pos=", pos, "\n";
44a8e56a 1901 print "2: '";
c90c0ff4 1902 print $1 if /\G(q)/gc; print "', pos=", pos, "\n";
44a8e56a 1903 print "3: '";
c90c0ff4 1904 print $1 while /(p)/gc; print "', pos=", pos, "\n";
44a8e56a 1905 }
5d43e42d 1906 print "Final: '$1', pos=",pos,"\n" if /\G(.)/;
44a8e56a 1907
1908The last example should print:
1909
1910 1: 'oo', pos=4
137443ea 1911 2: 'q', pos=5
44a8e56a 1912 3: 'pp', pos=7
1913 1: '', pos=7
137443ea 1914 2: 'q', pos=8
1915 3: '', pos=8
5d43e42d
DC
1916 Final: 'q', pos=8
1917
1918Notice that the final match matched C<q> instead of C<p>, which a match
1919without the C<\G> anchor would have done. Also note that the final match
ac036724 1920did not update C<pos>. C<pos> is only updated on a C</g> match. If the
c543c01b
TC
1921final match did indeed match C<p>, it's a good bet that you're running a
1922very old (pre-5.6.0) version of Perl.
44a8e56a 1923
c90c0ff4 1924A useful idiom for C<lex>-like scanners is C</\G.../gc>. You can
e7ea3e70 1925combine several regexps like this to process a string part-by-part,
c90c0ff4 1926doing different actions depending on which regexp matched. Each
1927regexp tries to match where the previous one leaves off.
e7ea3e70 1928
3fe9a6f1 1929 $_ = <<'EOL';
7188ca43
KW
1930 $url = URI::URL->new( "http://example.com/" );
1931 die if $url eq "xXx";
3fe9a6f1 1932 EOL
c543c01b
TC
1933
1934 LOOP: {
950b09ed 1935 print(" digits"), redo LOOP if /\G\d+\b[,.;]?\s*/gc;
7188ca43
KW
1936 print(" lowercase"), redo LOOP
1937 if /\G\p{Ll}+\b[,.;]?\s*/gc;
1938 print(" UPPERCASE"), redo LOOP
1939 if /\G\p{Lu}+\b[,.;]?\s*/gc;
1940 print(" Capitalized"), redo LOOP
1941 if /\G\p{Lu}\p{Ll}+\b[,.;]?\s*/gc;
c543c01b 1942 print(" MiXeD"), redo LOOP if /\G\pL+\b[,.;]?\s*/gc;
7188ca43
KW
1943 print(" alphanumeric"), redo LOOP
1944 if /\G[\p{Alpha}\pN]+\b[,.;]?\s*/gc;
c543c01b 1945 print(" line-noise"), redo LOOP if /\G\W+/gc;
950b09ed 1946 print ". That's all!\n";
c543c01b 1947 }
e7ea3e70
IZ
1948
1949Here is the output (split into several lines):
1950
7188ca43
KW
1951 line-noise lowercase line-noise UPPERCASE line-noise UPPERCASE
1952 line-noise lowercase line-noise lowercase line-noise lowercase
1953 lowercase line-noise lowercase lowercase line-noise lowercase
1954 lowercase line-noise MiXeD line-noise. That's all!
44a8e56a 1955
c543c01b 1956=item m?PATTERN?msixpodualgc
725a61d7 1957X<?> X<operator, match-once>
87e95b7f 1958
c543c01b 1959=item ?PATTERN?msixpodualgc
55d389e7 1960
725a61d7
Z
1961This is just like the C<m/PATTERN/> search, except that it matches
1962only once between calls to the reset() operator. This is a useful
87e95b7f 1963optimization when you want to see only the first occurrence of
ceb131e8 1964something in each file of a set of files, for instance. Only C<m??>
87e95b7f
YO
1965patterns local to the current package are reset.
1966
1967 while (<>) {
ceb131e8 1968 if (m?^$?) {
87e95b7f
YO
1969 # blank line between header and body
1970 }
1971 } continue {
725a61d7 1972 reset if eof; # clear m?? status for next file
87e95b7f
YO
1973 }
1974
c543c01b
TC
1975Another example switched the first "latin1" encoding it finds
1976to "utf8" in a pod file:
1977
1978 s//utf8/ if m? ^ =encoding \h+ \K latin1 ?x;
1979
1980The match-once behavior is controlled by the match delimiter being
725a61d7
Z
1981C<?>; with any other delimiter this is the normal C<m//> operator.
1982
1983For historical reasons, the leading C<m> in C<m?PATTERN?> is optional,
1984but the resulting C<?PATTERN?> syntax is deprecated, will warn on
c543c01b
TC
1985usage and might be removed from a future stable release of Perl (without
1986further notice!).
87e95b7f 1987
b6fa137b 1988=item s/PATTERN/REPLACEMENT/msixpodualgcer
87e95b7f 1989X<substitute> X<substitution> X<replace> X<regexp, replace>
4f4d7508 1990X<regexp, substitute> X</m> X</s> X</i> X</x> X</p> X</o> X</g> X</c> X</e> X</r>
87e95b7f
YO
1991
1992Searches a string for a pattern, and if found, replaces that pattern
1993with the replacement text and returns the number of substitutions
1994made. Otherwise it returns false (specifically, the empty string).
1995
c543c01b 1996If the C</r> (non-destructive) option is used then it runs the
679563bb
KW
1997substitution on a copy of the string and instead of returning the
1998number of substitutions, it returns the copy whether or not a
c543c01b
TC
1999substitution occurred. The original string is never changed when
2000C</r> is used. The copy will always be a plain string, even if the
2001input is an object or a tied variable.
4f4d7508 2002
87e95b7f 2003If no string is specified via the C<=~> or C<!~> operator, the C<$_>
c543c01b
TC
2004variable is searched and modified. Unless the C</r> option is used,
2005the string specified must be a scalar variable, an array element, a
2006hash element, or an assignment to one of those; that is, some sort of
2007scalar lvalue.
87e95b7f
YO
2008
2009If the delimiter chosen is a single quote, no interpolation is
2010done on either the PATTERN or the REPLACEMENT. Otherwise, if the
2011PATTERN contains a $ that looks like a variable rather than an
2012end-of-string test, the variable will be interpolated into the pattern
2013at run-time. If you want the pattern compiled only once the first time
2014the variable is interpolated, use the C</o> option. If the pattern
2015evaluates to the empty string, the last successfully executed regular
2016expression is used instead. See L<perlre> for further explanation on these.
87e95b7f
YO
2017
2018Options are as with m// with the addition of the following replacement
2019specific options:
2020
2021 e Evaluate the right side as an expression.
7188ca43
KW
2022 ee Evaluate the right side as a string then eval the
2023 result.
2024 r Return substitution and leave the original string
2025 untouched.
87e95b7f 2026
ed02a3bf
DN
2027Any non-whitespace delimiter may replace the slashes. Add space after
2028the C<s> when using a character allowed in identifiers. If single quotes
2029are used, no interpretation is done on the replacement string (the C</e>
3ff8ecf9 2030modifier overrides this, however). Note that Perl treats backticks
ed02a3bf
DN
2031as normal delimiters; the replacement text is not evaluated as a command.
2032If the PATTERN is delimited by bracketing quotes, the REPLACEMENT has
1ca345ed 2033its own pair of quotes, which may or may not be bracketing quotes, for example,
87e95b7f
YO
2034C<s(foo)(bar)> or C<< s<foo>/bar/ >>. A C</e> will cause the
2035replacement portion to be treated as a full-fledged Perl expression
2036and evaluated right then and there. It is, however, syntax checked at
2037compile-time. A second C<e> modifier will cause the replacement portion
2038to be C<eval>ed before being run as a Perl expression.
2039
2040Examples:
2041
7188ca43 2042 s/\bgreen\b/mauve/g; # don't change wintergreen
87e95b7f
YO
2043
2044 $path =~ s|/usr/bin|/usr/local/bin|;
2045
2046 s/Login: $foo/Login: $bar/; # run-time pattern
2047
7188ca43
KW
2048 ($foo = $bar) =~ s/this/that/; # copy first, then
2049 # change
2050 ($foo = "$bar") =~ s/this/that/; # convert to string,
2051 # copy, then change
4f4d7508
DC
2052 $foo = $bar =~ s/this/that/r; # Same as above using /r
2053 $foo = $bar =~ s/this/that/r
7188ca43
KW
2054 =~ s/that/the other/r; # Chained substitutes
2055 # using /r
2056 @foo = map { s/this/that/r } @bar # /r is very useful in
2057 # maps
87e95b7f 2058
7188ca43 2059 $count = ($paragraph =~ s/Mister\b/Mr./g); # get change-cnt
87e95b7f
YO
2060
2061 $_ = 'abc123xyz';
2062 s/\d+/$&*2/e; # yields 'abc246xyz'
2063 s/\d+/sprintf("%5d",$&)/e; # yields 'abc 246xyz'
2064 s/\w/$& x 2/eg; # yields 'aabbcc 224466xxyyzz'
2065
2066 s/%(.)/$percent{$1}/g; # change percent escapes; no /e
2067 s/%(.)/$percent{$1} || $&/ge; # expr now, so /e
2068 s/^=(\w+)/pod($1)/ge; # use function call
2069
4f4d7508
DC
2070 $_ = 'abc123xyz';
2071 $a = s/abc/def/r; # $a is 'def123xyz' and
2072 # $_ remains 'abc123xyz'.
2073
87e95b7f
YO
2074 # expand variables in $_, but dynamics only, using
2075 # symbolic dereferencing
2076 s/\$(\w+)/${$1}/g;
2077
2078 # Add one to the value of any numbers in the string
2079 s/(\d+)/1 + $1/eg;
2080
c543c01b
TC
2081 # Titlecase words in the last 30 characters only
2082 substr($str, -30) =~ s/\b(\p{Alpha}+)\b/\u\L$1/g;
2083
87e95b7f
YO
2084 # This will expand any embedded scalar variable
2085 # (including lexicals) in $_ : First $1 is interpolated
2086 # to the variable name, and then evaluated
2087 s/(\$\w+)/$1/eeg;
2088
2089 # Delete (most) C comments.
2090 $program =~ s {
2091 /\* # Match the opening delimiter.
2092 .*? # Match a minimal number of characters.
2093 \*/ # Match the closing delimiter.
2094 } []gsx;
2095
7188ca43
KW
2096 s/^\s*(.*?)\s*$/$1/; # trim whitespace in $_,
2097 # expensively
87e95b7f 2098
7188ca43
KW
2099 for ($variable) { # trim whitespace in $variable,
2100 # cheap
87e95b7f
YO
2101 s/^\s+//;
2102 s/\s+$//;
2103 }
2104
2105 s/([^ ]*) *([^ ]*)/$2 $1/; # reverse 1st two fields
2106
2107Note the use of $ instead of \ in the last example. Unlike
2108B<sed>, we use the \<I<digit>> form in only the left hand side.
2109Anywhere else it's $<I<digit>>.
2110
2111Occasionally, you can't use just a C</g> to get all the changes
2112to occur that you might want. Here are two common cases:
2113
2114 # put commas in the right places in an integer
2115 1 while s/(\d)(\d\d\d)(?!\d)/$1,$2/g;
2116
2117 # expand tabs to 8-column spacing
2118 1 while s/\t+/' ' x (length($&)*8 - length($`)%8)/e;
2119
2120=back
2121
2122=head2 Quote-Like Operators
2123X<operator, quote-like>
2124
01c6f5f4
RGS
2125=over 4
2126
a0d0e21e 2127=item q/STRING/
5d44bfff 2128X<q> X<quote, single> X<'> X<''>
a0d0e21e 2129
5d44bfff 2130=item 'STRING'
a0d0e21e 2131
19799a22 2132A single-quoted, literal string. A backslash represents a backslash
68dc0745 2133unless followed by the delimiter or another backslash, in which case
2134the delimiter or backslash is interpolated.
a0d0e21e
LW
2135
2136 $foo = q!I said, "You said, 'She said it.'"!;
2137 $bar = q('This is it.');
68dc0745 2138 $baz = '\n'; # a two-character string
a0d0e21e
LW
2139
2140=item qq/STRING/
d74e8afc 2141X<qq> X<quote, double> X<"> X<"">
a0d0e21e
LW
2142
2143=item "STRING"
2144
2145A double-quoted, interpolated string.
2146
2147 $_ .= qq
2148 (*** The previous line contains the naughty word "$1".\n)
19799a22 2149 if /\b(tcl|java|python)\b/i; # :-)
68dc0745 2150 $baz = "\n"; # a one-character string
a0d0e21e
LW
2151
2152=item qx/STRING/
d74e8afc 2153X<qx> X<`> X<``> X<backtick>
a0d0e21e
LW
2154
2155=item `STRING`
2156
43dd4d21 2157A string which is (possibly) interpolated and then executed as a
f703fc96 2158system command with F</bin/sh> or its equivalent. Shell wildcards,
43dd4d21
JH
2159pipes, and redirections will be honored. The collected standard
2160output of the command is returned; standard error is unaffected. In
2161scalar context, it comes back as a single (potentially multi-line)
2162string, or undef if the command failed. In list context, returns a
2163list of lines (however you've defined lines with $/ or
2164$INPUT_RECORD_SEPARATOR), or an empty list if the command failed.
5a964f20
TC
2165
2166Because backticks do not affect standard error, use shell file descriptor
2167syntax (assuming the shell supports this) if you care to address this.
2168To capture a command's STDERR and STDOUT together:
a0d0e21e 2169
5a964f20
TC
2170 $output = `cmd 2>&1`;
2171
2172To capture a command's STDOUT but discard its STDERR:
2173
2174 $output = `cmd 2>/dev/null`;
2175
2176To capture a command's STDERR but discard its STDOUT (ordering is
2177important here):
2178
2179 $output = `cmd 2>&1 1>/dev/null`;
2180
2181To exchange a command's STDOUT and STDERR in order to capture the STDERR
2182but leave its STDOUT to come out the old STDERR:
2183
2184 $output = `cmd 3>&1 1>&2 2>&3 3>&-`;
2185
2186To read both a command's STDOUT and its STDERR separately, it's easiest
2359510d
SD
2187to redirect them separately to files, and then read from those files
2188when the program is done:
5a964f20 2189
2359510d 2190 system("program args 1>program.stdout 2>program.stderr");
5a964f20 2191
30398227
SP
2192The STDIN filehandle used by the command is inherited from Perl's STDIN.
2193For example:
2194
c543c01b
TC
2195 open(SPLAT, "stuff") || die "can't open stuff: $!";
2196 open(STDIN, "<&SPLAT") || die "can't dupe SPLAT: $!";
40bbb707 2197 print STDOUT `sort`;
30398227 2198
40bbb707 2199will print the sorted contents of the file named F<"stuff">.
30398227 2200
5a964f20
TC
2201Using single-quote as a delimiter protects the command from Perl's
2202double-quote interpolation, passing it on to the shell instead:
2203
2204 $perl_info = qx(ps $$); # that's Perl's $$
2205 $shell_info = qx'ps $$'; # that's the new shell's $$
2206
19799a22 2207How that string gets evaluated is entirely subject to the command
5a964f20
TC
2208interpreter on your system. On most platforms, you will have to protect
2209shell metacharacters if you want them treated literally. This is in
2210practice difficult to do, as it's unclear how to escape which characters.
2211See L<perlsec> for a clean and safe example of a manual fork() and exec()
2212to emulate backticks safely.
a0d0e21e 2213
bb32b41a
GS
2214On some platforms (notably DOS-like ones), the shell may not be
2215capable of dealing with multiline commands, so putting newlines in
2216the string may not get you what you want. You may be able to evaluate
2217multiple commands in a single line by separating them with the command
1ca345ed
TC
2218separator character, if your shell supports that (for example, C<;> on
2219many Unix shells and C<&> on the Windows NT C<cmd> shell).
bb32b41a 2220
3ff8ecf9 2221Perl will attempt to flush all files opened for
0f897271
GS
2222output before starting the child process, but this may not be supported
2223on some platforms (see L<perlport>). To be safe, you may need to set
2224C<$|> ($AUTOFLUSH in English) or call the C<autoflush()> method of
2225C<IO::Handle> on any open handles.
2226
bb32b41a
GS
2227Beware that some command shells may place restrictions on the length
2228of the command line. You must ensure your strings don't exceed this
2229limit after any necessary interpolations. See the platform-specific
2230release notes for more details about your particular environment.
2231
5a964f20
TC
2232Using this operator can lead to programs that are difficult to port,
2233because the shell commands called vary between systems, and may in
2234fact not be present at all. As one example, the C<type> command under
2235the POSIX shell is very different from the C<type> command under DOS.
2236That doesn't mean you should go out of your way to avoid backticks
2237when they're the right way to get something done. Perl was made to be
2238a glue language, and one of the things it glues together is commands.
2239Just understand what you're getting yourself into.
bb32b41a 2240
da87341d 2241See L</"I/O Operators"> for more discussion.
a0d0e21e 2242
945c54fd 2243=item qw/STRING/
d74e8afc 2244X<qw> X<quote, list> X<quote, words>
945c54fd
JH
2245
2246Evaluates to a list of the words extracted out of STRING, using embedded
2247whitespace as the word delimiters. It can be understood as being roughly
2248equivalent to:
2249
c543c01b 2250 split(" ", q/STRING/);
945c54fd 2251
efb1e162
CW
2252the differences being that it generates a real list at compile time, and
2253in scalar context it returns the last element in the list. So
945c54fd
JH
2254this expression:
2255
2256 qw(foo bar baz)
2257
2258is semantically equivalent to the list:
2259
c543c01b 2260 "foo", "bar", "baz"
945c54fd
JH
2261
2262Some frequently seen examples:
2263
2264 use POSIX qw( setlocale localeconv )
2265 @EXPORT = qw( foo bar baz );
2266
2267A common mistake is to try to separate the words with comma or to
2268put comments into a multi-line C<qw>-string. For this reason, the
89d205f2 2269C<use warnings> pragma and the B<-w> switch (that is, the C<$^W> variable)
945c54fd
JH
2270produces warnings if the STRING contains the "," or the "#" character.
2271
8ff32507 2272=item tr/SEARCHLIST/REPLACEMENTLIST/cdsr
d74e8afc 2273X<tr> X<y> X<transliterate> X</c> X</d> X</s>
a0d0e21e 2274
8ff32507 2275=item y/SEARCHLIST/REPLACEMENTLIST/cdsr
a0d0e21e 2276
2c268ad5 2277Transliterates all occurrences of the characters found in the search list
a0d0e21e
LW
2278with the corresponding character in the replacement list. It returns
2279the number of characters replaced or deleted. If no string is
c543c01b
TC
2280specified via the C<=~> or C<!~> operator, the $_ string is transliterated.
2281
2282If the C</r> (non-destructive) option is present, a new copy of the string
2283is made and its characters transliterated, and this copy is returned no
2284matter whether it was modified or not: the original string is always
2285left unchanged. The new copy is always a plain string, even if the input
2286string is an object or a tied variable.
8ada0baa 2287
c543c01b
TC
2288Unless the C</r> option is used, the string specified with C<=~> must be a
2289scalar variable, an array element, a hash element, or an assignment to one
2290of those; in other words, an lvalue.
8ff32507 2291
89d205f2 2292A character range may be specified with a hyphen, so C<tr/A-J/0-9/>
2c268ad5 2293does the same replacement as C<tr/ACEGIBDFHJ/0246813579/>.
54310121 2294For B<sed> devotees, C<y> is provided as a synonym for C<tr>. If the
2295SEARCHLIST is delimited by bracketing quotes, the REPLACEMENTLIST has
c543c01b
TC
2296its own pair of quotes, which may or may not be bracketing quotes;
2297for example, C<tr[aeiouy][yuoiea]> or C<tr(+\-*/)/ABCD/>.
2298
2299Note that C<tr> does B<not> do regular expression character classes such as
2300C<\d> or C<\pL>. The C<tr> operator is not equivalent to the tr(1)
2301utility. If you want to map strings between lower/upper cases, see
2302L<perlfunc/lc> and L<perlfunc/uc>, and in general consider using the C<s>
2303operator if you need regular expressions. The C<\U>, C<\u>, C<\L>, and
2304C<\l> string-interpolation escapes on the right side of a substitution
2305operator will perform correct case-mappings, but C<tr[a-z][A-Z]> will not
2306(except sometimes on legacy 7-bit data).
cc255d5f 2307
8ada0baa
JH
2308Note also that the whole range idea is rather unportable between
2309character sets--and even within character sets they may cause results
2310you probably didn't expect. A sound principle is to use only ranges
2311that begin from and end at either alphabets of equal case (a-e, A-E),
2312or digits (0-4). Anything else is unsafe. If in doubt, spell out the
2313character sets in full.
2314
a0d0e21e
LW
2315Options:
2316
2317 c Complement the SEARCHLIST.
2318 d Delete found but unreplaced characters.
2319 s Squash duplicate replaced characters.
8ff32507
FC
2320 r Return the modified string and leave the original string
2321 untouched.
a0d0e21e 2322
19799a22
GS
2323If the C</c> modifier is specified, the SEARCHLIST character set
2324is complemented. If the C</d> modifier is specified, any characters
2325specified by SEARCHLIST not found in REPLACEMENTLIST are deleted.
2326(Note that this is slightly more flexible than the behavior of some
2327B<tr> programs, which delete anything they find in the SEARCHLIST,
2328period.) If the C</s> modifier is specified, sequences of characters
2329that were transliterated to the same character are squashed down
2330to a single instance of the character.
a0d0e21e
LW
2331
2332If the C</d> modifier is used, the REPLACEMENTLIST is always interpreted
2333exactly as specified. Otherwise, if the REPLACEMENTLIST is shorter
2334than the SEARCHLIST, the final character is replicated till it is long
5a964f20 2335enough. If the REPLACEMENTLIST is empty, the SEARCHLIST is replicated.
a0d0e21e
LW
2336This latter is useful for counting characters in a class or for
2337squashing character sequences in a class.
2338
2339Examples:
2340
c543c01b 2341 $ARGV[1] =~ tr/A-Z/a-z/; # canonicalize to lower case ASCII
a0d0e21e
LW
2342
2343 $cnt = tr/*/*/; # count the stars in $_
2344
2345 $cnt = $sky =~ tr/*/*/; # count the stars in $sky
2346
2347 $cnt = tr/0-9//; # count the digits in $_
2348
2349 tr/a-zA-Z//s; # bookkeeper -> bokeper
2350
2351 ($HOST = $host) =~ tr/a-z/A-Z/;
c543c01b 2352 $HOST = $host =~ tr/a-z/A-Z/r; # same thing
8ff32507 2353
c543c01b 2354 $HOST = $host =~ tr/a-z/A-Z/r # chained with s///r
8ff32507 2355 =~ s/:/ -p/r;
a0d0e21e
LW
2356
2357 tr/a-zA-Z/ /cs; # change non-alphas to single space
2358
8ff32507
FC
2359 @stripped = map tr/a-zA-Z/ /csr, @original;
2360 # /r with map
2361
a0d0e21e 2362 tr [\200-\377]
c543c01b 2363 [\000-\177]; # wickedly delete 8th bit
a0d0e21e 2364
19799a22
GS
2365If multiple transliterations are given for a character, only the
2366first one is used:
748a9306
LW
2367
2368 tr/AAA/XYZ/
2369
2c268ad5 2370will transliterate any A to X.
748a9306 2371
19799a22 2372Because the transliteration table is built at compile time, neither
a0d0e21e 2373the SEARCHLIST nor the REPLACEMENTLIST are subjected to double quote
19799a22
GS
2374interpolation. That means that if you want to use variables, you
2375must use an eval():
a0d0e21e
LW
2376
2377 eval "tr/$oldlist/$newlist/";
2378 die $@ if $@;
2379
2380 eval "tr/$oldlist/$newlist/, 1" or die $@;
2381
7e3b091d 2382=item <<EOF
d74e8afc 2383X<here-doc> X<heredoc> X<here-document> X<<< << >>>
7e3b091d
DA
2384
2385A line-oriented form of quoting is based on the shell "here-document"
2386syntax. Following a C<< << >> you specify a string to terminate
2387the quoted material, and all lines following the current line down to
89d205f2
YO
2388the terminating string are the value of the item.
2389
2390The terminating string may be either an identifier (a word), or some
2391quoted text. An unquoted identifier works like double quotes.
2392There may not be a space between the C<< << >> and the identifier,
2393unless the identifier is explicitly quoted. (If you put a space it
2394will be treated as a null identifier, which is valid, and matches the
2395first empty line.) The terminating string must appear by itself
2396(unquoted and with no surrounding whitespace) on the terminating line.
2397
2398If the terminating string is quoted, the type of quotes used determine
2399the treatment of the text.
2400
2401=over 4
2402
2403=item Double Quotes
2404
2405Double quotes indicate that the text will be interpolated using exactly
2406the same rules as normal double quoted strings.
7e3b091d
DA
2407
2408 print <<EOF;
2409 The price is $Price.
2410 EOF
2411
2412 print << "EOF"; # same as above
2413 The price is $Price.
2414 EOF
2415
89d205f2
YO
2416
2417=item Single Quotes
2418
2419Single quotes indicate the text is to be treated literally with no
2420interpolation of its content. This is similar to single quoted
2421strings except that backslashes have no special meaning, with C<\\>
2422being treated as two backslashes and not one as they would in every
2423other quoting construct.
2424
c543c01b
TC
2425Just as in the shell, a backslashed bareword following the C<<< << >>>
2426means the same thing as a single-quoted string does:
2427
2428 $cost = <<'VISTA'; # hasta la ...
2429 That'll be $10 please, ma'am.
2430 VISTA
2431
2432 $cost = <<\VISTA; # Same thing!
2433 That'll be $10 please, ma'am.
2434 VISTA
2435
89d205f2
YO
2436This is the only form of quoting in perl where there is no need
2437to worry about escaping content, something that code generators
2438can and do make good use of.
2439
2440=item Backticks
2441
2442The content of the here doc is treated just as it would be if the
2443string were embedded in backticks. Thus the content is interpolated
2444as though it were double quoted and then executed via the shell, with
2445the results of the execution returned.
2446
2447 print << `EOC`; # execute command and get results
7e3b091d 2448 echo hi there
7e3b091d
DA
2449 EOC
2450
89d205f2
YO
2451=back
2452
2453It is possible to stack multiple here-docs in a row:
2454
7e3b091d
DA
2455 print <<"foo", <<"bar"; # you can stack them
2456 I said foo.
2457 foo
2458 I said bar.
2459 bar
2460
2461 myfunc(<< "THIS", 23, <<'THAT');
2462 Here's a line
2463 or two.
2464 THIS
2465 and here's another.
2466 THAT
2467
2468Just don't forget that you have to put a semicolon on the end
2469to finish the statement, as Perl doesn't know you're not going to
2470try to do this:
2471
2472 print <<ABC
2473 179231
2474 ABC
2475 + 20;
2476
872d7e53
TS
2477If you want to remove the line terminator from your here-docs,
2478use C<chomp()>.
2479
2480 chomp($string = <<'END');
2481 This is a string.
2482 END
2483
2484If you want your here-docs to be indented with the rest of the code,
2485you'll need to remove leading whitespace from each line manually:
7e3b091d
DA
2486
2487 ($quote = <<'FINIS') =~ s/^\s+//gm;
89d205f2 2488 The Road goes ever on and on,
7e3b091d
DA
2489 down from the door where it began.
2490 FINIS
2491
2492If you use a here-doc within a delimited construct, such as in C<s///eg>,
1bf48760
FC
2493the quoted material must still come on the line following the
2494C<<< <<FOO >>> marker, which means it may be inside the delimited
2495construct:
7e3b091d
DA
2496
2497 s/this/<<E . 'that'
2498 the other
2499 E
2500 . 'more '/eg;
2501
1bf48760
FC
2502It works this way as of Perl 5.18. Historically, it was inconsistent, and
2503you would have to write
7e3b091d 2504
89d205f2
YO
2505 s/this/<<E . 'that'
2506 . 'more '/eg;
2507 the other
2508 E
7e3b091d 2509
1bf48760
FC
2510outside of string evals.
2511
c543c01b
TC
2512Additionally, quoting rules for the end-of-string identifier are
2513unrelated to Perl's quoting rules. C<q()>, C<qq()>, and the like are not
89d205f2
YO
2514supported in place of C<''> and C<"">, and the only interpolation is for
2515backslashing the quoting character:
7e3b091d
DA
2516
2517 print << "abc\"def";
2518 testing...
2519 abc"def
2520
2521Finally, quoted strings cannot span multiple lines. The general rule is
2522that the identifier must be a string literal. Stick with that, and you
2523should be safe.
2524
a0d0e21e
LW
2525=back
2526
75e14d17 2527=head2 Gory details of parsing quoted constructs
d74e8afc 2528X<quote, gory details>
75e14d17 2529
19799a22
GS
2530When presented with something that might have several different
2531interpretations, Perl uses the B<DWIM> (that's "Do What I Mean")
2532principle to pick the most probable interpretation. This strategy
2533is so successful that Perl programmers often do not suspect the
2534ambivalence of what they write. But from time to time, Perl's
2535notions differ substantially from what the author honestly meant.
2536
2537This section hopes to clarify how Perl handles quoted constructs.
2538Although the most common reason to learn this is to unravel labyrinthine
2539regular expressions, because the initial steps of parsing are the
2540same for all quoting operators, they are all discussed together.
2541
2542The most important Perl parsing rule is the first one discussed
2543below: when processing a quoted construct, Perl first finds the end
2544of that construct, then interprets its contents. If you understand
2545this rule, you may skip the rest of this section on the first
2546reading. The other rules are likely to contradict the user's
2547expectations much less frequently than this first one.
2548
2549Some passes discussed below are performed concurrently, but because
2550their results are the same, we consider them individually. For different
2551quoting constructs, Perl performs different numbers of passes, from
6deea57f 2552one to four, but these passes are always performed in the same order.
75e14d17 2553
13a2d996 2554=over 4
75e14d17
IZ
2555
2556=item Finding the end
2557
6deea57f
TS
2558The first pass is finding the end of the quoted construct, where
2559the information about the delimiters is used in parsing.
2560During this search, text between the starting and ending delimiters
2561is copied to a safe location. The text copied gets delimiter-independent.
2562
2563If the construct is a here-doc, the ending delimiter is a line
2564that has a terminating string as the content. Therefore C<<<EOF> is
2565terminated by C<EOF> immediately followed by C<"\n"> and starting
2566from the first column of the terminating line.
2567When searching for the terminating line of a here-doc, nothing
2568is skipped. In other words, lines after the here-doc syntax
2569are compared with the terminating string line by line.
2570
2571For the constructs except here-docs, single characters are used as starting
2572and ending delimiters. If the starting delimiter is an opening punctuation
2573(that is C<(>, C<[>, C<{>, or C<< < >>), the ending delimiter is the
2574corresponding closing punctuation (that is C<)>, C<]>, C<}>, or C<< > >>).
2575If the starting delimiter is an unpaired character like C</> or a closing
2576punctuation, the ending delimiter is same as the starting delimiter.
2577Therefore a C</> terminates a C<qq//> construct, while a C<]> terminates
2578C<qq[]> and C<qq]]> constructs.
2579
2580When searching for single-character delimiters, escaped delimiters
1ca345ed 2581and C<\\> are skipped. For example, while searching for terminating C</>,
6deea57f
TS
2582combinations of C<\\> and C<\/> are skipped. If the delimiters are
2583bracketing, nested pairs are also skipped. For example, while searching
2584for closing C<]> paired with the opening C<[>, combinations of C<\\>, C<\]>,
2585and C<\[> are all skipped, and nested C<[> and C<]> are skipped as well.
2586However, when backslashes are used as the delimiters (like C<qq\\> and
2587C<tr\\\>), nothing is skipped.
32581033 2588During the search for the end, backslashes that escape delimiters or
7188ca43 2589other backslashes are removed (exactly speaking, they are not copied to the
32581033 2590safe location).
75e14d17 2591
19799a22
GS
2592For constructs with three-part delimiters (C<s///>, C<y///>, and
2593C<tr///>), the search is repeated once more.
6deea57f
TS
2594If the first delimiter is not an opening punctuation, three delimiters must
2595be same such as C<s!!!> and C<tr)))>, in which case the second delimiter
2596terminates the left part and starts the right part at once.
b6538e4f 2597If the left part is delimited by bracketing punctuation (that is C<()>,
6deea57f 2598C<[]>, C<{}>, or C<< <> >>), the right part needs another pair of
b6538e4f 2599delimiters such as C<s(){}> and C<tr[]//>. In these cases, whitespace
6deea57f 2600and comments are allowed between both parts, though the comment must follow
b6538e4f
TC
2601at least one whitespace character; otherwise a character expected as the
2602start of the comment may be regarded as the starting delimiter of the right part.
75e14d17 2603
19799a22
GS
2604During this search no attention is paid to the semantics of the construct.
2605Thus:
75e14d17
IZ
2606
2607 "$hash{"$foo/$bar"}"
2608
2a94b7ce 2609or:
75e14d17 2610
89d205f2 2611 m/
2a94b7ce 2612 bar # NOT a comment, this slash / terminated m//!
75e14d17
IZ
2613 /x
2614
19799a22
GS
2615do not form legal quoted expressions. The quoted part ends on the
2616first C<"> and C</>, and the rest happens to be a syntax error.
2617Because the slash that terminated C<m//> was followed by a C<SPACE>,
2618the example above is not C<m//x>, but rather C<m//> with no C</x>
2619modifier. So the embedded C<#> is interpreted as a literal C<#>.
75e14d17 2620
89d205f2
YO
2621Also no attention is paid to C<\c\> (multichar control char syntax) during
2622this search. Thus the second C<\> in C<qq/\c\/> is interpreted as a part
2623of C<\/>, and the following C</> is not recognized as a delimiter.
0d594e51
TS
2624Instead, use C<\034> or C<\x1c> at the end of quoted constructs.
2625
75e14d17 2626=item Interpolation
d74e8afc 2627X<interpolation>
75e14d17 2628
19799a22 2629The next step is interpolation in the text obtained, which is now
89d205f2 2630delimiter-independent. There are multiple cases.
75e14d17 2631
13a2d996 2632=over 4
75e14d17 2633
89d205f2 2634=item C<<<'EOF'>
75e14d17
IZ
2635
2636No interpolation is performed.
6deea57f
TS
2637Note that the combination C<\\> is left intact, since escaped delimiters
2638are not available for here-docs.
75e14d17 2639
6deea57f 2640=item C<m''>, the pattern of C<s'''>
89d205f2 2641
6deea57f
TS
2642No interpolation is performed at this stage.
2643Any backslashed sequences including C<\\> are treated at the stage
2644to L</"parsing regular expressions">.
89d205f2 2645
6deea57f 2646=item C<''>, C<q//>, C<tr'''>, C<y'''>, the replacement of C<s'''>
75e14d17 2647
89d205f2 2648The only interpolation is removal of C<\> from pairs of C<\\>.
6deea57f
TS
2649Therefore C<-> in C<tr'''> and C<y'''> is treated literally
2650as a hyphen and no character range is available.
2651C<\1> in the replacement of C<s'''> does not work as C<$1>.
89d205f2
YO
2652
2653=item C<tr///>, C<y///>
2654
6deea57f
TS
2655No variable interpolation occurs. String modifying combinations for
2656case and quoting such as C<\Q>, C<\U>, and C<\E> are not recognized.
2657The other escape sequences such as C<\200> and C<\t> and backslashed
2658characters such as C<\\> and C<\-> are converted to appropriate literals.
89d205f2
YO
2659The character C<-> is treated specially and therefore C<\-> is treated
2660as a literal C<->.
75e14d17 2661
89d205f2 2662=item C<"">, C<``>, C<qq//>, C<qx//>, C<< <file*glob> >>, C<<<"EOF">
75e14d17 2663
628253b8 2664C<\Q>, C<\U>, C<\u>, C<\L>, C<\l>, C<\F> (possibly paired with C<\E>) are
19799a22
GS
2665converted to corresponding Perl constructs. Thus, C<"$foo\Qbaz$bar">
2666is converted to C<$foo . (quotemeta("baz" . $bar))> internally.
6deea57f
TS
2667The other escape sequences such as C<\200> and C<\t> and backslashed
2668characters such as C<\\> and C<\-> are replaced with appropriate
2669expansions.
2a94b7ce 2670
19799a22
GS
2671Let it be stressed that I<whatever falls between C<\Q> and C<\E>>
2672is interpolated in the usual way. Something like C<"\Q\\E"> has
48cbae4f 2673no C<\E> inside. Instead, it has C<\Q>, C<\\>, and C<E>, so the
19799a22
GS
2674result is the same as for C<"\\\\E">. As a general rule, backslashes
2675between C<\Q> and C<\E> may lead to counterintuitive results. So,
2676C<"\Q\t\E"> is converted to C<quotemeta("\t")>, which is the same
2677as C<"\\\t"> (since TAB is not alphanumeric). Note also that:
2a94b7ce
IZ
2678
2679 $str = '\t';
2680 return "\Q$str";
2681
2682may be closer to the conjectural I<intention> of the writer of C<"\Q\t\E">.
2683
19799a22 2684Interpolated scalars and arrays are converted internally to the C<join> and
92d29cee 2685C<.> catenation operations. Thus, C<"$foo XXX '@arr'"> becomes:
75e14d17 2686
19799a22 2687 $foo . " XXX '" . (join $", @arr) . "'";
75e14d17 2688
19799a22 2689All operations above are performed simultaneously, left to right.
75e14d17 2690
19799a22
GS
2691Because the result of C<"\Q STRING \E"> has all metacharacters
2692quoted, there is no way to insert a literal C<$> or C<@> inside a
2693C<\Q\E> pair. If protected by C<\>, C<$> will be quoted to became
2694C<"\\\$">; if not, it is interpreted as the start of an interpolated
2695scalar.
75e14d17 2696
19799a22 2697Note also that the interpolation code needs to make a decision on
89d205f2 2698where the interpolated scalar ends. For instance, whether
35f2feb0 2699C<< "a $b -> {c}" >> really means:
75e14d17
IZ
2700
2701 "a " . $b . " -> {c}";
2702
2a94b7ce 2703or:
75e14d17
IZ
2704
2705 "a " . $b -> {c};
2706
19799a22
GS
2707Most of the time, the longest possible text that does not include
2708spaces between components and which contains matching braces or
2709brackets. because the outcome may be determined by voting based
2710on heuristic estimators, the result is not strictly predictable.
2711Fortunately, it's usually correct for ambiguous cases.
75e14d17 2712
6deea57f 2713=item the replacement of C<s///>
75e14d17 2714
628253b8 2715Processing of C<\Q>, C<\U>, C<\u>, C<\L>, C<\l>, C<\F> and interpolation
6deea57f
TS
2716happens as with C<qq//> constructs.
2717
2718It is at this step that C<\1> is begrudgingly converted to C<$1> in
2719the replacement text of C<s///>, in order to correct the incorrigible
2720I<sed> hackers who haven't picked up the saner idiom yet. A warning
2721is emitted if the C<use warnings> pragma or the B<-w> command-line flag
2722(that is, the C<$^W> variable) was set.
2723
2724=item C<RE> in C<?RE?>, C</RE/>, C<m/RE/>, C<s/RE/foo/>,
2725
628253b8 2726Processing of C<\Q>, C<\U>, C<\u>, C<\L>, C<\l>, C<\F>, C<\E>,
cc74c5bd
TS
2727and interpolation happens (almost) as with C<qq//> constructs.
2728
5d03b57c
KW
2729Processing of C<\N{...}> is also done here, and compiled into an intermediate
2730form for the regex compiler. (This is because, as mentioned below, the regex
2731compilation may be done at execution time, and C<\N{...}> is a compile-time
2732construct.)
2733
cc74c5bd
TS
2734However any other combinations of C<\> followed by a character
2735are not substituted but only skipped, in order to parse them
2736as regular expressions at the following step.
6deea57f 2737As C<\c> is skipped at this step, C<@> of C<\c@> in RE is possibly
1749ea0d 2738treated as an array symbol (for example C<@foo>),
6deea57f 2739even though the same text in C<qq//> gives interpolation of C<\c@>.
6deea57f 2740
e128ab2c
DM
2741Code blocks such as C<(?{BLOCK})> are handled by temporarily passing control
2742back to the perl parser, in a similar way that an interpolated array
2743subscript expression such as C<"foo$array[1+f("[xyz")]bar"> would be.
2744
6deea57f 2745Moreover, inside C<(?{BLOCK})>, C<(?# comment )>, and
19799a22
GS
2746a C<#>-comment in a C<//x>-regular expression, no processing is
2747performed whatsoever. This is the first step at which the presence
2748of the C<//x> modifier is relevant.
2749
1749ea0d
TS
2750Interpolation in patterns has several quirks: C<$|>, C<$(>, C<$)>, C<@+>
2751and C<@-> are not interpolated, and constructs C<$var[SOMETHING]> are
2752voted (by several different estimators) to be either an array element
2753or C<$var> followed by an RE alternative. This is where the notation
19799a22
GS
2754C<${arr[$bar]}> comes handy: C</${arr[0-9]}/> is interpreted as
2755array element C<-9>, not as a regular expression from the variable
2756C<$arr> followed by a digit, which would be the interpretation of
2757C</$arr[0-9]/>. Since voting among different estimators may occur,
2758the result is not predictable.
2759
19799a22
GS
2760The lack of processing of C<\\> creates specific restrictions on
2761the post-processed text. If the delimiter is C</>, one cannot get
2762the combination C<\/> into the result of this step. C</> will
2763finish the regular expression, C<\/> will be stripped to C</> on
2764the previous step, and C<\\/> will be left as is. Because C</> is
2765equivalent to C<\/> inside a regular expression, this does not
2766matter unless the delimiter happens to be character special to the
2767RE engine, such as in C<s*foo*bar*>, C<m[foo]>, or C<?foo?>; or an
2768alphanumeric char, as in:
2a94b7ce
IZ
2769
2770 m m ^ a \s* b mmx;
2771
19799a22 2772In the RE above, which is intentionally obfuscated for illustration, the
6deea57f 2773delimiter is C<m>, the modifier is C<mx>, and after delimiter-removal the
89d205f2 2774RE is the same as for C<m/ ^ a \s* b /mx>. There's more than one
19799a22
GS
2775reason you're encouraged to restrict your delimiters to non-alphanumeric,
2776non-whitespace choices.
75e14d17
IZ
2777
2778=back
2779
19799a22 2780This step is the last one for all constructs except regular expressions,
75e14d17
IZ
2781which are processed further.
2782
6deea57f
TS
2783=item parsing regular expressions
2784X<regexp, parse>
75e14d17 2785
19799a22 2786Previous steps were performed during the compilation of Perl code,
ac036724 2787but this one happens at run time, although it may be optimized to
19799a22 2788be calculated at compile time if appropriate. After preprocessing
6deea57f 2789described above, and possibly after evaluation if concatenation,
19799a22
GS
2790joining, casing translation, or metaquoting are involved, the
2791resulting I<string> is passed to the RE engine for compilation.
2792
2793Whatever happens in the RE engine might be better discussed in L<perlre>,
2794but for the sake of continuity, we shall do so here.
2795
2796This is another step where the presence of the C<//x> modifier is
2797relevant. The RE engine scans the string from left to right and
2798converts it to a finite automaton.
2799
2800Backslashed characters are either replaced with corresponding
2801literal strings (as with C<\{>), or else they generate special nodes
2802in the finite automaton (as with C<\b>). Characters special to the
2803RE engine (such as C<|>) generate corresponding nodes or groups of
2804nodes. C<(?#...)> comments are ignored. All the rest is either
2805converted to literal strings to match, or else is ignored (as is
2806whitespace and C<#>-style comments if C<//x> is present).
2807
2808Parsing of the bracketed character class construct, C<[...]>, is
2809rather different than the rule used for the rest of the pattern.
2810The terminator of this construct is found using the same rules as
2811for finding the terminator of a C<{}>-delimited construct, the only
2812exception being that C<]> immediately following C<[> is treated as
e128ab2c
DM
2813though preceded by a backslash.
2814
2815The terminator of runtime C<(?{...})> is found by temporarily switching
2816control to the perl parser, which should stop at the point where the
2817logically balancing terminating C<}> is found.
19799a22
GS
2818
2819It is possible to inspect both the string given to RE engine and the
2820resulting finite automaton. See the arguments C<debug>/C<debugcolor>
2821in the C<use L<re>> pragma, as well as Perl's B<-Dr> command-line
4a4eefd0 2822switch documented in L<perlrun/"Command Switches">.
75e14d17
IZ
2823
2824=item Optimization of regular expressions
d74e8afc 2825X<regexp, optimization>
75e14d17 2826
7522fed5 2827This step is listed for completeness only. Since it does not change
75e14d17 2828semantics, details of this step are not documented and are subject
19799a22
GS
2829to change without notice. This step is performed over the finite
2830automaton that was generated during the previous pass.
2a94b7ce 2831
19799a22
GS
2832It is at this stage that C<split()> silently optimizes C</^/> to
2833mean C</^/m>.
75e14d17
IZ
2834
2835=back
2836
a0d0e21e 2837=head2 I/O Operators
d74e8afc
ITB
2838X<operator, i/o> X<operator, io> X<io> X<while> X<filehandle>
2839X<< <> >> X<@ARGV>
a0d0e21e 2840
54310121 2841There are several I/O operators you should know about.
fbad3eb5 2842
7b8d334a 2843A string enclosed by backticks (grave accents) first undergoes
19799a22
GS
2844double-quote interpolation. It is then interpreted as an external
2845command, and the output of that command is the value of the
e9c56f9b
JH
2846backtick string, like in a shell. In scalar context, a single string
2847consisting of all output is returned. In list context, a list of
2848values is returned, one per line of output. (You can set C<$/> to use
2849a different line terminator.) The command is executed each time the
2850pseudo-literal is evaluated. The status value of the command is
2851returned in C<$?> (see L<perlvar> for the interpretation of C<$?>).
2852Unlike in B<csh>, no translation is done on the return data--newlines
2853remain newlines. Unlike in any of the shells, single quotes do not
2854hide variable names in the command from interpretation. To pass a
2855literal dollar-sign through to the shell you need to hide it with a
2856backslash. The generalized form of backticks is C<qx//>. (Because
2857backticks always undergo shell expansion as well, see L<perlsec> for
2858security concerns.)
d74e8afc 2859X<qx> X<`> X<``> X<backtick> X<glob>
19799a22
GS
2860
2861In scalar context, evaluating a filehandle in angle brackets yields
2862the next line from that file (the newline, if any, included), or
2863C<undef> at end-of-file or on error. When C<$/> is set to C<undef>
2864(sometimes known as file-slurp mode) and the file is empty, it
2865returns C<''> the first time, followed by C<undef> subsequently.
2866
2867Ordinarily you must assign the returned value to a variable, but
2868there is one situation where an automatic assignment happens. If
2869and only if the input symbol is the only thing inside the conditional
2870of a C<while> statement (even if disguised as a C<for(;;)> loop),
2871the value is automatically assigned to the global variable $_,
2872destroying whatever was there previously. (This may seem like an
2873odd thing to you, but you'll use the construct in almost every Perl
17b829fa 2874script you write.) The $_ variable is not implicitly localized.
19799a22
GS
2875You'll have to put a C<local $_;> before the loop if you want that
2876to happen.
2877
2878The following lines are equivalent:
a0d0e21e 2879
748a9306 2880 while (defined($_ = <STDIN>)) { print; }
7b8d334a 2881 while ($_ = <STDIN>) { print; }
a0d0e21e
LW
2882 while (<STDIN>) { print; }
2883 for (;<STDIN>;) { print; }
748a9306 2884 print while defined($_ = <STDIN>);
7b8d334a 2885 print while ($_ = <STDIN>);
a0d0e21e
LW
2886 print while <STDIN>;
2887
1ca345ed
TC
2888This also behaves similarly, but assigns to a lexical variable
2889instead of to C<$_>:
7b8d334a 2890
89d205f2 2891 while (my $line = <STDIN>) { print $line }
7b8d334a 2892
19799a22
GS
2893In these loop constructs, the assigned value (whether assignment
2894is automatic or explicit) is then tested to see whether it is
1ca345ed
TC
2895defined. The defined test avoids problems where the line has a string
2896value that would be treated as false by Perl; for example a "" or
19799a22
GS
2897a "0" with no trailing newline. If you really mean for such values
2898to terminate the loop, they should be tested for explicitly:
7b8d334a
GS
2899
2900 while (($_ = <STDIN>) ne '0') { ... }
2901 while (<STDIN>) { last unless $_; ... }
2902
1ca345ed 2903In other boolean contexts, C<< <FILEHANDLE> >> without an
5ef4d93e 2904explicit C<defined> test or comparison elicits a warning if the
9f1b1f2d 2905C<use warnings> pragma or the B<-w>
19799a22 2906command-line switch (the C<$^W> variable) is in effect.
7b8d334a 2907
5f05dabc 2908The filehandles STDIN, STDOUT, and STDERR are predefined. (The
19799a22
GS
2909filehandles C<stdin>, C<stdout>, and C<stderr> will also work except
2910in packages, where they would be interpreted as local identifiers
2911rather than global.) Additional filehandles may be created with
2912the open() function, amongst others. See L<perlopentut> and
2913L<perlfunc/open> for details on this.
d74e8afc 2914X<stdin> X<stdout> X<sterr>
a0d0e21e 2915
35f2feb0 2916If a <FILEHANDLE> is used in a context that is looking for
19799a22
GS
2917a list, a list comprising all input lines is returned, one line per
2918list element. It's easy to grow to a rather large data space this
2919way, so use with care.
a0d0e21e 2920
35f2feb0 2921<FILEHANDLE> may also be spelled C<readline(*FILEHANDLE)>.
19799a22 2922See L<perlfunc/readline>.
fbad3eb5 2923
35f2feb0 2924The null filehandle <> is special: it can be used to emulate the
1ca345ed
TC
2925behavior of B<sed> and B<awk>, and any other Unix filter program
2926that takes a list of filenames, doing the same to each line
2927of input from all of them. Input from <> comes either from
a0d0e21e 2928standard input, or from each file listed on the command line. Here's
35f2feb0 2929how it works: the first time <> is evaluated, the @ARGV array is
5a964f20 2930checked, and if it is empty, C<$ARGV[0]> is set to "-", which when opened
a0d0e21e
LW
2931gives you standard input. The @ARGV array is then processed as a list
2932of filenames. The loop
2933
2934 while (<>) {
2935 ... # code for each line
2936 }
2937
2938is equivalent to the following Perl-like pseudo code:
2939
3e3baf6d 2940 unshift(@ARGV, '-') unless @ARGV;
a0d0e21e
LW
2941 while ($ARGV = shift) {
2942 open(ARGV, $ARGV);
2943 while (<ARGV>) {
2944 ... # code for each line
2945 }
2946 }
2947
19799a22
GS
2948except that it isn't so cumbersome to say, and will actually work.
2949It really does shift the @ARGV array and put the current filename
2950into the $ARGV variable. It also uses filehandle I<ARGV>
ac036724 2951internally. <> is just a synonym for <ARGV>, which
19799a22 2952is magical. (The pseudo code above doesn't work because it treats
35f2feb0 2953<ARGV> as non-magical.)
a0d0e21e 2954
48ab5743
ML
2955Since the null filehandle uses the two argument form of L<perlfunc/open>
2956it interprets special characters, so if you have a script like this:
2957
2958 while (<>) {
2959 print;
2960 }
2961
2962and call it with C<perl dangerous.pl 'rm -rfv *|'>, it actually opens a
2963pipe, executes the C<rm> command and reads C<rm>'s output from that pipe.
2964If you want all items in C<@ARGV> to be interpreted as file names, you
2965can use the module C<ARGV::readonly> from CPAN.
2966
35f2feb0 2967You can modify @ARGV before the first <> as long as the array ends up
a0d0e21e 2968containing the list of filenames you really want. Line numbers (C<$.>)
19799a22
GS
2969continue as though the input were one big happy file. See the example
2970in L<perlfunc/eof> for how to reset line numbers on each file.
5a964f20 2971
89d205f2 2972If you want to set @ARGV to your own list of files, go right ahead.
5a964f20
TC
2973This sets @ARGV to all plain text files if no @ARGV was given:
2974
2975 @ARGV = grep { -f && -T } glob('*') unless @ARGV;
a0d0e21e 2976
5a964f20
TC
2977You can even set them to pipe commands. For example, this automatically
2978filters compressed arguments through B<gzip>:
2979
2980 @ARGV = map { /\.(gz|Z)$/ ? "gzip -dc < $_ |" : $_ } @ARGV;
2981
2982If you want to pass switches into your script, you can use one of the
a0d0e21e
LW
2983Getopts modules or put a loop on the front like this:
2984
2985 while ($_ = $ARGV[0], /^-/) {
2986 shift;
2987 last if /^--$/;
2988 if (/^-D(.*)/) { $debug = $1 }
2989 if (/^-v/) { $verbose++ }
5a964f20 2990 # ... # other switches
a0d0e21e 2991 }
5a964f20 2992
a0d0e21e 2993 while (<>) {
5a964f20 2994 # ... # code for each line
a0d0e21e
LW
2995 }
2996
89d205f2
YO
2997The <> symbol will return C<undef> for end-of-file only once.
2998If you call it again after this, it will assume you are processing another
19799a22 2999@ARGV list, and if you haven't set @ARGV, will read input from STDIN.
a0d0e21e 3000
1ca345ed 3001If what the angle brackets contain is a simple scalar variable (for example,
35f2feb0 3002<$foo>), then that variable contains the name of the
19799a22
GS
3003filehandle to input from, or its typeglob, or a reference to the
3004same. For example:
cb1a09d0
AD
3005
3006 $fh = \*STDIN;
3007 $line = <$fh>;
a0d0e21e 3008
5a964f20
TC
3009If what's within the angle brackets is neither a filehandle nor a simple
3010scalar variable containing a filehandle name, typeglob, or typeglob
3011reference, it is interpreted as a filename pattern to be globbed, and
3012either a list of filenames or the next filename in the list is returned,
19799a22 3013depending on context. This distinction is determined on syntactic
35f2feb0
GS
3014grounds alone. That means C<< <$x> >> is always a readline() from
3015an indirect handle, but C<< <$hash{key}> >> is always a glob().
5a964f20 3016That's because $x is a simple scalar variable, but C<$hash{key}> is
ef191992
YST
3017not--it's a hash element. Even C<< <$x > >> (note the extra space)
3018is treated as C<glob("$x ")>, not C<readline($x)>.
5a964f20
TC
3019
3020One level of double-quote interpretation is done first, but you can't
35f2feb0 3021say C<< <$foo> >> because that's an indirect filehandle as explained
5a964f20
TC
3022in the previous paragraph. (In older versions of Perl, programmers
3023would insert curly brackets to force interpretation as a filename glob:
35f2feb0 3024C<< <${foo}> >>. These days, it's considered cleaner to call the
5a964f20 3025internal function directly as C<glob($foo)>, which is probably the right
19799a22 3026way to have done it in the first place.) For example:
a0d0e21e
LW
3027
3028 while (<*.c>) {
3029 chmod 0644, $_;
3030 }
3031
3a4b19e4 3032is roughly equivalent to:
a0d0e21e
LW
3033
3034 open(FOO, "echo *.c | tr -s ' \t\r\f' '\\012\\012\\012\\012'|");
3035 while (<FOO>) {
5b3eff12 3036 chomp;
a0d0e21e
LW
3037 chmod 0644, $_;
3038 }
3039
3a4b19e4
GS
3040except that the globbing is actually done internally using the standard
3041C<File::Glob> extension. Of course, the shortest way to do the above is:
a0d0e21e
LW
3042
3043 chmod 0644, <*.c>;
3044
19799a22
GS
3045A (file)glob evaluates its (embedded) argument only when it is
3046starting a new list. All values must be read before it will start
3047over. In list context, this isn't important because you automatically
3048get them all anyway. However, in scalar context the operator returns
069e01df 3049the next value each time it's called, or C<undef> when the list has
19799a22
GS
3050run out. As with filehandle reads, an automatic C<defined> is
3051generated when the glob occurs in the test part of a C<while>,
1ca345ed
TC
3052because legal glob returns (for example,
3053a file called F<0>) would otherwise
19799a22
GS
3054terminate the loop. Again, C<undef> is returned only once. So if
3055you're expecting a single value from a glob, it is much better to
3056say
4633a7c4
LW
3057
3058 ($file) = <blurch*>;
3059
3060than
3061
3062 $file = <blurch*>;
3063
3064because the latter will alternate between returning a filename and
19799a22 3065returning false.
4633a7c4 3066
b159ebd3 3067If you're trying to do variable interpolation, it's definitely better
4633a7c4 3068to use the glob() function, because the older notation can cause people
e37d713d 3069to become confused with the indirect filehandle notation.
4633a7c4
LW
3070
3071 @files = glob("$dir/*.[ch]");
3072 @files = glob($files[$i]);
3073
a0d0e21e 3074=head2 Constant Folding
d74e8afc 3075X<constant folding> X<folding>
a0d0e21e
LW
3076
3077Like C, Perl does a certain amount of expression evaluation at
19799a22 3078compile time whenever it determines that all arguments to an
a0d0e21e
LW
3079operator are static and have no side effects. In particular, string
3080concatenation happens at compile time between literals that don't do
19799a22 3081variable substitution. Backslash interpolation also happens at
a0d0e21e
LW
3082compile time. You can say
3083
1ca345ed
TC
3084 'Now is the time for all'
3085 . "\n"
3086 . 'good men to come to.'
a0d0e21e 3087
54310121 3088and this all reduces to one string internally. Likewise, if
a0d0e21e
LW
3089you say
3090
3091 foreach $file (@filenames) {
5a964f20 3092 if (-s $file > 5 + 100 * 2**16) { }
54310121 3093 }
a0d0e21e 3094
1ca345ed 3095the compiler precomputes the number which that expression
19799a22 3096represents so that the interpreter won't have to.
a0d0e21e 3097
fd1abbef 3098=head2 No-ops
d74e8afc 3099X<no-op> X<nop>
fd1abbef
DN
3100
3101Perl doesn't officially have a no-op operator, but the bare constants
1ca345ed 3102C<0> and C<1> are special-cased not to produce a warning in void
fd1abbef
DN
3103context, so you can for example safely do
3104
3105 1 while foo();
3106
2c268ad5 3107=head2 Bitwise String Operators
d74e8afc 3108X<operator, bitwise, string>
2c268ad5
TP
3109
3110Bitstrings of any size may be manipulated by the bitwise operators
3111(C<~ | & ^>).
3112
19799a22
GS
3113If the operands to a binary bitwise op are strings of different
3114sizes, B<|> and B<^> ops act as though the shorter operand had
3115additional zero bits on the right, while the B<&> op acts as though
3116the longer operand were truncated to the length of the shorter.
3117The granularity for such extension or truncation is one or more
3118bytes.
2c268ad5 3119
89d205f2 3120 # ASCII-based examples
2c268ad5
TP
3121 print "j p \n" ^ " a h"; # prints "JAPH\n"
3122 print "JA" | " ph\n"; # prints "japh\n"
3123 print "japh\nJunk" & '_____'; # prints "JAPH\n";
3124 print 'p N$' ^ " E<H\n"; # prints "Perl\n";
3125
19799a22 3126If you are intending to manipulate bitstrings, be certain that
2c268ad5 3127you're supplying bitstrings: If an operand is a number, that will imply
19799a22 3128a B<numeric> bitwise operation. You may explicitly show which type of
2c268ad5
TP
3129operation you intend by using C<""> or C<0+>, as in the examples below.
3130
4358a253
SS
3131 $foo = 150 | 105; # yields 255 (0x96 | 0x69 is 0xFF)
3132 $foo = '150' | 105; # yields 255
2c268ad5
TP
3133 $foo = 150 | '105'; # yields 255
3134 $foo = '150' | '105'; # yields string '155' (under ASCII)
3135
3136 $baz = 0+$foo & 0+$bar; # both ops explicitly numeric
3137 $biz = "$foo" ^ "$bar"; # both ops explicitly stringy
a0d0e21e 3138
1ae175c8
GS
3139See L<perlfunc/vec> for information on how to manipulate individual bits
3140in a bit vector.
3141
55497cff 3142=head2 Integer Arithmetic
d74e8afc 3143X<integer>
a0d0e21e 3144
19799a22 3145By default, Perl assumes that it must do most of its arithmetic in
a0d0e21e
LW
3146floating point. But by saying
3147
3148 use integer;
3149
3eab78e3
CW
3150you may tell the compiler to use integer operations
3151(see L<integer> for a detailed explanation) from here to the end of
3152the enclosing BLOCK. An inner BLOCK may countermand this by saying
a0d0e21e
LW
3153
3154 no integer;
3155
19799a22 3156which lasts until the end of that BLOCK. Note that this doesn't
3eab78e3
CW
3157mean everything is an integer, merely that Perl will use integer
3158operations for arithmetic, comparison, and bitwise operators. For
3159example, even under C<use integer>, if you take the C<sqrt(2)>, you'll
3160still get C<1.4142135623731> or so.
19799a22
GS
3161
3162Used on numbers, the bitwise operators ("&", "|", "^", "~", "<<",
89d205f2 3163and ">>") always produce integral results. (But see also
13a2d996 3164L<Bitwise String Operators>.) However, C<use integer> still has meaning for
19799a22
GS
3165them. By default, their results are interpreted as unsigned integers, but
3166if C<use integer> is in effect, their results are interpreted
3167as signed integers. For example, C<~0> usually evaluates to a large
0be96356 3168integral value. However, C<use integer; ~0> is C<-1> on two's-complement
19799a22 3169machines.
68dc0745 3170
3171=head2 Floating-point Arithmetic
06ce2fa3 3172
d74e8afc 3173X<floating-point> X<floating point> X<float> X<real>
68dc0745 3174
3175While C<use integer> provides integer-only arithmetic, there is no
19799a22
GS
3176analogous mechanism to provide automatic rounding or truncation to a
3177certain number of decimal places. For rounding to a certain number
3178of digits, sprintf() or printf() is usually the easiest route.
3179See L<perlfaq4>.
68dc0745 3180
5a964f20
TC
3181Floating-point numbers are only approximations to what a mathematician
3182would call real numbers. There are infinitely more reals than floats,
3183so some corners must be cut. For example:
3184
3185 printf "%.20g\n", 123456789123456789;
3186 # produces 123456789123456784
3187
8548cb57
RGS
3188Testing for exact floating-point equality or inequality is not a
3189good idea. Here's a (relatively expensive) work-around to compare
5a964f20
TC
3190whether two floating-point numbers are equal to a particular number of
3191decimal places. See Knuth, volume II, for a more robust treatment of
3192this topic.
3193
3194 sub fp_equal {
3195 my ($X, $Y, $POINTS) = @_;
3196 my ($tX, $tY);
3197 $tX = sprintf("%.${POINTS}g", $X);
3198 $tY = sprintf("%.${POINTS}g", $Y);
3199 return $tX eq $tY;
3200 }
3201
68dc0745 3202The POSIX module (part of the standard perl distribution) implements
19799a22
GS
3203ceil(), floor(), and other mathematical and trigonometric functions.
3204The Math::Complex module (part of the standard perl distribution)
3205defines mathematical functions that work on both the reals and the
3206imaginary numbers. Math::Complex not as efficient as POSIX, but
68dc0745 3207POSIX can't work with complex numbers.
3208
3209Rounding in financial applications can have serious implications, and
3210the rounding method used should be specified precisely. In these
3211cases, it probably pays not to trust whichever system rounding is
3212being used by Perl, but to instead implement the rounding function you
3213need yourself.
5a964f20
TC
3214
3215=head2 Bigger Numbers
d74e8afc 3216X<number, arbitrary precision>
5a964f20 3217
c543c01b 3218The standard C<Math::BigInt>, C<Math::BigRat>, and C<Math::BigFloat> modules,
fb1a95c6 3219along with the C<bignum>, C<bigint>, and C<bigrat> pragmas, provide
19799a22 3220variable-precision arithmetic and overloaded operators, although
cd5c4fce 3221they're currently pretty slow. At the cost of some space and
19799a22
GS
3222considerable speed, they avoid the normal pitfalls associated with
3223limited-precision representations.
5a964f20 3224
c543c01b
TC
3225 use 5.010;
3226 use bigint; # easy interface to Math::BigInt
3227 $x = 123456789123456789;
3228 say $x * $x;
3229 +15241578780673678515622620750190521
3230
3231Or with rationals:
3232
3233 use 5.010;
3234 use bigrat;
3235 $a = 3/22;
3236 $b = 4/6;
3237 say "a/b is ", $a/$b;
3238 say "a*b is ", $a*$b;
3239 a/b is 9/44
3240 a*b is 1/11
3241
3242Several modules let you calculate with (bound only by memory and CPU time)
3243unlimited or fixed precision. There are also some non-standard modules that
3244provide faster implementations via external C libraries.
cd5c4fce
T
3245
3246Here is a short, but incomplete summary:
3247
950b09ed
KW
3248 Math::String treat string sequences like numbers
3249 Math::FixedPrecision calculate with a fixed precision
3250 Math::Currency for currency calculations
3251 Bit::Vector manipulate bit vectors fast (uses C)
3252 Math::BigIntFast Bit::Vector wrapper for big numbers
3253 Math::Pari provides access to the Pari C library
70c45be3
FC
3254 Math::Cephes uses the external Cephes C library (no
3255 big numbers)
950b09ed
KW
3256 Math::Cephes::Fraction fractions via the Cephes library
3257 Math::GMP another one using an external C library
70c45be3
FC
3258 Math::GMPz an alternative interface to libgmp's big ints
3259 Math::GMPq an interface to libgmp's fraction numbers
3260 Math::GMPf an interface to libgmp's floating point numbers
cd5c4fce
T
3261
3262Choose wisely.
16070b82
GS
3263
3264=cut