[no reason given] is not good.
[p5sagit/p5-mst-13.2.git] / pod / perlunicode.pod
1 =head1 NAME
2
3 perlunicode - Unicode support in Perl
4
5 =head1 DESCRIPTION
6
7 =head2 Important Caveats
8
9 WARNING: While the implementation of Unicode support in Perl is now
10 fairly complete it is still evolving to some extent.
11
12 In particular the way Unicode is handled on EBCDIC platforms is still
13 rather experimental. On such a platform references to UTF-8 encoding
14 in this document and elsewhere should be read as meaning UTF-EBCDIC as
15 specified in Unicode Technical Report 16 unless ASCII vs EBCDIC issues
16 are specifically discussed. There is no C<utfebcdic> pragma or
17 ":utfebcdic" layer, rather "utf8" and ":utf8" are re-used to mean
18 platform's "natural" 8-bit encoding of Unicode. See L<perlebcdic> for
19 more discussion of the issues.
20
21 The following areas are still under development.
22
23 =over 4
24
25 =item Input and Output Disciplines
26
27 A filehandle can be marked as containing perl's internal Unicode
28 encoding (UTF-8 or UTF-EBCDIC) by opening it with the ":utf8" layer.
29 Other encodings can be converted to perl's encoding on input, or from
30 perl's encoding on output by use of the ":encoding()" layer.  There is
31 not yet a clean way to mark the Perl source itself as being in an
32 particular encoding.
33
34 =item Regular Expressions
35
36 The regular expression compiler does now attempt to produce
37 polymorphic opcodes.  That is the pattern should now adapt to the data
38 and automatically switch to the Unicode character scheme when
39 presented with Unicode data, or a traditional byte scheme when
40 presented with byte data.  The implementation is still new and
41 (particularly on EBCDIC platforms) may need further work.
42
43 =item C<use utf8> still needed to enable UTF-8/UTF-EBCDIC in scripts
44
45 The C<utf8> pragma implements the tables used for Unicode support.
46 These tables are automatically loaded on demand, so the C<utf8> pragma
47 need not normally be used.
48
49 However, as a compatibility measure, this pragma must be explicitly
50 used to enable recognition of UTF-8 in the Perl scripts themselves on
51 ASCII based machines or recognize UTF-EBCDIC on EBCDIC based machines.
52 B<NOTE: this should be the only place where an explicit C<use utf8> is
53 needed>.
54
55 =back
56
57 =head2 Byte and Character semantics
58
59 Beginning with version 5.6, Perl uses logically wide characters to
60 represent strings internally.  This internal representation of strings
61 uses either the UTF-8 or the UTF-EBCDIC encoding.
62
63 In future, Perl-level operations can be expected to work with
64 characters rather than bytes, in general.
65
66 However, as strictly an interim compatibility measure, Perl aims to
67 provide a safe migration path from byte semantics to character
68 semantics for programs.  For operations where Perl can unambiguously
69 decide that the input data is characters, Perl now switches to
70 character semantics.  For operations where this determination cannot
71 be made without additional information from the user, Perl decides in
72 favor of compatibility, and chooses to use byte semantics.
73
74 This behavior preserves compatibility with earlier versions of Perl,
75 which allowed byte semantics in Perl operations, but only as long as
76 none of the program's inputs are marked as being as source of Unicode
77 character data.  Such data may come from filehandles, from calls to
78 external programs, from information provided by the system (such as %ENV),
79 or from literals and constants in the source text.
80
81 If the C<-C> command line switch is used, (or the
82 ${^WIDE_SYSTEM_CALLS} global flag is set to C<1>), all system calls
83 will use the corresponding wide character APIs.  Note that this is
84 currently only implemented on Windows since other platforms API
85 standard on this area.
86
87 Regardless of the above, the C<bytes> pragma can always be used to
88 force byte semantics in a particular lexical scope.  See L<bytes>.
89
90 The C<utf8> pragma is primarily a compatibility device that enables
91 recognition of UTF-(8|EBCDIC) in literals encountered by the parser.
92 Note that this pragma is only required until a future version of Perl
93 in which character semantics will become the default.  This pragma may
94 then become a no-op.  See L<utf8>.
95
96 Unless mentioned otherwise, Perl operators will use character semantics
97 when they are dealing with Unicode data, and byte semantics otherwise.
98 Thus, character semantics for these operations apply transparently; if
99 the input data came from a Unicode source (for example, by adding a
100 character encoding discipline to the filehandle whence it came, or a
101 literal UTF-8 string constant in the program), character semantics
102 apply; otherwise, byte semantics are in effect.  To force byte semantics
103 on Unicode data, the C<bytes> pragma should be used.
104
105 Notice that if you have a string with byte semantics and you then
106 add character data into it, the bytes will be upgraded I<as if they
107 were ISO 8859-1 (Latin-1)> (or if in EBCDIC, after a translation
108 to ISO 8859-1).
109
110 Under character semantics, many operations that formerly operated on
111 bytes change to operating on characters.  For ASCII data this makes no
112 difference, because UTF-8 stores ASCII in single bytes, but for any
113 character greater than C<chr(127)>, the character B<may> be stored in
114 a sequence of two or more bytes, all of which have the high bit set.
115
116 For C1 controls or Latin 1 characters on an EBCDIC platform the
117 character may be stored in a UTF-EBCDIC multi byte sequence.  But by
118 and large, the user need not worry about this, because Perl hides it
119 from the user.  A character in Perl is logically just a number ranging
120 from 0 to 2**32 or so.  Larger characters encode to longer sequences
121 of bytes internally, but again, this is just an internal detail which
122 is hidden at the Perl level.
123
124 =head2 Effects of character semantics
125
126 Character semantics have the following effects:
127
128 =over 4
129
130 =item *
131
132 Strings and patterns may contain characters that have an ordinal value
133 larger than 255.
134
135 Presuming you use a Unicode editor to edit your program, such
136 characters will typically occur directly within the literal strings as
137 UTF-8 (or UTF-EBCDIC on EBCDIC platforms) characters, but you can also
138 specify a particular character with an extension of the C<\x>
139 notation.  UTF-X characters are specified by putting the hexadecimal
140 code within curlies after the C<\x>.  For instance, a Unicode smiley
141 face is C<\x{263A}>.
142
143 =item *
144
145 Identifiers within the Perl script may contain Unicode alphanumeric
146 characters, including ideographs.  (You are currently on your own when
147 it comes to using the canonical forms of characters--Perl doesn't
148 (yet) attempt to canonicalize variable names for you.)
149
150 =item *
151
152 Regular expressions match characters instead of bytes.  For instance,
153 "." matches a character instead of a byte.  (However, the C<\C> pattern
154 is provided to force a match a single byte ("C<char>" in C, hence C<\C>).)
155
156 =item *
157
158 Character classes in regular expressions match characters instead of
159 bytes, and match against the character properties specified in the
160 Unicode properties database.  So C<\w> can be used to match an
161 ideograph, for instance.
162
163 =item *
164
165 Named Unicode properties and block ranges make be used as character
166 classes via the new C<\p{}> (matches property) and C<\P{}> (doesn't
167 match property) constructs.  For instance, C<\p{Lu}> matches any
168 character with the Unicode uppercase property, while C<\p{M}> matches
169 any mark character.  Single letter properties may omit the brackets,
170 so that can be written C<\pM> also.  Many predefined character classes
171 are available, such as C<\p{IsMirrored}> and C<\p{InTibetan}>.
172
173 The C<\p{Is...}> test for "general properties" such as "letter",
174 "digit", while the C<\p{In...}> test for Unicode scripts and blocks.
175
176 The official Unicode script and block names have spaces and dashes and
177 separators, but for convenience you can have dashes, spaces, and
178 underbars at every word division, and you need not care about correct
179 casing.  It is recommended, however, that for consistency you use the
180 following naming: the official Unicode script, block, or property name
181 (see below for the additional rules that apply to block names),
182 with whitespace and dashes replaced with underbar, and the words
183 "uppercase-first-lowercase-rest".  That is, "Latin-1 Supplement"
184 becomes "Latin_1_Supplement".
185
186 You can also negate both C<\p{}> and C<\P{}> by introducing a caret
187 (^) between the first curly and the property name: C<\p{^In_Tamil}> is
188 equal to C<\P{In_Tamil}>.
189
190 The C<In> and C<Is> can be left out: C<\p{Greek}> is equal to
191 C<\p{In_Greek}>, C<\P{Pd}> is equal to C<\P{Pd}>.
192
193     Short       Long
194
195     L           Letter
196     Lu          Uppercase_Letter
197     Ll          Lowercase_Letter
198     Lt          Titlecase_Letter
199     Lm          Modifier_Letter
200     Lo          Other_Letter
201
202     M           Mark
203     Mn          Nonspacing_Mark
204     Mc          Spacing_Mark
205     Me          Enclosing_Mark
206
207     N           Number
208     Nd          Decimal_Number
209     Nl          Letter_Number
210     No          Other_Number
211
212     P           Punctuation
213     Pc          Connector_Punctuation
214     Pd          Dash_Punctuation
215     Ps          Open_Punctuation
216     Pe          Close_Punctuation
217     Pi          Initial_Punctuation
218                 (may behave like Ps or Pe depending on usage)
219     Pf          Final_Punctuation
220                 (may behave like Ps or Pe depending on usage)
221     Po          Other_Punctuation
222
223     S           Symbol
224     Sm          Math_Symbol
225     Sc          Currency_Symbol
226     Sk          Modifier_Symbol
227     So          Other_Symbol
228
229     Z           Separator
230     Zs          Space_Separator
231     Zl          Line_Separator
232     Zp          Paragraph_Separator
233
234     C           Other
235     Cc          Control
236     Cf          Format
237     Cs          Surrogate
238     Co          Private_Use
239     Cn          Unassigned
240
241 There's also C<L&> which is an alias for C<Ll>, C<Lu>, and C<Lt>.
242
243 The following reserved ranges have C<In> tests:
244
245     CJK_Ideograph_Extension_A
246     CJK_Ideograph
247     Hangul_Syllable
248     Non_Private_Use_High_Surrogate
249     Private_Use_High_Surrogate
250     Low_Surrogate
251     Private_Surrogate
252     CJK_Ideograph_Extension_B
253     Plane_15_Private_Use
254     Plane_16_Private_Use
255
256 For example C<"\x{AC00}" =~ \p{HangulSyllable}> will test true.
257 (Handling of surrogates is not implemented yet, because Perl
258 uses UTF-8 and not UTF-16 internally to represent Unicode.)
259
260 Additionally, because scripts differ in their directionality
261 (for example Hebrew is written right to left), all characters
262 have their directionality defined:
263
264     BidiL       Left-to-Right
265     BidiLRE     Left-to-Right Embedding
266     BidiLRO     Left-to-Right Override
267     BidiR       Right-to-Left
268     BidiAL      Right-to-Left Arabic
269     BidiRLE     Right-to-Left Embedding
270     BidiRLO     Right-to-Left Override
271     BidiPDF     Pop Directional Format
272     BidiEN      European Number
273     BidiES      European Number Separator
274     BidiET      European Number Terminator
275     BidiAN      Arabic Number
276     BidiCS      Common Number Separator
277     BidiNSM     Non-Spacing Mark
278     BidiBN      Boundary Neutral
279     BidiB       Paragraph Separator
280     BidiS       Segment Separator
281     BidiWS      Whitespace
282     BidiON      Other Neutrals
283
284 =head2 Scripts
285
286 The scripts available for C<\p{In...}> and C<\P{In...}>, for example
287 \p{InCyrillic>, are as follows, for example C<\p{InLatin}> or C<\P{InHan}>:
288
289     Arabic
290     Armenian
291     Bengali
292     Bopomofo
293     Canadian-Aboriginal
294     Cherokee
295     Cyrillic
296     Deseret
297     Devanagari
298     Ethiopic
299     Georgian
300     Gothic
301     Greek
302     Gujarati
303     Gurmukhi
304     Han
305     Hangul
306     Hebrew
307     Hiragana
308     Inherited
309     Kannada
310     Katakana
311     Khmer
312     Lao
313     Latin
314     Malayalam
315     Mongolian
316     Myanmar
317     Ogham
318     Old-Italic
319     Oriya
320     Runic
321     Sinhala
322     Syriac
323     Tamil
324     Telugu
325     Thaana
326     Thai
327     Tibetan
328     Yi
329
330 There are also extended property classes that supplement the basic
331 properties, defined by the F<PropList> Unicode database:
332
333     ASCII_Hex_Digit
334     Bidi_Control
335     Dash
336     Diacritic
337     Extender
338     Hex_Digit
339     Hyphen
340     Ideographic
341     Join_Control
342     Noncharacter_Code_Point
343     Other_Alphabetic
344     Other_Lowercase
345     Other_Math
346     Other_Uppercase
347     Quotation_Mark
348     White_Space
349
350 and further derived properties:
351
352     Alphabetic      Lu + Ll + Lt + Lm + Lo + Other_Alphabetic
353     Lowercase       Ll + Other_Lowercase
354     Uppercase       Lu + Other_Uppercase
355     Math            Sm + Other_Math
356
357     ID_Start        Lu + Ll + Lt + Lm + Lo + Nl
358     ID_Continue     ID_Start + Mn + Mc + Nd + Pc
359
360     Any             Any character
361     Assigned        Any non-Cn character
362     Common          Any character (or unassigned code point)
363                     not explicitly assigned to a script
364
365 =head2 Blocks
366
367 In addition to B<scripts>, Unicode also defines B<blocks> of
368 characters.  The difference between scripts and blocks is that the
369 scripts concept is closer to natural languages, while the blocks
370 concept is more an artificial grouping based on groups of 256 Unicode
371 characters.  For example, the C<Latin> script contains letters from
372 many blocks.  On the other hand, the C<Latin> script does not contain
373 all the characters from those blocks, it does not for example contain
374 digits because digits are shared across many scripts.  Digits and
375 other similar groups, like punctuation, are in a category called
376 C<Common>.
377
378 For more about scripts see the UTR #24:
379 http://www.unicode.org/unicode/reports/tr24/
380 For more about blocks see
381 http://www.unicode.org/Public/UNIDATA/Blocks.txt
382
383 Because there are overlaps in naming (there are, for example, both
384 a script called C<Katakana> and a block called C<Katakana>, the block
385 version has C<Block> appended to its name, C<\p{InKatakanaBlock}>.
386
387 Notice that this definition was introduced in Perl 5.8.0: in Perl
388 5.6 only the blocks were used; in Perl 5.8.0 scripts became the
389 preferential Unicode character class definition; this meant that
390 the definitions of some character classes changed (the ones in the
391 below list that have the C<Block> appended).
392
393    Alphabetic Presentation Forms
394    Arabic Block
395    Arabic Presentation Forms-A
396    Arabic Presentation Forms-B
397    Armenian Block
398    Arrows
399    Basic Latin
400    Bengali Block
401    Block Elements
402    Bopomofo Block
403    Bopomofo Extended
404    Box Drawing
405    Braille Patterns
406    Byzantine Musical Symbols
407    CJK Compatibility
408    CJK Compatibility Forms
409    CJK Compatibility Ideographs
410    CJK Compatibility Ideographs Supplement
411    CJK Radicals Supplement
412    CJK Symbols and Punctuation
413    CJK Unified Ideographs
414    CJK Unified Ideographs Extension A
415    CJK Unified Ideographs Extension B
416    Cherokee Block
417    Combining Diacritical Marks
418    Combining Half Marks
419    Combining Marks for Symbols
420    Control Pictures
421    Currency Symbols
422    Cyrillic Block
423    Deseret Block
424    Devanagari Block
425    Dingbats
426    Enclosed Alphanumerics
427    Enclosed CJK Letters and Months
428    Ethiopic Block
429    General Punctuation
430    Geometric Shapes
431    Georgian Block
432    Gothic Block
433    Greek Block
434    Greek Extended
435    Gujarati Block
436    Gurmukhi Block
437    Halfwidth and Fullwidth Forms
438    Hangul Compatibility Jamo
439    Hangul Jamo
440    Hangul Syllables
441    Hebrew Block
442    High Private Use Surrogates
443    High Surrogates
444    Hiragana Block
445    IPA Extensions
446    Ideographic Description Characters
447    Kanbun
448    Kangxi Radicals
449    Kannada Block
450    Katakana Block
451    Khmer Block
452    Lao Block
453    Latin 1 Supplement
454    Latin Extended Additional
455    Latin Extended-A
456    Latin Extended-B
457    Letterlike Symbols
458    Low Surrogates
459    Malayalam Block
460    Mathematical Alphanumeric Symbols
461    Mathematical Operators
462    Miscellaneous Symbols
463    Miscellaneous Technical
464    Mongolian Block
465    Musical Symbols
466    Myanmar Block
467    Number Forms
468    Ogham Block
469    Old Italic Block
470    Optical Character Recognition
471    Oriya Block
472    Private Use
473    Runic Block
474    Sinhala Block
475    Small Form Variants
476    Spacing Modifier Letters
477    Specials
478    Superscripts and Subscripts
479    Syriac Block
480    Tags
481    Tamil Block
482    Telugu Block
483    Thaana Block
484    Thai Block
485    Tibetan Block
486    Unified Canadian Aboriginal Syllabics
487    Yi Radicals
488    Yi Syllables
489
490 =item *
491
492 The special pattern C<\X> match matches any extended Unicode sequence
493 (a "combining character sequence" in Standardese), where the first
494 character is a base character and subsequent characters are mark
495 characters that apply to the base character.  It is equivalent to
496 C<(?:\PM\pM*)>.
497
498 =item *
499
500 The C<tr///> operator translates characters instead of bytes.  Note
501 that the C<tr///CU> functionality has been removed, as the interface
502 was a mistake.  For similar functionality see pack('U0', ...) and
503 pack('C0', ...).
504
505 =item *
506
507 Case translation operators use the Unicode case translation tables
508 when provided character input.  Note that C<uc()> (also known as C<\U>
509 in doublequoted strings) translates to uppercase, while C<ucfirst>
510 (also known as C<\u> in doublequoted strings) translates to titlecase
511 (for languages that make the distinction).  Naturally the
512 corresponding backslash sequences have the same semantics.
513
514 =item *
515
516 Most operators that deal with positions or lengths in the string will
517 automatically switch to using character positions, including
518 C<chop()>, C<substr()>, C<pos()>, C<index()>, C<rindex()>,
519 C<sprintf()>, C<write()>, and C<length()>.  Operators that
520 specifically don't switch include C<vec()>, C<pack()>, and
521 C<unpack()>.  Operators that really don't care include C<chomp()>, as
522 well as any other operator that treats a string as a bucket of bits,
523 such as C<sort()>, and the operators dealing with filenames.
524
525 =item *
526
527 The C<pack()>/C<unpack()> letters "C<c>" and "C<C>" do I<not> change,
528 since they're often used for byte-oriented formats.  (Again, think
529 "C<char>" in the C language.)  However, there is a new "C<U>" specifier
530 that will convert between UTF-8 characters and integers.  (It works
531 outside of the utf8 pragma too.)
532
533 =item *
534
535 The C<chr()> and C<ord()> functions work on characters.  This is like
536 C<pack("U")> and C<unpack("U")>, not like C<pack("C")> and
537 C<unpack("C")>.  In fact, the latter are how you now emulate
538 byte-oriented C<chr()> and C<ord()> for Unicode strings.
539 (Note that this reveals the internal UTF-8 encoding of strings and
540 you are not supposed to do that unless you know what you are doing.)
541
542 =item *
543
544 The bit string operators C<& | ^ ~> can operate on character data.
545 However, for backward compatibility reasons (bit string operations
546 when the characters all are less than 256 in ordinal value) one should
547 not mix C<~> (the bit complement) and characters both less than 256 and
548 equal or greater than 256.  Most importantly, the DeMorgan's laws
549 (C<~($x|$y) eq ~$x&~$y>, C<~($x&$y) eq ~$x|~$y>) won't hold.
550 Another way to look at this is that the complement cannot return
551 B<both> the 8-bit (byte) wide bit complement B<and> the full character
552 wide bit complement.
553
554 =item *
555
556 lc(), uc(), lcfirst(), and ucfirst() work for the following cases:
557
558 =over 8
559
560 =item *
561
562 the case mapping is from a single Unicode character to another
563 single Unicode character
564
565 =item *
566
567 the case mapping is from a single Unicode character to more
568 than one Unicode character
569
570 =back
571
572 What doesn't yet work are the followng cases:
573
574 =over 8
575
576 =item *
577
578 the "final sigma" (Greek)
579
580 =item *
581
582 anything to with locales (Lithuanian, Turkish, Azeri)
583
584 =back
585
586 See the Unicode Technical Report #21, Case Mappings, for more details.
587
588 =item *
589
590 And finally, C<scalar reverse()> reverses by character rather than by byte.
591
592 =back
593
594 =head2 Character encodings for input and output
595
596 See L<Encode>.
597
598 =head1 CAVEATS
599
600 As of yet, there is no method for automatically coercing input and
601 output to some encoding other than UTF-8 or UTF-EBCDIC.  This is planned 
602 in the near future, however.
603
604 Whether an arbitrary piece of data will be treated as "characters" or
605 "bytes" by internal operations cannot be divined at the current time.
606
607 Use of locales with utf8 may lead to odd results.  Currently there is
608 some attempt to apply 8-bit locale info to characters in the range
609 0..255, but this is demonstrably incorrect for locales that use
610 characters above that range (when mapped into Unicode).  It will also
611 tend to run slower.  Avoidance of locales is strongly encouraged.
612
613 =head1 UNICODE REGULAR EXPRESSION SUPPORT LEVEL
614
615 The following list of Unicode regular expression support describes
616 feature by feature the Unicode support implemented in Perl as of Perl
617 5.8.0.  The "Level N" and the section numbers refer to the Unicode
618 Technical Report 18, "Unicode Regular Expression Guidelines".
619
620 =over 4
621
622 =item *
623
624 Level 1 - Basic Unicode Support
625
626         2.1 Hex Notation                        - done          [1]
627                 Named Notation                  - done          [2]
628         2.2 Categories                          - done          [3][4]
629         2.3 Subtraction                         - MISSING       [5][6]
630         2.4 Simple Word Boundaries              - done          [7]
631         2.5 Simple Loose Matches                - MISSING       [8]
632         2.6 End of Line                         - MISSING       [9][10]
633
634         [ 1] \x{...}
635         [ 2] \N{...}
636         [ 3] . \p{Is...} \P{Is...}
637         [ 4] now scripts (see UTR#24 Script Names) in  addition to blocks
638         [ 5] have negation
639         [ 6] can use look-ahead to emulate subtracion
640         [ 7] include Letters in word characters
641         [ 8] see UTR#21 Case Mappings
642         [ 9] see UTR#13 Unicode Newline Guidelines
643         [10] should do ^ and $ also on \x{2028} and \x{2029}
644
645 =item *
646
647 Level 2 - Extended Unicode Support
648
649         3.1 Surrogates                          - MISSING
650         3.2 Canonical Equivalents               - MISSING       [11][12]
651         3.3 Locale-Independent Graphemes        - MISSING       [13]
652         3.4 Locale-Independent Words            - MISSING       [14]
653         3.5 Locale-Independent Loose Matches    - MISSING       [15]
654
655         [11] see UTR#15 Unicode Normalization
656         [12] have Unicode::Normalize but not integrated to regexes
657         [13] have \X but at this level . should equal that
658         [14] need three classes, not just \w and \W
659         [15] see UTR#21 Case Mappings
660
661 =item *
662
663 Level 3 - Locale-Sensitive Support
664
665         4.1 Locale-Dependent Categories         - MISSING
666         4.2 Locale-Dependent Graphemes          - MISSING       [16][17]
667         4.3 Locale-Dependent Words              - MISSING
668         4.4 Locale-Dependent Loose Matches      - MISSING
669         4.5 Locale-Dependent Ranges             - MISSING
670
671         [16] see UTR#10 Unicode Collation Algorithms
672         [17] have Unicode::Collate but not integrated to regexes
673
674 =back
675
676 =head1 SEE ALSO
677
678 L<bytes>, L<utf8>, L<perlretut>, L<perlvar/"${^WIDE_SYSTEM_CALLS}">
679
680 =cut