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