This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
perldelta for bae5b54e7
[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
21operand, and C<&>, C<|> and C<^> can be either string or numeric bit
22operations.
23
89d205f2 24=head2 Operator Precedence and Associativity
d74e8afc 25X<operator, precedence> X<precedence> X<associativity>
d042e63d
MS
26
27Operator precedence and associativity work in Perl more or less like
28they do in mathematics.
29
30I<Operator precedence> means some operators are evaluated before
31others. For example, in C<2 + 4 * 5>, the multiplication has higher
32precedence so C<4 * 5> is evaluated first yielding C<2 + 20 ==
3322> and not C<6 * 5 == 30>.
34
35I<Operator associativity> defines what happens if a sequence of the
36same operators is used one after another: whether the evaluator will
37evaluate the left operations first or the right. For example, in C<8
38- 4 - 2>, subtraction is left associative so Perl evaluates the
39expression left to right. C<8 - 4> is evaluated first making the
40expression C<4 - 2 == 2> and not C<8 - 2 == 6>.
a0d0e21e
LW
41
42Perl operators have the following associativity and precedence,
19799a22
GS
43listed from highest precedence to lowest. Operators borrowed from
44C keep the same precedence relationship with each other, even where
45C's precedence is slightly screwy. (This makes learning Perl easier
46for C folks.) With very few exceptions, these all operate on scalar
47values only, not array values.
a0d0e21e
LW
48
49 left terms and list operators (leftward)
50 left ->
51 nonassoc ++ --
52 right **
53 right ! ~ \ and unary + and -
54310121 54 left =~ !~
a0d0e21e
LW
55 left * / % x
56 left + - .
57 left << >>
58 nonassoc named unary operators
59 nonassoc < > <= >= lt gt le ge
0d863452 60 nonassoc == != <=> eq ne cmp ~~
a0d0e21e
LW
61 left &
62 left | ^
63 left &&
c963b151 64 left || //
137443ea 65 nonassoc .. ...
a0d0e21e 66 right ?:
2ba1f20a 67 right = += -= *= etc. goto last next redo dump
a0d0e21e
LW
68 left , =>
69 nonassoc list operators (rightward)
a5f75d66 70 right not
a0d0e21e 71 left and
f23102e2 72 left or xor
a0d0e21e
LW
73
74In the following sections, these operators are covered in precedence order.
75
5a964f20
TC
76Many operators can be overloaded for objects. See L<overload>.
77
a0d0e21e 78=head2 Terms and List Operators (Leftward)
d74e8afc 79X<list operator> X<operator, list> X<term>
a0d0e21e 80
62c18ce2 81A TERM has the highest precedence in Perl. They include variables,
5f05dabc 82quote and quote-like operators, any expression in parentheses,
a0d0e21e
LW
83and any function whose arguments are parenthesized. Actually, there
84aren't really functions in this sense, just list operators and unary
85operators behaving as functions because you put parentheses around
86the arguments. These are all documented in L<perlfunc>.
87
88If any list operator (print(), etc.) or any unary operator (chdir(), etc.)
89is followed by a left parenthesis as the next token, the operator and
90arguments within parentheses are taken to be of highest precedence,
91just like a normal function call.
92
93In the absence of parentheses, the precedence of list operators such as
94C<print>, C<sort>, or C<chmod> is either very high or very low depending on
54310121 95whether you are looking at the left side or the right side of the operator.
a0d0e21e
LW
96For example, in
97
98 @ary = (1, 3, sort 4, 2);
99 print @ary; # prints 1324
100
19799a22
GS
101the commas on the right of the sort are evaluated before the sort,
102but the commas on the left are evaluated after. In other words,
103list operators tend to gobble up all arguments that follow, and
a0d0e21e 104then act like a simple TERM with regard to the preceding expression.
19799a22 105Be careful with parentheses:
a0d0e21e
LW
106
107 # These evaluate exit before doing the print:
108 print($foo, exit); # Obviously not what you want.
109 print $foo, exit; # Nor is this.
110
111 # These do the print before evaluating exit:
112 (print $foo), exit; # This is what you want.
113 print($foo), exit; # Or this.
114 print ($foo), exit; # Or even this.
115
116Also note that
117
118 print ($foo & 255) + 1, "\n";
119
d042e63d
MS
120probably doesn't do what you expect at first glance. The parentheses
121enclose the argument list for C<print> which is evaluated (printing
122the result of C<$foo & 255>). Then one is added to the return value
123of C<print> (usually 1). The result is something like this:
124
125 1 + 1, "\n"; # Obviously not what you meant.
126
127To do what you meant properly, you must write:
128
129 print(($foo & 255) + 1, "\n");
130
131See L<Named Unary Operators> for more discussion of this.
a0d0e21e
LW
132
133Also parsed as terms are the C<do {}> and C<eval {}> constructs, as
54310121 134well as subroutine and method calls, and the anonymous
a0d0e21e
LW
135constructors C<[]> and C<{}>.
136
2ae324a7 137See also L<Quote and Quote-like Operators> toward the end of this section,
da87341d 138as well as L</"I/O Operators">.
a0d0e21e
LW
139
140=head2 The Arrow Operator
d74e8afc 141X<arrow> X<dereference> X<< -> >>
a0d0e21e 142
35f2feb0 143"C<< -> >>" is an infix dereference operator, just as it is in C
19799a22
GS
144and C++. If the right side is either a C<[...]>, C<{...}>, or a
145C<(...)> subscript, then the left side must be either a hard or
146symbolic reference to an array, a hash, or a subroutine respectively.
147(Or technically speaking, a location capable of holding a hard
148reference, if it's an array or hash reference being used for
149assignment.) See L<perlreftut> and L<perlref>.
a0d0e21e 150
19799a22
GS
151Otherwise, the right side is a method name or a simple scalar
152variable containing either the method name or a subroutine reference,
153and the left side must be either an object (a blessed reference)
154or a class name (that is, a package name). See L<perlobj>.
a0d0e21e 155
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
b6fa137b 1632=item qr/STRING/msixpodual
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
46f8a5ea
FC
1639corresponding C</STRING/msixpodual> expression. The returned value is a
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.
87e95b7f
YO
1702
1703If a precompiled pattern is embedded in a larger pattern then the effect
c543c01b 1704of "msixpluad" will be propagated appropriately. The effect the "o"
87e95b7f
YO
1705modifier has is not propagated, being restricted to those patterns
1706explicitly using it.
1707
b6fa137b 1708The last four modifiers listed above, added in Perl 5.14,
850b7ec9 1709control the character set rules, but C</a> is the only one you are likely
18509dec
KW
1710to want to specify explicitly; the other three are selected
1711automatically by various pragmas.
da392a17 1712
87e95b7f 1713See L<perlre> for additional information on valid syntax for STRING, and
5e2aa8f5 1714for a detailed look at the semantics of regular expressions. In
1ca345ed
TC
1715particular, all modifiers except the largely obsolete C</o> are further
1716explained in L<perlre/Modifiers>. C</o> is described in the next section.
a0d0e21e 1717
b6fa137b 1718=item m/PATTERN/msixpodualgc
89d205f2
YO
1719X<m> X<operator, match>
1720X<regexp, options> X<regexp> X<regex, options> X<regex>
01c6f5f4 1721X</m> X</s> X</i> X</x> X</p> X</o> X</g> X</c>
a0d0e21e 1722
b6fa137b 1723=item /PATTERN/msixpodualgc
a0d0e21e 1724
5a964f20 1725Searches a string for a pattern match, and in scalar context returns
19799a22
GS
1726true if it succeeds, false if it fails. If no string is specified
1727via the C<=~> or C<!~> operator, the $_ string is searched. (The
1728string specified with C<=~> need not be an lvalue--it may be the
1729result of an expression evaluation, but remember the C<=~> binds
006671a6 1730rather tightly.) See also L<perlre>.
a0d0e21e 1731
f6050459 1732Options are as described in C<qr//> above; in addition, the following match
01c6f5f4 1733process modifiers are available:
a0d0e21e 1734
950b09ed 1735 g Match globally, i.e., find all occurrences.
7188ca43
KW
1736 c Do not reset search position on a failed match when /g is
1737 in effect.
a0d0e21e 1738
725a61d7 1739If "/" is the delimiter then the initial C<m> is optional. With the C<m>
c543c01b 1740you can use any pair of non-whitespace (ASCII) characters
725a61d7
Z
1741as delimiters. This is particularly useful for matching path names
1742that contain "/", to avoid LTS (leaning toothpick syndrome). If "?" is
1743the delimiter, then a match-only-once rule applies,
46f8a5ea 1744described in C<m?PATTERN?> below. If "'" (single quote) is the delimiter,
6ca3c6c6 1745no interpolation is performed on the PATTERN.
ed02a3bf
DN
1746When using a character valid in an identifier, whitespace is required
1747after the C<m>.
a0d0e21e 1748
532c9e80
KW
1749PATTERN may contain variables, which will be interpolated
1750every time the pattern search is evaluated, except
1f247705
GS
1751for when the delimiter is a single quote. (Note that C<$(>, C<$)>, and
1752C<$|> are not interpolated because they look like end-of-string tests.)
532c9e80
KW
1753Perl will not recompile the pattern unless an interpolated
1754variable that it contains changes. You can force Perl to skip the
1755test and never recompile by adding a C</o> (which stands for "once")
1756after the trailing delimiter.
1757Once upon a time, Perl would recompile regular expressions
1758unnecessarily, and this modifier was useful to tell it not to do so, in the
5cc41653 1759interests of speed. But now, the only reasons to use C</o> are one of:
532c9e80
KW
1760
1761=over
1762
1763=item 1
1764
1765The variables are thousands of characters long and you know that they
1766don't change, and you need to wring out the last little bit of speed by
1767having Perl skip testing for that. (There is a maintenance penalty for
1768doing this, as mentioning C</o> constitutes a promise that you won't
18509dec 1769change the variables in the pattern. If you do change them, Perl won't
532c9e80
KW
1770even notice.)
1771
1772=item 2
1773
1774you want the pattern to use the initial values of the variables
1775regardless of whether they change or not. (But there are saner ways
1776of accomplishing this than using C</o>.)
1777
fa9b8686
DM
1778=item 3
1779
1780If the pattern contains embedded code, such as
1781
1782 use re 'eval';
1783 $code = 'foo(?{ $x })';
1784 /$code/
1785
1786then perl will recompile each time, even though the pattern string hasn't
1787changed, to ensure that the current value of C<$x> is seen each time.
1788Use C</o> if you want to avoid this.
1789
532c9e80 1790=back
a0d0e21e 1791
18509dec
KW
1792The bottom line is that using C</o> is almost never a good idea.
1793
e9d89077
DN
1794=item The empty pattern //
1795
5a964f20 1796If the PATTERN evaluates to the empty string, the last
46f8a5ea 1797I<successfully> matched regular expression is used instead. In this
c543c01b 1798case, only the C<g> and C<c> flags on the empty pattern are honored;
46f8a5ea 1799the other flags are taken from the original pattern. If no match has
d65afb4b
HS
1800previously succeeded, this will (silently) act instead as a genuine
1801empty pattern (which will always match).
a0d0e21e 1802
89d205f2
YO
1803Note that it's possible to confuse Perl into thinking C<//> (the empty
1804regex) is really C<//> (the defined-or operator). Perl is usually pretty
1805good about this, but some pathological cases might trigger this, such as
db691027 1806C<$x///> (is that C<($x) / (//)> or C<$x // />?) and C<print $fh //>
89d205f2
YO
1807(C<print $fh(//> or C<print($fh //>?). In all of these examples, Perl
1808will assume you meant defined-or. If you meant the empty regex, just
1809use parentheses or spaces to disambiguate, or even prefix the empty
c963b151
BD
1810regex with an C<m> (so C<//> becomes C<m//>).
1811
e9d89077
DN
1812=item Matching in list context
1813
19799a22 1814If the C</g> option is not used, C<m//> in list context returns a
a0d0e21e 1815list consisting of the subexpressions matched by the parentheses in the
3ff8ecf9
BF
1816pattern, that is, (C<$1>, C<$2>, C<$3>...) (Note that here C<$1> etc. are
1817also set). When there are no parentheses in the pattern, the return
1818value is the list C<(1)> for success.
1819With or without parentheses, an empty list is returned upon failure.
a0d0e21e
LW
1820
1821Examples:
1822
7188ca43
KW
1823 open(TTY, "+</dev/tty")
1824 || die "can't access /dev/tty: $!";
c543c01b 1825
7188ca43 1826 <TTY> =~ /^y/i && foo(); # do foo if desired
a0d0e21e 1827
7188ca43 1828 if (/Version: *([0-9.]*)/) { $version = $1; }
a0d0e21e 1829
7188ca43 1830 next if m#^/usr/spool/uucp#;
a0d0e21e 1831
7188ca43
KW
1832 # poor man's grep
1833 $arg = shift;
1834 while (<>) {
1835 print if /$arg/o; # compile only once (no longer needed!)
1836 }
a0d0e21e 1837
7188ca43 1838 if (($F1, $F2, $Etc) = ($foo =~ /^(\S+)\s+(\S+)\s*(.*)/))
a0d0e21e
LW
1839
1840This last example splits $foo into the first two words and the
5f05dabc 1841remainder of the line, and assigns those three fields to $F1, $F2, and
c543c01b
TC
1842$Etc. The conditional is true if any variables were assigned; that is,
1843if the pattern matched.
a0d0e21e 1844
19799a22 1845The C</g> modifier specifies global pattern matching--that is,
46f8a5ea
FC
1846matching as many times as possible within the string. How it behaves
1847depends on the context. In list context, it returns a list of the
19799a22 1848substrings matched by any capturing parentheses in the regular
46f8a5ea 1849expression. If there are no parentheses, it returns a list of all
19799a22
GS
1850the matched strings, as if there were parentheses around the whole
1851pattern.
a0d0e21e 1852
7e86de3e 1853In scalar context, each execution of C<m//g> finds the next match,
19799a22 1854returning true if it matches, and false if there is no further match.
3dd93342 1855The position after the last match can be read or set using the C<pos()>
46f8a5ea 1856function; see L<perlfunc/pos>. A failed match normally resets the
7e86de3e 1857search position to the beginning of the string, but you can avoid that
46f8a5ea 1858by adding the C</c> modifier (for example, C<m//gc>). Modifying the target
7e86de3e 1859string also resets the search position.
c90c0ff4 1860
e9d89077
DN
1861=item \G assertion
1862
c90c0ff4 1863You can intermix C<m//g> matches with C<m/\G.../g>, where C<\G> is a
3dd93342 1864zero-width assertion that matches the exact position where the
46f8a5ea 1865previous C<m//g>, if any, left off. Without the C</g> modifier, the
3dd93342 1866C<\G> assertion still anchors at C<pos()> as it was at the start of
1867the operation (see L<perlfunc/pos>), but the match is of course only
46f8a5ea 1868attempted once. Using C<\G> without C</g> on a target string that has
3dd93342 1869not previously had a C</g> match applied to it is the same as using
1870the C<\A> assertion to match the beginning of the string. Note also
1871that, currently, C<\G> is only properly supported when anchored at the
1872very beginning of the pattern.
c90c0ff4 1873
1874Examples:
a0d0e21e
LW
1875
1876 # list context
1877 ($one,$five,$fifteen) = (`uptime` =~ /(\d+\.\d+)/g);
1878
1879 # scalar context
c543c01b
TC
1880 local $/ = "";
1881 while ($paragraph = <>) {
1882 while ($paragraph =~ /\p{Ll}['")]*[.!?]+['")]*\s/g) {
19799a22 1883 $sentences++;
a0d0e21e
LW
1884 }
1885 }
c543c01b
TC
1886 say $sentences;
1887
1888Here's another way to check for sentences in a paragraph:
1889
7188ca43
KW
1890 my $sentence_rx = qr{
1891 (?: (?<= ^ ) | (?<= \s ) ) # after start-of-string or
1892 # whitespace
1893 \p{Lu} # capital letter
1894 .*? # a bunch of anything
1895 (?<= \S ) # that ends in non-
1896 # whitespace
1897 (?<! \b [DMS]r ) # but isn't a common abbr.
1898 (?<! \b Mrs )
1899 (?<! \b Sra )
1900 (?<! \b St )
1901 [.?!] # followed by a sentence
1902 # ender
1903 (?= $ | \s ) # in front of end-of-string
1904 # or whitespace
1905 }sx;
1906 local $/ = "";
1907 while (my $paragraph = <>) {
1908 say "NEW PARAGRAPH";
1909 my $count = 0;
1910 while ($paragraph =~ /($sentence_rx)/g) {
1911 printf "\tgot sentence %d: <%s>\n", ++$count, $1;
c543c01b 1912 }
7188ca43 1913 }
c543c01b
TC
1914
1915Here's how to use C<m//gc> with C<\G>:
a0d0e21e 1916
137443ea 1917 $_ = "ppooqppqq";
44a8e56a 1918 while ($i++ < 2) {
1919 print "1: '";
c90c0ff4 1920 print $1 while /(o)/gc; print "', pos=", pos, "\n";
44a8e56a 1921 print "2: '";
c90c0ff4 1922 print $1 if /\G(q)/gc; print "', pos=", pos, "\n";
44a8e56a 1923 print "3: '";
c90c0ff4 1924 print $1 while /(p)/gc; print "', pos=", pos, "\n";
44a8e56a 1925 }
5d43e42d 1926 print "Final: '$1', pos=",pos,"\n" if /\G(.)/;
44a8e56a 1927
1928The last example should print:
1929
1930 1: 'oo', pos=4
137443ea 1931 2: 'q', pos=5
44a8e56a 1932 3: 'pp', pos=7
1933 1: '', pos=7
137443ea 1934 2: 'q', pos=8
1935 3: '', pos=8
5d43e42d
DC
1936 Final: 'q', pos=8
1937
1938Notice that the final match matched C<q> instead of C<p>, which a match
46f8a5ea
FC
1939without the C<\G> anchor would have done. Also note that the final match
1940did not update C<pos>. C<pos> is only updated on a C</g> match. If the
c543c01b
TC
1941final match did indeed match C<p>, it's a good bet that you're running a
1942very old (pre-5.6.0) version of Perl.
44a8e56a 1943
c90c0ff4 1944A useful idiom for C<lex>-like scanners is C</\G.../gc>. You can
e7ea3e70 1945combine several regexps like this to process a string part-by-part,
c90c0ff4 1946doing different actions depending on which regexp matched. Each
1947regexp tries to match where the previous one leaves off.
e7ea3e70 1948
3fe9a6f1 1949 $_ = <<'EOL';
7188ca43
KW
1950 $url = URI::URL->new( "http://example.com/" );
1951 die if $url eq "xXx";
3fe9a6f1 1952 EOL
c543c01b
TC
1953
1954 LOOP: {
950b09ed 1955 print(" digits"), redo LOOP if /\G\d+\b[,.;]?\s*/gc;
7188ca43
KW
1956 print(" lowercase"), redo LOOP
1957 if /\G\p{Ll}+\b[,.;]?\s*/gc;
1958 print(" UPPERCASE"), redo LOOP
1959 if /\G\p{Lu}+\b[,.;]?\s*/gc;
1960 print(" Capitalized"), redo LOOP
1961 if /\G\p{Lu}\p{Ll}+\b[,.;]?\s*/gc;
c543c01b 1962 print(" MiXeD"), redo LOOP if /\G\pL+\b[,.;]?\s*/gc;
7188ca43
KW
1963 print(" alphanumeric"), redo LOOP
1964 if /\G[\p{Alpha}\pN]+\b[,.;]?\s*/gc;
c543c01b 1965 print(" line-noise"), redo LOOP if /\G\W+/gc;
950b09ed 1966 print ". That's all!\n";
c543c01b 1967 }
e7ea3e70
IZ
1968
1969Here is the output (split into several lines):
1970
7188ca43
KW
1971 line-noise lowercase line-noise UPPERCASE line-noise UPPERCASE
1972 line-noise lowercase line-noise lowercase line-noise lowercase
1973 lowercase line-noise lowercase lowercase line-noise lowercase
1974 lowercase line-noise MiXeD line-noise. That's all!
44a8e56a 1975
c543c01b 1976=item m?PATTERN?msixpodualgc
725a61d7 1977X<?> X<operator, match-once>
87e95b7f 1978
c543c01b 1979=item ?PATTERN?msixpodualgc
55d389e7 1980
725a61d7
Z
1981This is just like the C<m/PATTERN/> search, except that it matches
1982only once between calls to the reset() operator. This is a useful
87e95b7f 1983optimization when you want to see only the first occurrence of
ceb131e8 1984something in each file of a set of files, for instance. Only C<m??>
87e95b7f
YO
1985patterns local to the current package are reset.
1986
1987 while (<>) {
ceb131e8 1988 if (m?^$?) {
87e95b7f
YO
1989 # blank line between header and body
1990 }
1991 } continue {
725a61d7 1992 reset if eof; # clear m?? status for next file
87e95b7f
YO
1993 }
1994
c543c01b
TC
1995Another example switched the first "latin1" encoding it finds
1996to "utf8" in a pod file:
1997
1998 s//utf8/ if m? ^ =encoding \h+ \K latin1 ?x;
1999
2000The match-once behavior is controlled by the match delimiter being
725a61d7
Z
2001C<?>; with any other delimiter this is the normal C<m//> operator.
2002
2003For historical reasons, the leading C<m> in C<m?PATTERN?> is optional,
2004but the resulting C<?PATTERN?> syntax is deprecated, will warn on
c543c01b
TC
2005usage and might be removed from a future stable release of Perl (without
2006further notice!).
87e95b7f 2007
b6fa137b 2008=item s/PATTERN/REPLACEMENT/msixpodualgcer
87e95b7f 2009X<substitute> X<substitution> X<replace> X<regexp, replace>
4f4d7508 2010X<regexp, substitute> X</m> X</s> X</i> X</x> X</p> X</o> X</g> X</c> X</e> X</r>
87e95b7f
YO
2011
2012Searches a string for a pattern, and if found, replaces that pattern
2013with the replacement text and returns the number of substitutions
2014made. Otherwise it returns false (specifically, the empty string).
2015
c543c01b 2016If the C</r> (non-destructive) option is used then it runs the
679563bb
KW
2017substitution on a copy of the string and instead of returning the
2018number of substitutions, it returns the copy whether or not a
c543c01b
TC
2019substitution occurred. The original string is never changed when
2020C</r> is used. The copy will always be a plain string, even if the
2021input is an object or a tied variable.
4f4d7508 2022
87e95b7f 2023If no string is specified via the C<=~> or C<!~> operator, the C<$_>
c543c01b
TC
2024variable is searched and modified. Unless the C</r> option is used,
2025the string specified must be a scalar variable, an array element, a
2026hash element, or an assignment to one of those; that is, some sort of
2027scalar lvalue.
87e95b7f
YO
2028
2029If the delimiter chosen is a single quote, no interpolation is
2030done on either the PATTERN or the REPLACEMENT. Otherwise, if the
2031PATTERN contains a $ that looks like a variable rather than an
2032end-of-string test, the variable will be interpolated into the pattern
2033at run-time. If you want the pattern compiled only once the first time
2034the variable is interpolated, use the C</o> option. If the pattern
2035evaluates to the empty string, the last successfully executed regular
2036expression is used instead. See L<perlre> for further explanation on these.
87e95b7f
YO
2037
2038Options are as with m// with the addition of the following replacement
2039specific options:
2040
2041 e Evaluate the right side as an expression.
7188ca43
KW
2042 ee Evaluate the right side as a string then eval the
2043 result.
2044 r Return substitution and leave the original string
2045 untouched.
87e95b7f 2046
ed02a3bf
DN
2047Any non-whitespace delimiter may replace the slashes. Add space after
2048the C<s> when using a character allowed in identifiers. If single quotes
2049are used, no interpretation is done on the replacement string (the C</e>
3ff8ecf9 2050modifier overrides this, however). Note that Perl treats backticks
ed02a3bf
DN
2051as normal delimiters; the replacement text is not evaluated as a command.
2052If the PATTERN is delimited by bracketing quotes, the REPLACEMENT has
1ca345ed 2053its own pair of quotes, which may or may not be bracketing quotes, for example,
87e95b7f
YO
2054C<s(foo)(bar)> or C<< s<foo>/bar/ >>. A C</e> will cause the
2055replacement portion to be treated as a full-fledged Perl expression
2056and evaluated right then and there. It is, however, syntax checked at
46f8a5ea 2057compile-time. A second C<e> modifier will cause the replacement portion
87e95b7f
YO
2058to be C<eval>ed before being run as a Perl expression.
2059
2060Examples:
2061
7188ca43 2062 s/\bgreen\b/mauve/g; # don't change wintergreen
87e95b7f
YO
2063
2064 $path =~ s|/usr/bin|/usr/local/bin|;
2065
2066 s/Login: $foo/Login: $bar/; # run-time pattern
2067
7188ca43
KW
2068 ($foo = $bar) =~ s/this/that/; # copy first, then
2069 # change
2070 ($foo = "$bar") =~ s/this/that/; # convert to string,
2071 # copy, then change
4f4d7508
DC
2072 $foo = $bar =~ s/this/that/r; # Same as above using /r
2073 $foo = $bar =~ s/this/that/r
7188ca43
KW
2074 =~ s/that/the other/r; # Chained substitutes
2075 # using /r
2076 @foo = map { s/this/that/r } @bar # /r is very useful in
2077 # maps
87e95b7f 2078
7188ca43 2079 $count = ($paragraph =~ s/Mister\b/Mr./g); # get change-cnt
87e95b7f
YO
2080
2081 $_ = 'abc123xyz';
2082 s/\d+/$&*2/e; # yields 'abc246xyz'
2083 s/\d+/sprintf("%5d",$&)/e; # yields 'abc 246xyz'
2084 s/\w/$& x 2/eg; # yields 'aabbcc 224466xxyyzz'
2085
2086 s/%(.)/$percent{$1}/g; # change percent escapes; no /e
2087 s/%(.)/$percent{$1} || $&/ge; # expr now, so /e
2088 s/^=(\w+)/pod($1)/ge; # use function call
2089
4f4d7508 2090 $_ = 'abc123xyz';
db691027 2091 $x = s/abc/def/r; # $x is 'def123xyz' and
4f4d7508
DC
2092 # $_ remains 'abc123xyz'.
2093
87e95b7f
YO
2094 # expand variables in $_, but dynamics only, using
2095 # symbolic dereferencing
2096 s/\$(\w+)/${$1}/g;
2097
2098 # Add one to the value of any numbers in the string
2099 s/(\d+)/1 + $1/eg;
2100
c543c01b
TC
2101 # Titlecase words in the last 30 characters only
2102 substr($str, -30) =~ s/\b(\p{Alpha}+)\b/\u\L$1/g;
2103
87e95b7f
YO
2104 # This will expand any embedded scalar variable
2105 # (including lexicals) in $_ : First $1 is interpolated
2106 # to the variable name, and then evaluated
2107 s/(\$\w+)/$1/eeg;
2108
2109 # Delete (most) C comments.
2110 $program =~ s {
2111 /\* # Match the opening delimiter.
2112 .*? # Match a minimal number of characters.
2113 \*/ # Match the closing delimiter.
2114 } []gsx;
2115
7188ca43
KW
2116 s/^\s*(.*?)\s*$/$1/; # trim whitespace in $_,
2117 # expensively
87e95b7f 2118
7188ca43
KW
2119 for ($variable) { # trim whitespace in $variable,
2120 # cheap
87e95b7f
YO
2121 s/^\s+//;
2122 s/\s+$//;
2123 }
2124
2125 s/([^ ]*) *([^ ]*)/$2 $1/; # reverse 1st two fields
2126
2127Note the use of $ instead of \ in the last example. Unlike
2128B<sed>, we use the \<I<digit>> form in only the left hand side.
2129Anywhere else it's $<I<digit>>.
2130
2131Occasionally, you can't use just a C</g> to get all the changes
2132to occur that you might want. Here are two common cases:
2133
2134 # put commas in the right places in an integer
2135 1 while s/(\d)(\d\d\d)(?!\d)/$1,$2/g;
2136
2137 # expand tabs to 8-column spacing
2138 1 while s/\t+/' ' x (length($&)*8 - length($`)%8)/e;
2139
2140=back
2141
2142=head2 Quote-Like Operators
2143X<operator, quote-like>
2144
01c6f5f4
RGS
2145=over 4
2146
a0d0e21e 2147=item q/STRING/
5d44bfff 2148X<q> X<quote, single> X<'> X<''>
a0d0e21e 2149
5d44bfff 2150=item 'STRING'
a0d0e21e 2151
19799a22 2152A single-quoted, literal string. A backslash represents a backslash
68dc0745 2153unless followed by the delimiter or another backslash, in which case
2154the delimiter or backslash is interpolated.
a0d0e21e
LW
2155
2156 $foo = q!I said, "You said, 'She said it.'"!;
2157 $bar = q('This is it.');
68dc0745 2158 $baz = '\n'; # a two-character string
a0d0e21e
LW
2159
2160=item qq/STRING/
d74e8afc 2161X<qq> X<quote, double> X<"> X<"">
a0d0e21e
LW
2162
2163=item "STRING"
2164
2165A double-quoted, interpolated string.
2166
2167 $_ .= qq
2168 (*** The previous line contains the naughty word "$1".\n)
19799a22 2169 if /\b(tcl|java|python)\b/i; # :-)
68dc0745 2170 $baz = "\n"; # a one-character string
a0d0e21e
LW
2171
2172=item qx/STRING/
d74e8afc 2173X<qx> X<`> X<``> X<backtick>
a0d0e21e
LW
2174
2175=item `STRING`
2176
43dd4d21 2177A string which is (possibly) interpolated and then executed as a
f703fc96 2178system command with F</bin/sh> or its equivalent. Shell wildcards,
43dd4d21
JH
2179pipes, and redirections will be honored. The collected standard
2180output of the command is returned; standard error is unaffected. In
2181scalar context, it comes back as a single (potentially multi-line)
2182string, or undef if the command failed. In list context, returns a
2183list of lines (however you've defined lines with $/ or
2184$INPUT_RECORD_SEPARATOR), or an empty list if the command failed.
5a964f20
TC
2185
2186Because backticks do not affect standard error, use shell file descriptor
2187syntax (assuming the shell supports this) if you care to address this.
2188To capture a command's STDERR and STDOUT together:
a0d0e21e 2189
5a964f20
TC
2190 $output = `cmd 2>&1`;
2191
2192To capture a command's STDOUT but discard its STDERR:
2193
2194 $output = `cmd 2>/dev/null`;
2195
2196To capture a command's STDERR but discard its STDOUT (ordering is
2197important here):
2198
2199 $output = `cmd 2>&1 1>/dev/null`;
2200
2201To exchange a command's STDOUT and STDERR in order to capture the STDERR
2202but leave its STDOUT to come out the old STDERR:
2203
2204 $output = `cmd 3>&1 1>&2 2>&3 3>&-`;
2205
2206To read both a command's STDOUT and its STDERR separately, it's easiest
2359510d
SD
2207to redirect them separately to files, and then read from those files
2208when the program is done:
5a964f20 2209
2359510d 2210 system("program args 1>program.stdout 2>program.stderr");
5a964f20 2211
30398227
SP
2212The STDIN filehandle used by the command is inherited from Perl's STDIN.
2213For example:
2214
c543c01b
TC
2215 open(SPLAT, "stuff") || die "can't open stuff: $!";
2216 open(STDIN, "<&SPLAT") || die "can't dupe SPLAT: $!";
40bbb707 2217 print STDOUT `sort`;
30398227 2218
40bbb707 2219will print the sorted contents of the file named F<"stuff">.
30398227 2220
5a964f20
TC
2221Using single-quote as a delimiter protects the command from Perl's
2222double-quote interpolation, passing it on to the shell instead:
2223
2224 $perl_info = qx(ps $$); # that's Perl's $$
2225 $shell_info = qx'ps $$'; # that's the new shell's $$
2226
19799a22 2227How that string gets evaluated is entirely subject to the command
5a964f20
TC
2228interpreter on your system. On most platforms, you will have to protect
2229shell metacharacters if you want them treated literally. This is in
2230practice difficult to do, as it's unclear how to escape which characters.
2231See L<perlsec> for a clean and safe example of a manual fork() and exec()
2232to emulate backticks safely.
a0d0e21e 2233
bb32b41a
GS
2234On some platforms (notably DOS-like ones), the shell may not be
2235capable of dealing with multiline commands, so putting newlines in
2236the string may not get you what you want. You may be able to evaluate
2237multiple commands in a single line by separating them with the command
1ca345ed
TC
2238separator character, if your shell supports that (for example, C<;> on
2239many Unix shells and C<&> on the Windows NT C<cmd> shell).
bb32b41a 2240
3ff8ecf9 2241Perl will attempt to flush all files opened for
0f897271
GS
2242output before starting the child process, but this may not be supported
2243on some platforms (see L<perlport>). To be safe, you may need to set
2244C<$|> ($AUTOFLUSH in English) or call the C<autoflush()> method of
2245C<IO::Handle> on any open handles.
2246
bb32b41a
GS
2247Beware that some command shells may place restrictions on the length
2248of the command line. You must ensure your strings don't exceed this
2249limit after any necessary interpolations. See the platform-specific
2250release notes for more details about your particular environment.
2251
5a964f20
TC
2252Using this operator can lead to programs that are difficult to port,
2253because the shell commands called vary between systems, and may in
2254fact not be present at all. As one example, the C<type> command under
2255the POSIX shell is very different from the C<type> command under DOS.
2256That doesn't mean you should go out of your way to avoid backticks
2257when they're the right way to get something done. Perl was made to be
2258a glue language, and one of the things it glues together is commands.
2259Just understand what you're getting yourself into.
bb32b41a 2260
da87341d 2261See L</"I/O Operators"> for more discussion.
a0d0e21e 2262
945c54fd 2263=item qw/STRING/
d74e8afc 2264X<qw> X<quote, list> X<quote, words>
945c54fd
JH
2265
2266Evaluates to a list of the words extracted out of STRING, using embedded
2267whitespace as the word delimiters. It can be understood as being roughly
2268equivalent to:
2269
c543c01b 2270 split(" ", q/STRING/);
945c54fd 2271
efb1e162
CW
2272the differences being that it generates a real list at compile time, and
2273in scalar context it returns the last element in the list. So
945c54fd
JH
2274this expression:
2275
2276 qw(foo bar baz)
2277
2278is semantically equivalent to the list:
2279
c543c01b 2280 "foo", "bar", "baz"
945c54fd
JH
2281
2282Some frequently seen examples:
2283
2284 use POSIX qw( setlocale localeconv )
2285 @EXPORT = qw( foo bar baz );
2286
2287A common mistake is to try to separate the words with comma or to
2288put comments into a multi-line C<qw>-string. For this reason, the
89d205f2 2289C<use warnings> pragma and the B<-w> switch (that is, the C<$^W> variable)
945c54fd
JH
2290produces warnings if the STRING contains the "," or the "#" character.
2291
8ff32507 2292=item tr/SEARCHLIST/REPLACEMENTLIST/cdsr
d74e8afc 2293X<tr> X<y> X<transliterate> X</c> X</d> X</s>
a0d0e21e 2294
8ff32507 2295=item y/SEARCHLIST/REPLACEMENTLIST/cdsr
a0d0e21e 2296
2c268ad5 2297Transliterates all occurrences of the characters found in the search list
a0d0e21e
LW
2298with the corresponding character in the replacement list. It returns
2299the number of characters replaced or deleted. If no string is
c543c01b
TC
2300specified via the C<=~> or C<!~> operator, the $_ string is transliterated.
2301
2302If the C</r> (non-destructive) option is present, a new copy of the string
2303is made and its characters transliterated, and this copy is returned no
2304matter whether it was modified or not: the original string is always
2305left unchanged. The new copy is always a plain string, even if the input
2306string is an object or a tied variable.
8ada0baa 2307
c543c01b
TC
2308Unless the C</r> option is used, the string specified with C<=~> must be a
2309scalar variable, an array element, a hash element, or an assignment to one
2310of those; in other words, an lvalue.
8ff32507 2311
89d205f2 2312A character range may be specified with a hyphen, so C<tr/A-J/0-9/>
2c268ad5 2313does the same replacement as C<tr/ACEGIBDFHJ/0246813579/>.
54310121 2314For B<sed> devotees, C<y> is provided as a synonym for C<tr>. If the
2315SEARCHLIST is delimited by bracketing quotes, the REPLACEMENTLIST has
c543c01b
TC
2316its own pair of quotes, which may or may not be bracketing quotes;
2317for example, C<tr[aeiouy][yuoiea]> or C<tr(+\-*/)/ABCD/>.
2318
2319Note that C<tr> does B<not> do regular expression character classes such as
2320C<\d> or C<\pL>. The C<tr> operator is not equivalent to the tr(1)
2321utility. If you want to map strings between lower/upper cases, see
2322L<perlfunc/lc> and L<perlfunc/uc>, and in general consider using the C<s>
2323operator if you need regular expressions. The C<\U>, C<\u>, C<\L>, and
2324C<\l> string-interpolation escapes on the right side of a substitution
2325operator will perform correct case-mappings, but C<tr[a-z][A-Z]> will not
2326(except sometimes on legacy 7-bit data).
cc255d5f 2327
8ada0baa
JH
2328Note also that the whole range idea is rather unportable between
2329character sets--and even within character sets they may cause results
2330you probably didn't expect. A sound principle is to use only ranges
2331that begin from and end at either alphabets of equal case (a-e, A-E),
2332or digits (0-4). Anything else is unsafe. If in doubt, spell out the
2333character sets in full.
2334
a0d0e21e
LW
2335Options:
2336
2337 c Complement the SEARCHLIST.
2338 d Delete found but unreplaced characters.
2339 s Squash duplicate replaced characters.
8ff32507
FC
2340 r Return the modified string and leave the original string
2341 untouched.
a0d0e21e 2342
19799a22
GS
2343If the C</c> modifier is specified, the SEARCHLIST character set
2344is complemented. If the C</d> modifier is specified, any characters
2345specified by SEARCHLIST not found in REPLACEMENTLIST are deleted.
2346(Note that this is slightly more flexible than the behavior of some
2347B<tr> programs, which delete anything they find in the SEARCHLIST,
46f8a5ea 2348period.) If the C</s> modifier is specified, sequences of characters
19799a22
GS
2349that were transliterated to the same character are squashed down
2350to a single instance of the character.
a0d0e21e
LW
2351
2352If the C</d> modifier is used, the REPLACEMENTLIST is always interpreted
2353exactly as specified. Otherwise, if the REPLACEMENTLIST is shorter
2354than the SEARCHLIST, the final character is replicated till it is long
5a964f20 2355enough. If the REPLACEMENTLIST is empty, the SEARCHLIST is replicated.
a0d0e21e
LW
2356This latter is useful for counting characters in a class or for
2357squashing character sequences in a class.
2358
2359Examples:
2360
c543c01b 2361 $ARGV[1] =~ tr/A-Z/a-z/; # canonicalize to lower case ASCII
a0d0e21e
LW
2362
2363 $cnt = tr/*/*/; # count the stars in $_
2364
2365 $cnt = $sky =~ tr/*/*/; # count the stars in $sky
2366
2367 $cnt = tr/0-9//; # count the digits in $_
2368
2369 tr/a-zA-Z//s; # bookkeeper -> bokeper
2370
2371 ($HOST = $host) =~ tr/a-z/A-Z/;
c543c01b 2372 $HOST = $host =~ tr/a-z/A-Z/r; # same thing
8ff32507 2373
c543c01b 2374 $HOST = $host =~ tr/a-z/A-Z/r # chained with s///r
8ff32507 2375 =~ s/:/ -p/r;
a0d0e21e
LW
2376
2377 tr/a-zA-Z/ /cs; # change non-alphas to single space
2378
8ff32507
FC
2379 @stripped = map tr/a-zA-Z/ /csr, @original;
2380 # /r with map
2381
a0d0e21e 2382 tr [\200-\377]
c543c01b 2383 [\000-\177]; # wickedly delete 8th bit
a0d0e21e 2384
19799a22
GS
2385If multiple transliterations are given for a character, only the
2386first one is used:
748a9306
LW
2387
2388 tr/AAA/XYZ/
2389
2c268ad5 2390will transliterate any A to X.
748a9306 2391
19799a22 2392Because the transliteration table is built at compile time, neither
a0d0e21e 2393the SEARCHLIST nor the REPLACEMENTLIST are subjected to double quote
19799a22
GS
2394interpolation. That means that if you want to use variables, you
2395must use an eval():
a0d0e21e
LW
2396
2397 eval "tr/$oldlist/$newlist/";
2398 die $@ if $@;
2399
2400 eval "tr/$oldlist/$newlist/, 1" or die $@;
2401
7e3b091d 2402=item <<EOF
d74e8afc 2403X<here-doc> X<heredoc> X<here-document> X<<< << >>>
7e3b091d
DA
2404
2405A line-oriented form of quoting is based on the shell "here-document"
2406syntax. Following a C<< << >> you specify a string to terminate
2407the quoted material, and all lines following the current line down to
89d205f2
YO
2408the terminating string are the value of the item.
2409
2410The terminating string may be either an identifier (a word), or some
2411quoted text. An unquoted identifier works like double quotes.
2412There may not be a space between the C<< << >> and the identifier,
2413unless the identifier is explicitly quoted. (If you put a space it
2414will be treated as a null identifier, which is valid, and matches the
2415first empty line.) The terminating string must appear by itself
2416(unquoted and with no surrounding whitespace) on the terminating line.
2417
2418If the terminating string is quoted, the type of quotes used determine
2419the treatment of the text.
2420
2421=over 4
2422
2423=item Double Quotes
2424
2425Double quotes indicate that the text will be interpolated using exactly
2426the same rules as normal double quoted strings.
7e3b091d
DA
2427
2428 print <<EOF;
2429 The price is $Price.
2430 EOF
2431
2432 print << "EOF"; # same as above
2433 The price is $Price.
2434 EOF
2435
89d205f2
YO
2436
2437=item Single Quotes
2438
2439Single quotes indicate the text is to be treated literally with no
46f8a5ea 2440interpolation of its content. This is similar to single quoted
89d205f2
YO
2441strings except that backslashes have no special meaning, with C<\\>
2442being treated as two backslashes and not one as they would in every
2443other quoting construct.
2444
c543c01b
TC
2445Just as in the shell, a backslashed bareword following the C<<< << >>>
2446means the same thing as a single-quoted string does:
2447
2448 $cost = <<'VISTA'; # hasta la ...
2449 That'll be $10 please, ma'am.
2450 VISTA
2451
2452 $cost = <<\VISTA; # Same thing!
2453 That'll be $10 please, ma'am.
2454 VISTA
2455
89d205f2
YO
2456This is the only form of quoting in perl where there is no need
2457to worry about escaping content, something that code generators
2458can and do make good use of.
2459
2460=item Backticks
2461
2462The content of the here doc is treated just as it would be if the
46f8a5ea 2463string were embedded in backticks. Thus the content is interpolated
89d205f2
YO
2464as though it were double quoted and then executed via the shell, with
2465the results of the execution returned.
2466
2467 print << `EOC`; # execute command and get results
7e3b091d 2468 echo hi there
7e3b091d
DA
2469 EOC
2470
89d205f2
YO
2471=back
2472
2473It is possible to stack multiple here-docs in a row:
2474
7e3b091d
DA
2475 print <<"foo", <<"bar"; # you can stack them
2476 I said foo.
2477 foo
2478 I said bar.
2479 bar
2480
2481 myfunc(<< "THIS", 23, <<'THAT');
2482 Here's a line
2483 or two.
2484 THIS
2485 and here's another.
2486 THAT
2487
2488Just don't forget that you have to put a semicolon on the end
2489to finish the statement, as Perl doesn't know you're not going to
2490try to do this:
2491
2492 print <<ABC
2493 179231
2494 ABC
2495 + 20;
2496
872d7e53
TS
2497If you want to remove the line terminator from your here-docs,
2498use C<chomp()>.
2499
2500 chomp($string = <<'END');
2501 This is a string.
2502 END
2503
2504If you want your here-docs to be indented with the rest of the code,
2505you'll need to remove leading whitespace from each line manually:
7e3b091d
DA
2506
2507 ($quote = <<'FINIS') =~ s/^\s+//gm;
89d205f2 2508 The Road goes ever on and on,
7e3b091d
DA
2509 down from the door where it began.
2510 FINIS
2511
2512If you use a here-doc within a delimited construct, such as in C<s///eg>,
1bf48760
FC
2513the quoted material must still come on the line following the
2514C<<< <<FOO >>> marker, which means it may be inside the delimited
2515construct:
7e3b091d
DA
2516
2517 s/this/<<E . 'that'
2518 the other
2519 E
2520 . 'more '/eg;
2521
1bf48760
FC
2522It works this way as of Perl 5.18. Historically, it was inconsistent, and
2523you would have to write
7e3b091d 2524
89d205f2
YO
2525 s/this/<<E . 'that'
2526 . 'more '/eg;
2527 the other
2528 E
7e3b091d 2529
1bf48760
FC
2530outside of string evals.
2531
c543c01b 2532Additionally, quoting rules for the end-of-string identifier are
46f8a5ea 2533unrelated to Perl's quoting rules. C<q()>, C<qq()>, and the like are not
89d205f2
YO
2534supported in place of C<''> and C<"">, and the only interpolation is for
2535backslashing the quoting character:
7e3b091d
DA
2536
2537 print << "abc\"def";
2538 testing...
2539 abc"def
2540
2541Finally, quoted strings cannot span multiple lines. The general rule is
2542that the identifier must be a string literal. Stick with that, and you
2543should be safe.
2544
a0d0e21e
LW
2545=back
2546
75e14d17 2547=head2 Gory details of parsing quoted constructs
d74e8afc 2548X<quote, gory details>
75e14d17 2549
19799a22
GS
2550When presented with something that might have several different
2551interpretations, Perl uses the B<DWIM> (that's "Do What I Mean")
2552principle to pick the most probable interpretation. This strategy
2553is so successful that Perl programmers often do not suspect the
2554ambivalence of what they write. But from time to time, Perl's
2555notions differ substantially from what the author honestly meant.
2556
2557This section hopes to clarify how Perl handles quoted constructs.
2558Although the most common reason to learn this is to unravel labyrinthine
2559regular expressions, because the initial steps of parsing are the
2560same for all quoting operators, they are all discussed together.
2561
2562The most important Perl parsing rule is the first one discussed
2563below: when processing a quoted construct, Perl first finds the end
2564of that construct, then interprets its contents. If you understand
2565this rule, you may skip the rest of this section on the first
2566reading. The other rules are likely to contradict the user's
2567expectations much less frequently than this first one.
2568
2569Some passes discussed below are performed concurrently, but because
2570their results are the same, we consider them individually. For different
2571quoting constructs, Perl performs different numbers of passes, from
6deea57f 2572one to four, but these passes are always performed in the same order.
75e14d17 2573
13a2d996 2574=over 4
75e14d17
IZ
2575
2576=item Finding the end
2577
6deea57f
TS
2578The first pass is finding the end of the quoted construct, where
2579the information about the delimiters is used in parsing.
2580During this search, text between the starting and ending delimiters
46f8a5ea 2581is copied to a safe location. The text copied gets delimiter-independent.
6deea57f
TS
2582
2583If the construct is a here-doc, the ending delimiter is a line
46f8a5ea 2584that has a terminating string as the content. Therefore C<<<EOF> is
6deea57f
TS
2585terminated by C<EOF> immediately followed by C<"\n"> and starting
2586from the first column of the terminating line.
2587When searching for the terminating line of a here-doc, nothing
46f8a5ea 2588is skipped. In other words, lines after the here-doc syntax
6deea57f
TS
2589are compared with the terminating string line by line.
2590
2591For the constructs except here-docs, single characters are used as starting
46f8a5ea 2592and ending delimiters. If the starting delimiter is an opening punctuation
6deea57f
TS
2593(that is C<(>, C<[>, C<{>, or C<< < >>), the ending delimiter is the
2594corresponding closing punctuation (that is C<)>, C<]>, C<}>, or C<< > >>).
2595If the starting delimiter is an unpaired character like C</> or a closing
2596punctuation, the ending delimiter is same as the starting delimiter.
2597Therefore a C</> terminates a C<qq//> construct, while a C<]> terminates
fc693347 2598both C<qq[]> and C<qq]]> constructs.
6deea57f
TS
2599
2600When searching for single-character delimiters, escaped delimiters
1ca345ed 2601and C<\\> are skipped. For example, while searching for terminating C</>,
6deea57f
TS
2602combinations of C<\\> and C<\/> are skipped. If the delimiters are
2603bracketing, nested pairs are also skipped. For example, while searching
2604for closing C<]> paired with the opening C<[>, combinations of C<\\>, C<\]>,
2605and C<\[> are all skipped, and nested C<[> and C<]> are skipped as well.
2606However, when backslashes are used as the delimiters (like C<qq\\> and
2607C<tr\\\>), nothing is skipped.
32581033 2608During the search for the end, backslashes that escape delimiters or
7188ca43 2609other backslashes are removed (exactly speaking, they are not copied to the
32581033 2610safe location).
75e14d17 2611
19799a22
GS
2612For constructs with three-part delimiters (C<s///>, C<y///>, and
2613C<tr///>), the search is repeated once more.
fc693347 2614If the first delimiter is not an opening punctuation, the three delimiters must
d74605e5
FC
2615be the same, such as C<s!!!> and C<tr)))>,
2616in which case the second delimiter
6deea57f 2617terminates the left part and starts the right part at once.
b6538e4f 2618If the left part is delimited by bracketing punctuation (that is C<()>,
6deea57f 2619C<[]>, C<{}>, or C<< <> >>), the right part needs another pair of
b6538e4f 2620delimiters such as C<s(){}> and C<tr[]//>. In these cases, whitespace
fc693347 2621and comments are allowed between the two parts, though the comment must follow
b6538e4f
TC
2622at least one whitespace character; otherwise a character expected as the
2623start of the comment may be regarded as the starting delimiter of the right part.
75e14d17 2624
19799a22
GS
2625During this search no attention is paid to the semantics of the construct.
2626Thus:
75e14d17
IZ
2627
2628 "$hash{"$foo/$bar"}"
2629
2a94b7ce 2630or:
75e14d17 2631
89d205f2 2632 m/
2a94b7ce 2633 bar # NOT a comment, this slash / terminated m//!
75e14d17
IZ
2634 /x
2635
19799a22
GS
2636do not form legal quoted expressions. The quoted part ends on the
2637first C<"> and C</>, and the rest happens to be a syntax error.
2638Because the slash that terminated C<m//> was followed by a C<SPACE>,
2639the example above is not C<m//x>, but rather C<m//> with no C</x>
2640modifier. So the embedded C<#> is interpreted as a literal C<#>.
75e14d17 2641
89d205f2 2642Also no attention is paid to C<\c\> (multichar control char syntax) during
46f8a5ea 2643this search. Thus the second C<\> in C<qq/\c\/> is interpreted as a part
89d205f2 2644of C<\/>, and the following C</> is not recognized as a delimiter.
0d594e51
TS
2645Instead, use C<\034> or C<\x1c> at the end of quoted constructs.
2646
75e14d17 2647=item Interpolation
d74e8afc 2648X<interpolation>
75e14d17 2649
19799a22 2650The next step is interpolation in the text obtained, which is now
89d205f2 2651delimiter-independent. There are multiple cases.
75e14d17 2652
13a2d996 2653=over 4
75e14d17 2654
89d205f2 2655=item C<<<'EOF'>
75e14d17
IZ
2656
2657No interpolation is performed.
6deea57f
TS
2658Note that the combination C<\\> is left intact, since escaped delimiters
2659are not available for here-docs.
75e14d17 2660
6deea57f 2661=item C<m''>, the pattern of C<s'''>
89d205f2 2662
6deea57f
TS
2663No interpolation is performed at this stage.
2664Any backslashed sequences including C<\\> are treated at the stage
2665to L</"parsing regular expressions">.
89d205f2 2666
6deea57f 2667=item C<''>, C<q//>, C<tr'''>, C<y'''>, the replacement of C<s'''>
75e14d17 2668
89d205f2 2669The only interpolation is removal of C<\> from pairs of C<\\>.
6deea57f
TS
2670Therefore C<-> in C<tr'''> and C<y'''> is treated literally
2671as a hyphen and no character range is available.
2672C<\1> in the replacement of C<s'''> does not work as C<$1>.
89d205f2
YO
2673
2674=item C<tr///>, C<y///>
2675
6deea57f
TS
2676No variable interpolation occurs. String modifying combinations for
2677case and quoting such as C<\Q>, C<\U>, and C<\E> are not recognized.
2678The other escape sequences such as C<\200> and C<\t> and backslashed
2679characters such as C<\\> and C<\-> are converted to appropriate literals.
89d205f2
YO
2680The character C<-> is treated specially and therefore C<\-> is treated
2681as a literal C<->.
75e14d17 2682
89d205f2 2683=item C<"">, C<``>, C<qq//>, C<qx//>, C<< <file*glob> >>, C<<<"EOF">
75e14d17 2684
628253b8 2685C<\Q>, C<\U>, C<\u>, C<\L>, C<\l>, C<\F> (possibly paired with C<\E>) are
19799a22
GS
2686converted to corresponding Perl constructs. Thus, C<"$foo\Qbaz$bar">
2687is converted to C<$foo . (quotemeta("baz" . $bar))> internally.
6deea57f
TS
2688The other escape sequences such as C<\200> and C<\t> and backslashed
2689characters such as C<\\> and C<\-> are replaced with appropriate
2690expansions.
2a94b7ce 2691
19799a22
GS
2692Let it be stressed that I<whatever falls between C<\Q> and C<\E>>
2693is interpolated in the usual way. Something like C<"\Q\\E"> has
48cbae4f 2694no C<\E> inside. Instead, it has C<\Q>, C<\\>, and C<E>, so the
19799a22
GS
2695result is the same as for C<"\\\\E">. As a general rule, backslashes
2696between C<\Q> and C<\E> may lead to counterintuitive results. So,
2697C<"\Q\t\E"> is converted to C<quotemeta("\t")>, which is the same
2698as C<"\\\t"> (since TAB is not alphanumeric). Note also that:
2a94b7ce
IZ
2699
2700 $str = '\t';
2701 return "\Q$str";
2702
2703may be closer to the conjectural I<intention> of the writer of C<"\Q\t\E">.
2704
19799a22 2705Interpolated scalars and arrays are converted internally to the C<join> and
92d29cee 2706C<.> catenation operations. Thus, C<"$foo XXX '@arr'"> becomes:
75e14d17 2707
19799a22 2708 $foo . " XXX '" . (join $", @arr) . "'";
75e14d17 2709
19799a22 2710All operations above are performed simultaneously, left to right.
75e14d17 2711
19799a22
GS
2712Because the result of C<"\Q STRING \E"> has all metacharacters
2713quoted, there is no way to insert a literal C<$> or C<@> inside a
2714C<\Q\E> pair. If protected by C<\>, C<$> will be quoted to became
2715C<"\\\$">; if not, it is interpreted as the start of an interpolated
2716scalar.
75e14d17 2717
19799a22 2718Note also that the interpolation code needs to make a decision on
89d205f2 2719where the interpolated scalar ends. For instance, whether
db691027 2720C<< "a $x -> {c}" >> really means:
75e14d17 2721
db691027 2722 "a " . $x . " -> {c}";
75e14d17 2723
2a94b7ce 2724or:
75e14d17 2725
db691027 2726 "a " . $x -> {c};
75e14d17 2727
19799a22
GS
2728Most of the time, the longest possible text that does not include
2729spaces between components and which contains matching braces or
2730brackets. because the outcome may be determined by voting based
2731on heuristic estimators, the result is not strictly predictable.
2732Fortunately, it's usually correct for ambiguous cases.
75e14d17 2733
6deea57f 2734=item the replacement of C<s///>
75e14d17 2735
628253b8 2736Processing of C<\Q>, C<\U>, C<\u>, C<\L>, C<\l>, C<\F> and interpolation
6deea57f
TS
2737happens as with C<qq//> constructs.
2738
2739It is at this step that C<\1> is begrudgingly converted to C<$1> in
2740the replacement text of C<s///>, in order to correct the incorrigible
2741I<sed> hackers who haven't picked up the saner idiom yet. A warning
2742is emitted if the C<use warnings> pragma or the B<-w> command-line flag
2743(that is, the C<$^W> variable) was set.
2744
2745=item C<RE> in C<?RE?>, C</RE/>, C<m/RE/>, C<s/RE/foo/>,
2746
628253b8 2747Processing of C<\Q>, C<\U>, C<\u>, C<\L>, C<\l>, C<\F>, C<\E>,
cc74c5bd
TS
2748and interpolation happens (almost) as with C<qq//> constructs.
2749
5d03b57c
KW
2750Processing of C<\N{...}> is also done here, and compiled into an intermediate
2751form for the regex compiler. (This is because, as mentioned below, the regex
2752compilation may be done at execution time, and C<\N{...}> is a compile-time
2753construct.)
2754
cc74c5bd
TS
2755However any other combinations of C<\> followed by a character
2756are not substituted but only skipped, in order to parse them
2757as regular expressions at the following step.
6deea57f 2758As C<\c> is skipped at this step, C<@> of C<\c@> in RE is possibly
1749ea0d 2759treated as an array symbol (for example C<@foo>),
6deea57f 2760even though the same text in C<qq//> gives interpolation of C<\c@>.
6deea57f 2761
e128ab2c
DM
2762Code blocks such as C<(?{BLOCK})> are handled by temporarily passing control
2763back to the perl parser, in a similar way that an interpolated array
2764subscript expression such as C<"foo$array[1+f("[xyz")]bar"> would be.
2765
6deea57f 2766Moreover, inside C<(?{BLOCK})>, C<(?# comment )>, and
19799a22
GS
2767a C<#>-comment in a C<//x>-regular expression, no processing is
2768performed whatsoever. This is the first step at which the presence
2769of the C<//x> modifier is relevant.
2770
1749ea0d
TS
2771Interpolation in patterns has several quirks: C<$|>, C<$(>, C<$)>, C<@+>
2772and C<@-> are not interpolated, and constructs C<$var[SOMETHING]> are
2773voted (by several different estimators) to be either an array element
2774or C<$var> followed by an RE alternative. This is where the notation
19799a22
GS
2775C<${arr[$bar]}> comes handy: C</${arr[0-9]}/> is interpreted as
2776array element C<-9>, not as a regular expression from the variable
2777C<$arr> followed by a digit, which would be the interpretation of
2778C</$arr[0-9]/>. Since voting among different estimators may occur,
2779the result is not predictable.
2780
19799a22
GS
2781The lack of processing of C<\\> creates specific restrictions on
2782the post-processed text. If the delimiter is C</>, one cannot get
2783the combination C<\/> into the result of this step. C</> will
2784finish the regular expression, C<\/> will be stripped to C</> on
2785the previous step, and C<\\/> will be left as is. Because C</> is
2786equivalent to C<\/> inside a regular expression, this does not
2787matter unless the delimiter happens to be character special to the
2788RE engine, such as in C<s*foo*bar*>, C<m[foo]>, or C<?foo?>; or an
2789alphanumeric char, as in:
2a94b7ce
IZ
2790
2791 m m ^ a \s* b mmx;
2792
19799a22 2793In the RE above, which is intentionally obfuscated for illustration, the
6deea57f 2794delimiter is C<m>, the modifier is C<mx>, and after delimiter-removal the
89d205f2 2795RE is the same as for C<m/ ^ a \s* b /mx>. There's more than one
19799a22
GS
2796reason you're encouraged to restrict your delimiters to non-alphanumeric,
2797non-whitespace choices.
75e14d17
IZ
2798
2799=back
2800
19799a22 2801This step is the last one for all constructs except regular expressions,
75e14d17
IZ
2802which are processed further.
2803
6deea57f
TS
2804=item parsing regular expressions
2805X<regexp, parse>
75e14d17 2806
19799a22 2807Previous steps were performed during the compilation of Perl code,
ac036724 2808but this one happens at run time, although it may be optimized to
19799a22 2809be calculated at compile time if appropriate. After preprocessing
6deea57f 2810described above, and possibly after evaluation if concatenation,
19799a22
GS
2811joining, casing translation, or metaquoting are involved, the
2812resulting I<string> is passed to the RE engine for compilation.
2813
2814Whatever happens in the RE engine might be better discussed in L<perlre>,
2815but for the sake of continuity, we shall do so here.
2816
2817This is another step where the presence of the C<//x> modifier is
2818relevant. The RE engine scans the string from left to right and
2819converts it to a finite automaton.
2820
2821Backslashed characters are either replaced with corresponding
2822literal strings (as with C<\{>), or else they generate special nodes
2823in the finite automaton (as with C<\b>). Characters special to the
2824RE engine (such as C<|>) generate corresponding nodes or groups of
2825nodes. C<(?#...)> comments are ignored. All the rest is either
2826converted to literal strings to match, or else is ignored (as is
2827whitespace and C<#>-style comments if C<//x> is present).
2828
2829Parsing of the bracketed character class construct, C<[...]>, is
2830rather different than the rule used for the rest of the pattern.
2831The terminator of this construct is found using the same rules as
2832for finding the terminator of a C<{}>-delimited construct, the only
2833exception being that C<]> immediately following C<[> is treated as
e128ab2c
DM
2834though preceded by a backslash.
2835
2836The terminator of runtime C<(?{...})> is found by temporarily switching
2837control to the perl parser, which should stop at the point where the
2838logically balancing terminating C<}> is found.
19799a22
GS
2839
2840It is possible to inspect both the string given to RE engine and the
2841resulting finite automaton. See the arguments C<debug>/C<debugcolor>
2842in the C<use L<re>> pragma, as well as Perl's B<-Dr> command-line
4a4eefd0 2843switch documented in L<perlrun/"Command Switches">.
75e14d17
IZ
2844
2845=item Optimization of regular expressions
d74e8afc 2846X<regexp, optimization>
75e14d17 2847
7522fed5 2848This step is listed for completeness only. Since it does not change
75e14d17 2849semantics, details of this step are not documented and are subject
19799a22
GS
2850to change without notice. This step is performed over the finite
2851automaton that was generated during the previous pass.
2a94b7ce 2852
19799a22
GS
2853It is at this stage that C<split()> silently optimizes C</^/> to
2854mean C</^/m>.
75e14d17
IZ
2855
2856=back
2857
a0d0e21e 2858=head2 I/O Operators
d74e8afc 2859X<operator, i/o> X<operator, io> X<io> X<while> X<filehandle>
80a96bfc 2860X<< <> >> X<< <<>> >> X<@ARGV>
a0d0e21e 2861
54310121 2862There are several I/O operators you should know about.
fbad3eb5 2863
7b8d334a 2864A string enclosed by backticks (grave accents) first undergoes
19799a22
GS
2865double-quote interpolation. It is then interpreted as an external
2866command, and the output of that command is the value of the
e9c56f9b
JH
2867backtick string, like in a shell. In scalar context, a single string
2868consisting of all output is returned. In list context, a list of
2869values is returned, one per line of output. (You can set C<$/> to use
2870a different line terminator.) The command is executed each time the
2871pseudo-literal is evaluated. The status value of the command is
2872returned in C<$?> (see L<perlvar> for the interpretation of C<$?>).
2873Unlike in B<csh>, no translation is done on the return data--newlines
2874remain newlines. Unlike in any of the shells, single quotes do not
2875hide variable names in the command from interpretation. To pass a
2876literal dollar-sign through to the shell you need to hide it with a
2877backslash. The generalized form of backticks is C<qx//>. (Because
2878backticks always undergo shell expansion as well, see L<perlsec> for
2879security concerns.)
d74e8afc 2880X<qx> X<`> X<``> X<backtick> X<glob>
19799a22
GS
2881
2882In scalar context, evaluating a filehandle in angle brackets yields
2883the next line from that file (the newline, if any, included), or
2884C<undef> at end-of-file or on error. When C<$/> is set to C<undef>
2885(sometimes known as file-slurp mode) and the file is empty, it
2886returns C<''> the first time, followed by C<undef> subsequently.
2887
2888Ordinarily you must assign the returned value to a variable, but
2889there is one situation where an automatic assignment happens. If
2890and only if the input symbol is the only thing inside the conditional
2891of a C<while> statement (even if disguised as a C<for(;;)> loop),
2892the value is automatically assigned to the global variable $_,
2893destroying whatever was there previously. (This may seem like an
2894odd thing to you, but you'll use the construct in almost every Perl
17b829fa 2895script you write.) The $_ variable is not implicitly localized.
19799a22
GS
2896You'll have to put a C<local $_;> before the loop if you want that
2897to happen.
2898
2899The following lines are equivalent:
a0d0e21e 2900
748a9306 2901 while (defined($_ = <STDIN>)) { print; }
7b8d334a 2902 while ($_ = <STDIN>) { print; }
a0d0e21e
LW
2903 while (<STDIN>) { print; }
2904 for (;<STDIN>;) { print; }
748a9306 2905 print while defined($_ = <STDIN>);
7b8d334a 2906 print while ($_ = <STDIN>);
a0d0e21e
LW
2907 print while <STDIN>;
2908
1ca345ed
TC
2909This also behaves similarly, but assigns to a lexical variable
2910instead of to C<$_>:
7b8d334a 2911
89d205f2 2912 while (my $line = <STDIN>) { print $line }
7b8d334a 2913
19799a22
GS
2914In these loop constructs, the assigned value (whether assignment
2915is automatic or explicit) is then tested to see whether it is
1ca345ed
TC
2916defined. The defined test avoids problems where the line has a string
2917value that would be treated as false by Perl; for example a "" or
19799a22
GS
2918a "0" with no trailing newline. If you really mean for such values
2919to terminate the loop, they should be tested for explicitly:
7b8d334a
GS
2920
2921 while (($_ = <STDIN>) ne '0') { ... }
2922 while (<STDIN>) { last unless $_; ... }
2923
1ca345ed 2924In other boolean contexts, C<< <FILEHANDLE> >> without an
5ef4d93e 2925explicit C<defined> test or comparison elicits a warning if the
9f1b1f2d 2926C<use warnings> pragma or the B<-w>
19799a22 2927command-line switch (the C<$^W> variable) is in effect.
7b8d334a 2928
5f05dabc 2929The filehandles STDIN, STDOUT, and STDERR are predefined. (The
19799a22
GS
2930filehandles C<stdin>, C<stdout>, and C<stderr> will also work except
2931in packages, where they would be interpreted as local identifiers
2932rather than global.) Additional filehandles may be created with
2933the open() function, amongst others. See L<perlopentut> and
2934L<perlfunc/open> for details on this.
d74e8afc 2935X<stdin> X<stdout> X<sterr>
a0d0e21e 2936
35f2feb0 2937If a <FILEHANDLE> is used in a context that is looking for
19799a22
GS
2938a list, a list comprising all input lines is returned, one line per
2939list element. It's easy to grow to a rather large data space this
2940way, so use with care.
a0d0e21e 2941
35f2feb0 2942<FILEHANDLE> may also be spelled C<readline(*FILEHANDLE)>.
19799a22 2943See L<perlfunc/readline>.
fbad3eb5 2944
35f2feb0 2945The null filehandle <> is special: it can be used to emulate the
1ca345ed
TC
2946behavior of B<sed> and B<awk>, and any other Unix filter program
2947that takes a list of filenames, doing the same to each line
2948of input from all of them. Input from <> comes either from
a0d0e21e 2949standard input, or from each file listed on the command line. Here's
35f2feb0 2950how it works: the first time <> is evaluated, the @ARGV array is
5a964f20 2951checked, and if it is empty, C<$ARGV[0]> is set to "-", which when opened
a0d0e21e
LW
2952gives you standard input. The @ARGV array is then processed as a list
2953of filenames. The loop
2954
2955 while (<>) {
2956 ... # code for each line
2957 }
2958
2959is equivalent to the following Perl-like pseudo code:
2960
3e3baf6d 2961 unshift(@ARGV, '-') unless @ARGV;
a0d0e21e
LW
2962 while ($ARGV = shift) {
2963 open(ARGV, $ARGV);
2964 while (<ARGV>) {
2965 ... # code for each line
2966 }
2967 }
2968
19799a22
GS
2969except that it isn't so cumbersome to say, and will actually work.
2970It really does shift the @ARGV array and put the current filename
2971into the $ARGV variable. It also uses filehandle I<ARGV>
46f8a5ea 2972internally. <> is just a synonym for <ARGV>, which
19799a22 2973is magical. (The pseudo code above doesn't work because it treats
35f2feb0 2974<ARGV> as non-magical.)
a0d0e21e 2975
48ab5743
ML
2976Since the null filehandle uses the two argument form of L<perlfunc/open>
2977it interprets special characters, so if you have a script like this:
2978
2979 while (<>) {
2980 print;
2981 }
2982
2983and call it with C<perl dangerous.pl 'rm -rfv *|'>, it actually opens a
2984pipe, executes the C<rm> command and reads C<rm>'s output from that pipe.
2985If you want all items in C<@ARGV> to be interpreted as file names, you
1033ba6e
PM
2986can use the module C<ARGV::readonly> from CPAN, or use the double bracket:
2987
2988 while (<<>>) {
2989 print;
2990 }
2991
2992Using double angle brackets inside of a while causes the open to use the
2993three argument form (with the second argument being C<< < >>), so all
80a96bfc
RGS
2994arguments in ARGV are treated as literal filenames (including "-").
2995(Note that for convenience, if you use C<< <<>> >> and if @ARGV is
2996empty, it will still read from the standard input.)
48ab5743 2997
35f2feb0 2998You can modify @ARGV before the first <> as long as the array ends up
a0d0e21e 2999containing the list of filenames you really want. Line numbers (C<$.>)
19799a22
GS
3000continue as though the input were one big happy file. See the example
3001in L<perlfunc/eof> for how to reset line numbers on each file.
5a964f20 3002
89d205f2 3003If you want to set @ARGV to your own list of files, go right ahead.
5a964f20
TC
3004This sets @ARGV to all plain text files if no @ARGV was given:
3005
3006 @ARGV = grep { -f && -T } glob('*') unless @ARGV;
a0d0e21e 3007
5a964f20
TC
3008You can even set them to pipe commands. For example, this automatically
3009filters compressed arguments through B<gzip>:
3010
3011 @ARGV = map { /\.(gz|Z)$/ ? "gzip -dc < $_ |" : $_ } @ARGV;
3012
3013If you want to pass switches into your script, you can use one of the
a0d0e21e
LW
3014Getopts modules or put a loop on the front like this:
3015
3016 while ($_ = $ARGV[0], /^-/) {
3017 shift;
3018 last if /^--$/;
3019 if (/^-D(.*)/) { $debug = $1 }
3020 if (/^-v/) { $verbose++ }
5a964f20 3021 # ... # other switches
a0d0e21e 3022 }
5a964f20 3023
a0d0e21e 3024 while (<>) {
5a964f20 3025 # ... # code for each line
a0d0e21e
LW
3026 }
3027
89d205f2
YO
3028The <> symbol will return C<undef> for end-of-file only once.
3029If you call it again after this, it will assume you are processing another
19799a22 3030@ARGV list, and if you haven't set @ARGV, will read input from STDIN.
a0d0e21e 3031
1ca345ed 3032If what the angle brackets contain is a simple scalar variable (for example,
35f2feb0 3033<$foo>), then that variable contains the name of the
19799a22
GS
3034filehandle to input from, or its typeglob, or a reference to the
3035same. For example:
cb1a09d0
AD
3036
3037 $fh = \*STDIN;
3038 $line = <$fh>;
a0d0e21e 3039
5a964f20
TC
3040If what's within the angle brackets is neither a filehandle nor a simple
3041scalar variable containing a filehandle name, typeglob, or typeglob
3042reference, it is interpreted as a filename pattern to be globbed, and
3043either a list of filenames or the next filename in the list is returned,
19799a22 3044depending on context. This distinction is determined on syntactic
35f2feb0
GS
3045grounds alone. That means C<< <$x> >> is always a readline() from
3046an indirect handle, but C<< <$hash{key}> >> is always a glob().
5a964f20 3047That's because $x is a simple scalar variable, but C<$hash{key}> is
ef191992
YST
3048not--it's a hash element. Even C<< <$x > >> (note the extra space)
3049is treated as C<glob("$x ")>, not C<readline($x)>.
5a964f20
TC
3050
3051One level of double-quote interpretation is done first, but you can't
35f2feb0 3052say C<< <$foo> >> because that's an indirect filehandle as explained
5a964f20
TC
3053in the previous paragraph. (In older versions of Perl, programmers
3054would insert curly brackets to force interpretation as a filename glob:
35f2feb0 3055C<< <${foo}> >>. These days, it's considered cleaner to call the
5a964f20 3056internal function directly as C<glob($foo)>, which is probably the right
19799a22 3057way to have done it in the first place.) For example:
a0d0e21e
LW
3058
3059 while (<*.c>) {
3060 chmod 0644, $_;
3061 }
3062
3a4b19e4 3063is roughly equivalent to:
a0d0e21e
LW
3064
3065 open(FOO, "echo *.c | tr -s ' \t\r\f' '\\012\\012\\012\\012'|");
3066 while (<FOO>) {
5b3eff12 3067 chomp;
a0d0e21e
LW
3068 chmod 0644, $_;
3069 }
3070
3a4b19e4
GS
3071except that the globbing is actually done internally using the standard
3072C<File::Glob> extension. Of course, the shortest way to do the above is:
a0d0e21e
LW
3073
3074 chmod 0644, <*.c>;
3075
19799a22
GS
3076A (file)glob evaluates its (embedded) argument only when it is
3077starting a new list. All values must be read before it will start
3078over. In list context, this isn't important because you automatically
3079get them all anyway. However, in scalar context the operator returns
069e01df 3080the next value each time it's called, or C<undef> when the list has
19799a22
GS
3081run out. As with filehandle reads, an automatic C<defined> is
3082generated when the glob occurs in the test part of a C<while>,
1ca345ed
TC
3083because legal glob returns (for example,
3084a file called F<0>) would otherwise
19799a22
GS
3085terminate the loop. Again, C<undef> is returned only once. So if
3086you're expecting a single value from a glob, it is much better to
3087say
4633a7c4
LW
3088
3089 ($file) = <blurch*>;
3090
3091than
3092
3093 $file = <blurch*>;
3094
3095because the latter will alternate between returning a filename and
19799a22 3096returning false.
4633a7c4 3097
b159ebd3 3098If you're trying to do variable interpolation, it's definitely better
4633a7c4 3099to use the glob() function, because the older notation can cause people
e37d713d 3100to become confused with the indirect filehandle notation.
4633a7c4
LW
3101
3102 @files = glob("$dir/*.[ch]");
3103 @files = glob($files[$i]);
3104
a0d0e21e 3105=head2 Constant Folding
d74e8afc 3106X<constant folding> X<folding>
a0d0e21e
LW
3107
3108Like C, Perl does a certain amount of expression evaluation at
19799a22 3109compile time whenever it determines that all arguments to an
a0d0e21e
LW
3110operator are static and have no side effects. In particular, string
3111concatenation happens at compile time between literals that don't do
19799a22 3112variable substitution. Backslash interpolation also happens at
a0d0e21e
LW
3113compile time. You can say
3114
1ca345ed
TC
3115 'Now is the time for all'
3116 . "\n"
3117 . 'good men to come to.'
a0d0e21e 3118
54310121 3119and this all reduces to one string internally. Likewise, if
a0d0e21e
LW
3120you say
3121
3122 foreach $file (@filenames) {
5a964f20 3123 if (-s $file > 5 + 100 * 2**16) { }
54310121 3124 }
a0d0e21e 3125
1ca345ed 3126the compiler precomputes the number which that expression
19799a22 3127represents so that the interpreter won't have to.
a0d0e21e 3128
fd1abbef 3129=head2 No-ops
d74e8afc 3130X<no-op> X<nop>
fd1abbef
DN
3131
3132Perl doesn't officially have a no-op operator, but the bare constants
1ca345ed 3133C<0> and C<1> are special-cased not to produce a warning in void
fd1abbef
DN
3134context, so you can for example safely do
3135
3136 1 while foo();
3137
2c268ad5 3138=head2 Bitwise String Operators
d74e8afc 3139X<operator, bitwise, string>
2c268ad5
TP
3140
3141Bitstrings of any size may be manipulated by the bitwise operators
3142(C<~ | & ^>).
3143
19799a22
GS
3144If the operands to a binary bitwise op are strings of different
3145sizes, B<|> and B<^> ops act as though the shorter operand had
3146additional zero bits on the right, while the B<&> op acts as though
3147the longer operand were truncated to the length of the shorter.
3148The granularity for such extension or truncation is one or more
3149bytes.
2c268ad5 3150
89d205f2 3151 # ASCII-based examples
2c268ad5
TP
3152 print "j p \n" ^ " a h"; # prints "JAPH\n"
3153 print "JA" | " ph\n"; # prints "japh\n"
3154 print "japh\nJunk" & '_____'; # prints "JAPH\n";
3155 print 'p N$' ^ " E<H\n"; # prints "Perl\n";
3156
19799a22 3157If you are intending to manipulate bitstrings, be certain that
2c268ad5 3158you're supplying bitstrings: If an operand is a number, that will imply
19799a22 3159a B<numeric> bitwise operation. You may explicitly show which type of
2c268ad5
TP
3160operation you intend by using C<""> or C<0+>, as in the examples below.
3161
4358a253
SS
3162 $foo = 150 | 105; # yields 255 (0x96 | 0x69 is 0xFF)
3163 $foo = '150' | 105; # yields 255
2c268ad5
TP
3164 $foo = 150 | '105'; # yields 255
3165 $foo = '150' | '105'; # yields string '155' (under ASCII)
3166
3167 $baz = 0+$foo & 0+$bar; # both ops explicitly numeric
3168 $biz = "$foo" ^ "$bar"; # both ops explicitly stringy
a0d0e21e 3169
1ae175c8
GS
3170See L<perlfunc/vec> for information on how to manipulate individual bits
3171in a bit vector.
3172
55497cff 3173=head2 Integer Arithmetic
d74e8afc 3174X<integer>
a0d0e21e 3175
19799a22 3176By default, Perl assumes that it must do most of its arithmetic in
a0d0e21e
LW
3177floating point. But by saying
3178
3179 use integer;
3180
3eab78e3
CW
3181you may tell the compiler to use integer operations
3182(see L<integer> for a detailed explanation) from here to the end of
3183the enclosing BLOCK. An inner BLOCK may countermand this by saying
a0d0e21e
LW
3184
3185 no integer;
3186
19799a22 3187which lasts until the end of that BLOCK. Note that this doesn't
3eab78e3
CW
3188mean everything is an integer, merely that Perl will use integer
3189operations for arithmetic, comparison, and bitwise operators. For
3190example, even under C<use integer>, if you take the C<sqrt(2)>, you'll
3191still get C<1.4142135623731> or so.
19799a22
GS
3192
3193Used on numbers, the bitwise operators ("&", "|", "^", "~", "<<",
89d205f2 3194and ">>") always produce integral results. (But see also
13a2d996 3195L<Bitwise String Operators>.) However, C<use integer> still has meaning for
19799a22
GS
3196them. By default, their results are interpreted as unsigned integers, but
3197if C<use integer> is in effect, their results are interpreted
3198as signed integers. For example, C<~0> usually evaluates to a large
0be96356 3199integral value. However, C<use integer; ~0> is C<-1> on two's-complement
19799a22 3200machines.
68dc0745 3201
3202=head2 Floating-point Arithmetic
06ce2fa3 3203
d74e8afc 3204X<floating-point> X<floating point> X<float> X<real>
68dc0745 3205
3206While C<use integer> provides integer-only arithmetic, there is no
19799a22
GS
3207analogous mechanism to provide automatic rounding or truncation to a
3208certain number of decimal places. For rounding to a certain number
3209of digits, sprintf() or printf() is usually the easiest route.
3210See L<perlfaq4>.
68dc0745 3211
5a964f20
TC
3212Floating-point numbers are only approximations to what a mathematician
3213would call real numbers. There are infinitely more reals than floats,
3214so some corners must be cut. For example:
3215
3216 printf "%.20g\n", 123456789123456789;
3217 # produces 123456789123456784
3218
8548cb57
RGS
3219Testing for exact floating-point equality or inequality is not a
3220good idea. Here's a (relatively expensive) work-around to compare
5a964f20
TC
3221whether two floating-point numbers are equal to a particular number of
3222decimal places. See Knuth, volume II, for a more robust treatment of
3223this topic.
3224
3225 sub fp_equal {
3226 my ($X, $Y, $POINTS) = @_;
3227 my ($tX, $tY);
3228 $tX = sprintf("%.${POINTS}g", $X);
3229 $tY = sprintf("%.${POINTS}g", $Y);
3230 return $tX eq $tY;
3231 }
3232
68dc0745 3233The POSIX module (part of the standard perl distribution) implements
19799a22
GS
3234ceil(), floor(), and other mathematical and trigonometric functions.
3235The Math::Complex module (part of the standard perl distribution)
3236defines mathematical functions that work on both the reals and the
3237imaginary numbers. Math::Complex not as efficient as POSIX, but
68dc0745 3238POSIX can't work with complex numbers.
3239
3240Rounding in financial applications can have serious implications, and
3241the rounding method used should be specified precisely. In these
3242cases, it probably pays not to trust whichever system rounding is
3243being used by Perl, but to instead implement the rounding function you
3244need yourself.
5a964f20
TC
3245
3246=head2 Bigger Numbers
d74e8afc 3247X<number, arbitrary precision>
5a964f20 3248
c543c01b 3249The standard C<Math::BigInt>, C<Math::BigRat>, and C<Math::BigFloat> modules,
fb1a95c6 3250along with the C<bignum>, C<bigint>, and C<bigrat> pragmas, provide
19799a22 3251variable-precision arithmetic and overloaded operators, although
46f8a5ea 3252they're currently pretty slow. At the cost of some space and
19799a22
GS
3253considerable speed, they avoid the normal pitfalls associated with
3254limited-precision representations.
5a964f20 3255
c543c01b
TC
3256 use 5.010;
3257 use bigint; # easy interface to Math::BigInt
3258 $x = 123456789123456789;
3259 say $x * $x;
3260 +15241578780673678515622620750190521
3261
3262Or with rationals:
3263
db691027
SF
3264 use 5.010;
3265 use bigrat;
3266 $x = 3/22;
3267 $y = 4/6;
3268 say "x/y is ", $x/$y;
3269 say "x*y is ", $x*$y;
3270 x/y is 9/44
3271 x*y is 1/11
c543c01b
TC
3272
3273Several modules let you calculate with (bound only by memory and CPU time)
46f8a5ea
FC
3274unlimited or fixed precision. There
3275are also some non-standard modules that
c543c01b 3276provide faster implementations via external C libraries.
cd5c4fce
T
3277
3278Here is a short, but incomplete summary:
3279
950b09ed
KW
3280 Math::String treat string sequences like numbers
3281 Math::FixedPrecision calculate with a fixed precision
3282 Math::Currency for currency calculations
3283 Bit::Vector manipulate bit vectors fast (uses C)
3284 Math::BigIntFast Bit::Vector wrapper for big numbers
3285 Math::Pari provides access to the Pari C library
70c45be3
FC
3286 Math::Cephes uses the external Cephes C library (no
3287 big numbers)
950b09ed
KW
3288 Math::Cephes::Fraction fractions via the Cephes library
3289 Math::GMP another one using an external C library
70c45be3
FC
3290 Math::GMPz an alternative interface to libgmp's big ints
3291 Math::GMPq an interface to libgmp's fraction numbers
3292 Math::GMPf an interface to libgmp's floating point numbers
cd5c4fce
T
3293
3294Choose wisely.
16070b82
GS
3295
3296=cut