xref: /openbsd-src/gnu/usr.bin/perl/pod/perlrecharclass.pod (revision 50b7afb2c2c0993b0894d4e34bf857cb13ed9c80)
1=head1 NAME
2X<character class>
3
4perlrecharclass - Perl Regular Expression Character Classes
5
6=head1 DESCRIPTION
7
8The top level documentation about Perl regular expressions
9is found in L<perlre>.
10
11This manual page discusses the syntax and use of character
12classes in Perl regular expressions.
13
14A character class is a way of denoting a set of characters
15in such a way that one character of the set is matched.
16It's important to remember that: matching a character class
17consumes exactly one character in the source string. (The source
18string is the string the regular expression is matched against.)
19
20There are three types of character classes in Perl regular
21expressions: the dot, backslash sequences, and the form enclosed in square
22brackets.  Keep in mind, though, that often the term "character class" is used
23to mean just the bracketed form.  Certainly, most Perl documentation does that.
24
25=head2 The dot
26
27The dot (or period), C<.> is probably the most used, and certainly
28the most well-known character class. By default, a dot matches any
29character, except for the newline. That default can be changed to
30add matching the newline by using the I<single line> modifier: either
31for the entire regular expression with the C</s> modifier, or
32locally with C<(?s)>.  (The C<\N> backslash sequence, described
33below, matches any character except newline without regard to the
34I<single line> modifier.)
35
36Here are some examples:
37
38 "a"  =~  /./       # Match
39 "."  =~  /./       # Match
40 ""   =~  /./       # No match (dot has to match a character)
41 "\n" =~  /./       # No match (dot does not match a newline)
42 "\n" =~  /./s      # Match (global 'single line' modifier)
43 "\n" =~  /(?s:.)/  # Match (local 'single line' modifier)
44 "ab" =~  /^.$/     # No match (dot matches one character)
45
46=head2 Backslash sequences
47X<\w> X<\W> X<\s> X<\S> X<\d> X<\D> X<\p> X<\P>
48X<\N> X<\v> X<\V> X<\h> X<\H>
49X<word> X<whitespace>
50
51A backslash sequence is a sequence of characters, the first one of which is a
52backslash.  Perl ascribes special meaning to many such sequences, and some of
53these are character classes.  That is, they match a single character each,
54provided that the character belongs to the specific set of characters defined
55by the sequence.
56
57Here's a list of the backslash sequences that are character classes.  They
58are discussed in more detail below.  (For the backslash sequences that aren't
59character classes, see L<perlrebackslash>.)
60
61 \d             Match a decimal digit character.
62 \D             Match a non-decimal-digit character.
63 \w             Match a "word" character.
64 \W             Match a non-"word" character.
65 \s             Match a whitespace character.
66 \S             Match a non-whitespace character.
67 \h             Match a horizontal whitespace character.
68 \H             Match a character that isn't horizontal whitespace.
69 \v             Match a vertical whitespace character.
70 \V             Match a character that isn't vertical whitespace.
71 \N             Match a character that isn't a newline.
72 \pP, \p{Prop}  Match a character that has the given Unicode property.
73 \PP, \P{Prop}  Match a character that doesn't have the Unicode property
74
75=head3 \N
76
77C<\N>, available starting in v5.12, like the dot, matches any
78character that is not a newline. The difference is that C<\N> is not influenced
79by the I<single line> regular expression modifier (see L</The dot> above).  Note
80that the form C<\N{...}> may mean something completely different.  When the
81C<{...}> is a L<quantifier|perlre/Quantifiers>, it means to match a non-newline
82character that many times.  For example, C<\N{3}> means to match 3
83non-newlines; C<\N{5,}> means to match 5 or more non-newlines.  But if C<{...}>
84is not a legal quantifier, it is presumed to be a named character.  See
85L<charnames> for those.  For example, none of C<\N{COLON}>, C<\N{4F}>, and
86C<\N{F4}> contain legal quantifiers, so Perl will try to find characters whose
87names are respectively C<COLON>, C<4F>, and C<F4>.
88
89=head3 Digits
90
91C<\d> matches a single character considered to be a decimal I<digit>.
92If the C</a> regular expression modifier is in effect, it matches [0-9].
93Otherwise, it
94matches anything that is matched by C<\p{Digit}>, which includes [0-9].
95(An unlikely possible exception is that under locale matching rules, the
96current locale might not have [0-9] matched by C<\d>, and/or might match
97other characters whose code point is less than 256.  Such a locale
98definition would be in violation of the C language standard, but Perl
99doesn't currently assume anything in regard to this.)
100
101What this means is that unless the C</a> modifier is in effect C<\d> not
102only matches the digits '0' - '9', but also Arabic, Devanagari, and
103digits from other languages.  This may cause some confusion, and some
104security issues.
105
106Some digits that C<\d> matches look like some of the [0-9] ones, but
107have different values.  For example, BENGALI DIGIT FOUR (U+09EA) looks
108very much like an ASCII DIGIT EIGHT (U+0038).  An application that
109is expecting only the ASCII digits might be misled, or if the match is
110C<\d+>, the matched string might contain a mixture of digits from
111different writing systems that look like they signify a number different
112than they actually do.  L<Unicode::UCD/num()> can
113be used to safely
114calculate the value, returning C<undef> if the input string contains
115such a mixture.
116
117What C<\p{Digit}> means (and hence C<\d> except under the C</a>
118modifier) is C<\p{General_Category=Decimal_Number}>, or synonymously,
119C<\p{General_Category=Digit}>.  Starting with Unicode version 4.1, this
120is the same set of characters matched by C<\p{Numeric_Type=Decimal}>.
121But Unicode also has a different property with a similar name,
122C<\p{Numeric_Type=Digit}>, which matches a completely different set of
123characters.  These characters are things such as C<CIRCLED DIGIT ONE>
124or subscripts, or are from writing systems that lack all ten digits.
125
126The design intent is for C<\d> to exactly match the set of characters
127that can safely be used with "normal" big-endian positional decimal
128syntax, where, for example 123 means one 'hundred', plus two 'tens',
129plus three 'ones'.  This positional notation does not necessarily apply
130to characters that match the other type of "digit",
131C<\p{Numeric_Type=Digit}>, and so C<\d> doesn't match them.
132
133The Tamil digits (U+0BE6 - U+0BEF) can also legally be
134used in old-style Tamil numbers in which they would appear no more than
135one in a row, separated by characters that mean "times 10", "times 100",
136etc.  (See L<http://www.unicode.org/notes/tn21>.)
137
138Any character not matched by C<\d> is matched by C<\D>.
139
140=head3 Word characters
141
142A C<\w> matches a single alphanumeric character (an alphabetic character, or a
143decimal digit); or a connecting punctuation character, such as an
144underscore ("_"); or a "mark" character (like some sort of accent) that
145attaches to one of those.  It does not match a whole word.  To match a
146whole word, use C<\w+>.  This isn't the same thing as matching an
147English word, but in the ASCII range it is the same as a string of
148Perl-identifier characters.
149
150=over
151
152=item If the C</a> modifier is in effect ...
153
154C<\w> matches the 63 characters [a-zA-Z0-9_].
155
156=item otherwise ...
157
158=over
159
160=item For code points above 255 ...
161
162C<\w> matches the same as C<\p{Word}> matches in this range.  That is,
163it matches Thai letters, Greek letters, etc.  This includes connector
164punctuation (like the underscore) which connect two words together, or
165diacritics, such as a C<COMBINING TILDE> and the modifier letters, which
166are generally used to add auxiliary markings to letters.
167
168=item For code points below 256 ...
169
170=over
171
172=item if locale rules are in effect ...
173
174C<\w> matches the platform's native underscore character plus whatever
175the locale considers to be alphanumeric.
176
177=item if Unicode rules are in effect ...
178
179C<\w> matches exactly what C<\p{Word}> matches.
180
181=item otherwise ...
182
183C<\w> matches [a-zA-Z0-9_].
184
185=back
186
187=back
188
189=back
190
191Which rules apply are determined as described in L<perlre/Which character set modifier is in effect?>.
192
193There are a number of security issues with the full Unicode list of word
194characters.  See L<http://unicode.org/reports/tr36>.
195
196Also, for a somewhat finer-grained set of characters that are in programming
197language identifiers beyond the ASCII range, you may wish to instead use the
198more customized L</Unicode Properties>, C<\p{ID_Start}>,
199C<\p{ID_Continue}>, C<\p{XID_Start}>, and C<\p{XID_Continue}>.  See
200L<http://unicode.org/reports/tr31>.
201
202Any character not matched by C<\w> is matched by C<\W>.
203
204=head3 Whitespace
205
206C<\s> matches any single character considered whitespace.
207
208=over
209
210=item If the C</a> modifier is in effect ...
211
212In all Perl versions, C<\s> matches the 5 characters [\t\n\f\r ]; that
213is, the horizontal tab,
214the newline, the form feed, the carriage return, and the space.
215Starting in Perl v5.18, experimentally, it also matches the vertical tab, C<\cK>.
216See note C<[1]> below for a discussion of this.
217
218=item otherwise ...
219
220=over
221
222=item For code points above 255 ...
223
224C<\s> matches exactly the code points above 255 shown with an "s" column
225in the table below.
226
227=item For code points below 256 ...
228
229=over
230
231=item if locale rules are in effect ...
232
233C<\s> matches whatever the locale considers to be whitespace.
234
235=item if Unicode rules are in effect ...
236
237C<\s> matches exactly the characters shown with an "s" column in the
238table below.
239
240=item otherwise ...
241
242C<\s> matches [\t\n\f\r\cK ] and, starting, experimentally in Perl
243v5.18, the vertical tab, C<\cK>.
244(See note C<[1]> below for a discussion of this.)
245Note that this list doesn't include the non-breaking space.
246
247=back
248
249=back
250
251=back
252
253Which rules apply are determined as described in L<perlre/Which character set modifier is in effect?>.
254
255Any character not matched by C<\s> is matched by C<\S>.
256
257C<\h> matches any character considered horizontal whitespace;
258this includes the platform's space and tab characters and several others
259listed in the table below.  C<\H> matches any character
260not considered horizontal whitespace.  They use the platform's native
261character set, and do not consider any locale that may otherwise be in
262use.
263
264C<\v> matches any character considered vertical whitespace;
265this includes the platform's carriage return and line feed characters (newline)
266plus several other characters, all listed in the table below.
267C<\V> matches any character not considered vertical whitespace.
268They use the platform's native character set, and do not consider any
269locale that may otherwise be in use.
270
271C<\R> matches anything that can be considered a newline under Unicode
272rules. It's not a character class, as it can match a multi-character
273sequence. Therefore, it cannot be used inside a bracketed character
274class; use C<\v> instead (vertical whitespace).  It uses the platform's
275native character set, and does not consider any locale that may
276otherwise be in use.
277Details are discussed in L<perlrebackslash>.
278
279Note that unlike C<\s> (and C<\d> and C<\w>), C<\h> and C<\v> always match
280the same characters, without regard to other factors, such as the active
281locale or whether the source string is in UTF-8 format.
282
283One might think that C<\s> is equivalent to C<[\h\v]>. This is indeed true
284starting in Perl v5.18, but prior to that, the sole difference was that the
285vertical tab (C<"\cK">) was not matched by C<\s>.
286
287The following table is a complete listing of characters matched by
288C<\s>, C<\h> and C<\v> as of Unicode 6.0.
289
290The first column gives the Unicode code point of the character (in hex format),
291the second column gives the (Unicode) name. The third column indicates
292by which class(es) the character is matched (assuming no locale is in
293effect that changes the C<\s> matching).
294
295 0x0009        CHARACTER TABULATION   h s
296 0x000a              LINE FEED (LF)    vs
297 0x000b             LINE TABULATION    vs  [1]
298 0x000c              FORM FEED (FF)    vs
299 0x000d        CARRIAGE RETURN (CR)    vs
300 0x0020                       SPACE   h s
301 0x0085             NEXT LINE (NEL)    vs  [2]
302 0x00a0              NO-BREAK SPACE   h s  [2]
303 0x1680            OGHAM SPACE MARK   h s
304 0x180e   MONGOLIAN VOWEL SEPARATOR   h s
305 0x2000                     EN QUAD   h s
306 0x2001                     EM QUAD   h s
307 0x2002                    EN SPACE   h s
308 0x2003                    EM SPACE   h s
309 0x2004          THREE-PER-EM SPACE   h s
310 0x2005           FOUR-PER-EM SPACE   h s
311 0x2006            SIX-PER-EM SPACE   h s
312 0x2007                FIGURE SPACE   h s
313 0x2008           PUNCTUATION SPACE   h s
314 0x2009                  THIN SPACE   h s
315 0x200a                  HAIR SPACE   h s
316 0x2028              LINE SEPARATOR    vs
317 0x2029         PARAGRAPH SEPARATOR    vs
318 0x202f       NARROW NO-BREAK SPACE   h s
319 0x205f   MEDIUM MATHEMATICAL SPACE   h s
320 0x3000           IDEOGRAPHIC SPACE   h s
321
322=over 4
323
324=item [1]
325
326Prior to Perl v5.18, C<\s> did not match the vertical tab.  The change
327in v5.18 is considered an experiment, which means it could be backed out
328in v5.20 or v5.22 if experience indicates that it breaks too much
329existing code.  If this change adversely affects you, send email to
330C<perlbug@perl.org>; if it affects you positively, email
331C<perlthanks@perl.org>.  In the meantime, C<[^\S\cK]> (obscurely)
332matches what C<\s> traditionally did.
333
334=item [2]
335
336NEXT LINE and NO-BREAK SPACE may or may not match C<\s> depending
337on the rules in effect.  See
338L<the beginning of this section|/Whitespace>.
339
340=back
341
342=head3 Unicode Properties
343
344C<\pP> and C<\p{Prop}> are character classes to match characters that fit given
345Unicode properties.  One letter property names can be used in the C<\pP> form,
346with the property name following the C<\p>, otherwise, braces are required.
347When using braces, there is a single form, which is just the property name
348enclosed in the braces, and a compound form which looks like C<\p{name=value}>,
349which means to match if the property "name" for the character has that particular
350"value".
351For instance, a match for a number can be written as C</\pN/> or as
352C</\p{Number}/>, or as C</\p{Number=True}/>.
353Lowercase letters are matched by the property I<Lowercase_Letter> which
354has the short form I<Ll>. They need the braces, so are written as C</\p{Ll}/> or
355C</\p{Lowercase_Letter}/>, or C</\p{General_Category=Lowercase_Letter}/>
356(the underscores are optional).
357C</\pLl/> is valid, but means something different.
358It matches a two character string: a letter (Unicode property C<\pL>),
359followed by a lowercase C<l>.
360
361If locale rules are not in effect, the use of
362a Unicode property will force the regular expression into using Unicode
363rules, if it isn't already.
364
365Note that almost all properties are immune to case-insensitive matching.
366That is, adding a C</i> regular expression modifier does not change what
367they match.  There are two sets that are affected.  The first set is
368C<Uppercase_Letter>,
369C<Lowercase_Letter>,
370and C<Titlecase_Letter>,
371all of which match C<Cased_Letter> under C</i> matching.
372The second set is
373C<Uppercase>,
374C<Lowercase>,
375and C<Titlecase>,
376all of which match C<Cased> under C</i> matching.
377(The difference between these sets is that some things, such as Roman
378numerals, come in both upper and lower case, so they are C<Cased>, but
379aren't considered to be letters, so they aren't C<Cased_Letter>s. They're
380actually C<Letter_Number>s.)
381This set also includes its subsets C<PosixUpper> and C<PosixLower>, both
382of which under C</i> match C<PosixAlpha>.
383
384For more details on Unicode properties, see L<perlunicode/Unicode
385Character Properties>; for a
386complete list of possible properties, see
387L<perluniprops/Properties accessible through \p{} and \P{}>,
388which notes all forms that have C</i> differences.
389It is also possible to define your own properties. This is discussed in
390L<perlunicode/User-Defined Character Properties>.
391
392Unicode properties are defined (surprise!) only on Unicode code points.
393A warning is raised and all matches fail on non-Unicode code points
394(those above the legal Unicode maximum of 0x10FFFF).  This can be
395somewhat surprising,
396
397 chr(0x110000) =~ \p{ASCII_Hex_Digit=True}      # Fails.
398 chr(0x110000) =~ \p{ASCII_Hex_Digit=False}     # Also fails!
399
400Even though these two matches might be thought of as complements, they
401are so only on Unicode code points.
402
403=head4 Examples
404
405 "a"  =~  /\w/      # Match, "a" is a 'word' character.
406 "7"  =~  /\w/      # Match, "7" is a 'word' character as well.
407 "a"  =~  /\d/      # No match, "a" isn't a digit.
408 "7"  =~  /\d/      # Match, "7" is a digit.
409 " "  =~  /\s/      # Match, a space is whitespace.
410 "a"  =~  /\D/      # Match, "a" is a non-digit.
411 "7"  =~  /\D/      # No match, "7" is not a non-digit.
412 " "  =~  /\S/      # No match, a space is not non-whitespace.
413
414 " "  =~  /\h/      # Match, space is horizontal whitespace.
415 " "  =~  /\v/      # No match, space is not vertical whitespace.
416 "\r" =~  /\v/      # Match, a return is vertical whitespace.
417
418 "a"  =~  /\pL/     # Match, "a" is a letter.
419 "a"  =~  /\p{Lu}/  # No match, /\p{Lu}/ matches upper case letters.
420
421 "\x{0e0b}" =~ /\p{Thai}/  # Match, \x{0e0b} is the character
422                           # 'THAI CHARACTER SO SO', and that's in
423                           # Thai Unicode class.
424 "a"  =~  /\P{Lao}/ # Match, as "a" is not a Laotian character.
425
426It is worth emphasizing that C<\d>, C<\w>, etc, match single characters, not
427complete numbers or words. To match a number (that consists of digits),
428use C<\d+>; to match a word, use C<\w+>.  But be aware of the security
429considerations in doing so, as mentioned above.
430
431=head2 Bracketed Character Classes
432
433The third form of character class you can use in Perl regular expressions
434is the bracketed character class.  In its simplest form, it lists the characters
435that may be matched, surrounded by square brackets, like this: C<[aeiou]>.
436This matches one of C<a>, C<e>, C<i>, C<o> or C<u>.  Like the other
437character classes, exactly one character is matched.* To match
438a longer string consisting of characters mentioned in the character
439class, follow the character class with a L<quantifier|perlre/Quantifiers>.  For
440instance, C<[aeiou]+> matches one or more lowercase English vowels.
441
442Repeating a character in a character class has no
443effect; it's considered to be in the set only once.
444
445Examples:
446
447 "e"  =~  /[aeiou]/        # Match, as "e" is listed in the class.
448 "p"  =~  /[aeiou]/        # No match, "p" is not listed in the class.
449 "ae" =~  /^[aeiou]$/      # No match, a character class only matches
450                           # a single character.
451 "ae" =~  /^[aeiou]+$/     # Match, due to the quantifier.
452
453 -------
454
455* There is an exception to a bracketed character class matching a
456single character only.  When the class is to match caselessly under C</i>
457matching rules, and a character that is explicitly mentioned inside the
458class matches a
459multiple-character sequence caselessly under Unicode rules, the class
460(when not L<inverted|/Negation>) will also match that sequence.  For
461example, Unicode says that the letter C<LATIN SMALL LETTER SHARP S>
462should match the sequence C<ss> under C</i> rules.  Thus,
463
464 'ss' =~ /\A\N{LATIN SMALL LETTER SHARP S}\z/i             # Matches
465 'ss' =~ /\A[aeioust\N{LATIN SMALL LETTER SHARP S}]\z/i    # Matches
466
467For this to happen, the character must be explicitly specified, and not
468be part of a multi-character range (not even as one of its endpoints).
469(L</Character Ranges> will be explained shortly.)  Therefore,
470
471 'ss' =~ /\A[\0-\x{ff}]\z/i        # Doesn't match
472 'ss' =~ /\A[\0-\N{LATIN SMALL LETTER SHARP S}]\z/i    # No match
473 'ss' =~ /\A[\xDF-\xDF]\z/i    # Matches on ASCII platforms, since \XDF
474                               # is LATIN SMALL LETTER SHARP S, and the
475                               # range is just a single element
476
477Note that it isn't a good idea to specify these types of ranges anyway.
478
479=head3 Special Characters Inside a Bracketed Character Class
480
481Most characters that are meta characters in regular expressions (that
482is, characters that carry a special meaning like C<.>, C<*>, or C<(>) lose
483their special meaning and can be used inside a character class without
484the need to escape them. For instance, C<[()]> matches either an opening
485parenthesis, or a closing parenthesis, and the parens inside the character
486class don't group or capture.
487
488Characters that may carry a special meaning inside a character class are:
489C<\>, C<^>, C<->, C<[> and C<]>, and are discussed below. They can be
490escaped with a backslash, although this is sometimes not needed, in which
491case the backslash may be omitted.
492
493The sequence C<\b> is special inside a bracketed character class. While
494outside the character class, C<\b> is an assertion indicating a point
495that does not have either two word characters or two non-word characters
496on either side, inside a bracketed character class, C<\b> matches a
497backspace character.
498
499The sequences
500C<\a>,
501C<\c>,
502C<\e>,
503C<\f>,
504C<\n>,
505C<\N{I<NAME>}>,
506C<\N{U+I<hex char>}>,
507C<\r>,
508C<\t>,
509and
510C<\x>
511are also special and have the same meanings as they do outside a
512bracketed character class.  (However, inside a bracketed character
513class, if C<\N{I<NAME>}> expands to a sequence of characters, only the first
514one in the sequence is used, with a warning.)
515
516Also, a backslash followed by two or three octal digits is considered an octal
517number.
518
519A C<[> is not special inside a character class, unless it's the start of a
520POSIX character class (see L</POSIX Character Classes> below). It normally does
521not need escaping.
522
523A C<]> is normally either the end of a POSIX character class (see
524L</POSIX Character Classes> below), or it signals the end of the bracketed
525character class.  If you want to include a C<]> in the set of characters, you
526must generally escape it.
527
528However, if the C<]> is the I<first> (or the second if the first
529character is a caret) character of a bracketed character class, it
530does not denote the end of the class (as you cannot have an empty class)
531and is considered part of the set of characters that can be matched without
532escaping.
533
534Examples:
535
536 "+"   =~ /[+?*]/     #  Match, "+" in a character class is not special.
537 "\cH" =~ /[\b]/      #  Match, \b inside in a character class.
538                      #  is equivalent to a backspace.
539 "]"   =~ /[][]/      #  Match, as the character class contains.
540                      #  both [ and ].
541 "[]"  =~ /[[]]/      #  Match, the pattern contains a character class
542                      #  containing just ], and the character class is
543                      #  followed by a ].
544
545=head3 Character Ranges
546
547It is not uncommon to want to match a range of characters. Luckily, instead
548of listing all characters in the range, one may use the hyphen (C<->).
549If inside a bracketed character class you have two characters separated
550by a hyphen, it's treated as if all characters between the two were in
551the class. For instance, C<[0-9]> matches any ASCII digit, and C<[a-m]>
552matches any lowercase letter from the first half of the ASCII alphabet.
553
554Note that the two characters on either side of the hyphen are not
555necessarily both letters or both digits. Any character is possible,
556although not advisable.  C<['-?]> contains a range of characters, but
557most people will not know which characters that means.  Furthermore,
558such ranges may lead to portability problems if the code has to run on
559a platform that uses a different character set, such as EBCDIC.
560
561If a hyphen in a character class cannot syntactically be part of a range, for
562instance because it is the first or the last character of the character class,
563or if it immediately follows a range, the hyphen isn't special, and so is
564considered a character to be matched literally.  If you want a hyphen in
565your set of characters to be matched and its position in the class is such
566that it could be considered part of a range, you must escape that hyphen
567with a backslash.
568
569Examples:
570
571 [a-z]       #  Matches a character that is a lower case ASCII letter.
572 [a-fz]      #  Matches any letter between 'a' and 'f' (inclusive) or
573             #  the letter 'z'.
574 [-z]        #  Matches either a hyphen ('-') or the letter 'z'.
575 [a-f-m]     #  Matches any letter between 'a' and 'f' (inclusive), the
576             #  hyphen ('-'), or the letter 'm'.
577 ['-?]       #  Matches any of the characters  '()*+,-./0123456789:;<=>?
578             #  (But not on an EBCDIC platform).
579
580
581=head3 Negation
582
583It is also possible to instead list the characters you do not want to
584match. You can do so by using a caret (C<^>) as the first character in the
585character class. For instance, C<[^a-z]> matches any character that is not a
586lowercase ASCII letter, which therefore includes more than a million
587Unicode code points.  The class is said to be "negated" or "inverted".
588
589This syntax make the caret a special character inside a bracketed character
590class, but only if it is the first character of the class. So if you want
591the caret as one of the characters to match, either escape the caret or
592else don't list it first.
593
594In inverted bracketed character classes, Perl ignores the Unicode rules
595that normally say that certain characters should match a sequence of
596multiple characters under caseless C</i> matching.  Following those
597rules could lead to highly confusing situations:
598
599 "ss" =~ /^[^\xDF]+$/ui;   # Matches!
600
601This should match any sequences of characters that aren't C<\xDF> nor
602what C<\xDF> matches under C</i>.  C<"s"> isn't C<\xDF>, but Unicode
603says that C<"ss"> is what C<\xDF> matches under C</i>.  So which one
604"wins"? Do you fail the match because the string has C<ss> or accept it
605because it has an C<s> followed by another C<s>?  Perl has chosen the
606latter.
607
608Examples:
609
610 "e"  =~  /[^aeiou]/   #  No match, the 'e' is listed.
611 "x"  =~  /[^aeiou]/   #  Match, as 'x' isn't a lowercase vowel.
612 "^"  =~  /[^^]/       #  No match, matches anything that isn't a caret.
613 "^"  =~  /[x^]/       #  Match, caret is not special here.
614
615=head3 Backslash Sequences
616
617You can put any backslash sequence character class (with the exception of
618C<\N> and C<\R>) inside a bracketed character class, and it will act just
619as if you had put all characters matched by the backslash sequence inside the
620character class. For instance, C<[a-f\d]> matches any decimal digit, or any
621of the lowercase letters between 'a' and 'f' inclusive.
622
623C<\N> within a bracketed character class must be of the forms C<\N{I<name>}>
624or C<\N{U+I<hex char>}>, and NOT be the form that matches non-newlines,
625for the same reason that a dot C<.> inside a bracketed character class loses
626its special meaning: it matches nearly anything, which generally isn't what you
627want to happen.
628
629
630Examples:
631
632 /[\p{Thai}\d]/     # Matches a character that is either a Thai
633                    # character, or a digit.
634 /[^\p{Arabic}()]/  # Matches a character that is neither an Arabic
635                    # character, nor a parenthesis.
636
637Backslash sequence character classes cannot form one of the endpoints
638of a range.  Thus, you can't say:
639
640 /[\p{Thai}-\d]/     # Wrong!
641
642=head3 POSIX Character Classes
643X<character class> X<\p> X<\p{}>
644X<alpha> X<alnum> X<ascii> X<blank> X<cntrl> X<digit> X<graph>
645X<lower> X<print> X<punct> X<space> X<upper> X<word> X<xdigit>
646
647POSIX character classes have the form C<[:class:]>, where I<class> is
648name, and the C<[:> and C<:]> delimiters. POSIX character classes only appear
649I<inside> bracketed character classes, and are a convenient and descriptive
650way of listing a group of characters.
651
652Be careful about the syntax,
653
654 # Correct:
655 $string =~ /[[:alpha:]]/
656
657 # Incorrect (will warn):
658 $string =~ /[:alpha:]/
659
660The latter pattern would be a character class consisting of a colon,
661and the letters C<a>, C<l>, C<p> and C<h>.
662POSIX character classes can be part of a larger bracketed character class.
663For example,
664
665 [01[:alpha:]%]
666
667is valid and matches '0', '1', any alphabetic character, and the percent sign.
668
669Perl recognizes the following POSIX character classes:
670
671 alpha  Any alphabetical character ("[A-Za-z]").
672 alnum  Any alphanumeric character ("[A-Za-z0-9]").
673 ascii  Any character in the ASCII character set.
674 blank  A GNU extension, equal to a space or a horizontal tab ("\t").
675 cntrl  Any control character.  See Note [2] below.
676 digit  Any decimal digit ("[0-9]"), equivalent to "\d".
677 graph  Any printable character, excluding a space.  See Note [3] below.
678 lower  Any lowercase character ("[a-z]").
679 print  Any printable character, including a space.  See Note [4] below.
680 punct  Any graphical character excluding "word" characters.  Note [5].
681 space  Any whitespace character. "\s" including the vertical tab
682        ("\cK").
683 upper  Any uppercase character ("[A-Z]").
684 word   A Perl extension ("[A-Za-z0-9_]"), equivalent to "\w".
685 xdigit Any hexadecimal digit ("[0-9a-fA-F]").
686
687Most POSIX character classes have two Unicode-style C<\p> property
688counterparts.  (They are not official Unicode properties, but Perl extensions
689derived from official Unicode properties.)  The table below shows the relation
690between POSIX character classes and these counterparts.
691
692One counterpart, in the column labelled "ASCII-range Unicode" in
693the table, matches only characters in the ASCII character set.
694
695The other counterpart, in the column labelled "Full-range Unicode", matches any
696appropriate characters in the full Unicode character set.  For example,
697C<\p{Alpha}> matches not just the ASCII alphabetic characters, but any
698character in the entire Unicode character set considered alphabetic.
699An entry in the column labelled "backslash sequence" is a (short)
700equivalent.
701
702 [[:...:]]      ASCII-range          Full-range  backslash  Note
703                 Unicode              Unicode     sequence
704 -----------------------------------------------------
705   alpha      \p{PosixAlpha}       \p{XPosixAlpha}
706   alnum      \p{PosixAlnum}       \p{XPosixAlnum}
707   ascii      \p{ASCII}
708   blank      \p{PosixBlank}       \p{XPosixBlank}  \h      [1]
709                                   or \p{HorizSpace}        [1]
710   cntrl      \p{PosixCntrl}       \p{XPosixCntrl}          [2]
711   digit      \p{PosixDigit}       \p{XPosixDigit}  \d
712   graph      \p{PosixGraph}       \p{XPosixGraph}          [3]
713   lower      \p{PosixLower}       \p{XPosixLower}
714   print      \p{PosixPrint}       \p{XPosixPrint}          [4]
715   punct      \p{PosixPunct}       \p{XPosixPunct}          [5]
716              \p{PerlSpace}        \p{XPerlSpace}   \s      [6]
717   space      \p{PosixSpace}       \p{XPosixSpace}          [6]
718   upper      \p{PosixUpper}       \p{XPosixUpper}
719   word       \p{PosixWord}        \p{XPosixWord}   \w
720   xdigit     \p{PosixXDigit}      \p{XPosixXDigit}
721
722=over 4
723
724=item [1]
725
726C<\p{Blank}> and C<\p{HorizSpace}> are synonyms.
727
728=item [2]
729
730Control characters don't produce output as such, but instead usually control
731the terminal somehow: for example, newline and backspace are control characters.
732In the ASCII range, characters whose code points are between 0 and 31 inclusive,
733plus 127 (C<DEL>) are control characters.
734
735=item [3]
736
737Any character that is I<graphical>, that is, visible. This class consists
738of all alphanumeric characters and all punctuation characters.
739
740=item [4]
741
742All printable characters, which is the set of all graphical characters
743plus those whitespace characters which are not also controls.
744
745=item [5]
746
747C<\p{PosixPunct}> and C<[[:punct:]]> in the ASCII range match all
748non-controls, non-alphanumeric, non-space characters:
749C<[-!"#$%&'()*+,./:;<=E<gt>?@[\\\]^_`{|}~]> (although if a locale is in effect,
750it could alter the behavior of C<[[:punct:]]>).
751
752The similarly named property, C<\p{Punct}>, matches a somewhat different
753set in the ASCII range, namely
754C<[-!"#%&'()*,./:;?@[\\\]_{}]>.  That is, it is missing the nine
755characters C<[$+E<lt>=E<gt>^`|~]>.
756This is because Unicode splits what POSIX considers to be punctuation into two
757categories, Punctuation and Symbols.
758
759C<\p{XPosixPunct}> and (under Unicode rules) C<[[:punct:]]>, match what
760C<\p{PosixPunct}> matches in the ASCII range, plus what C<\p{Punct}>
761matches.  This is different than strictly matching according to
762C<\p{Punct}>.  Another way to say it is that
763if Unicode rules are in effect, C<[[:punct:]]> matches all characters
764that Unicode considers punctuation, plus all ASCII-range characters that
765Unicode considers symbols.
766
767=item [6]
768
769C<\p{SpacePerl}> and C<\p{Space}> match identically starting with Perl
770v5.18.  In earlier versions, these differ only in that in non-locale
771matching, C<\p{SpacePerl}> does not match the vertical tab, C<\cK>.
772Same for the two ASCII-only range forms.
773
774=back
775
776There are various other synonyms that can be used besides the names
777listed in the table.  For example, C<\p{PosixAlpha}> can be written as
778C<\p{Alpha}>.  All are listed in
779L<perluniprops/Properties accessible through \p{} and \P{}>,
780plus all characters matched by each ASCII-range property.
781
782Both the C<\p> counterparts always assume Unicode rules are in effect.
783On ASCII platforms, this means they assume that the code points from 128
784to 255 are Latin-1, and that means that using them under locale rules is
785unwise unless the locale is guaranteed to be Latin-1 or UTF-8.  In contrast, the
786POSIX character classes are useful under locale rules.  They are
787affected by the actual rules in effect, as follows:
788
789=over
790
791=item If the C</a> modifier, is in effect ...
792
793Each of the POSIX classes matches exactly the same as their ASCII-range
794counterparts.
795
796=item otherwise ...
797
798=over
799
800=item For code points above 255 ...
801
802The POSIX class matches the same as its Full-range counterpart.
803
804=item For code points below 256 ...
805
806=over
807
808=item if locale rules are in effect ...
809
810The POSIX class matches according to the locale, except that
811C<word> uses the platform's native underscore character, no matter what
812the locale is.
813
814=item if Unicode rules are in effect ...
815
816The POSIX class matches the same as the Full-range counterpart.
817
818=item otherwise ...
819
820The POSIX class matches the same as the ASCII range counterpart.
821
822=back
823
824=back
825
826=back
827
828Which rules apply are determined as described in
829L<perlre/Which character set modifier is in effect?>.
830
831It is proposed to change this behavior in a future release of Perl so that
832whether or not Unicode rules are in effect would not change the
833behavior:  Outside of locale, the POSIX classes
834would behave like their ASCII-range counterparts.  If you wish to
835comment on this proposal, send email to C<perl5-porters@perl.org>.
836
837=head4 Negation of POSIX character classes
838X<character class, negation>
839
840A Perl extension to the POSIX character class is the ability to
841negate it. This is done by prefixing the class name with a caret (C<^>).
842Some examples:
843
844     POSIX         ASCII-range     Full-range  backslash
845                    Unicode         Unicode    sequence
846 -----------------------------------------------------
847 [[:^digit:]]   \P{PosixDigit}  \P{XPosixDigit}   \D
848 [[:^space:]]   \P{PosixSpace}  \P{XPosixSpace}
849                \P{PerlSpace}   \P{XPerlSpace}    \S
850 [[:^word:]]    \P{PerlWord}    \P{XPosixWord}    \W
851
852The backslash sequence can mean either ASCII- or Full-range Unicode,
853depending on various factors as described in L<perlre/Which character set modifier is in effect?>.
854
855=head4 [= =] and [. .]
856
857Perl recognizes the POSIX character classes C<[=class=]> and
858C<[.class.]>, but does not (yet?) support them.  Any attempt to use
859either construct raises an exception.
860
861=head4 Examples
862
863 /[[:digit:]]/            # Matches a character that is a digit.
864 /[01[:lower:]]/          # Matches a character that is either a
865                          # lowercase letter, or '0' or '1'.
866 /[[:digit:][:^xdigit:]]/ # Matches a character that can be anything
867                          # except the letters 'a' to 'f' and 'A' to
868                          # 'F'.  This is because the main character
869                          # class is composed of two POSIX character
870                          # classes that are ORed together, one that
871                          # matches any digit, and the other that
872                          # matches anything that isn't a hex digit.
873                          # The OR adds the digits, leaving only the
874                          # letters 'a' to 'f' and 'A' to 'F' excluded.
875
876=head3 Extended Bracketed Character Classes
877X<character class>
878X<set operations>
879
880This is a fancy bracketed character class that can be used for more
881readable and less error-prone classes, and to perform set operations,
882such as intersection. An example is
883
884 /(?[ \p{Thai} & \p{Digit} ])/
885
886This will match all the digit characters that are in the Thai script.
887
888This is an experimental feature available starting in 5.18, and is
889subject to change as we gain field experience with it.  Any attempt to
890use it will raise a warning, unless disabled via
891
892 no warnings "experimental::regex_sets";
893
894Comments on this feature are welcome; send email to
895C<perl5-porters@perl.org>.
896
897We can extend the example above:
898
899 /(?[ ( \p{Thai} + \p{Lao} ) & \p{Digit} ])/
900
901This matches digits that are in either the Thai or Laotian scripts.
902
903Notice the white space in these examples.  This construct always has
904the C<E<sol>x> modifier turned on.
905
906The available binary operators are:
907
908 &    intersection
909 +    union
910 |    another name for '+', hence means union
911 -    subtraction (the result matches the set consisting of those
912      code points matched by the first operand, excluding any that
913      are also matched by the second operand)
914 ^    symmetric difference (the union minus the intersection).  This
915      is like an exclusive or, in that the result is the set of code
916      points that are matched by either, but not both, of the
917      operands.
918
919There is one unary operator:
920
921 !    complement
922
923All the binary operators left associate, and are of equal precedence.
924The unary operator right associates, and has higher precedence.  Use
925parentheses to override the default associations.  Some feedback we've
926received indicates a desire for intersection to have higher precedence
927than union.  This is something that feedback from the field may cause us
928to change in future releases; you may want to parenthesize copiously to
929avoid such changes affecting your code, until this feature is no longer
930considered experimental.
931
932The main restriction is that everything is a metacharacter.  Thus,
933you cannot refer to single characters by doing something like this:
934
935 /(?[ a + b ])/ # Syntax error!
936
937The easiest way to specify an individual typable character is to enclose
938it in brackets:
939
940 /(?[ [a] + [b] ])/
941
942(This is the same thing as C<[ab]>.)  You could also have said the
943equivalent:
944
945 /(?[[ a b ]])/
946
947(You can, of course, specify single characters by using, C<\x{ }>,
948C<\N{ }>, etc.)
949
950This last example shows the use of this construct to specify an ordinary
951bracketed character class without additional set operations.  Note the
952white space within it; C<E<sol>x> is turned on even within bracketed
953character classes, except you can't have comments inside them.  Hence,
954
955 (?[ [#] ])
956
957matches the literal character "#".  To specify a literal white space character,
958you can escape it with a backslash, like:
959
960 /(?[ [ a e i o u \  ] ])/
961
962This matches the English vowels plus the SPACE character.
963All the other escapes accepted by normal bracketed character classes are
964accepted here as well; but unrecognized escapes that generate warnings
965in normal classes are fatal errors here.
966
967All warnings from these class elements are fatal, as well as some
968practices that don't currently warn.  For example you cannot say
969
970 /(?[ [ \xF ] ])/     # Syntax error!
971
972You have to have two hex digits after a braceless C<\x> (use a leading
973zero to make two).  These restrictions are to lower the incidence of
974typos causing the class to not match what you thought it would.
975
976The final difference between regular bracketed character classes and
977these, is that it is not possible to get these to match a
978multi-character fold.  Thus,
979
980 /(?[ [\xDF] ])/iu
981
982does not match the string C<ss>.
983
984You don't have to enclose POSIX class names inside double brackets,
985hence both of the following work:
986
987 /(?[ [:word:] - [:lower:] ])/
988 /(?[ [[:word:]] - [[:lower:]] ])/
989
990Any contained POSIX character classes, including things like C<\w> and C<\D>
991respect the C<E<sol>a> (and C<E<sol>aa>) modifiers.
992
993C<< (?[ ]) >> is a regex-compile-time construct.  Any attempt to use
994something which isn't knowable at the time the containing regular
995expression is compiled is a fatal error.  In practice, this means
996just three limitiations:
997
998=over 4
999
1000=item 1
1001
1002This construct cannot be used within the scope of
1003C<use locale> (or the C<E<sol>l> regex modifier).
1004
1005=item 2
1006
1007Any
1008L<user-defined property|perlunicode/"User-Defined Character Properties">
1009used must be already defined by the time the regular expression is
1010compiled (but note that this construct can be used instead of such
1011properties).
1012
1013=item 3
1014
1015A regular expression that otherwise would compile
1016using C<E<sol>d> rules, and which uses this construct will instead
1017use C<E<sol>u>.  Thus this construct tells Perl that you don't want
1018C<E<sol>d> rules for the entire regular expression containing it.
1019
1020=back
1021
1022The C<E<sol>x> processing within this class is an extended form.
1023Besides the characters that are considered white space in normal C</x>
1024processing, there are 5 others, recommended by the Unicode standard:
1025
1026 U+0085 NEXT LINE
1027 U+200E LEFT-TO-RIGHT MARK
1028 U+200F RIGHT-TO-LEFT MARK
1029 U+2028 LINE SEPARATOR
1030 U+2029 PARAGRAPH SEPARATOR
1031
1032Note that skipping white space applies only to the interior of this
1033construct.  There must not be any space between any of the characters
1034that form the initial C<(?[>.  Nor may there be space between the
1035closing C<])> characters.
1036
1037Just as in all regular expressions, the pattern can can be built up by
1038including variables that are interpolated at regex compilation time.
1039Care must be taken to ensure that you are getting what you expect.  For
1040example:
1041
1042 my $thai_or_lao = '\p{Thai} + \p{Lao}';
1043 ...
1044 qr/(?[ \p{Digit} & $thai_or_lao ])/;
1045
1046compiles to
1047
1048 qr/(?[ \p{Digit} & \p{Thai} + \p{Lao} ])/;
1049
1050But this does not have the effect that someone reading the code would
1051likely expect, as the intersection applies just to C<\p{Thai}>,
1052excluding the Laotian.  Pitfalls like this can be avoided by
1053parenthesizing the component pieces:
1054
1055 my $thai_or_lao = '( \p{Thai} + \p{Lao} )';
1056
1057But any modifiers will still apply to all the components:
1058
1059 my $lower = '\p{Lower} + \p{Digit}';
1060 qr/(?[ \p{Greek} & $lower ])/i;
1061
1062matches upper case things.  You can avoid surprises by making the
1063components into instances of this construct by compiling them:
1064
1065 my $thai_or_lao = qr/(?[ \p{Thai} + \p{Lao} ])/;
1066 my $lower = qr/(?[ \p{Lower} + \p{Digit} ])/;
1067
1068When these are embedded in another pattern, what they match does not
1069change, regardless of parenthesization or what modifiers are in effect
1070in that outer pattern.
1071
1072Due to the way that Perl parses things, your parentheses and brackets
1073may need to be balanced, even including comments.  If you run into any
1074examples, please send them to C<perlbug@perl.org>, so that we can have a
1075concrete example for this man page.
1076
1077We may change it so that things that remain legal uses in normal bracketed
1078character classes might become illegal within this experimental
1079construct.  One proposal, for example, is to forbid adjacent uses of the
1080same character, as in C<(?[ [aa] ])>.  The motivation for such a change
1081is that this usage is likely a typo, as the second "a" adds nothing.
1082