This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Clarify \c usage in perlrebackslash.pod
[perl5.git] / pod / perlunicode.pod
CommitLineData
393fec97
GS
1=head1 NAME
2
3perlunicode - Unicode support in Perl
4
5=head1 DESCRIPTION
6
0a1f2d14 7=head2 Important Caveats
21bad921 8
376d9008 9Unicode support is an extensive requirement. While Perl does not
c349b1b9
JH
10implement the Unicode standard or the accompanying technical reports
11from cover to cover, Perl does support many Unicode features.
21bad921 12
2575c402 13People who want to learn to use Unicode in Perl, should probably read
e4911a48
RS
14L<the Perl Unicode tutorial, perlunitut|perlunitut>, before reading
15this reference document.
2575c402 16
13a2d996 17=over 4
21bad921 18
fae2c0fb 19=item Input and Output Layers
21bad921 20
376d9008 21Perl knows when a filehandle uses Perl's internal Unicode encodings
1bfb14c4
JH
22(UTF-8, or UTF-EBCDIC if in EBCDIC) if the filehandle is opened with
23the ":utf8" layer. Other encodings can be converted to Perl's
24encoding on input or from Perl's encoding on output by use of the
25":encoding(...)" layer. See L<open>.
c349b1b9 26
2575c402 27To indicate that Perl source itself is in UTF-8, use C<use utf8;>.
21bad921
GS
28
29=item Regular Expressions
30
c349b1b9 31The regular expression compiler produces polymorphic opcodes. That is,
376d9008 32the pattern adapts to the data and automatically switches to the Unicode
2575c402 33character scheme when presented with data that is internally encoded in
ac036724 34UTF-8, or instead uses a traditional byte scheme when presented with
2575c402 35byte data.
21bad921 36
ad0029c4 37=item C<use utf8> still needed to enable UTF-8/UTF-EBCDIC in scripts
21bad921 38
376d9008
JB
39As a compatibility measure, the C<use utf8> pragma must be explicitly
40included to enable recognition of UTF-8 in the Perl scripts themselves
1bfb14c4
JH
41(in string or regular expression literals, or in identifier names) on
42ASCII-based machines or to recognize UTF-EBCDIC on EBCDIC-based
376d9008 43machines. B<These are the only times when an explicit C<use utf8>
8f8cf39c 44is needed.> See L<utf8>.
21bad921 45
7aa207d6
JH
46=item BOM-marked scripts and UTF-16 scripts autodetected
47
48If a Perl script begins marked with the Unicode BOM (UTF-16LE, UTF16-BE,
49or UTF-8), or if the script looks like non-BOM-marked UTF-16 of either
50endianness, Perl will correctly read in the script as Unicode.
51(BOMless UTF-8 cannot be effectively recognized or differentiated from
52ISO 8859-1 or other eight-bit encodings.)
53
990e18f7
AT
54=item C<use encoding> needed to upgrade non-Latin-1 byte strings
55
38a44b82 56By default, there is a fundamental asymmetry in Perl's Unicode model:
990e18f7
AT
57implicit upgrading from byte strings to Unicode strings assumes that
58they were encoded in I<ISO 8859-1 (Latin-1)>, but Unicode strings are
59downgraded with UTF-8 encoding. This happens because the first 256
51f494cc 60codepoints in Unicode happens to agree with Latin-1.
990e18f7 61
990e18f7
AT
62See L</"Byte and Character Semantics"> for more details.
63
21bad921
GS
64=back
65
376d9008 66=head2 Byte and Character Semantics
393fec97 67
376d9008 68Beginning with version 5.6, Perl uses logically-wide characters to
3e4dbfed 69represent strings internally.
393fec97 70
376d9008
JB
71In future, Perl-level operations will be expected to work with
72characters rather than bytes.
393fec97 73
376d9008 74However, as an interim compatibility measure, Perl aims to
75daf61c
JH
75provide a safe migration path from byte semantics to character
76semantics for programs. For operations where Perl can unambiguously
376d9008 77decide that the input data are characters, Perl switches to
75daf61c
JH
78character semantics. For operations where this determination cannot
79be made without additional information from the user, Perl decides in
376d9008 80favor of compatibility and chooses to use byte semantics.
8cbd9a7a 81
51f494cc 82Under byte semantics, when C<use locale> is in effect, Perl uses the
e1b711da
KW
83semantics associated with the current locale. Absent a C<use locale>, and
84absent a C<use feature 'unicode_strings'> pragma, Perl currently uses US-ASCII
85(or Basic Latin in Unicode terminology) byte semantics, meaning that characters
86whose ordinal numbers are in the range 128 - 255 are undefined except for their
87ordinal numbers. This means that none have case (upper and lower), nor are any
88a member of character classes, like C<[:alpha:]> or C<\w>. (But all do belong
89to the C<\W> class or the Perl regular expression extension C<[:^alpha:]>.)
2bbc8d55 90
8cbd9a7a 91This behavior preserves compatibility with earlier versions of Perl,
376d9008 92which allowed byte semantics in Perl operations only if
e1b711da 93none of the program's inputs were marked as being a source of Unicode
8cbd9a7a
GS
94character data. Such data may come from filehandles, from calls to
95external programs, from information provided by the system (such as %ENV),
21bad921 96or from literals and constants in the source text.
8cbd9a7a 97
376d9008
JB
98The C<bytes> pragma will always, regardless of platform, force byte
99semantics in a particular lexical scope. See L<bytes>.
8cbd9a7a 100
e1b711da
KW
101The C<use feature 'unicode_strings'> pragma is intended to always, regardless
102of platform, force Unicode semantics in a particular lexical scope. In
103release 5.12, it is partially implemented, applying only to case changes.
104See L</The "Unicode Bug"> below.
105
8cbd9a7a 106The C<utf8> pragma is primarily a compatibility device that enables
75daf61c 107recognition of UTF-(8|EBCDIC) in literals encountered by the parser.
376d9008
JB
108Note that this pragma is only required while Perl defaults to byte
109semantics; when character semantics become the default, this pragma
110may become a no-op. See L<utf8>.
111
112Unless explicitly stated, Perl operators use character semantics
113for Unicode data and byte semantics for non-Unicode data.
114The decision to use character semantics is made transparently. If
115input data comes from a Unicode source--for example, if a character
fae2c0fb 116encoding layer is added to a filehandle or a literal Unicode
376d9008
JB
117string constant appears in a program--character semantics apply.
118Otherwise, byte semantics are in effect. The C<bytes> pragma should
e1b711da
KW
119be used to force byte semantics on Unicode data, and the C<use feature
120'unicode_strings'> pragma to force Unicode semantics on byte data (though in
1215.12 it isn't fully implemented).
376d9008
JB
122
123If strings operating under byte semantics and strings with Unicode
51f494cc 124character data are concatenated, the new string will have
d9b01026
KW
125character semantics. This can cause surprises: See L</BUGS>, below.
126You can choose to be warned when this happens. See L<encoding::warnings>.
7dedd01f 127
feda178f 128Under character semantics, many operations that formerly operated on
376d9008 129bytes now operate on characters. A character in Perl is
feda178f 130logically just a number ranging from 0 to 2**31 or so. Larger
376d9008
JB
131characters may encode into longer sequences of bytes internally, but
132this internal detail is mostly hidden for Perl code.
133See L<perluniintro> for more.
393fec97 134
376d9008 135=head2 Effects of Character Semantics
393fec97
GS
136
137Character semantics have the following effects:
138
139=over 4
140
141=item *
142
376d9008 143Strings--including hash keys--and regular expression patterns may
574c8022 144contain characters that have an ordinal value larger than 255.
393fec97 145
2575c402
JW
146If you use a Unicode editor to edit your program, Unicode characters may
147occur directly within the literal strings in UTF-8 encoding, or UTF-16.
148(The former requires a BOM or C<use utf8>, the latter requires a BOM.)
3e4dbfed 149
195e542a
KW
150Unicode characters can also be added to a string by using the C<\N{U+...}>
151notation. The Unicode code for the desired character, in hexadecimal,
152should be placed in the braces, after the C<U>. For instance, a smiley face is
6f335b04
KW
153C<\N{U+263A}>.
154
195e542a
KW
155Alternatively, you can use the C<\x{...}> notation for characters 0x100 and
156above. For characters below 0x100 you may get byte semantics instead of
6f335b04 157character semantics; see L</The "Unicode Bug">. On EBCDIC machines there is
195e542a 158the additional problem that the value for such characters gives the EBCDIC
6f335b04 159character rather than the Unicode one.
3e4dbfed
JF
160
161Additionally, if you
574c8022 162
3e4dbfed 163 use charnames ':full';
574c8022 164
1bfb14c4
JH
165you can use the C<\N{...}> notation and put the official Unicode
166character name within the braces, such as C<\N{WHITE SMILING FACE}>.
6f335b04 167See L<charnames>.
376d9008 168
393fec97
GS
169=item *
170
574c8022
JH
171If an appropriate L<encoding> is specified, identifiers within the
172Perl script may contain Unicode alphanumeric characters, including
376d9008
JB
173ideographs. Perl does not currently attempt to canonicalize variable
174names.
393fec97 175
393fec97
GS
176=item *
177
1bfb14c4 178Regular expressions match characters instead of bytes. "." matches
2575c402 179a character instead of a byte.
393fec97 180
393fec97
GS
181=item *
182
183Character classes in regular expressions match characters instead of
376d9008 184bytes and match against the character properties specified in the
1bfb14c4 185Unicode properties database. C<\w> can be used to match a Japanese
75daf61c 186ideograph, for instance.
393fec97 187
393fec97
GS
188=item *
189
eb0cc9e3 190Named Unicode properties, scripts, and block ranges may be used like
376d9008 191character classes via the C<\p{}> "matches property" construct and
822502e5 192the C<\P{}> negation, "doesn't match property".
2575c402 193See L</"Unicode Character Properties"> for more details.
822502e5
TS
194
195You can define your own character properties and use them
196in the regular expression with the C<\p{}> or C<\P{}> construct.
822502e5
TS
197See L</"User-Defined Character Properties"> for more details.
198
199=item *
200
9f815e24
KW
201The special pattern C<\X> matches a logical character, an "extended grapheme
202cluster" in Standardese. In Unicode what appears to the user to be a single
51f494cc
KW
203character, for example an accented C<G>, may in fact be composed of a sequence
204of characters, in this case a C<G> followed by an accent character. C<\X>
205will match the entire sequence.
822502e5
TS
206
207=item *
208
209The C<tr///> operator translates characters instead of bytes. Note
210that the C<tr///CU> functionality has been removed. For similar
211functionality see pack('U0', ...) and pack('C0', ...).
212
213=item *
214
215Case translation operators use the Unicode case translation tables
216when character input is provided. Note that C<uc()>, or C<\U> in
217interpolated strings, translates to uppercase, while C<ucfirst>,
218or C<\u> in interpolated strings, translates to titlecase in languages
e1b711da
KW
219that make the distinction (which is equivalent to uppercase in languages
220without the distinction).
822502e5
TS
221
222=item *
223
224Most operators that deal with positions or lengths in a string will
225automatically switch to using character positions, including
226C<chop()>, C<chomp()>, C<substr()>, C<pos()>, C<index()>, C<rindex()>,
227C<sprintf()>, C<write()>, and C<length()>. An operator that
51f494cc
KW
228specifically does not switch is C<vec()>. Operators that really don't
229care include operators that treat strings as a bucket of bits such as
822502e5
TS
230C<sort()>, and operators dealing with filenames.
231
232=item *
233
51f494cc 234The C<pack()>/C<unpack()> letter C<C> does I<not> change, since it is often
822502e5
TS
235used for byte-oriented formats. Again, think C<char> in the C language.
236
237There is a new C<U> specifier that converts between Unicode characters
238and code points. There is also a C<W> specifier that is the equivalent of
239C<chr>/C<ord> and properly handles character values even if they are above 255.
240
241=item *
242
243The C<chr()> and C<ord()> functions work on characters, similar to
244C<pack("W")> and C<unpack("W")>, I<not> C<pack("C")> and
245C<unpack("C")>. C<pack("C")> and C<unpack("C")> are methods for
246emulating byte-oriented C<chr()> and C<ord()> on Unicode strings.
247While these methods reveal the internal encoding of Unicode strings,
248that is not something one normally needs to care about at all.
249
250=item *
251
252The bit string operators, C<& | ^ ~>, can operate on character data.
253However, for backward compatibility, such as when using bit string
254operations when characters are all less than 256 in ordinal value, one
255should not use C<~> (the bit complement) with characters of both
256values less than 256 and values greater than 256. Most importantly,
257DeMorgan's laws (C<~($x|$y) eq ~$x&~$y> and C<~($x&$y) eq ~$x|~$y>)
258will not hold. The reason for this mathematical I<faux pas> is that
259the complement cannot return B<both> the 8-bit (byte-wide) bit
260complement B<and> the full character-wide bit complement.
261
262=item *
263
e1b711da 264You can define your own mappings to be used in lc(),
822502e5 265lcfirst(), uc(), and ucfirst() (or their string-inlined versions).
822502e5
TS
266See L</"User-Defined Case Mappings"> for more details.
267
268=back
269
270=over 4
271
272=item *
273
274And finally, C<scalar reverse()> reverses by character rather than by byte.
275
276=back
277
278=head2 Unicode Character Properties
279
51f494cc
KW
280Most Unicode character properties are accessible by using regular expressions.
281They are used like character classes via the C<\p{}> "matches property"
282construct and the C<\P{}> negation, "doesn't match property".
283
284For instance, C<\p{Uppercase}> matches any character with the Unicode
285"Uppercase" property, while C<\p{L}> matches any character with a
286General_Category of "L" (letter) property. Brackets are not
287required for single letter properties, so C<\p{L}> is equivalent to C<\pL>.
288
e1b711da
KW
289More formally, C<\p{Uppercase}> matches any character whose Unicode Uppercase
290property value is True, and C<\P{Uppercase}> matches any character whose
291Uppercase property value is False, and they could have been written as
51f494cc
KW
292C<\p{Uppercase=True}> and C<\p{Uppercase=False}>, respectively
293
294This formality is needed when properties are not binary, that is if they can
295take on more values than just True and False. For example, the Bidi_Class (see
296L</"Bidirectional Character Types"> below), can take on a number of different
297values, such as Left, Right, Whitespace, and others. To match these, one needs
e1b711da 298to specify the property name (Bidi_Class), and the value being matched against
9f815e24
KW
299(Left, Right, I<etc.>). This is done, as in the examples above, by having the
300two components separated by an equal sign (or interchangeably, a colon), like
51f494cc
KW
301C<\p{Bidi_Class: Left}>.
302
303All Unicode-defined character properties may be written in these compound forms
304of C<\p{property=value}> or C<\p{property:value}>, but Perl provides some
305additional properties that are written only in the single form, as well as
306single-form short-cuts for all binary properties and certain others described
307below, in which you may omit the property name and the equals or colon
308separator.
309
310Most Unicode character properties have at least two synonyms (or aliases if you
311prefer), a short one that is easier to type, and a longer one which is more
312descriptive and hence it is easier to understand what it means. Thus the "L"
313and "Letter" above are equivalent and can be used interchangeably. Likewise,
314"Upper" is a synonym for "Uppercase", and we could have written
315C<\p{Uppercase}> equivalently as C<\p{Upper}>. Also, there are typically
316various synonyms for the values the property can be. For binary properties,
317"True" has 3 synonyms: "T", "Yes", and "Y"; and "False has correspondingly "F",
318"No", and "N". But be careful. A short form of a value for one property may
e1b711da 319not mean the same thing as the same short form for another. Thus, for the
51f494cc
KW
320General_Category property, "L" means "Letter", but for the Bidi_Class property,
321"L" means "Left". A complete list of properties and synonyms is in
322L<perluniprops>.
323
324Upper/lower case differences in the property names and values are irrelevant,
325thus C<\p{Upper}> means the same thing as C<\p{upper}> or even C<\p{UpPeR}>.
326Similarly, you can add or subtract underscores anywhere in the middle of a
327word, so that these are also equivalent to C<\p{U_p_p_e_r}>. And white space
328is irrelevant adjacent to non-word characters, such as the braces and the equals
329or colon separators so C<\p{ Upper }> and C<\p{ Upper_case : Y }> are
330equivalent to these as well. In fact, in most cases, white space and even
331hyphens can be added or deleted anywhere. So even C<\p{ Up-per case = Yes}> is
332equivalent. All this is called "loose-matching" by Unicode. The few places
333where stricter matching is employed is in the middle of numbers, and the Perl
334extension properties that begin or end with an underscore. Stricter matching
335cares about white space (except adjacent to the non-word characters) and
336hyphens, and non-interior underscores.
4193bef7 337
376d9008
JB
338You can also use negation in both C<\p{}> and C<\P{}> by introducing a caret
339(^) between the first brace and the property name: C<\p{^Tamil}> is
eb0cc9e3 340equal to C<\P{Tamil}>.
4193bef7 341
51f494cc 342=head3 B<General_Category>
14bb0a9a 343
51f494cc
KW
344Every Unicode character is assigned a general category, which is the "most
345usual categorization of a character" (from
346L<http://www.unicode.org/reports/tr44>).
822502e5 347
9f815e24 348The compound way of writing these is like C<\p{General_Category=Number}>
51f494cc
KW
349(short, C<\p{gc:n}>). But Perl furnishes shortcuts in which everything up
350through the equal or colon separator is omitted. So you can instead just write
351C<\pN>.
822502e5 352
51f494cc 353Here are the short and long forms of the General Category properties:
393fec97 354
d73e5302
JH
355 Short Long
356
357 L Letter
51f494cc
KW
358 LC, L& Cased_Letter (that is: [\p{Ll}\p{Lu}\p{Lt}])
359 Lu Uppercase_Letter
360 Ll Lowercase_Letter
361 Lt Titlecase_Letter
362 Lm Modifier_Letter
363 Lo Other_Letter
d73e5302
JH
364
365 M Mark
51f494cc
KW
366 Mn Nonspacing_Mark
367 Mc Spacing_Mark
368 Me Enclosing_Mark
d73e5302
JH
369
370 N Number
51f494cc
KW
371 Nd Decimal_Number (also Digit)
372 Nl Letter_Number
373 No Other_Number
374
375 P Punctuation (also Punct)
376 Pc Connector_Punctuation
377 Pd Dash_Punctuation
378 Ps Open_Punctuation
379 Pe Close_Punctuation
380 Pi Initial_Punctuation
d73e5302 381 (may behave like Ps or Pe depending on usage)
51f494cc 382 Pf Final_Punctuation
d73e5302 383 (may behave like Ps or Pe depending on usage)
51f494cc 384 Po Other_Punctuation
d73e5302
JH
385
386 S Symbol
51f494cc
KW
387 Sm Math_Symbol
388 Sc Currency_Symbol
389 Sk Modifier_Symbol
390 So Other_Symbol
d73e5302
JH
391
392 Z Separator
51f494cc
KW
393 Zs Space_Separator
394 Zl Line_Separator
395 Zp Paragraph_Separator
d73e5302
JH
396
397 C Other
51f494cc 398 Cc Control (also Cntrl)
e150c829 399 Cf Format
eb0cc9e3 400 Cs Surrogate (not usable)
51f494cc 401 Co Private_Use
e150c829 402 Cn Unassigned
1ac13f9a 403
376d9008 404Single-letter properties match all characters in any of the
3e4dbfed 405two-letter sub-properties starting with the same letter.
12ac2576
JP
406C<LC> and C<L&> are special cases, which are aliases for the set of
407C<Ll>, C<Lu>, and C<Lt>.
32293815 408
eb0cc9e3 409Because Perl hides the need for the user to understand the internal
1bfb14c4
JH
410representation of Unicode characters, there is no need to implement
411the somewhat messy concept of surrogates. C<Cs> is therefore not
eb0cc9e3 412supported.
d73e5302 413
51f494cc 414=head3 B<Bidirectional Character Types>
822502e5 415
376d9008 416Because scripts differ in their directionality--Hebrew is
12ac2576 417written right to left, for example--Unicode supplies these properties in
51f494cc 418the Bidi_Class class:
32293815 419
eb0cc9e3 420 Property Meaning
92e830a9 421
12ac2576
JP
422 L Left-to-Right
423 LRE Left-to-Right Embedding
424 LRO Left-to-Right Override
425 R Right-to-Left
51f494cc 426 AL Arabic Letter
12ac2576
JP
427 RLE Right-to-Left Embedding
428 RLO Right-to-Left Override
429 PDF Pop Directional Format
430 EN European Number
51f494cc
KW
431 ES European Separator
432 ET European Terminator
12ac2576 433 AN Arabic Number
51f494cc 434 CS Common Separator
12ac2576
JP
435 NSM Non-Spacing Mark
436 BN Boundary Neutral
437 B Paragraph Separator
438 S Segment Separator
439 WS Whitespace
440 ON Other Neutrals
441
51f494cc
KW
442This property is always written in the compound form.
443For example, C<\p{Bidi_Class:R}> matches characters that are normally
eb0cc9e3
JH
444written right to left.
445
51f494cc
KW
446=head3 B<Scripts>
447
e1b711da
KW
448The world's languages are written in a number of scripts. This sentence
449(unless you're reading it in translation) is written in Latin, while Russian is
450written in Cyrllic, and Greek is written in, well, Greek; Japanese mainly in
451Hiragana or Katakana. There are many more.
51f494cc
KW
452
453The Unicode Script property gives what script a given character is in,
454and can be matched with the compound form like C<\p{Script=Hebrew}> (short:
455C<\p{sc=hebr}>). Perl furnishes shortcuts for all script names. You can omit
456everything up through the equals (or colon), and simply write C<\p{Latin}> or
457C<\P{Cyrillic}>.
458
459A complete list of scripts and their shortcuts is in L<perluniprops>.
460
51f494cc 461=head3 B<Use of "Is" Prefix>
822502e5 462
1bfb14c4 463For backward compatibility (with Perl 5.6), all properties mentioned
51f494cc
KW
464so far may have C<Is> or C<Is_> prepended to their name, so C<\P{Is_Lu}>, for
465example, is equal to C<\P{Lu}>, and C<\p{IsScript:Arabic}> is equal to
466C<\p{Arabic}>.
eb0cc9e3 467
51f494cc 468=head3 B<Blocks>
2796c109 469
1bfb14c4
JH
470In addition to B<scripts>, Unicode also defines B<blocks> of
471characters. The difference between scripts and blocks is that the
472concept of scripts is closer to natural languages, while the concept
51f494cc 473of blocks is more of an artificial grouping based on groups of Unicode
9f815e24 474characters with consecutive ordinal values. For example, the "Basic Latin"
51f494cc 475block is all characters whose ordinals are between 0 and 127, inclusive, in
9f815e24
KW
476other words, the ASCII characters. The "Latin" script contains some letters
477from this block as well as several more, like "Latin-1 Supplement",
478"Latin Extended-A", I<etc.>, but it does not contain all the characters from
51f494cc
KW
479those blocks. It does not, for example, contain digits, because digits are
480shared across many scripts. Digits and similar groups, like punctuation, are in
481the script called C<Common>. There is also a script called C<Inherited> for
482characters that modify other characters, and inherit the script value of the
483controlling character.
484
485For more about scripts versus blocks, see UAX#24 "Unicode Script Property":
486L<http://www.unicode.org/reports/tr24>
487
488The Script property is likely to be the one you want to use when processing
489natural language; the Block property may be useful in working with the nuts and
490bolts of Unicode.
491
492Block names are matched in the compound form, like C<\p{Block: Arrows}> or
493C<\p{Blk=Hebrew}>. Unlike most other properties only a few block names have a
494Unicode-defined short name. But Perl does provide a (slight) shortcut: You
495can say, for example C<\p{In_Arrows}> or C<\p{In_Hebrew}>. For backwards
496compatibility, the C<In> prefix may be omitted if there is no naming conflict
497with a script or any other property, and you can even use an C<Is> prefix
498instead in those cases. But it is not a good idea to do this, for a couple
499reasons:
500
501=over 4
502
503=item 1
504
505It is confusing. There are many naming conflicts, and you may forget some.
9f815e24 506For example, C<\p{Hebrew}> means the I<script> Hebrew, and NOT the I<block>
51f494cc
KW
507Hebrew. But would you remember that 6 months from now?
508
509=item 2
510
511It is unstable. A new version of Unicode may pre-empt the current meaning by
512creating a property with the same name. There was a time in very early Unicode
9f815e24 513releases when C<\p{Hebrew}> would have matched the I<block> Hebrew; now it
51f494cc 514doesn't.
32293815 515
393fec97
GS
516=back
517
51f494cc
KW
518Some people just prefer to always use C<\p{Block: foo}> and C<\p{Script: bar}>
519instead of the shortcuts, for clarity, and because they can't remember the
520difference between 'In' and 'Is' anyway (or aren't confident that those who
521eventually will read their code will know).
522
523A complete list of blocks and their shortcuts is in L<perluniprops>.
524
9f815e24
KW
525=head3 B<Other Properties>
526
527There are many more properties than the very basic ones described here.
528A complete list is in L<perluniprops>.
529
530Unicode defines all its properties in the compound form, so all single-form
531properties are Perl extensions. A number of these are just synonyms for the
532Unicode ones, but some are genunine extensions, including a couple that are in
533the compound form. And quite a few of these are actually recommended by Unicode
534(in L<http://www.unicode.org/reports/tr18>).
535
536This section gives some details on all the extensions that aren't synonyms for
537compound-form Unicode properties (for those, you'll have to refer to the
538L<Unicode Standard|http://www.unicode.org/reports/tr44>.
539
540=over
541
542=item B<C<\p{All}>>
543
544This matches any of the 1_114_112 Unicode code points. It is a synonym for
545C<\p{Any}>.
546
547=item B<C<\p{Alnum}>>
548
549This matches any C<\p{Alphabetic}> or C<\p{Decimal_Number}> character.
550
551=item B<C<\p{Any}>>
552
553This matches any of the 1_114_112 Unicode code points. It is a synonym for
554C<\p{All}>.
555
556=item B<C<\p{Assigned}>>
557
558This matches any assigned code point; that is, any code point whose general
559category is not Unassigned (or equivalently, not Cn).
560
561=item B<C<\p{Blank}>>
562
563This is the same as C<\h> and C<\p{HorizSpace}>: A character that changes the
564spacing horizontally.
565
566=item B<C<\p{Decomposition_Type: Non_Canonical}>> (Short: C<\p{Dt=NonCanon}>)
567
568Matches a character that has a non-canonical decomposition.
569
570To understand the use of this rarely used property=value combination, it is
571necessary to know some basics about decomposition.
572Consider a character, say H. It could appear with various marks around it,
573such as an acute accent, or a circumflex, or various hooks, circles, arrows,
574I<etc.>, above, below, to one side and/or the other, I<etc.> There are many
575possibilities among the world's languages. The number of combinations is
576astronomical, and if there were a character for each combination, it would
577soon exhaust Unicode's more than a million possible characters. So Unicode
578took a different approach: there is a character for the base H, and a
579character for each of the possible marks, and they can be combined variously
580to get a final logical character. So a logical character--what appears to be a
581single character--can be a sequence of more than one individual characters.
582This is called an "extended grapheme cluster". (Perl furnishes the C<\X>
583construct to match such sequences.)
584
585But Unicode's intent is to unify the existing character set standards and
586practices, and a number of pre-existing standards have single characters that
587mean the same thing as some of these combinations. An example is ISO-8859-1,
588which has quite a few of these in the Latin-1 range, an example being "LATIN
589CAPITAL LETTER E WITH ACUTE". Because this character was in this pre-existing
590standard, Unicode added it to its repertoire. But this character is considered
591by Unicode to be equivalent to the sequence consisting of first the character
592"LATIN CAPITAL LETTER E", then the character "COMBINING ACUTE ACCENT".
593
594"LATIN CAPITAL LETTER E WITH ACUTE" is called a "pre-composed" character, and
595the equivalence with the sequence is called canonical equivalence. All
596pre-composed characters are said to have a decomposition (into the equivalent
597sequence) and the decomposition type is also called canonical.
598
599However, many more characters have a different type of decomposition, a
600"compatible" or "non-canonical" decomposition. The sequences that form these
601decompositions are not considered canonically equivalent to the pre-composed
602character. An example, again in the Latin-1 range, is the "SUPERSCRIPT ONE".
603It is kind of like a regular digit 1, but not exactly; its decomposition
604into the digit 1 is called a "compatible" decomposition, specifically a
605"super" decomposition. There are several such compatibility
606decompositions (see L<http://www.unicode.org/reports/tr44>), including one
607called "compat" which means some miscellaneous type of decomposition
608that doesn't fit into the decomposition categories that Unicode has chosen.
609
610Note that most Unicode characters don't have a decomposition, so their
611decomposition type is "None".
612
613Perl has added the C<Non_Canonical> type, for your convenience, to mean any of
614the compatibility decompositions.
615
616=item B<C<\p{Graph}>>
617
618Matches any character that is graphic. Theoretically, this means a character
619that on a printer would cause ink to be used.
620
621=item B<C<\p{HorizSpace}>>
622
623This is the same as C<\h> and C<\p{Blank}>: A character that changes the
624spacing horizontally.
625
626=item B<C<\p{In=*}>>
627
628This is a synonym for C<\p{Present_In=*}>
629
630=item B<C<\p{PerlSpace}>>
631
632This is the same as C<\s>, restricted to ASCII, namely C<S<[ \f\n\r\t]>>.
633
634Mnemonic: Perl's (original) space
635
636=item B<C<\p{PerlWord}>>
637
638This is the same as C<\w>, restricted to ASCII, namely C<[A-Za-z0-9_]>
639
640Mnemonic: Perl's (original) word.
641
642=item B<C<\p{PosixAlnum}>>
643
644This matches any alphanumeric character in the ASCII range, namely
645C<[A-Za-z0-9]>.
646
647=item B<C<\p{PosixAlpha}>>
648
649This matches any alphabetic character in the ASCII range, namely C<[A-Za-z]>.
650
651=item B<C<\p{PosixBlank}>>
652
653This matches any blank character in the ASCII range, namely C<S<[ \t]>>.
654
655=item B<C<\p{PosixCntrl}>>
656
657This matches any control character in the ASCII range, namely C<[\x00-\x1F\x7F]>
658
659=item B<C<\p{PosixDigit}>>
660
661This matches any digit character in the ASCII range, namely C<[0-9]>.
662
663=item B<C<\p{PosixGraph}>>
664
665This matches any graphical character in the ASCII range, namely C<[\x21-\x7E]>.
666
667=item B<C<\p{PosixLower}>>
668
669This matches any lowercase character in the ASCII range, namely C<[a-z]>.
670
671=item B<C<\p{PosixPrint}>>
672
673This matches any printable character in the ASCII range, namely C<[\x20-\x7E]>.
674These are the graphical characters plus SPACE.
675
676=item B<C<\p{PosixPunct}>>
677
678This matches any punctuation character in the ASCII range, namely
679C<[\x21-\x2F\x3A-\x40\x5B-\x60\x7B-\x7E]>. These are the
680graphical characters that aren't word characters. Note that the Posix standard
681includes in its definition of punctuation, those characters that Unicode calls
682"symbols."
683
684=item B<C<\p{PosixSpace}>>
685
686This matches any space character in the ASCII range, namely
687C<S<[ \f\n\r\t\x0B]>> (the last being a vertical tab).
688
689=item B<C<\p{PosixUpper}>>
690
691This matches any uppercase character in the ASCII range, namely C<[A-Z]>.
692
693=item B<C<\p{Present_In: *}>> (Short: C<\p{In=*}>)
694
695This property is used when you need to know in what Unicode version(s) a
696character is.
697
698The "*" above stands for some two digit Unicode version number, such as
699C<1.1> or C<4.0>; or the "*" can also be C<Unassigned>. This property will
700match the code points whose final disposition has been settled as of the
701Unicode release given by the version number; C<\p{Present_In: Unassigned}>
702will match those code points whose meaning has yet to be assigned.
703
704For example, C<U+0041> "LATIN CAPITAL LETTER A" was present in the very first
705Unicode release available, which is C<1.1>, so this property is true for all
706valid "*" versions. On the other hand, C<U+1EFF> was not assigned until version
7075.1 when it became "LATIN SMALL LETTER Y WITH LOOP", so the only "*" that
708would match it are 5.1, 5.2, and later.
709
710Unicode furnishes the C<Age> property from which this is derived. The problem
711with Age is that a strict interpretation of it (which Perl takes) has it
712matching the precise release a code point's meaning is introduced in. Thus
713C<U+0041> would match only 1.1; and C<U+1EFF> only 5.1. This is not usually what
714you want.
715
716Some non-Perl implementations of the Age property may change its meaning to be
717the same as the Perl Present_In property; just be aware of that.
718
719Another confusion with both these properties is that the definition is not
720that the code point has been assigned, but that the meaning of the code point
721has been determined. This is because 66 code points will always be
722unassigned, and, so the Age for them is the Unicode version the decision to
723make them so was made in. For example, C<U+FDD0> is to be permanently
724unassigned to a character, and the decision to do that was made in version 3.1,
725so C<\p{Age=3.1}> matches this character and C<\p{Present_In: 3.1}> and up
726matches as well.
727
728=item B<C<\p{Print}>>
729
ae5b72c8 730This matches any character that is graphical or blank, except controls.
9f815e24
KW
731
732=item B<C<\p{SpacePerl}>>
733
734This is the same as C<\s>, including beyond ASCII.
735
4d4acfba
KW
736Mnemonic: Space, as modified by Perl. (It doesn't include the vertical tab
737which both the Posix standard and Unicode consider to be space.)
9f815e24
KW
738
739=item B<C<\p{VertSpace}>>
740
741This is the same as C<\v>: A character that changes the spacing vertically.
742
743=item B<C<\p{Word}>>
744
745This is the same as C<\w>, including beyond ASCII.
746
747=back
748
376d9008 749=head2 User-Defined Character Properties
491fd90a 750
51f494cc
KW
751You can define your own binary character properties by defining subroutines
752whose names begin with "In" or "Is". The subroutines can be defined in any
753package. The user-defined properties can be used in the regular expression
754C<\p> and C<\P> constructs; if you are using a user-defined property from a
755package other than the one you are in, you must specify its package in the
756C<\p> or C<\P> construct.
bac0b425 757
51f494cc 758 # assuming property Is_Foreign defined in Lang::
bac0b425
JP
759 package main; # property package name required
760 if ($txt =~ /\p{Lang::IsForeign}+/) { ... }
761
762 package Lang; # property package name not required
763 if ($txt =~ /\p{IsForeign}+/) { ... }
764
765
766Note that the effect is compile-time and immutable once defined.
491fd90a 767
376d9008
JB
768The subroutines must return a specially-formatted string, with one
769or more newline-separated lines. Each line must be one of the following:
491fd90a
JH
770
771=over 4
772
773=item *
774
510254c9
A
775A single hexadecimal number denoting a Unicode code point to include.
776
777=item *
778
99a6b1f0 779Two hexadecimal numbers separated by horizontal whitespace (space or
376d9008 780tabular characters) denoting a range of Unicode code points to include.
491fd90a
JH
781
782=item *
783
376d9008 784Something to include, prefixed by "+": a built-in character
bac0b425
JP
785property (prefixed by "utf8::") or a user-defined character property,
786to represent all the characters in that property; two hexadecimal code
787points for a range; or a single hexadecimal code point.
491fd90a
JH
788
789=item *
790
376d9008 791Something to exclude, prefixed by "-": an existing character
bac0b425
JP
792property (prefixed by "utf8::") or a user-defined character property,
793to represent all the characters in that property; two hexadecimal code
794points for a range; or a single hexadecimal code point.
491fd90a
JH
795
796=item *
797
376d9008 798Something to negate, prefixed "!": an existing character
bac0b425
JP
799property (prefixed by "utf8::") or a user-defined character property,
800to represent all the characters in that property; two hexadecimal code
801points for a range; or a single hexadecimal code point.
802
803=item *
804
805Something to intersect with, prefixed by "&": an existing character
806property (prefixed by "utf8::") or a user-defined character property,
807for all the characters except the characters in the property; two
808hexadecimal code points for a range; or a single hexadecimal code point.
491fd90a
JH
809
810=back
811
812For example, to define a property that covers both the Japanese
813syllabaries (hiragana and katakana), you can define
814
815 sub InKana {
d5822f25
A
816 return <<END;
817 3040\t309F
818 30A0\t30FF
491fd90a
JH
819 END
820 }
821
d5822f25
A
822Imagine that the here-doc end marker is at the beginning of the line.
823Now you can use C<\p{InKana}> and C<\P{InKana}>.
491fd90a
JH
824
825You could also have used the existing block property names:
826
827 sub InKana {
828 return <<'END';
829 +utf8::InHiragana
830 +utf8::InKatakana
831 END
832 }
833
834Suppose you wanted to match only the allocated characters,
d5822f25 835not the raw block ranges: in other words, you want to remove
491fd90a
JH
836the non-characters:
837
838 sub InKana {
839 return <<'END';
840 +utf8::InHiragana
841 +utf8::InKatakana
842 -utf8::IsCn
843 END
844 }
845
846The negation is useful for defining (surprise!) negated classes.
847
848 sub InNotKana {
849 return <<'END';
850 !utf8::InHiragana
851 -utf8::InKatakana
852 +utf8::IsCn
853 END
854 }
855
bac0b425
JP
856Intersection is useful for getting the common characters matched by
857two (or more) classes.
858
859 sub InFooAndBar {
860 return <<'END';
861 +main::Foo
862 &main::Bar
863 END
864 }
865
ac036724 866It's important to remember not to use "&" for the first set; that
bac0b425
JP
867would be intersecting with nothing (resulting in an empty set).
868
822502e5
TS
869=head2 User-Defined Case Mappings
870
3a2263fe
RGS
871You can also define your own mappings to be used in the lc(),
872lcfirst(), uc(), and ucfirst() (or their string-inlined versions).
822502e5 873The principle is similar to that of user-defined character
51f494cc 874properties: to define subroutines
3a2263fe
RGS
875with names like C<ToLower> (for lc() and lcfirst()), C<ToTitle> (for
876the first character in ucfirst()), and C<ToUpper> (for uc(), and the
877rest of the characters in ucfirst()).
878
51f494cc 879The string returned by the subroutines needs to be two hexadecimal numbers
e1b711da
KW
880separated by two tabulators: the two numbers being, respectively, the source
881code point and the destination code point. For example:
3a2263fe
RGS
882
883 sub ToUpper {
884 return <<END;
51f494cc 885 0061\t\t0041
3a2263fe
RGS
886 END
887 }
888
51f494cc
KW
889defines an uc() mapping that causes only the character "a"
890to be mapped to "A"; all other characters will remain unchanged.
3a2263fe 891
51f494cc
KW
892(For serious hackers only) The above means you have to furnish a complete
893mapping; you can't just override a couple of characters and leave the rest
894unchanged. You can find all the mappings in the directory
895C<$Config{privlib}>/F<unicore/To/>. The mapping data is returned as the
896here-document, and the C<utf8::ToSpecFoo> are special exception mappings
9f815e24
KW
897derived from <$Config{privlib}>/F<unicore/SpecialCasing.txt>. The "Digit" and
898"Fold" mappings that one can see in the directory are not directly
51f494cc 899user-accessible, one can use either the C<Unicode::UCD> module, or just match
9f815e24 900case-insensitively (that's when the "Fold" mapping is used).
3a2263fe 901
51f494cc
KW
902The mappings will only take effect on scalars that have been marked as having
903Unicode characters, for example by using C<utf8::upgrade()>.
904Old byte-style strings are not affected.
3a2263fe 905
51f494cc 906The mappings are in effect for the package they are defined in.
3a2263fe 907
376d9008 908=head2 Character Encodings for Input and Output
8cbd9a7a 909
7221edc9 910See L<Encode>.
8cbd9a7a 911
c29a771d 912=head2 Unicode Regular Expression Support Level
776f8809 913
376d9008
JB
914The following list of Unicode support for regular expressions describes
915all the features currently supported. The references to "Level N"
8158862b
TS
916and the section numbers refer to the Unicode Technical Standard #18,
917"Unicode Regular Expressions", version 11, in May 2005.
776f8809
JH
918
919=over 4
920
921=item *
922
923Level 1 - Basic Unicode Support
924
8158862b
TS
925 RL1.1 Hex Notation - done [1]
926 RL1.2 Properties - done [2][3]
927 RL1.2a Compatibility Properties - done [4]
928 RL1.3 Subtraction and Intersection - MISSING [5]
929 RL1.4 Simple Word Boundaries - done [6]
930 RL1.5 Simple Loose Matches - done [7]
931 RL1.6 Line Boundaries - MISSING [8]
932 RL1.7 Supplementary Code Points - done [9]
933
934 [1] \x{...}
935 [2] \p{...} \P{...}
e1b711da
KW
936 [3] supports not only minimal list, but all Unicode character
937 properties (see L</Unicode Character Properties>)
8158862b
TS
938 [4] \d \D \s \S \w \W \X [:prop:] [:^prop:]
939 [5] can use regular expression look-ahead [a] or
940 user-defined character properties [b] to emulate set operations
941 [6] \b \B
e1b711da
KW
942 [7] note that Perl does Full case-folding in matching (but with bugs),
943 not Simple: for example U+1F88 is equivalent to U+1F00 U+03B9,
2bbc8d55 944 not with 1F80. This difference matters mainly for certain Greek
376d9008
JB
945 capital letters with certain modifiers: the Full case-folding
946 decomposes the letter, while the Simple case-folding would map
e0f9d4a8 947 it to a single character.
8158862b
TS
948 [8] should do ^ and $ also on U+000B (\v in C), FF (\f), CR (\r),
949 CRLF (\r\n), NEL (U+0085), LS (U+2028), and PS (U+2029);
950 should also affect <>, $., and script line numbers;
951 should not split lines within CRLF [c] (i.e. there is no empty
952 line between \r and \n)
953 [9] UTF-8/UTF-EBDDIC used in perl allows not only U+10000 to U+10FFFF
954 but also beyond U+10FFFF [d]
7207e29d 955
237bad5b 956[a] You can mimic class subtraction using lookahead.
8158862b 957For example, what UTS#18 might write as
29bdacb8 958
dbe420b4
JH
959 [{Greek}-[{UNASSIGNED}]]
960
961in Perl can be written as:
962
1d81abf3
JH
963 (?!\p{Unassigned})\p{InGreekAndCoptic}
964 (?=\p{Assigned})\p{InGreekAndCoptic}
dbe420b4
JH
965
966But in this particular example, you probably really want
967
1bfb14c4 968 \p{GreekAndCoptic}
dbe420b4
JH
969
970which will match assigned characters known to be part of the Greek script.
29bdacb8 971
5ca1ac52 972Also see the Unicode::Regex::Set module, it does implement the full
8158862b
TS
973UTS#18 grouping, intersection, union, and removal (subtraction) syntax.
974
975[b] '+' for union, '-' for removal (set-difference), '&' for intersection
976(see L</"User-Defined Character Properties">)
977
978[c] Try the C<:crlf> layer (see L<PerlIO>).
5ca1ac52 979
c670e63a
KW
980[d] U+FFFF will currently generate a warning message if 'utf8' warnings are
981 enabled
237bad5b 982
776f8809
JH
983=item *
984
985Level 2 - Extended Unicode Support
986
8158862b 987 RL2.1 Canonical Equivalents - MISSING [10][11]
c670e63a 988 RL2.2 Default Grapheme Clusters - MISSING [12]
8158862b
TS
989 RL2.3 Default Word Boundaries - MISSING [14]
990 RL2.4 Default Loose Matches - MISSING [15]
991 RL2.5 Name Properties - MISSING [16]
992 RL2.6 Wildcard Properties - MISSING
993
994 [10] see UAX#15 "Unicode Normalization Forms"
995 [11] have Unicode::Normalize but not integrated to regexes
e1b711da 996 [12] have \X but we don't have a "Grapheme Cluster Mode"
8158862b
TS
997 [14] see UAX#29, Word Boundaries
998 [15] see UAX#21 "Case Mappings"
999 [16] have \N{...} but neither compute names of CJK Ideographs
1000 and Hangul Syllables nor use a loose match [e]
1001
1002[e] C<\N{...}> allows namespaces (see L<charnames>).
776f8809
JH
1003
1004=item *
1005
8158862b
TS
1006Level 3 - Tailored Support
1007
1008 RL3.1 Tailored Punctuation - MISSING
1009 RL3.2 Tailored Grapheme Clusters - MISSING [17][18]
1010 RL3.3 Tailored Word Boundaries - MISSING
1011 RL3.4 Tailored Loose Matches - MISSING
1012 RL3.5 Tailored Ranges - MISSING
1013 RL3.6 Context Matching - MISSING [19]
1014 RL3.7 Incremental Matches - MISSING
1015 ( RL3.8 Unicode Set Sharing )
1016 RL3.9 Possible Match Sets - MISSING
1017 RL3.10 Folded Matching - MISSING [20]
1018 RL3.11 Submatchers - MISSING
1019
1020 [17] see UAX#10 "Unicode Collation Algorithms"
1021 [18] have Unicode::Collate but not integrated to regexes
1022 [19] have (?<=x) and (?=x), but look-aheads or look-behinds should see
1023 outside of the target substring
1024 [20] need insensitive matching for linguistic features other than case;
1025 for example, hiragana to katakana, wide and narrow, simplified Han
1026 to traditional Han (see UTR#30 "Character Foldings")
776f8809
JH
1027
1028=back
1029
c349b1b9
JH
1030=head2 Unicode Encodings
1031
376d9008
JB
1032Unicode characters are assigned to I<code points>, which are abstract
1033numbers. To use these numbers, various encodings are needed.
c349b1b9
JH
1034
1035=over 4
1036
c29a771d 1037=item *
5cb3728c
RB
1038
1039UTF-8
c349b1b9 1040
3e4dbfed 1041UTF-8 is a variable-length (1 to 6 bytes, current character allocations
376d9008
JB
1042require 4 bytes), byte-order independent encoding. For ASCII (and we
1043really do mean 7-bit ASCII, not another 8-bit encoding), UTF-8 is
1044transparent.
c349b1b9 1045
8c007b5a 1046The following table is from Unicode 3.2.
05632f9a 1047
e1b711da 1048 Code Points 1st Byte 2nd Byte 3rd Byte 4th Byte
05632f9a 1049
e1b711da
KW
1050 U+0000..U+007F 00..7F
1051 U+0080..U+07FF * C2..DF 80..BF
1052 U+0800..U+0FFF E0 * A0..BF 80..BF
ec90690f
TS
1053 U+1000..U+CFFF E1..EC 80..BF 80..BF
1054 U+D000..U+D7FF ED 80..9F 80..BF
e1b711da 1055 U+D800..U+DFFF +++++++ utf16 surrogates, not legal utf8 +++++++
ec90690f 1056 U+E000..U+FFFF EE..EF 80..BF 80..BF
e1b711da
KW
1057 U+10000..U+3FFFF F0 * 90..BF 80..BF 80..BF
1058 U+40000..U+FFFFF F1..F3 80..BF 80..BF 80..BF
1059 U+100000..U+10FFFF F4 80..8F 80..BF 80..BF
1060
1061Note the gaps before several of the byte entries above marked by '*'. These are
1062caused by legal UTF-8 avoiding non-shortest encodings: it is technically
1063possible to UTF-8-encode a single code point in different ways, but that is
1064explicitly forbidden, and the shortest possible encoding should always be used
1065(and that is what Perl does).
37361303 1066
376d9008 1067Another way to look at it is via bits:
05632f9a
JH
1068
1069 Code Points 1st Byte 2nd Byte 3rd Byte 4th Byte
1070
1071 0aaaaaaa 0aaaaaaa
1072 00000bbbbbaaaaaa 110bbbbb 10aaaaaa
1073 ccccbbbbbbaaaaaa 1110cccc 10bbbbbb 10aaaaaa
1074 00000dddccccccbbbbbbaaaaaa 11110ddd 10cccccc 10bbbbbb 10aaaaaa
1075
9f815e24 1076As you can see, the continuation bytes all begin with "10", and the
e1b711da 1077leading bits of the start byte tell how many bytes there are in the
05632f9a
JH
1078encoded character.
1079
c29a771d 1080=item *
5cb3728c
RB
1081
1082UTF-EBCDIC
dbe420b4 1083
376d9008 1084Like UTF-8 but EBCDIC-safe, in the way that UTF-8 is ASCII-safe.
dbe420b4 1085
c29a771d 1086=item *
5cb3728c 1087
1e54db1a 1088UTF-16, UTF-16BE, UTF-16LE, Surrogates, and BOMs (Byte Order Marks)
c349b1b9 1089
1bfb14c4
JH
1090The followings items are mostly for reference and general Unicode
1091knowledge, Perl doesn't use these constructs internally.
dbe420b4 1092
c349b1b9 1093UTF-16 is a 2 or 4 byte encoding. The Unicode code points
1bfb14c4
JH
1094C<U+0000..U+FFFF> are stored in a single 16-bit unit, and the code
1095points C<U+10000..U+10FFFF> in two 16-bit units. The latter case is
c349b1b9
JH
1096using I<surrogates>, the first 16-bit unit being the I<high
1097surrogate>, and the second being the I<low surrogate>.
1098
376d9008 1099Surrogates are code points set aside to encode the C<U+10000..U+10FFFF>
c349b1b9 1100range of Unicode code points in pairs of 16-bit units. The I<high
9f815e24 1101surrogates> are the range C<U+D800..U+DBFF> and the I<low surrogates>
376d9008 1102are the range C<U+DC00..U+DFFF>. The surrogate encoding is
c349b1b9
JH
1103
1104 $hi = ($uni - 0x10000) / 0x400 + 0xD800;
1105 $lo = ($uni - 0x10000) % 0x400 + 0xDC00;
1106
1107and the decoding is
1108
1a3fa709 1109 $uni = 0x10000 + ($hi - 0xD800) * 0x400 + ($lo - 0xDC00);
c349b1b9 1110
feda178f 1111If you try to generate surrogates (for example by using chr()), you
e1b711da 1112will get a warning, if warnings are turned on, because those code
376d9008 1113points are not valid for a Unicode character.
9466bab6 1114
376d9008 1115Because of the 16-bitness, UTF-16 is byte-order dependent. UTF-16
c349b1b9 1116itself can be used for in-memory computations, but if storage or
376d9008
JB
1117transfer is required either UTF-16BE (big-endian) or UTF-16LE
1118(little-endian) encodings must be chosen.
c349b1b9
JH
1119
1120This introduces another problem: what if you just know that your data
376d9008
JB
1121is UTF-16, but you don't know which endianness? Byte Order Marks, or
1122BOMs, are a solution to this. A special character has been reserved
86bbd6d1 1123in Unicode to function as a byte order marker: the character with the
376d9008 1124code point C<U+FEFF> is the BOM.
042da322 1125
c349b1b9 1126The trick is that if you read a BOM, you will know the byte order,
376d9008
JB
1127since if it was written on a big-endian platform, you will read the
1128bytes C<0xFE 0xFF>, but if it was written on a little-endian platform,
1129you will read the bytes C<0xFF 0xFE>. (And if the originating platform
1130was writing in UTF-8, you will read the bytes C<0xEF 0xBB 0xBF>.)
042da322 1131
86bbd6d1 1132The way this trick works is that the character with the code point
376d9008
JB
1133C<U+FFFE> is guaranteed not to be a valid Unicode character, so the
1134sequence of bytes C<0xFF 0xFE> is unambiguously "BOM, represented in
1bfb14c4 1135little-endian format" and cannot be C<U+FFFE>, represented in big-endian
e1b711da
KW
1136format". (Actually, C<U+FFFE> is legal for use by your program, even for
1137input/output, but better not use it if you need a BOM. But it is "illegal for
1138interchange", so that an unsuspecting program won't get confused.)
c349b1b9 1139
c29a771d 1140=item *
5cb3728c 1141
1e54db1a 1142UTF-32, UTF-32BE, UTF-32LE
c349b1b9
JH
1143
1144The UTF-32 family is pretty much like the UTF-16 family, expect that
042da322 1145the units are 32-bit, and therefore the surrogate scheme is not
376d9008
JB
1146needed. The BOM signatures will be C<0x00 0x00 0xFE 0xFF> for BE and
1147C<0xFF 0xFE 0x00 0x00> for LE.
c349b1b9 1148
c29a771d 1149=item *
5cb3728c
RB
1150
1151UCS-2, UCS-4
c349b1b9 1152
86bbd6d1 1153Encodings defined by the ISO 10646 standard. UCS-2 is a 16-bit
376d9008 1154encoding. Unlike UTF-16, UCS-2 is not extensible beyond C<U+FFFF>,
339cfa0e
JH
1155because it does not use surrogates. UCS-4 is a 32-bit encoding,
1156functionally identical to UTF-32.
c349b1b9 1157
c29a771d 1158=item *
5cb3728c
RB
1159
1160UTF-7
c349b1b9 1161
376d9008
JB
1162A seven-bit safe (non-eight-bit) encoding, which is useful if the
1163transport or storage is not eight-bit safe. Defined by RFC 2152.
c349b1b9 1164
95a1a48b
JH
1165=back
1166
0d7c09bb
JH
1167=head2 Security Implications of Unicode
1168
e1b711da
KW
1169Read L<Unicode Security Considerations|http://www.unicode.org/reports/tr36>.
1170Also, note the following:
1171
0d7c09bb
JH
1172=over 4
1173
1174=item *
1175
1176Malformed UTF-8
bf0fa0b2
JH
1177
1178Unfortunately, the specification of UTF-8 leaves some room for
1179interpretation of how many bytes of encoded output one should generate
376d9008
JB
1180from one input Unicode character. Strictly speaking, the shortest
1181possible sequence of UTF-8 bytes should be generated,
1182because otherwise there is potential for an input buffer overflow at
feda178f 1183the receiving end of a UTF-8 connection. Perl always generates the
e1b711da 1184shortest length UTF-8, and with warnings on, Perl will warn about
376d9008
JB
1185non-shortest length UTF-8 along with other malformations, such as the
1186surrogates, which are not real Unicode code points.
bf0fa0b2 1187
0d7c09bb
JH
1188=item *
1189
1190Regular expressions behave slightly differently between byte data and
376d9008
JB
1191character (Unicode) data. For example, the "word character" character
1192class C<\w> will work differently depending on if data is eight-bit bytes
1193or Unicode.
0d7c09bb 1194
376d9008
JB
1195In the first case, the set of C<\w> characters is either small--the
1196default set of alphabetic characters, digits, and the "_"--or, if you
0d7c09bb
JH
1197are using a locale (see L<perllocale>), the C<\w> might contain a few
1198more letters according to your language and country.
1199
376d9008 1200In the second case, the C<\w> set of characters is much, much larger.
1bfb14c4
JH
1201Most importantly, even in the set of the first 256 characters, it will
1202probably match different characters: unlike most locales, which are
1203specific to a language and country pair, Unicode classifies all the
1204characters that are letters I<somewhere> as C<\w>. For example, your
1205locale might not think that LATIN SMALL LETTER ETH is a letter (unless
1206you happen to speak Icelandic), but Unicode does.
0d7c09bb 1207
376d9008 1208As discussed elsewhere, Perl has one foot (two hooves?) planted in
1bfb14c4
JH
1209each of two worlds: the old world of bytes and the new world of
1210characters, upgrading from bytes to characters when necessary.
376d9008
JB
1211If your legacy code does not explicitly use Unicode, no automatic
1212switch-over to characters should happen. Characters shouldn't get
1bfb14c4
JH
1213downgraded to bytes, either. It is possible to accidentally mix bytes
1214and characters, however (see L<perluniintro>), in which case C<\w> in
1215regular expressions might start behaving differently. Review your
1216code. Use warnings and the C<strict> pragma.
0d7c09bb
JH
1217
1218=back
1219
c349b1b9
JH
1220=head2 Unicode in Perl on EBCDIC
1221
376d9008
JB
1222The way Unicode is handled on EBCDIC platforms is still
1223experimental. On such platforms, references to UTF-8 encoding in this
1224document and elsewhere should be read as meaning the UTF-EBCDIC
1225specified in Unicode Technical Report 16, unless ASCII vs. EBCDIC issues
c349b1b9 1226are specifically discussed. There is no C<utfebcdic> pragma or
376d9008 1227":utfebcdic" layer; rather, "utf8" and ":utf8" are reused to mean
86bbd6d1
PN
1228the platform's "natural" 8-bit encoding of Unicode. See L<perlebcdic>
1229for more discussion of the issues.
c349b1b9 1230
b310b053
JH
1231=head2 Locales
1232
4616122b 1233Usually locale settings and Unicode do not affect each other, but
b310b053
JH
1234there are a couple of exceptions:
1235
1236=over 4
1237
1238=item *
1239
8aa8f774
JH
1240You can enable automatic UTF-8-ification of your standard file
1241handles, default C<open()> layer, and C<@ARGV> by using either
1242the C<-C> command line switch or the C<PERL_UNICODE> environment
1243variable, see L<perlrun> for the documentation of the C<-C> switch.
b310b053
JH
1244
1245=item *
1246
376d9008
JB
1247Perl tries really hard to work both with Unicode and the old
1248byte-oriented world. Most often this is nice, but sometimes Perl's
1249straddling of the proverbial fence causes problems.
b310b053
JH
1250
1251=back
1252
1aad1664
JH
1253=head2 When Unicode Does Not Happen
1254
1255While Perl does have extensive ways to input and output in Unicode,
1256and few other 'entry points' like the @ARGV which can be interpreted
1257as Unicode (UTF-8), there still are many places where Unicode (in some
1258encoding or another) could be given as arguments or received as
1259results, or both, but it is not.
1260
e1b711da
KW
1261The following are such interfaces. Also, see L</The "Unicode Bug">.
1262For all of these interfaces Perl
6cd4dd6c
JH
1263currently (as of 5.8.3) simply assumes byte strings both as arguments
1264and results, or UTF-8 strings if the C<encoding> pragma has been used.
1aad1664
JH
1265
1266One reason why Perl does not attempt to resolve the role of Unicode in
e1b711da 1267these cases is that the answers are highly dependent on the operating
1aad1664
JH
1268system and the file system(s). For example, whether filenames can be
1269in Unicode, and in exactly what kind of encoding, is not exactly a
1270portable concept. Similarly for the qx and system: how well will the
1271'command line interface' (and which of them?) handle Unicode?
1272
1273=over 4
1274
557a2462
RB
1275=item *
1276
51f494cc 1277chdir, chmod, chown, chroot, exec, link, lstat, mkdir,
1e8e8236 1278rename, rmdir, stat, symlink, truncate, unlink, utime, -X
557a2462
RB
1279
1280=item *
1281
1282%ENV
1283
1284=item *
1285
1286glob (aka the <*>)
1287
1288=item *
1aad1664 1289
557a2462 1290open, opendir, sysopen
1aad1664 1291
557a2462 1292=item *
1aad1664 1293
557a2462 1294qx (aka the backtick operator), system
1aad1664 1295
557a2462 1296=item *
1aad1664 1297
557a2462 1298readdir, readlink
1aad1664
JH
1299
1300=back
1301
e1b711da
KW
1302=head2 The "Unicode Bug"
1303
1304The term, the "Unicode bug" has been applied to an inconsistency with the
6f335b04 1305Unicode characters whose ordinals are in the Latin-1 Supplement block, that
e1b711da
KW
1306is, between 128 and 255. Without a locale specified, unlike all other
1307characters or code points, these characters have very different semantics in
1308byte semantics versus character semantics.
1309
1310In character semantics they are interpreted as Unicode code points, which means
1311they have the same semantics as Latin-1 (ISO-8859-1).
1312
1313In byte semantics, they are considered to be unassigned characters, meaning
1314that the only semantics they have is their ordinal numbers, and that they are
1315not members of various character classes. None are considered to match C<\w>
1316for example, but all match C<\W>. (On EBCDIC platforms, the behavior may
1317be different from this, depending on the underlying C language library
1318functions.)
1319
1320The behavior is known to have effects on these areas:
1321
1322=over 4
1323
1324=item *
1325
1326Changing the case of a scalar, that is, using C<uc()>, C<ucfirst()>, C<lc()>,
1327and C<lcfirst()>, or C<\L>, C<\U>, C<\u> and C<\l> in regular expression
1328substitutions.
1329
1330=item *
1331
1332Using caseless (C</i>) regular expression matching
1333
1334=item *
1335
1336Matching a number of properties in regular expressions, such as C<\w>
1337
1338=item *
1339
1340User-defined case change mappings. You can create a C<ToUpper()> function, for
1341example, which overrides Perl's built-in case mappings. The scalar must be
1342encoded in utf8 for your function to actually be invoked.
1343
1344=back
1345
1346This behavior can lead to unexpected results in which a string's semantics
1347suddenly change if a code point above 255 is appended to or removed from it,
1348which changes the string's semantics from byte to character or vice versa. As
1349an example, consider the following program and its output:
1350
1351 $ perl -le'
1352 $s1 = "\xC2";
1353 $s2 = "\x{2660}";
1354 for ($s1, $s2, $s1.$s2) {
1355 print /\w/ || 0;
1356 }
1357 '
1358 0
1359 0
1360 1
1361
9f815e24 1362If there's no C<\w> in C<s1> or in C<s2>, why does their concatenation have one?
e1b711da
KW
1363
1364This anomaly stems from Perl's attempt to not disturb older programs that
1365didn't use Unicode, and hence had no semantics for characters outside of the
1366ASCII range (except in a locale), along with Perl's desire to add Unicode
1367support seamlessly. The result wasn't seamless: these characters were
1368orphaned.
1369
1370Work is being done to correct this, but only some of it was complete in time
1371for the 5.12 release. What has been finished is the important part of the case
1372changing component. Due to concerns, and some evidence, that older code might
1373have come to rely on the existing behavior, the new behavior must be explicitly
1374enabled by the feature C<unicode_strings> in the L<feature> pragma, even though
1375no new syntax is involved.
1376
1377See L<perlfunc/lc> for details on how this pragma works in combination with
1378various others for casing. Even though the pragma only affects casing
1379operations in the 5.12 release, it is planned to have it affect all the
1380problematic behaviors in later releases: you can't have one without them all.
1381
1382In the meantime, a workaround is to always call utf8::upgrade($string), or to
6f335b04
KW
1383use the standard module L<Encode>. Also, a scalar that has any characters
1384whose ordinal is above 0x100, or which were specified using either of the
1385C<\N{...}> notations will automatically have character semantics.
e1b711da 1386
1aad1664
JH
1387=head2 Forcing Unicode in Perl (Or Unforcing Unicode in Perl)
1388
e1b711da
KW
1389Sometimes (see L</"When Unicode Does Not Happen"> or L</The "Unicode Bug">)
1390there are situations where you simply need to force a byte
2bbc8d55
SP
1391string into UTF-8, or vice versa. The low-level calls
1392utf8::upgrade($bytestring) and utf8::downgrade($utf8string[, FAIL_OK]) are
1aad1664
JH
1393the answers.
1394
2bbc8d55
SP
1395Note that utf8::downgrade() can fail if the string contains characters
1396that don't fit into a byte.
1aad1664 1397
e1b711da
KW
1398Calling either function on a string that already is in the desired state is a
1399no-op.
1400
95a1a48b
JH
1401=head2 Using Unicode in XS
1402
3a2263fe
RGS
1403If you want to handle Perl Unicode in XS extensions, you may find the
1404following C APIs useful. See also L<perlguts/"Unicode Support"> for an
1405explanation about Unicode at the XS level, and L<perlapi> for the API
1406details.
95a1a48b
JH
1407
1408=over 4
1409
1410=item *
1411
1bfb14c4 1412C<DO_UTF8(sv)> returns true if the C<UTF8> flag is on and the bytes
2bbc8d55 1413pragma is not in effect. C<SvUTF8(sv)> returns true if the C<UTF8>
1bfb14c4
JH
1414flag is on; the bytes pragma is ignored. The C<UTF8> flag being on
1415does B<not> mean that there are any characters of code points greater
1416than 255 (or 127) in the scalar or that there are even any characters
1417in the scalar. What the C<UTF8> flag means is that the sequence of
1418octets in the representation of the scalar is the sequence of UTF-8
1419encoded code points of the characters of a string. The C<UTF8> flag
1420being off means that each octet in this representation encodes a
1421single character with code point 0..255 within the string. Perl's
1422Unicode model is not to use UTF-8 until it is absolutely necessary.
95a1a48b
JH
1423
1424=item *
1425
2bbc8d55 1426C<uvchr_to_utf8(buf, chr)> writes a Unicode character code point into
1bfb14c4 1427a buffer encoding the code point as UTF-8, and returns a pointer
2bbc8d55 1428pointing after the UTF-8 bytes. It works appropriately on EBCDIC machines.
95a1a48b
JH
1429
1430=item *
1431
2bbc8d55 1432C<utf8_to_uvchr(buf, lenp)> reads UTF-8 encoded bytes from a buffer and
376d9008 1433returns the Unicode character code point and, optionally, the length of
2bbc8d55 1434the UTF-8 byte sequence. It works appropriately on EBCDIC machines.
95a1a48b
JH
1435
1436=item *
1437
376d9008
JB
1438C<utf8_length(start, end)> returns the length of the UTF-8 encoded buffer
1439in characters. C<sv_len_utf8(sv)> returns the length of the UTF-8 encoded
95a1a48b
JH
1440scalar.
1441
1442=item *
1443
376d9008
JB
1444C<sv_utf8_upgrade(sv)> converts the string of the scalar to its UTF-8
1445encoded form. C<sv_utf8_downgrade(sv)> does the opposite, if
1446possible. C<sv_utf8_encode(sv)> is like sv_utf8_upgrade except that
1447it does not set the C<UTF8> flag. C<sv_utf8_decode()> does the
1448opposite of C<sv_utf8_encode()>. Note that none of these are to be
1449used as general-purpose encoding or decoding interfaces: C<use Encode>
1450for that. C<sv_utf8_upgrade()> is affected by the encoding pragma
1451but C<sv_utf8_downgrade()> is not (since the encoding pragma is
1452designed to be a one-way street).
95a1a48b
JH
1453
1454=item *
1455
376d9008 1456C<is_utf8_char(s)> returns true if the pointer points to a valid UTF-8
90f968e0 1457character.
95a1a48b
JH
1458
1459=item *
1460
376d9008 1461C<is_utf8_string(buf, len)> returns true if C<len> bytes of the buffer
95a1a48b
JH
1462are valid UTF-8.
1463
1464=item *
1465
376d9008
JB
1466C<UTF8SKIP(buf)> will return the number of bytes in the UTF-8 encoded
1467character in the buffer. C<UNISKIP(chr)> will return the number of bytes
1468required to UTF-8-encode the Unicode character code point. C<UTF8SKIP()>
90f968e0 1469is useful for example for iterating over the characters of a UTF-8
376d9008 1470encoded buffer; C<UNISKIP()> is useful, for example, in computing
90f968e0 1471the size required for a UTF-8 encoded buffer.
95a1a48b
JH
1472
1473=item *
1474
376d9008 1475C<utf8_distance(a, b)> will tell the distance in characters between the
95a1a48b
JH
1476two pointers pointing to the same UTF-8 encoded buffer.
1477
1478=item *
1479
2bbc8d55 1480C<utf8_hop(s, off)> will return a pointer to a UTF-8 encoded buffer
376d9008
JB
1481that is C<off> (positive or negative) Unicode characters displaced
1482from the UTF-8 buffer C<s>. Be careful not to overstep the buffer:
1483C<utf8_hop()> will merrily run off the end or the beginning of the
1484buffer if told to do so.
95a1a48b 1485
d2cc3551
JH
1486=item *
1487
376d9008
JB
1488C<pv_uni_display(dsv, spv, len, pvlim, flags)> and
1489C<sv_uni_display(dsv, ssv, pvlim, flags)> are useful for debugging the
1490output of Unicode strings and scalars. By default they are useful
1491only for debugging--they display B<all> characters as hexadecimal code
1bfb14c4
JH
1492points--but with the flags C<UNI_DISPLAY_ISPRINT>,
1493C<UNI_DISPLAY_BACKSLASH>, and C<UNI_DISPLAY_QQ> you can make the
1494output more readable.
d2cc3551
JH
1495
1496=item *
1497
2bbc8d55 1498C<ibcmp_utf8(s1, pe1, l1, u1, s2, pe2, l2, u2)> can be used to
376d9008
JB
1499compare two strings case-insensitively in Unicode. For case-sensitive
1500comparisons you can just use C<memEQ()> and C<memNE()> as usual.
d2cc3551 1501
c349b1b9
JH
1502=back
1503
95a1a48b
JH
1504For more information, see L<perlapi>, and F<utf8.c> and F<utf8.h>
1505in the Perl source code distribution.
1506
e1b711da
KW
1507=head2 Hacking Perl to work on earlier Unicode versions (for very serious hackers only)
1508
1509Perl by default comes with the latest supported Unicode version built in, but
1510you can change to use any earlier one.
1511
1512Download the files in the version of Unicode that you want from the Unicode web
1513site L<http://www.unicode.org>). These should replace the existing files in
1514C<\$Config{privlib}>/F<unicore>. (C<\%Config> is available from the Config
1515module.) Follow the instructions in F<README.perl> in that directory to change
1516some of their names, and then run F<make>.
1517
1518It is even possible to download them to a different directory, and then change
1519F<utf8_heavy.pl> in the directory C<\$Config{privlib}> to point to the new
1520directory, or maybe make a copy of that directory before making the change, and
1521using C<@INC> or the C<-I> run-time flag to switch between versions at will
1522(but because of caching, not in the middle of a process), but all this is
1523beyond the scope of these instructions.
1524
c29a771d
JH
1525=head1 BUGS
1526
376d9008 1527=head2 Interaction with Locales
7eabb34d 1528
376d9008
JB
1529Use of locales with Unicode data may lead to odd results. Currently,
1530Perl attempts to attach 8-bit locale info to characters in the range
15310..255, but this technique is demonstrably incorrect for locales that
1532use characters above that range when mapped into Unicode. Perl's
1533Unicode support will also tend to run slower. Use of locales with
1534Unicode is discouraged.
c29a771d 1535
9f815e24 1536=head2 Problems with characters in the Latin-1 Supplement range
2bbc8d55 1537
e1b711da
KW
1538See L</The "Unicode Bug">
1539
1540=head2 Problems with case-insensitive regular expression matching
1541
1542There are problems with case-insensitive matches, including those involving
1543character classes (enclosed in [square brackets]), characters whose fold
9f815e24
KW
1544is to multiple characters (such as the single character LATIN SMALL LIGATURE
1545FFL matches case-insensitively with the 3-character string C<ffl>), and
1546characters in the Latin-1 Supplement.
2bbc8d55 1547
376d9008 1548=head2 Interaction with Extensions
7eabb34d 1549
376d9008 1550When Perl exchanges data with an extension, the extension should be
2575c402 1551able to understand the UTF8 flag and act accordingly. If the
376d9008
JB
1552extension doesn't know about the flag, it's likely that the extension
1553will return incorrectly-flagged data.
7eabb34d
A
1554
1555So if you're working with Unicode data, consult the documentation of
1556every module you're using if there are any issues with Unicode data
1557exchange. If the documentation does not talk about Unicode at all,
a73d23f6 1558suspect the worst and probably look at the source to learn how the
376d9008 1559module is implemented. Modules written completely in Perl shouldn't
a73d23f6
RGS
1560cause problems. Modules that directly or indirectly access code written
1561in other programming languages are at risk.
7eabb34d 1562
376d9008 1563For affected functions, the simple strategy to avoid data corruption is
7eabb34d 1564to always make the encoding of the exchanged data explicit. Choose an
376d9008 1565encoding that you know the extension can handle. Convert arguments passed
7eabb34d
A
1566to the extensions to that encoding and convert results back from that
1567encoding. Write wrapper functions that do the conversions for you, so
1568you can later change the functions when the extension catches up.
1569
376d9008 1570To provide an example, let's say the popular Foo::Bar::escape_html
7eabb34d
A
1571function doesn't deal with Unicode data yet. The wrapper function
1572would convert the argument to raw UTF-8 and convert the result back to
376d9008 1573Perl's internal representation like so:
7eabb34d
A
1574
1575 sub my_escape_html ($) {
1576 my($what) = shift;
1577 return unless defined $what;
1578 Encode::decode_utf8(Foo::Bar::escape_html(Encode::encode_utf8($what)));
1579 }
1580
1581Sometimes, when the extension does not convert data but just stores
1582and retrieves them, you will be in a position to use the otherwise
1583dangerous Encode::_utf8_on() function. Let's say the popular
66b79f27 1584C<Foo::Bar> extension, written in C, provides a C<param> method that
7eabb34d
A
1585lets you store and retrieve data according to these prototypes:
1586
1587 $self->param($name, $value); # set a scalar
1588 $value = $self->param($name); # retrieve a scalar
1589
1590If it does not yet provide support for any encoding, one could write a
1591derived class with such a C<param> method:
1592
1593 sub param {
1594 my($self,$name,$value) = @_;
1595 utf8::upgrade($name); # make sure it is UTF-8 encoded
af55fc6a 1596 if (defined $value) {
7eabb34d
A
1597 utf8::upgrade($value); # make sure it is UTF-8 encoded
1598 return $self->SUPER::param($name,$value);
1599 } else {
1600 my $ret = $self->SUPER::param($name);
1601 Encode::_utf8_on($ret); # we know, it is UTF-8 encoded
1602 return $ret;
1603 }
1604 }
1605
a73d23f6
RGS
1606Some extensions provide filters on data entry/exit points, such as
1607DB_File::filter_store_key and family. Look out for such filters in
66b79f27 1608the documentation of your extensions, they can make the transition to
7eabb34d
A
1609Unicode data much easier.
1610
376d9008 1611=head2 Speed
7eabb34d 1612
c29a771d 1613Some functions are slower when working on UTF-8 encoded strings than
574c8022 1614on byte encoded strings. All functions that need to hop over
7c17141f
JH
1615characters such as length(), substr() or index(), or matching regular
1616expressions can work B<much> faster when the underlying data are
1617byte-encoded.
1618
1619In Perl 5.8.0 the slowness was often quite spectacular; in Perl 5.8.1
1620a caching scheme was introduced which will hopefully make the slowness
a104b433
JH
1621somewhat less spectacular, at least for some operations. In general,
1622operations with UTF-8 encoded strings are still slower. As an example,
1623the Unicode properties (character classes) like C<\p{Nd}> are known to
1624be quite a bit slower (5-20 times) than their simpler counterparts
1625like C<\d> (then again, there 268 Unicode characters matching C<Nd>
1626compared with the 10 ASCII characters matching C<d>).
666f95b9 1627
e1b711da
KW
1628=head2 Problems on EBCDIC platforms
1629
1630There are a number of known problems with Perl on EBCDIC platforms. If you
1631want to use Perl there, send email to perlbug@perl.org.
fe749c9a
KW
1632
1633In earlier versions, when byte and character data were concatenated,
1634the new string was sometimes created by
1635decoding the byte strings as I<ISO 8859-1 (Latin-1)>, even if the
1636old Unicode string used EBCDIC.
1637
1638If you find any of these, please report them as bugs.
1639
c8d992ba
A
1640=head2 Porting code from perl-5.6.X
1641
1642Perl 5.8 has a different Unicode model from 5.6. In 5.6 the programmer
1643was required to use the C<utf8> pragma to declare that a given scope
1644expected to deal with Unicode data and had to make sure that only
1645Unicode data were reaching that scope. If you have code that is
1646working with 5.6, you will need some of the following adjustments to
1647your code. The examples are written such that the code will continue
1648to work under 5.6, so you should be safe to try them out.
1649
1650=over 4
1651
1652=item *
1653
1654A filehandle that should read or write UTF-8
1655
1656 if ($] > 5.007) {
740d4bb2 1657 binmode $fh, ":encoding(utf8)";
c8d992ba
A
1658 }
1659
1660=item *
1661
1662A scalar that is going to be passed to some extension
1663
1664Be it Compress::Zlib, Apache::Request or any extension that has no
1665mention of Unicode in the manpage, you need to make sure that the
2575c402 1666UTF8 flag is stripped off. Note that at the time of this writing
c8d992ba
A
1667(October 2002) the mentioned modules are not UTF-8-aware. Please
1668check the documentation to verify if this is still true.
1669
1670 if ($] > 5.007) {
1671 require Encode;
1672 $val = Encode::encode_utf8($val); # make octets
1673 }
1674
1675=item *
1676
1677A scalar we got back from an extension
1678
1679If you believe the scalar comes back as UTF-8, you will most likely
2575c402 1680want the UTF8 flag restored:
c8d992ba
A
1681
1682 if ($] > 5.007) {
1683 require Encode;
1684 $val = Encode::decode_utf8($val);
1685 }
1686
1687=item *
1688
1689Same thing, if you are really sure it is UTF-8
1690
1691 if ($] > 5.007) {
1692 require Encode;
1693 Encode::_utf8_on($val);
1694 }
1695
1696=item *
1697
1698A wrapper for fetchrow_array and fetchrow_hashref
1699
1700When the database contains only UTF-8, a wrapper function or method is
1701a convenient way to replace all your fetchrow_array and
1702fetchrow_hashref calls. A wrapper function will also make it easier to
1703adapt to future enhancements in your database driver. Note that at the
1704time of this writing (October 2002), the DBI has no standardized way
1705to deal with UTF-8 data. Please check the documentation to verify if
1706that is still true.
1707
1708 sub fetchrow {
1709 my($self, $sth, $what) = @_; # $what is one of fetchrow_{array,hashref}
1710 if ($] < 5.007) {
1711 return $sth->$what;
1712 } else {
1713 require Encode;
1714 if (wantarray) {
1715 my @arr = $sth->$what;
1716 for (@arr) {
1717 defined && /[^\000-\177]/ && Encode::_utf8_on($_);
1718 }
1719 return @arr;
1720 } else {
1721 my $ret = $sth->$what;
1722 if (ref $ret) {
1723 for my $k (keys %$ret) {
1724 defined && /[^\000-\177]/ && Encode::_utf8_on($_) for $ret->{$k};
1725 }
1726 return $ret;
1727 } else {
1728 defined && /[^\000-\177]/ && Encode::_utf8_on($_) for $ret;
1729 return $ret;
1730 }
1731 }
1732 }
1733 }
1734
1735
1736=item *
1737
1738A large scalar that you know can only contain ASCII
1739
1740Scalars that contain only ASCII and are marked as UTF-8 are sometimes
1741a drag to your program. If you recognize such a situation, just remove
2575c402 1742the UTF8 flag:
c8d992ba
A
1743
1744 utf8::downgrade($val) if $] > 5.007;
1745
1746=back
1747
393fec97
GS
1748=head1 SEE ALSO
1749
51f494cc 1750L<perlunitut>, L<perluniintro>, L<perluniprops>, L<Encode>, L<open>, L<utf8>, L<bytes>,
a05d7ebb 1751L<perlretut>, L<perlvar/"${^UNICODE}">
51f494cc 1752L<http://www.unicode.org/reports/tr44>).
393fec97
GS
1753
1754=cut