blob: a6549c79ff05acc32b9fd872814880171871307d [file] [log] [blame]
Guido van Rossuma831cac2000-03-10 23:23:21 +00001""" Test script for the Unicode implementation.
2
Guido van Rossuma831cac2000-03-10 23:23:21 +00003Written by Marc-Andre Lemburg (mal@lemburg.com).
4
5(c) Copyright CNRI, All Rights Reserved. NO WARRANTY.
6
Serhiy Storchaka9c0e1f82016-10-08 22:45:38 +03007"""
Victor Stinner040e16e2011-11-15 22:44:05 +01008import _string
Guido van Rossum98297ee2007-11-06 21:34:58 +00009import codecs
Victor Stinner9fc59812013-04-08 22:34:43 +020010import itertools
Ethan Furman9ab74802014-03-21 06:38:46 -070011import operator
Guido van Rossum98297ee2007-11-06 21:34:58 +000012import struct
13import sys
Victor Stinner22eb6892019-06-26 00:51:05 +020014import textwrap
Greg Price6bccbe72019-08-14 04:05:19 -070015import unicodedata
Guido van Rossum98297ee2007-11-06 21:34:58 +000016import unittest
17import warnings
Hai Shideb01622020-07-06 20:29:49 +080018from test.support import import_helper
19from test.support import warnings_helper
Benjamin Petersonee8712c2008-05-20 21:35:26 +000020from test import support, string_tests
Victor Stinner22eb6892019-06-26 00:51:05 +020021from test.support.script_helper import assert_python_failure
Guido van Rossuma831cac2000-03-10 23:23:21 +000022
Neal Norwitz430f68b2005-11-24 22:00:56 +000023# Error handling (bad decoder return)
24def search_function(encoding):
25 def decode1(input, errors="strict"):
26 return 42 # not a tuple
27 def encode1(input, errors="strict"):
28 return 42 # not a tuple
29 def encode2(input, errors="strict"):
30 return (42, 42) # no unicode
31 def decode2(input, errors="strict"):
32 return (42, 42) # no unicode
33 if encoding=="test.unicode1":
34 return (encode1, decode1, None, None)
35 elif encoding=="test.unicode2":
36 return (encode2, decode2, None, None)
37 else:
38 return None
Neal Norwitz430f68b2005-11-24 22:00:56 +000039
Victor Stinner9fc59812013-04-08 22:34:43 +020040def duplicate_string(text):
41 """
42 Try to get a fresh clone of the specified text:
43 new object with a reference count of 1.
44
45 This is a best-effort: latin1 single letters and the empty
46 string ('') are singletons and cannot be cloned.
47 """
48 return text.encode().decode()
49
Serhiy Storchaka15095802015-11-25 15:47:01 +020050class StrSubclass(str):
51 pass
52
Brett Cannon226b2302010-03-20 22:22:22 +000053class UnicodeTest(string_tests.CommonTest,
54 string_tests.MixinStrUnicodeUserStringTest,
Ezio Melotti0dceb562013-01-10 07:43:26 +020055 string_tests.MixinStrUnicodeTest,
56 unittest.TestCase):
Brett Cannon226b2302010-03-20 22:22:22 +000057
Guido van Rossumef87d6e2007-05-02 19:09:54 +000058 type2test = str
Walter Dörwald0fd583c2003-02-21 12:53:50 +000059
Hai Shic9f696c2020-10-16 16:34:15 +080060 def setUp(self):
61 codecs.register(search_function)
62 self.addCleanup(codecs.unregister, search_function)
63
Walter Dörwald0fd583c2003-02-21 12:53:50 +000064 def checkequalnofix(self, result, object, methodname, *args):
65 method = getattr(object, methodname)
66 realresult = method(*args)
67 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000068 self.assertTrue(type(realresult) is type(result))
Walter Dörwald0fd583c2003-02-21 12:53:50 +000069
70 # if the original is returned make sure that
71 # this doesn't happen with subclasses
72 if realresult is object:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000073 class usub(str):
Walter Dörwald0fd583c2003-02-21 12:53:50 +000074 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000075 return 'usub(%r)' % str.__repr__(self)
Walter Dörwald0fd583c2003-02-21 12:53:50 +000076 object = usub(object)
77 method = getattr(object, methodname)
78 realresult = method(*args)
79 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000080 self.assertTrue(object is not realresult)
Guido van Rossume4874ae2001-09-21 15:36:41 +000081
Jeremy Hylton504de6b2003-10-06 05:08:26 +000082 def test_literals(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000083 self.assertEqual('\xff', '\u00ff')
84 self.assertEqual('\uffff', '\U0000ffff')
Guido van Rossum36e0a922007-07-20 04:05:57 +000085 self.assertRaises(SyntaxError, eval, '\'\\Ufffffffe\'')
86 self.assertRaises(SyntaxError, eval, '\'\\Uffffffff\'')
87 self.assertRaises(SyntaxError, eval, '\'\\U%08x\'' % 0x110000)
Benjamin Petersoncd76c272008-04-05 15:09:30 +000088 # raw strings should not have unicode escapes
Florent Xiclunaa87b3832010-09-13 02:28:18 +000089 self.assertNotEqual(r"\u0020", " ")
Jeremy Hylton504de6b2003-10-06 05:08:26 +000090
Georg Brandl559e5d72008-06-11 18:37:52 +000091 def test_ascii(self):
92 if not sys.platform.startswith('java'):
93 # Test basic sanity of repr()
94 self.assertEqual(ascii('abc'), "'abc'")
95 self.assertEqual(ascii('ab\\c'), "'ab\\\\c'")
96 self.assertEqual(ascii('ab\\'), "'ab\\\\'")
97 self.assertEqual(ascii('\\c'), "'\\\\c'")
98 self.assertEqual(ascii('\\'), "'\\\\'")
99 self.assertEqual(ascii('\n'), "'\\n'")
100 self.assertEqual(ascii('\r'), "'\\r'")
101 self.assertEqual(ascii('\t'), "'\\t'")
102 self.assertEqual(ascii('\b'), "'\\x08'")
103 self.assertEqual(ascii("'\""), """'\\'"'""")
104 self.assertEqual(ascii("'\""), """'\\'"'""")
105 self.assertEqual(ascii("'"), '''"'"''')
106 self.assertEqual(ascii('"'), """'"'""")
107 latin1repr = (
108 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
109 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
110 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
111 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
112 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
113 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
114 "\\x9c\\x9d\\x9e\\x9f\\xa0\\xa1\\xa2\\xa3\\xa4\\xa5\\xa6\\xa7\\xa8\\xa9"
115 "\\xaa\\xab\\xac\\xad\\xae\\xaf\\xb0\\xb1\\xb2\\xb3\\xb4\\xb5\\xb6\\xb7"
116 "\\xb8\\xb9\\xba\\xbb\\xbc\\xbd\\xbe\\xbf\\xc0\\xc1\\xc2\\xc3\\xc4\\xc5"
117 "\\xc6\\xc7\\xc8\\xc9\\xca\\xcb\\xcc\\xcd\\xce\\xcf\\xd0\\xd1\\xd2\\xd3"
118 "\\xd4\\xd5\\xd6\\xd7\\xd8\\xd9\\xda\\xdb\\xdc\\xdd\\xde\\xdf\\xe0\\xe1"
119 "\\xe2\\xe3\\xe4\\xe5\\xe6\\xe7\\xe8\\xe9\\xea\\xeb\\xec\\xed\\xee\\xef"
120 "\\xf0\\xf1\\xf2\\xf3\\xf4\\xf5\\xf6\\xf7\\xf8\\xf9\\xfa\\xfb\\xfc\\xfd"
121 "\\xfe\\xff'")
122 testrepr = ascii(''.join(map(chr, range(256))))
123 self.assertEqual(testrepr, latin1repr)
124 # Test ascii works on wide unicode escapes without overflow.
125 self.assertEqual(ascii("\U00010000" * 39 + "\uffff" * 4096),
126 ascii("\U00010000" * 39 + "\uffff" * 4096))
127
128 class WrongRepr:
129 def __repr__(self):
130 return b'byte-repr'
131 self.assertRaises(TypeError, ascii, WrongRepr())
132
Walter Dörwald28256f22003-01-19 16:59:20 +0000133 def test_repr(self):
134 if not sys.platform.startswith('java'):
135 # Test basic sanity of repr()
Walter Dörwald67e83882007-05-05 12:26:27 +0000136 self.assertEqual(repr('abc'), "'abc'")
137 self.assertEqual(repr('ab\\c'), "'ab\\\\c'")
138 self.assertEqual(repr('ab\\'), "'ab\\\\'")
139 self.assertEqual(repr('\\c'), "'\\\\c'")
140 self.assertEqual(repr('\\'), "'\\\\'")
141 self.assertEqual(repr('\n'), "'\\n'")
142 self.assertEqual(repr('\r'), "'\\r'")
143 self.assertEqual(repr('\t'), "'\\t'")
144 self.assertEqual(repr('\b'), "'\\x08'")
145 self.assertEqual(repr("'\""), """'\\'"'""")
146 self.assertEqual(repr("'\""), """'\\'"'""")
147 self.assertEqual(repr("'"), '''"'"''')
148 self.assertEqual(repr('"'), """'"'""")
Walter Dörwald28256f22003-01-19 16:59:20 +0000149 latin1repr = (
Walter Dörwald67e83882007-05-05 12:26:27 +0000150 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
Walter Dörwald28256f22003-01-19 16:59:20 +0000151 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
152 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
153 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
154 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
155 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
Georg Brandl559e5d72008-06-11 18:37:52 +0000156 "\\x9c\\x9d\\x9e\\x9f\\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9"
157 "\xaa\xab\xac\\xad\xae\xaf\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7"
158 "\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf\xc0\xc1\xc2\xc3\xc4\xc5"
159 "\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf\xd0\xd1\xd2\xd3"
160 "\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf\xe0\xe1"
161 "\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef"
162 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd"
163 "\xfe\xff'")
Guido van Rossum805365e2007-05-07 22:24:25 +0000164 testrepr = repr(''.join(map(chr, range(256))))
Walter Dörwald28256f22003-01-19 16:59:20 +0000165 self.assertEqual(testrepr, latin1repr)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000166 # Test repr works on wide unicode escapes without overflow.
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000167 self.assertEqual(repr("\U00010000" * 39 + "\uffff" * 4096),
168 repr("\U00010000" * 39 + "\uffff" * 4096))
Walter Dörwald28256f22003-01-19 16:59:20 +0000169
Georg Brandl559e5d72008-06-11 18:37:52 +0000170 class WrongRepr:
171 def __repr__(self):
172 return b'byte-repr'
173 self.assertRaises(TypeError, repr, WrongRepr())
174
Guido van Rossum49d6b072006-08-17 21:11:47 +0000175 def test_iterators(self):
176 # Make sure unicode objects have an __iter__ method
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000177 it = "\u1111\u2222\u3333".__iter__()
178 self.assertEqual(next(it), "\u1111")
179 self.assertEqual(next(it), "\u2222")
180 self.assertEqual(next(it), "\u3333")
Georg Brandla18af4e2007-04-21 15:47:16 +0000181 self.assertRaises(StopIteration, next, it)
Guido van Rossum49d6b072006-08-17 21:11:47 +0000182
Walter Dörwald28256f22003-01-19 16:59:20 +0000183 def test_count(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000184 string_tests.CommonTest.test_count(self)
185 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000186 self.checkequalnofix(3, 'aaa', 'count', 'a')
187 self.checkequalnofix(0, 'aaa', 'count', 'b')
188 self.checkequalnofix(3, 'aaa', 'count', 'a')
189 self.checkequalnofix(0, 'aaa', 'count', 'b')
190 self.checkequalnofix(0, 'aaa', 'count', 'b')
191 self.checkequalnofix(1, 'aaa', 'count', 'a', -1)
192 self.checkequalnofix(3, 'aaa', 'count', 'a', -10)
193 self.checkequalnofix(2, 'aaa', 'count', 'a', 0, -1)
194 self.checkequalnofix(0, 'aaa', 'count', 'a', 0, -10)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200195 # test mixed kinds
196 self.checkequal(10, '\u0102' + 'a' * 10, 'count', 'a')
197 self.checkequal(10, '\U00100304' + 'a' * 10, 'count', 'a')
198 self.checkequal(10, '\U00100304' + '\u0102' * 10, 'count', '\u0102')
199 self.checkequal(0, 'a' * 10, 'count', '\u0102')
200 self.checkequal(0, 'a' * 10, 'count', '\U00100304')
201 self.checkequal(0, '\u0102' * 10, 'count', '\U00100304')
202 self.checkequal(10, '\u0102' + 'a_' * 10, 'count', 'a_')
203 self.checkequal(10, '\U00100304' + 'a_' * 10, 'count', 'a_')
204 self.checkequal(10, '\U00100304' + '\u0102_' * 10, 'count', '\u0102_')
205 self.checkequal(0, 'a' * 10, 'count', 'a\u0102')
206 self.checkequal(0, 'a' * 10, 'count', 'a\U00100304')
207 self.checkequal(0, '\u0102' * 10, 'count', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000208
Walter Dörwald28256f22003-01-19 16:59:20 +0000209 def test_find(self):
Antoine Pitrouc0bbe7d2011-10-08 22:41:35 +0200210 string_tests.CommonTest.test_find(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200211 # test implementation details of the memchr fast path
212 self.checkequal(100, 'a' * 100 + '\u0102', 'find', '\u0102')
213 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0201')
214 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0120')
215 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0220')
216 self.checkequal(100, 'a' * 100 + '\U00100304', 'find', '\U00100304')
217 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00100204')
218 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00102004')
219 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000220 self.checkequalnofix(0, 'abcdefghiabc', 'find', 'abc')
221 self.checkequalnofix(9, 'abcdefghiabc', 'find', 'abc', 1)
222 self.checkequalnofix(-1, 'abcdefghiabc', 'find', 'def', 4)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000223
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000224 self.assertRaises(TypeError, 'hello'.find)
225 self.assertRaises(TypeError, 'hello'.find, 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200226 # test mixed kinds
227 self.checkequal(100, '\u0102' * 100 + 'a', 'find', 'a')
228 self.checkequal(100, '\U00100304' * 100 + 'a', 'find', 'a')
229 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'find', '\u0102')
230 self.checkequal(-1, 'a' * 100, 'find', '\u0102')
231 self.checkequal(-1, 'a' * 100, 'find', '\U00100304')
232 self.checkequal(-1, '\u0102' * 100, 'find', '\U00100304')
233 self.checkequal(100, '\u0102' * 100 + 'a_', 'find', 'a_')
234 self.checkequal(100, '\U00100304' * 100 + 'a_', 'find', 'a_')
235 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'find', '\u0102_')
236 self.checkequal(-1, 'a' * 100, 'find', 'a\u0102')
237 self.checkequal(-1, 'a' * 100, 'find', 'a\U00100304')
238 self.checkequal(-1, '\u0102' * 100, 'find', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000239
Walter Dörwald28256f22003-01-19 16:59:20 +0000240 def test_rfind(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000241 string_tests.CommonTest.test_rfind(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200242 # test implementation details of the memrchr fast path
243 self.checkequal(0, '\u0102' + 'a' * 100 , 'rfind', '\u0102')
244 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0201')
245 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0120')
246 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0220')
247 self.checkequal(0, '\U00100304' + 'a' * 100, 'rfind', '\U00100304')
248 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00100204')
249 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00102004')
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000250 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000251 self.checkequalnofix(9, 'abcdefghiabc', 'rfind', 'abc')
252 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
253 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200254 # test mixed kinds
255 self.checkequal(0, 'a' + '\u0102' * 100, 'rfind', 'a')
256 self.checkequal(0, 'a' + '\U00100304' * 100, 'rfind', 'a')
257 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rfind', '\u0102')
258 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102')
259 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304')
260 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304')
261 self.checkequal(0, '_a' + '\u0102' * 100, 'rfind', '_a')
262 self.checkequal(0, '_a' + '\U00100304' * 100, 'rfind', '_a')
263 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rfind', '_\u0102')
264 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102a')
265 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304a')
266 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304\u0102')
Guido van Rossum8b264542000-12-19 02:22:31 +0000267
Walter Dörwald28256f22003-01-19 16:59:20 +0000268 def test_index(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000269 string_tests.CommonTest.test_index(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000270 self.checkequalnofix(0, 'abcdefghiabc', 'index', '')
271 self.checkequalnofix(3, 'abcdefghiabc', 'index', 'def')
272 self.checkequalnofix(0, 'abcdefghiabc', 'index', 'abc')
273 self.checkequalnofix(9, 'abcdefghiabc', 'index', 'abc', 1)
274 self.assertRaises(ValueError, 'abcdefghiabc'.index, 'hib')
275 self.assertRaises(ValueError, 'abcdefghiab'.index, 'abc', 1)
276 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', 8)
277 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200278 # test mixed kinds
279 self.checkequal(100, '\u0102' * 100 + 'a', 'index', 'a')
280 self.checkequal(100, '\U00100304' * 100 + 'a', 'index', 'a')
281 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'index', '\u0102')
282 self.assertRaises(ValueError, ('a' * 100).index, '\u0102')
283 self.assertRaises(ValueError, ('a' * 100).index, '\U00100304')
284 self.assertRaises(ValueError, ('\u0102' * 100).index, '\U00100304')
285 self.checkequal(100, '\u0102' * 100 + 'a_', 'index', 'a_')
286 self.checkequal(100, '\U00100304' * 100 + 'a_', 'index', 'a_')
287 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'index', '\u0102_')
288 self.assertRaises(ValueError, ('a' * 100).index, 'a\u0102')
289 self.assertRaises(ValueError, ('a' * 100).index, 'a\U00100304')
290 self.assertRaises(ValueError, ('\u0102' * 100).index, '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000291
Walter Dörwald28256f22003-01-19 16:59:20 +0000292 def test_rindex(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000293 string_tests.CommonTest.test_rindex(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000294 self.checkequalnofix(12, 'abcdefghiabc', 'rindex', '')
295 self.checkequalnofix(3, 'abcdefghiabc', 'rindex', 'def')
296 self.checkequalnofix(9, 'abcdefghiabc', 'rindex', 'abc')
297 self.checkequalnofix(0, 'abcdefghiabc', 'rindex', 'abc', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000298
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000299 self.assertRaises(ValueError, 'abcdefghiabc'.rindex, 'hib')
300 self.assertRaises(ValueError, 'defghiabc'.rindex, 'def', 1)
301 self.assertRaises(ValueError, 'defghiabc'.rindex, 'abc', 0, -1)
302 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, 8)
303 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200304 # test mixed kinds
305 self.checkequal(0, 'a' + '\u0102' * 100, 'rindex', 'a')
306 self.checkequal(0, 'a' + '\U00100304' * 100, 'rindex', 'a')
307 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rindex', '\u0102')
308 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102')
309 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304')
310 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304')
311 self.checkequal(0, '_a' + '\u0102' * 100, 'rindex', '_a')
312 self.checkequal(0, '_a' + '\U00100304' * 100, 'rindex', '_a')
313 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rindex', '_\u0102')
314 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102a')
315 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304a')
316 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304\u0102')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000317
Georg Brandlceee0772007-11-27 23:48:05 +0000318 def test_maketrans_translate(self):
319 # these work with plain translate()
320 self.checkequalnofix('bbbc', 'abababc', 'translate',
321 {ord('a'): None})
322 self.checkequalnofix('iiic', 'abababc', 'translate',
323 {ord('a'): None, ord('b'): ord('i')})
324 self.checkequalnofix('iiix', 'abababc', 'translate',
325 {ord('a'): None, ord('b'): ord('i'), ord('c'): 'x'})
326 self.checkequalnofix('c', 'abababc', 'translate',
327 {ord('a'): None, ord('b'): ''})
328 self.checkequalnofix('xyyx', 'xzx', 'translate',
329 {ord('z'): 'yy'})
Victor Stinner5a29f252014-04-05 00:17:51 +0200330
Georg Brandlceee0772007-11-27 23:48:05 +0000331 # this needs maketrans()
332 self.checkequalnofix('abababc', 'abababc', 'translate',
333 {'b': '<i>'})
334 tbl = self.type2test.maketrans({'a': None, 'b': '<i>'})
335 self.checkequalnofix('<i><i><i>c', 'abababc', 'translate', tbl)
336 # test alternative way of calling maketrans()
337 tbl = self.type2test.maketrans('abc', 'xyz', 'd')
338 self.checkequalnofix('xyzzy', 'abdcdcbdddd', 'translate', tbl)
339
Victor Stinner5a29f252014-04-05 00:17:51 +0200340 # various tests switching from ASCII to latin1 or the opposite;
341 # same length, remove a letter, or replace with a longer string.
342 self.assertEqual("[a]".translate(str.maketrans('a', 'X')),
343 "[X]")
344 self.assertEqual("[a]".translate(str.maketrans({'a': 'X'})),
345 "[X]")
346 self.assertEqual("[a]".translate(str.maketrans({'a': None})),
347 "[]")
348 self.assertEqual("[a]".translate(str.maketrans({'a': 'XXX'})),
349 "[XXX]")
350 self.assertEqual("[a]".translate(str.maketrans({'a': '\xe9'})),
351 "[\xe9]")
Victor Stinner33798672016-03-01 21:59:58 +0100352 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '123'})),
353 "x123")
354 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '\xe9'})),
355 "x\xe9")
356
357 # test non-ASCII (don't take the fast-path)
Victor Stinner5a29f252014-04-05 00:17:51 +0200358 self.assertEqual("[a]".translate(str.maketrans({'a': '<\xe9>'})),
359 "[<\xe9>]")
360 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': 'a'})),
361 "[a]")
362 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': None})),
363 "[]")
Victor Stinner33798672016-03-01 21:59:58 +0100364 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': '123'})),
365 "[123]")
366 self.assertEqual("[a\xe9]".translate(str.maketrans({'a': '<\u20ac>'})),
367 "[<\u20ac>\xe9]")
Victor Stinner5a29f252014-04-05 00:17:51 +0200368
Victor Stinner4ff33af2014-04-05 11:56:37 +0200369 # invalid Unicode characters
370 invalid_char = 0x10ffff+1
371 for before in "a\xe9\u20ac\U0010ffff":
372 mapping = str.maketrans({before: invalid_char})
373 text = "[%s]" % before
374 self.assertRaises(ValueError, text.translate, mapping)
375
376 # errors
Georg Brandlceee0772007-11-27 23:48:05 +0000377 self.assertRaises(TypeError, self.type2test.maketrans)
378 self.assertRaises(ValueError, self.type2test.maketrans, 'abc', 'defg')
379 self.assertRaises(TypeError, self.type2test.maketrans, 2, 'def')
380 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 2)
381 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 'def', 2)
382 self.assertRaises(ValueError, self.type2test.maketrans, {'xy': 2})
383 self.assertRaises(TypeError, self.type2test.maketrans, {(1,): 2})
Guido van Rossuma831cac2000-03-10 23:23:21 +0000384
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000385 self.assertRaises(TypeError, 'hello'.translate)
Walter Dörwald67e83882007-05-05 12:26:27 +0000386 self.assertRaises(TypeError, 'abababc'.translate, 'abc', 'xyz')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000387
Walter Dörwald28256f22003-01-19 16:59:20 +0000388 def test_split(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000389 string_tests.CommonTest.test_split(self)
Andrew M. Kuchlingeddd68d2002-03-29 16:21:44 +0000390
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200391 # test mixed kinds
392 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
393 left *= 9
394 right *= 9
395 for delim in ('c', '\u0102', '\U00010302'):
396 self.checkequal([left + right],
397 left + right, 'split', delim)
398 self.checkequal([left, right],
399 left + delim + right, 'split', delim)
400 self.checkequal([left + right],
401 left + right, 'split', delim * 2)
402 self.checkequal([left, right],
403 left + delim * 2 + right, 'split', delim *2)
404
405 def test_rsplit(self):
406 string_tests.CommonTest.test_rsplit(self)
407 # test mixed kinds
408 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
409 left *= 9
410 right *= 9
411 for delim in ('c', '\u0102', '\U00010302'):
412 self.checkequal([left + right],
413 left + right, 'rsplit', delim)
414 self.checkequal([left, right],
415 left + delim + right, 'rsplit', delim)
416 self.checkequal([left + right],
417 left + right, 'rsplit', delim * 2)
418 self.checkequal([left, right],
419 left + delim * 2 + right, 'rsplit', delim *2)
420
421 def test_partition(self):
422 string_tests.MixinStrUnicodeUserStringTest.test_partition(self)
423 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300424 self.checkequal(('ABCDEFGH', '', ''), 'ABCDEFGH', 'partition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200425 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
426 left *= 9
427 right *= 9
428 for delim in ('c', '\u0102', '\U00010302'):
429 self.checkequal((left + right, '', ''),
430 left + right, 'partition', delim)
431 self.checkequal((left, delim, right),
432 left + delim + right, 'partition', delim)
433 self.checkequal((left + right, '', ''),
434 left + right, 'partition', delim * 2)
435 self.checkequal((left, delim * 2, right),
436 left + delim * 2 + right, 'partition', delim * 2)
437
438 def test_rpartition(self):
439 string_tests.MixinStrUnicodeUserStringTest.test_rpartition(self)
440 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300441 self.checkequal(('', '', 'ABCDEFGH'), 'ABCDEFGH', 'rpartition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200442 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
443 left *= 9
444 right *= 9
445 for delim in ('c', '\u0102', '\U00010302'):
446 self.checkequal(('', '', left + right),
447 left + right, 'rpartition', delim)
448 self.checkequal((left, delim, right),
449 left + delim + right, 'rpartition', delim)
450 self.checkequal(('', '', left + right),
451 left + right, 'rpartition', delim * 2)
452 self.checkequal((left, delim * 2, right),
453 left + delim * 2 + right, 'rpartition', delim * 2)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000454
Walter Dörwald28256f22003-01-19 16:59:20 +0000455 def test_join(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000456 string_tests.MixinStrUnicodeUserStringTest.test_join(self)
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +0000457
Guido van Rossumf1044292007-09-27 18:01:22 +0000458 class MyWrapper:
459 def __init__(self, sval): self.sval = sval
460 def __str__(self): return self.sval
461
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000462 # mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000463 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
464 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
465 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
466 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
467 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
468 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
469 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
Guido van Rossum98297ee2007-11-06 21:34:58 +0000470 self.checkraises(TypeError, ' ', 'join', ['1', '2', MyWrapper('foo')])
471 self.checkraises(TypeError, ' ', 'join', ['1', '2', '3', bytes()])
472 self.checkraises(TypeError, ' ', 'join', [1, 2, 3])
473 self.checkraises(TypeError, ' ', 'join', ['1', '2', 3])
Marc-André Lemburge5034372000-08-08 08:04:29 +0000474
Martin Panterb71c0952017-01-12 11:54:59 +0000475 @unittest.skipIf(sys.maxsize > 2**32,
476 'needs too much memory on a 64-bit platform')
477 def test_join_overflow(self):
478 size = int(sys.maxsize**0.5) + 1
479 seq = ('A' * size,) * size
480 self.assertRaises(OverflowError, ''.join, seq)
481
Walter Dörwald28256f22003-01-19 16:59:20 +0000482 def test_replace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000483 string_tests.CommonTest.test_replace(self)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000484
Walter Dörwald28256f22003-01-19 16:59:20 +0000485 # method call forwarded from str implementation because of unicode argument
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000486 self.checkequalnofix('one@two!three!', 'one!two!three!', 'replace', '!', '@', 1)
487 self.assertRaises(TypeError, 'replace'.replace, "r", 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200488 # test mixed kinds
489 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
490 left *= 9
491 right *= 9
492 for delim in ('c', '\u0102', '\U00010302'):
493 for repl in ('d', '\u0103', '\U00010303'):
494 self.checkequal(left + right,
495 left + right, 'replace', delim, repl)
496 self.checkequal(left + repl + right,
497 left + delim + right,
498 'replace', delim, repl)
499 self.checkequal(left + right,
500 left + right, 'replace', delim * 2, repl)
501 self.checkequal(left + repl + right,
502 left + delim * 2 + right,
503 'replace', delim * 2, repl)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000504
Victor Stinner59de0ee2011-10-07 10:01:28 +0200505 @support.cpython_only
506 def test_replace_id(self):
Victor Stinner1d972ad2011-10-07 13:31:46 +0200507 pattern = 'abc'
508 text = 'abc def'
509 self.assertIs(text.replace(pattern, pattern), text)
Victor Stinner59de0ee2011-10-07 10:01:28 +0200510
Guido van Rossum98297ee2007-11-06 21:34:58 +0000511 def test_bytes_comparison(self):
Hai Shideb01622020-07-06 20:29:49 +0800512 with warnings_helper.check_warnings():
Brett Cannon226b2302010-03-20 22:22:22 +0000513 warnings.simplefilter('ignore', BytesWarning)
514 self.assertEqual('abc' == b'abc', False)
515 self.assertEqual('abc' != b'abc', True)
516 self.assertEqual('abc' == bytearray(b'abc'), False)
517 self.assertEqual('abc' != bytearray(b'abc'), True)
Brett Cannon40430012007-10-22 20:24:51 +0000518
Walter Dörwald28256f22003-01-19 16:59:20 +0000519 def test_comparison(self):
520 # Comparisons:
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000521 self.assertEqual('abc', 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000522 self.assertTrue('abcd' > 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000523 self.assertTrue('abc' < 'abcd')
Walter Dörwald28256f22003-01-19 16:59:20 +0000524
525 if 0:
526 # Move these tests to a Unicode collation module test...
527 # Testing UTF-16 code point order comparisons...
528
529 # No surrogates, no fixup required.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000530 self.assertTrue('\u0061' < '\u20ac')
Walter Dörwald28256f22003-01-19 16:59:20 +0000531 # Non surrogate below surrogate value, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000532 self.assertTrue('\u0061' < '\ud800\udc02')
Walter Dörwald28256f22003-01-19 16:59:20 +0000533
534 # Non surrogate above surrogate value, fixup required
535 def test_lecmp(s, s2):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000536 self.assertTrue(s < s2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000537
538 def test_fixup(s):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000539 s2 = '\ud800\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000540 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000541 s2 = '\ud900\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000542 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000543 s2 = '\uda00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000544 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000545 s2 = '\udb00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000546 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000547 s2 = '\ud800\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000548 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000549 s2 = '\ud900\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000550 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000551 s2 = '\uda00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000552 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000553 s2 = '\udb00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000554 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000555 s2 = '\ud800\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000556 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000557 s2 = '\ud900\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000558 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000559 s2 = '\uda00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000560 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000561 s2 = '\udb00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000562 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000563 s2 = '\ud800\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000564 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000565 s2 = '\ud900\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000566 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000567 s2 = '\uda00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000568 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000569 s2 = '\udb00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000570 test_lecmp(s, s2)
571
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000572 test_fixup('\ue000')
573 test_fixup('\uff61')
Walter Dörwald28256f22003-01-19 16:59:20 +0000574
575 # Surrogates on both sides, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000576 self.assertTrue('\ud800\udc02' < '\ud84d\udc56')
Walter Dörwald28256f22003-01-19 16:59:20 +0000577
Walter Dörwald28256f22003-01-19 16:59:20 +0000578 def test_islower(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000579 super().test_islower()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000580 self.checkequalnofix(False, '\u1FFc', 'islower')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500581 self.assertFalse('\u2167'.islower())
582 self.assertTrue('\u2177'.islower())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300583 # non-BMP, uppercase
584 self.assertFalse('\U00010401'.islower())
585 self.assertFalse('\U00010427'.islower())
586 # non-BMP, lowercase
587 self.assertTrue('\U00010429'.islower())
588 self.assertTrue('\U0001044E'.islower())
589 # non-BMP, non-cased
590 self.assertFalse('\U0001F40D'.islower())
591 self.assertFalse('\U0001F46F'.islower())
Walter Dörwald28256f22003-01-19 16:59:20 +0000592
593 def test_isupper(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000594 super().test_isupper()
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000595 if not sys.platform.startswith('java'):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000596 self.checkequalnofix(False, '\u1FFc', 'isupper')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500597 self.assertTrue('\u2167'.isupper())
598 self.assertFalse('\u2177'.isupper())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300599 # non-BMP, uppercase
600 self.assertTrue('\U00010401'.isupper())
601 self.assertTrue('\U00010427'.isupper())
602 # non-BMP, lowercase
603 self.assertFalse('\U00010429'.isupper())
604 self.assertFalse('\U0001044E'.isupper())
605 # non-BMP, non-cased
606 self.assertFalse('\U0001F40D'.isupper())
607 self.assertFalse('\U0001F46F'.isupper())
Walter Dörwald28256f22003-01-19 16:59:20 +0000608
609 def test_istitle(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000610 super().test_istitle()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000611 self.checkequalnofix(True, '\u1FFc', 'istitle')
612 self.checkequalnofix(True, 'Greek \u1FFcitlecases ...', 'istitle')
Walter Dörwald28256f22003-01-19 16:59:20 +0000613
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300614 # non-BMP, uppercase + lowercase
615 self.assertTrue('\U00010401\U00010429'.istitle())
616 self.assertTrue('\U00010427\U0001044E'.istitle())
617 # apparently there are no titlecased (Lt) non-BMP chars in Unicode 6
618 for ch in ['\U00010429', '\U0001044E', '\U0001F40D', '\U0001F46F']:
619 self.assertFalse(ch.istitle(), '{!a} is not title'.format(ch))
620
Walter Dörwald28256f22003-01-19 16:59:20 +0000621 def test_isspace(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000622 super().test_isspace()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000623 self.checkequalnofix(True, '\u2000', 'isspace')
624 self.checkequalnofix(True, '\u200a', 'isspace')
625 self.checkequalnofix(False, '\u2014', 'isspace')
Greg Price6bccbe72019-08-14 04:05:19 -0700626 # There are no non-BMP whitespace chars as of Unicode 12.
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300627 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
628 '\U0001F40D', '\U0001F46F']:
629 self.assertFalse(ch.isspace(), '{!a} is not space.'.format(ch))
630
Greg Price6bccbe72019-08-14 04:05:19 -0700631 @support.requires_resource('cpu')
632 def test_isspace_invariant(self):
633 for codepoint in range(sys.maxunicode + 1):
634 char = chr(codepoint)
635 bidirectional = unicodedata.bidirectional(char)
636 category = unicodedata.category(char)
637 self.assertEqual(char.isspace(),
638 (bidirectional in ('WS', 'B', 'S')
639 or category == 'Zs'))
640
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300641 def test_isalnum(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000642 super().test_isalnum()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300643 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
644 '\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
645 self.assertTrue(ch.isalnum(), '{!a} is alnum.'.format(ch))
Walter Dörwald28256f22003-01-19 16:59:20 +0000646
647 def test_isalpha(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000648 super().test_isalpha()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000649 self.checkequalnofix(True, '\u1FFc', 'isalpha')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300650 # non-BMP, cased
651 self.assertTrue('\U00010401'.isalpha())
652 self.assertTrue('\U00010427'.isalpha())
653 self.assertTrue('\U00010429'.isalpha())
654 self.assertTrue('\U0001044E'.isalpha())
655 # non-BMP, non-cased
656 self.assertFalse('\U0001F40D'.isalpha())
657 self.assertFalse('\U0001F46F'.isalpha())
Walter Dörwald28256f22003-01-19 16:59:20 +0000658
INADA Naokia49ac992018-01-27 14:06:21 +0900659 def test_isascii(self):
660 super().test_isascii()
661 self.assertFalse("\u20ac".isascii())
662 self.assertFalse("\U0010ffff".isascii())
663
Walter Dörwald28256f22003-01-19 16:59:20 +0000664 def test_isdecimal(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000665 self.checkequalnofix(False, '', 'isdecimal')
666 self.checkequalnofix(False, 'a', 'isdecimal')
667 self.checkequalnofix(True, '0', 'isdecimal')
668 self.checkequalnofix(False, '\u2460', 'isdecimal') # CIRCLED DIGIT ONE
669 self.checkequalnofix(False, '\xbc', 'isdecimal') # VULGAR FRACTION ONE QUARTER
670 self.checkequalnofix(True, '\u0660', 'isdecimal') # ARABIC-INDIC DIGIT ZERO
671 self.checkequalnofix(True, '0123456789', 'isdecimal')
672 self.checkequalnofix(False, '0123456789a', 'isdecimal')
Walter Dörwald28256f22003-01-19 16:59:20 +0000673
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000674 self.checkraises(TypeError, 'abc', 'isdecimal', 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000675
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300676 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
677 '\U0001F40D', '\U0001F46F', '\U00011065', '\U0001F107']:
678 self.assertFalse(ch.isdecimal(), '{!a} is not decimal.'.format(ch))
679 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0']:
680 self.assertTrue(ch.isdecimal(), '{!a} is decimal.'.format(ch))
681
Walter Dörwald28256f22003-01-19 16:59:20 +0000682 def test_isdigit(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000683 super().test_isdigit()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000684 self.checkequalnofix(True, '\u2460', 'isdigit')
685 self.checkequalnofix(False, '\xbc', 'isdigit')
686 self.checkequalnofix(True, '\u0660', 'isdigit')
Walter Dörwald28256f22003-01-19 16:59:20 +0000687
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300688 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
689 '\U0001F40D', '\U0001F46F', '\U00011065']:
690 self.assertFalse(ch.isdigit(), '{!a} is not a digit.'.format(ch))
691 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
692 self.assertTrue(ch.isdigit(), '{!a} is a digit.'.format(ch))
693
Walter Dörwald28256f22003-01-19 16:59:20 +0000694 def test_isnumeric(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000695 self.checkequalnofix(False, '', 'isnumeric')
696 self.checkequalnofix(False, 'a', 'isnumeric')
697 self.checkequalnofix(True, '0', 'isnumeric')
698 self.checkequalnofix(True, '\u2460', 'isnumeric')
699 self.checkequalnofix(True, '\xbc', 'isnumeric')
700 self.checkequalnofix(True, '\u0660', 'isnumeric')
701 self.checkequalnofix(True, '0123456789', 'isnumeric')
702 self.checkequalnofix(False, '0123456789a', 'isnumeric')
Walter Dörwald28256f22003-01-19 16:59:20 +0000703
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000704 self.assertRaises(TypeError, "abc".isnumeric, 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000705
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300706 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
707 '\U0001F40D', '\U0001F46F']:
708 self.assertFalse(ch.isnumeric(), '{!a} is not numeric.'.format(ch))
709 for ch in ['\U00011065', '\U0001D7F6', '\U00011066',
710 '\U000104A0', '\U0001F107']:
711 self.assertTrue(ch.isnumeric(), '{!a} is numeric.'.format(ch))
712
Martin v. Löwis47383402007-08-15 07:32:56 +0000713 def test_isidentifier(self):
714 self.assertTrue("a".isidentifier())
715 self.assertTrue("Z".isidentifier())
716 self.assertTrue("_".isidentifier())
717 self.assertTrue("b0".isidentifier())
718 self.assertTrue("bc".isidentifier())
719 self.assertTrue("b_".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000720 self.assertTrue("µ".isidentifier())
Benjamin Petersonf413b802011-08-12 22:17:18 -0500721 self.assertTrue("𝔘𝔫𝔦𝔠𝔬𝔡𝔢".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000722
723 self.assertFalse(" ".isidentifier())
724 self.assertFalse("[".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000725 self.assertFalse("©".isidentifier())
Georg Brandld52429f2008-07-04 15:55:02 +0000726 self.assertFalse("0".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000727
Serhiy Storchaka5650e762020-05-12 16:18:00 +0300728 @support.cpython_only
Serhiy Storchaka4c8f09d2020-07-10 23:26:06 +0300729 @support.requires_legacy_unicode_capi
Serhiy Storchaka5650e762020-05-12 16:18:00 +0300730 def test_isidentifier_legacy(self):
731 import _testcapi
732 u = '𝖀𝖓𝖎𝖈𝖔𝖉𝖊'
733 self.assertTrue(u.isidentifier())
Hai Shideb01622020-07-06 20:29:49 +0800734 with warnings_helper.check_warnings():
Inada Naoki038dd0f2020-06-30 15:26:56 +0900735 warnings.simplefilter('ignore', DeprecationWarning)
736 self.assertTrue(_testcapi.unicode_legacy_string(u).isidentifier())
Serhiy Storchaka5650e762020-05-12 16:18:00 +0300737
Georg Brandl559e5d72008-06-11 18:37:52 +0000738 def test_isprintable(self):
739 self.assertTrue("".isprintable())
Benjamin Peterson09832742009-03-26 17:15:46 +0000740 self.assertTrue(" ".isprintable())
Georg Brandl559e5d72008-06-11 18:37:52 +0000741 self.assertTrue("abcdefg".isprintable())
742 self.assertFalse("abcdefg\n".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000743 # some defined Unicode character
744 self.assertTrue("\u0374".isprintable())
745 # undefined character
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000746 self.assertFalse("\u0378".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000747 # single surrogate character
Georg Brandl559e5d72008-06-11 18:37:52 +0000748 self.assertFalse("\ud800".isprintable())
749
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300750 self.assertTrue('\U0001F46F'.isprintable())
751 self.assertFalse('\U000E0020'.isprintable())
752
753 def test_surrogates(self):
754 for s in ('a\uD800b\uDFFF', 'a\uDFFFb\uD800',
755 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
756 self.assertTrue(s.islower())
757 self.assertFalse(s.isupper())
758 self.assertFalse(s.istitle())
759 for s in ('A\uD800B\uDFFF', 'A\uDFFFB\uD800',
760 'A\uD800B\uDFFFA', 'A\uDFFFB\uD800A'):
761 self.assertFalse(s.islower())
762 self.assertTrue(s.isupper())
763 self.assertTrue(s.istitle())
764
765 for meth_name in ('islower', 'isupper', 'istitle'):
766 meth = getattr(str, meth_name)
767 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF'):
768 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
769
770 for meth_name in ('isalpha', 'isalnum', 'isdigit', 'isspace',
771 'isdecimal', 'isnumeric',
772 'isidentifier', 'isprintable'):
773 meth = getattr(str, meth_name)
774 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF',
775 'a\uD800b\uDFFF', 'a\uDFFFb\uD800',
776 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
777 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
778
779
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300780 def test_lower(self):
781 string_tests.CommonTest.test_lower(self)
782 self.assertEqual('\U00010427'.lower(), '\U0001044F')
783 self.assertEqual('\U00010427\U00010427'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300784 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300785 self.assertEqual('\U00010427\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300786 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300787 self.assertEqual('X\U00010427x\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300788 'x\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500789 self.assertEqual('fi'.lower(), 'fi')
790 self.assertEqual('\u0130'.lower(), '\u0069\u0307')
791 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
792 self.assertEqual('\u03a3'.lower(), '\u03c3')
793 self.assertEqual('\u0345\u03a3'.lower(), '\u0345\u03c3')
794 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
795 self.assertEqual('A\u0345\u03a3a'.lower(), 'a\u0345\u03c3a')
796 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
797 self.assertEqual('A\u03a3\u0345'.lower(), 'a\u03c2\u0345')
798 self.assertEqual('\u03a3\u0345 '.lower(), '\u03c3\u0345 ')
799 self.assertEqual('\U0008fffe'.lower(), '\U0008fffe')
800 self.assertEqual('\u2177'.lower(), '\u2177')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300801
Benjamin Petersond5890c82012-01-14 13:23:30 -0500802 def test_casefold(self):
803 self.assertEqual('hello'.casefold(), 'hello')
804 self.assertEqual('hELlo'.casefold(), 'hello')
805 self.assertEqual('ß'.casefold(), 'ss')
806 self.assertEqual('fi'.casefold(), 'fi')
807 self.assertEqual('\u03a3'.casefold(), '\u03c3')
808 self.assertEqual('A\u0345\u03a3'.casefold(), 'a\u03b9\u03c3')
Benjamin Peterson4eda9372012-08-05 15:05:34 -0700809 self.assertEqual('\u00b5'.casefold(), '\u03bc')
Benjamin Petersond5890c82012-01-14 13:23:30 -0500810
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300811 def test_upper(self):
812 string_tests.CommonTest.test_upper(self)
813 self.assertEqual('\U0001044F'.upper(), '\U00010427')
814 self.assertEqual('\U0001044F\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300815 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300816 self.assertEqual('\U00010427\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300817 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300818 self.assertEqual('X\U00010427x\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300819 'X\U00010427X\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500820 self.assertEqual('fi'.upper(), 'FI')
821 self.assertEqual('\u0130'.upper(), '\u0130')
822 self.assertEqual('\u03a3'.upper(), '\u03a3')
823 self.assertEqual('ß'.upper(), 'SS')
824 self.assertEqual('\u1fd2'.upper(), '\u0399\u0308\u0300')
825 self.assertEqual('\U0008fffe'.upper(), '\U0008fffe')
826 self.assertEqual('\u2177'.upper(), '\u2167')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300827
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300828 def test_capitalize(self):
829 string_tests.CommonTest.test_capitalize(self)
830 self.assertEqual('\U0001044F'.capitalize(), '\U00010427')
831 self.assertEqual('\U0001044F\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300832 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300833 self.assertEqual('\U00010427\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300834 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300835 self.assertEqual('\U0001044F\U00010427'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300836 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300837 self.assertEqual('X\U00010427x\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300838 'X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500839 self.assertEqual('h\u0130'.capitalize(), 'H\u0069\u0307')
840 exp = '\u0399\u0308\u0300\u0069\u0307'
841 self.assertEqual('\u1fd2\u0130'.capitalize(), exp)
Kingsley Mb015fc82019-04-12 16:35:39 +0100842 self.assertEqual('finnish'.capitalize(), 'Finnish')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500843 self.assertEqual('A\u0345\u03a3'.capitalize(), 'A\u0345\u03c2')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300844
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300845 def test_title(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000846 super().test_title()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300847 self.assertEqual('\U0001044F'.title(), '\U00010427')
848 self.assertEqual('\U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300849 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300850 self.assertEqual('\U0001044F\U0001044F \U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300851 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300852 self.assertEqual('\U00010427\U0001044F \U00010427\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300853 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300854 self.assertEqual('\U0001044F\U00010427 \U0001044F\U00010427'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300855 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300856 self.assertEqual('X\U00010427x\U0001044F X\U00010427x\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300857 'X\U0001044Fx\U0001044F X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500858 self.assertEqual('fiNNISH'.title(), 'Finnish')
859 self.assertEqual('A\u03a3 \u1fa1xy'.title(), 'A\u03c2 \u1fa9xy')
860 self.assertEqual('A\u03a3A'.title(), 'A\u03c3a')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300861
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300862 def test_swapcase(self):
863 string_tests.CommonTest.test_swapcase(self)
864 self.assertEqual('\U0001044F'.swapcase(), '\U00010427')
865 self.assertEqual('\U00010427'.swapcase(), '\U0001044F')
866 self.assertEqual('\U0001044F\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300867 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300868 self.assertEqual('\U00010427\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300869 '\U0001044F\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300870 self.assertEqual('\U0001044F\U00010427'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300871 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300872 self.assertEqual('X\U00010427x\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300873 'x\U0001044FX\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500874 self.assertEqual('fi'.swapcase(), 'FI')
875 self.assertEqual('\u0130'.swapcase(), '\u0069\u0307')
876 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
877 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
878 self.assertEqual('\u0345\u03a3'.swapcase(), '\u0399\u03c3')
879 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
880 self.assertEqual('A\u0345\u03a3a'.swapcase(), 'a\u0399\u03c3A')
881 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
882 self.assertEqual('A\u03a3\u0345'.swapcase(), 'a\u03c2\u0399')
883 self.assertEqual('\u03a3\u0345 '.swapcase(), '\u03c3\u0399 ')
884 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
885 self.assertEqual('ß'.swapcase(), 'SS')
886 self.assertEqual('\u1fd2'.swapcase(), '\u0399\u0308\u0300')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300887
Ezio Melottif84e01d2013-07-08 17:48:29 +0200888 def test_center(self):
889 string_tests.CommonTest.test_center(self)
890 self.assertEqual('x'.center(2, '\U0010FFFF'),
891 'x\U0010FFFF')
892 self.assertEqual('x'.center(3, '\U0010FFFF'),
893 '\U0010FFFFx\U0010FFFF')
894 self.assertEqual('x'.center(4, '\U0010FFFF'),
895 '\U0010FFFFx\U0010FFFF\U0010FFFF')
896
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400897 @unittest.skipUnless(sys.maxsize == 2**31 - 1, "requires 32-bit system")
Benjamin Peterson4d856892014-10-15 13:39:46 -0400898 @support.cpython_only
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400899 def test_case_operation_overflow(self):
900 # Issue #22643
Serhiy Storchaka411dfd82015-11-07 16:54:48 +0200901 size = 2**32//12 + 1
902 try:
903 s = "ü" * size
904 except MemoryError:
905 self.skipTest('no enough memory (%.0f MiB required)' % (size / 2**20))
906 try:
907 self.assertRaises(OverflowError, s.upper)
908 finally:
909 del s
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400910
Walter Dörwald28256f22003-01-19 16:59:20 +0000911 def test_contains(self):
912 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000913 self.assertIn('a', 'abdb')
914 self.assertIn('a', 'bdab')
915 self.assertIn('a', 'bdaba')
916 self.assertIn('a', 'bdba')
917 self.assertNotIn('a', 'bdb')
918 self.assertIn('a', 'bdba')
919 self.assertIn('a', ('a',1,None))
920 self.assertIn('a', (1,None,'a'))
921 self.assertIn('a', ('a',1,None))
922 self.assertIn('a', (1,None,'a'))
923 self.assertNotIn('a', ('x',1,'y'))
924 self.assertNotIn('a', ('x',1,None))
925 self.assertNotIn('abcd', 'abcxxxx')
926 self.assertIn('ab', 'abcd')
927 self.assertIn('ab', 'abc')
928 self.assertIn('ab', (1,None,'ab'))
929 self.assertIn('', 'abc')
930 self.assertIn('', '')
931 self.assertIn('', 'abc')
932 self.assertNotIn('\0', 'abc')
933 self.assertIn('\0', '\0abc')
934 self.assertIn('\0', 'abc\0')
935 self.assertIn('a', '\0abc')
936 self.assertIn('asdf', 'asdf')
937 self.assertNotIn('asdf', 'asd')
938 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000939
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000940 self.assertRaises(TypeError, "abc".__contains__)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200941 # test mixed kinds
942 for fill in ('a', '\u0100', '\U00010300'):
943 fill *= 9
944 for delim in ('c', '\u0102', '\U00010302'):
945 self.assertNotIn(delim, fill)
946 self.assertIn(delim, fill + delim)
947 self.assertNotIn(delim * 2, fill)
948 self.assertIn(delim * 2, fill + delim * 2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000949
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +0300950 def test_issue18183(self):
951 '\U00010000\U00100000'.lower()
952 '\U00010000\U00100000'.casefold()
953 '\U00010000\U00100000'.upper()
954 '\U00010000\U00100000'.capitalize()
955 '\U00010000\U00100000'.title()
956 '\U00010000\U00100000'.swapcase()
957 '\U00100000'.center(3, '\U00010000')
958 '\U00100000'.ljust(3, '\U00010000')
959 '\U00100000'.rjust(3, '\U00010000')
960
Eric Smith8c663262007-08-25 02:26:07 +0000961 def test_format(self):
962 self.assertEqual(''.format(), '')
963 self.assertEqual('a'.format(), 'a')
964 self.assertEqual('ab'.format(), 'ab')
965 self.assertEqual('a{{'.format(), 'a{')
966 self.assertEqual('a}}'.format(), 'a}')
967 self.assertEqual('{{b'.format(), '{b')
968 self.assertEqual('}}b'.format(), '}b')
969 self.assertEqual('a{{b'.format(), 'a{b')
970
971 # examples from the PEP:
972 import datetime
973 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
974 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
975 "My name is Fred")
976 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
977 "My name is Fred :-{}")
978
979 d = datetime.date(2007, 8, 18)
980 self.assertEqual("The year is {0.year}".format(d),
981 "The year is 2007")
982
Eric Smith8c663262007-08-25 02:26:07 +0000983 # classes we'll use for testing
984 class C:
985 def __init__(self, x=100):
986 self._x = x
987 def __format__(self, spec):
988 return spec
989
990 class D:
991 def __init__(self, x):
992 self.x = x
993 def __format__(self, spec):
994 return str(self.x)
995
996 # class with __str__, but no __format__
997 class E:
998 def __init__(self, x):
999 self.x = x
1000 def __str__(self):
1001 return 'E(' + self.x + ')'
1002
1003 # class with __repr__, but no __format__ or __str__
1004 class F:
1005 def __init__(self, x):
1006 self.x = x
1007 def __repr__(self):
1008 return 'F(' + self.x + ')'
1009
1010 # class with __format__ that forwards to string, for some format_spec's
1011 class G:
1012 def __init__(self, x):
1013 self.x = x
1014 def __str__(self):
1015 return "string is " + self.x
1016 def __format__(self, format_spec):
1017 if format_spec == 'd':
1018 return 'G(' + self.x + ')'
1019 return object.__format__(self, format_spec)
1020
Eric Smith739e2ad2007-08-27 19:07:22 +00001021 class I(datetime.date):
1022 def __format__(self, format_spec):
1023 return self.strftime(format_spec)
1024
Eric Smith185e30c2007-08-30 22:23:08 +00001025 class J(int):
1026 def __format__(self, format_spec):
1027 return int.__format__(self * 2, format_spec)
1028
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001029 class M:
1030 def __init__(self, x):
1031 self.x = x
1032 def __repr__(self):
1033 return 'M(' + self.x + ')'
1034 __str__ = None
1035
1036 class N:
1037 def __init__(self, x):
1038 self.x = x
1039 def __repr__(self):
1040 return 'N(' + self.x + ')'
1041 __format__ = None
Eric Smith8c663262007-08-25 02:26:07 +00001042
1043 self.assertEqual(''.format(), '')
1044 self.assertEqual('abc'.format(), 'abc')
1045 self.assertEqual('{0}'.format('abc'), 'abc')
1046 self.assertEqual('{0:}'.format('abc'), 'abc')
1047# self.assertEqual('{ 0 }'.format('abc'), 'abc')
1048 self.assertEqual('X{0}'.format('abc'), 'Xabc')
1049 self.assertEqual('{0}X'.format('abc'), 'abcX')
1050 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
1051 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
1052 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
1053 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
1054 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
1055 self.assertEqual('{0}'.format(-15), '-15')
1056 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
1057 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
1058 self.assertEqual('{{'.format(), '{')
1059 self.assertEqual('}}'.format(), '}')
1060 self.assertEqual('{{}}'.format(), '{}')
1061 self.assertEqual('{{x}}'.format(), '{x}')
1062 self.assertEqual('{{{0}}}'.format(123), '{123}')
1063 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
1064 self.assertEqual('}}{{'.format(), '}{')
1065 self.assertEqual('}}x{{'.format(), '}x{')
1066
Eric Smith7ade6482007-08-26 22:27:13 +00001067 # weird field names
1068 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
1069 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001070 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +00001071
Eric Smith8c663262007-08-25 02:26:07 +00001072 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
1073 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
1074 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
1075 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
1076 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
1077 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
1078 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
1079
Eric Smith8c663262007-08-25 02:26:07 +00001080 # strings
1081 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
1082 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
1083 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
1084 self.assertEqual('{0:.0s}'.format('abcdef'), '')
1085 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
1086 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
1087 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
1088 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
1089 self.assertEqual('{0:x<0s}'.format('result'), 'result')
1090 self.assertEqual('{0:x<5s}'.format('result'), 'result')
1091 self.assertEqual('{0:x<6s}'.format('result'), 'result')
1092 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
1093 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
1094 self.assertEqual('{0: <7s}'.format('result'), 'result ')
1095 self.assertEqual('{0:<7s}'.format('result'), 'result ')
1096 self.assertEqual('{0:>7s}'.format('result'), ' result')
1097 self.assertEqual('{0:>8s}'.format('result'), ' result')
1098 self.assertEqual('{0:^8s}'.format('result'), ' result ')
1099 self.assertEqual('{0:^9s}'.format('result'), ' result ')
1100 self.assertEqual('{0:^10s}'.format('result'), ' result ')
Serhiy Storchakacf19cc32021-01-25 11:56:33 +02001101 self.assertEqual('{0:8s}'.format('result'), 'result ')
1102 self.assertEqual('{0:0s}'.format('result'), 'result')
1103 self.assertEqual('{0:08s}'.format('result'), 'result00')
1104 self.assertEqual('{0:<08s}'.format('result'), 'result00')
1105 self.assertEqual('{0:>08s}'.format('result'), '00result')
1106 self.assertEqual('{0:^08s}'.format('result'), '0result0')
Eric Smith8c663262007-08-25 02:26:07 +00001107 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
1108 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
1109 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
1110
Eric V. Smith2ea97122014-04-14 11:55:10 -04001111 # issue 12546: use \x00 as a fill character
1112 self.assertEqual('{0:\x00<6s}'.format('foo'), 'foo\x00\x00\x00')
1113 self.assertEqual('{0:\x01<6s}'.format('foo'), 'foo\x01\x01\x01')
1114 self.assertEqual('{0:\x00^6s}'.format('foo'), '\x00foo\x00\x00')
1115 self.assertEqual('{0:^6s}'.format('foo'), ' foo ')
1116
1117 self.assertEqual('{0:\x00<6}'.format(3), '3\x00\x00\x00\x00\x00')
1118 self.assertEqual('{0:\x01<6}'.format(3), '3\x01\x01\x01\x01\x01')
1119 self.assertEqual('{0:\x00^6}'.format(3), '\x00\x003\x00\x00\x00')
1120 self.assertEqual('{0:<6}'.format(3), '3 ')
1121
1122 self.assertEqual('{0:\x00<6}'.format(3.14), '3.14\x00\x00')
1123 self.assertEqual('{0:\x01<6}'.format(3.14), '3.14\x01\x01')
1124 self.assertEqual('{0:\x00^6}'.format(3.14), '\x003.14\x00')
1125 self.assertEqual('{0:^6}'.format(3.14), ' 3.14 ')
1126
1127 self.assertEqual('{0:\x00<12}'.format(3+2.0j), '(3+2j)\x00\x00\x00\x00\x00\x00')
1128 self.assertEqual('{0:\x01<12}'.format(3+2.0j), '(3+2j)\x01\x01\x01\x01\x01\x01')
1129 self.assertEqual('{0:\x00^12}'.format(3+2.0j), '\x00\x00\x00(3+2j)\x00\x00\x00')
1130 self.assertEqual('{0:^12}'.format(3+2.0j), ' (3+2j) ')
1131
Eric Smith8c663262007-08-25 02:26:07 +00001132 # format specifiers for user defined type
1133 self.assertEqual('{0:abc}'.format(C()), 'abc')
1134
Georg Brandld52429f2008-07-04 15:55:02 +00001135 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +00001136 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
1137 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
1138 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
1139 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
1140 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
1141 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
1142 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001143 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001144 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
1145 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +00001146 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001147 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001148 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +00001149 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
1150 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +00001151 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +00001152
Eric Smith8c663262007-08-25 02:26:07 +00001153 # test fallback to object.__format__
1154 self.assertEqual('{0}'.format({}), '{}')
1155 self.assertEqual('{0}'.format([]), '[]')
1156 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +00001157
Eric Smith8c663262007-08-25 02:26:07 +00001158 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +00001159 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
1160
Andrew Svetlov2cd8ce42012-12-23 14:27:17 +02001161 self.assertRaises(TypeError, '{0:^10}'.format, E('data'))
1162 self.assertRaises(TypeError, '{0:^10s}'.format, E('data'))
1163 self.assertRaises(TypeError, '{0:>15s}'.format, G('data'))
Eric Smithe4d63172010-09-13 20:48:43 +00001164
Eric Smith739e2ad2007-08-27 19:07:22 +00001165 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
1166 month=8,
1167 day=27)),
1168 "date: 2007-08-27")
1169
Eric Smith185e30c2007-08-30 22:23:08 +00001170 # test deriving from a builtin type and overriding __format__
1171 self.assertEqual("{0}".format(J(10)), "20")
1172
1173
Eric Smith8c663262007-08-25 02:26:07 +00001174 # string format specifiers
1175 self.assertEqual('{0:}'.format('a'), 'a')
1176
1177 # computed format specifiers
1178 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
1179 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
1180 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
1181 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
1182 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
1183
1184 # test various errors
1185 self.assertRaises(ValueError, '{'.format)
1186 self.assertRaises(ValueError, '}'.format)
1187 self.assertRaises(ValueError, 'a{'.format)
1188 self.assertRaises(ValueError, 'a}'.format)
1189 self.assertRaises(ValueError, '{a'.format)
1190 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +00001191 self.assertRaises(IndexError, '{0}'.format)
1192 self.assertRaises(IndexError, '{1}'.format, 'abc')
1193 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +00001194 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +00001195 self.assertRaises(ValueError, "abc{0:{}".format)
1196 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +00001197 self.assertRaises(IndexError, "{0.}".format)
1198 self.assertRaises(ValueError, "{0.}".format, 0)
Benjamin Peterson4d944742013-05-17 18:22:31 -05001199 self.assertRaises(ValueError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001200 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +00001201 self.assertRaises(KeyError, "{0]}".format)
1202 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +00001203 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +00001204 self.assertRaises(ValueError, "{0[0}".format, 0)
1205 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
1206 self.assertRaises(KeyError, "{c]}".format)
1207 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
1208 self.assertRaises(ValueError, "{0}}".format, 0)
1209 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +00001210 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +00001211 self.assertRaises(ValueError, "{0!}".format, 0)
1212 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +00001213 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +00001214 self.assertRaises(IndexError, "{:}".format)
1215 self.assertRaises(IndexError, "{:s}".format)
1216 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +00001217 big = "23098475029384702983476098230754973209482573"
1218 self.assertRaises(ValueError, ("{" + big + "}").format)
1219 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +00001220
Eric Smith41669ca2009-05-23 14:23:22 +00001221 # issue 6089
1222 self.assertRaises(ValueError, "{0[0]x}".format, [None])
1223 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
1224
Eric Smith8c663262007-08-25 02:26:07 +00001225 # can't have a replacement on the field name portion
1226 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
1227
1228 # exceed maximum recursion depth
1229 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
1230 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
1231 0, 1, 2, 3, 4, 5, 6, 7)
1232
1233 # string format spec errors
Miss Islington (bot)2d780232021-05-13 14:24:49 -07001234 sign_msg = "Sign not allowed in string format specifier"
1235 self.assertRaisesRegex(ValueError, sign_msg, "{0:-s}".format, '')
1236 self.assertRaisesRegex(ValueError, sign_msg, format, "", "-")
1237 space_msg = "Space not allowed in string format specifier"
1238 self.assertRaisesRegex(ValueError, space_msg, "{: }".format, '')
Eric Smith8c663262007-08-25 02:26:07 +00001239 self.assertRaises(ValueError, "{0:=s}".format, '')
1240
Eric Smithb1ebcc62008-07-15 13:02:41 +00001241 # Alternate formatting is not supported
1242 self.assertRaises(ValueError, format, '', '#')
1243 self.assertRaises(ValueError, format, '', '#20')
1244
Victor Stinnerece58de2012-04-23 23:36:38 +02001245 # Non-ASCII
1246 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
1247 'ABC\u0410\u0411\u0412')
1248 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
1249 'ABC')
1250 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
1251 '')
1252
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001253 self.assertEqual("{[{}]}".format({"{}": 5}), "5")
Benjamin Peterson4d944742013-05-17 18:22:31 -05001254 self.assertEqual("{[{}]}".format({"{}" : "a"}), "a")
1255 self.assertEqual("{[{]}".format({"{" : "a"}), "a")
1256 self.assertEqual("{[}]}".format({"}" : "a"}), "a")
1257 self.assertEqual("{[[]}".format({"[" : "a"}), "a")
1258 self.assertEqual("{[!]}".format({"!" : "a"}), "a")
1259 self.assertRaises(ValueError, "{a{}b}".format, 42)
1260 self.assertRaises(ValueError, "{a{b}".format, 42)
1261 self.assertRaises(ValueError, "{[}".format, 42)
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001262
Benjamin Peterson0ee22bf2013-11-26 19:22:36 -06001263 self.assertEqual("0x{:0{:d}X}".format(0x0,16), "0x0000000000000000")
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001264
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001265 # Blocking fallback
1266 m = M('data')
1267 self.assertEqual("{!r}".format(m), 'M(data)')
1268 self.assertRaises(TypeError, "{!s}".format, m)
1269 self.assertRaises(TypeError, "{}".format, m)
1270 n = N('data')
1271 self.assertEqual("{!r}".format(n), 'N(data)')
1272 self.assertEqual("{!s}".format(n), 'N(data)')
1273 self.assertRaises(TypeError, "{}".format, n)
1274
Eric Smith27bbca62010-11-04 17:06:58 +00001275 def test_format_map(self):
1276 self.assertEqual(''.format_map({}), '')
1277 self.assertEqual('a'.format_map({}), 'a')
1278 self.assertEqual('ab'.format_map({}), 'ab')
1279 self.assertEqual('a{{'.format_map({}), 'a{')
1280 self.assertEqual('a}}'.format_map({}), 'a}')
1281 self.assertEqual('{{b'.format_map({}), '{b')
1282 self.assertEqual('}}b'.format_map({}), '}b')
1283 self.assertEqual('a{{b'.format_map({}), 'a{b')
1284
1285 # using mappings
1286 class Mapping(dict):
1287 def __missing__(self, key):
1288 return key
1289 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
1290 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
1291
1292 class InternalMapping:
1293 def __init__(self):
1294 self.mapping = {'a': 'hello'}
1295 def __getitem__(self, key):
1296 return self.mapping[key]
1297 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
1298
1299
Eric Smith27bbca62010-11-04 17:06:58 +00001300 class C:
1301 def __init__(self, x=100):
1302 self._x = x
1303 def __format__(self, spec):
1304 return spec
Eric Smith27bbca62010-11-04 17:06:58 +00001305 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
1306
1307 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -07001308 self.assertRaises(TypeError, ''.format_map)
1309 self.assertRaises(TypeError, 'a'.format_map)
1310
1311 self.assertRaises(ValueError, '{'.format_map, {})
1312 self.assertRaises(ValueError, '}'.format_map, {})
1313 self.assertRaises(ValueError, 'a{'.format_map, {})
1314 self.assertRaises(ValueError, 'a}'.format_map, {})
1315 self.assertRaises(ValueError, '{a'.format_map, {})
1316 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +00001317
Eric V. Smith12ebefc2011-07-18 14:03:41 -04001318 # issue #12579: can't supply positional params to format_map
1319 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
1320 self.assertRaises(ValueError, '{}'.format_map, 'a')
1321 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
1322
Serhiy Storchaka50754162017-08-03 11:45:23 +03001323 class BadMapping:
1324 def __getitem__(self, key):
1325 return 1/0
1326 self.assertRaises(KeyError, '{a}'.format_map, {})
1327 self.assertRaises(TypeError, '{a}'.format_map, [])
1328 self.assertRaises(ZeroDivisionError, '{a}'.format_map, BadMapping())
1329
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001330 def test_format_huge_precision(self):
1331 format_string = ".{}f".format(sys.maxsize + 1)
1332 with self.assertRaises(ValueError):
1333 result = format(2.34, format_string)
1334
1335 def test_format_huge_width(self):
1336 format_string = "{}f".format(sys.maxsize + 1)
1337 with self.assertRaises(ValueError):
1338 result = format(2.34, format_string)
1339
1340 def test_format_huge_item_number(self):
1341 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
1342 with self.assertRaises(ValueError):
1343 result = format_string.format(2.34)
1344
Eric Smith8ec90442009-03-14 12:29:34 +00001345 def test_format_auto_numbering(self):
1346 class C:
1347 def __init__(self, x=100):
1348 self._x = x
1349 def __format__(self, spec):
1350 return spec
1351
1352 self.assertEqual('{}'.format(10), '10')
1353 self.assertEqual('{:5}'.format('s'), 's ')
1354 self.assertEqual('{!r}'.format('s'), "'s'")
1355 self.assertEqual('{._x}'.format(C(10)), '10')
1356 self.assertEqual('{[1]}'.format([1, 2]), '2')
1357 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1358 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1359
1360 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1361 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1362
1363 # can't mix and match numbering and auto-numbering
1364 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1365 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1366 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1367 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1368
1369 # can mix and match auto-numbering and named
1370 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1371 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1372 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1373 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1374
Walter Dörwald28256f22003-01-19 16:59:20 +00001375 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001376 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001377 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001378 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1379 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1380 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1381 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1382 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1383 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 1003.57), 'abc, abc, -1, -2.000000, 1003.57')
Walter Dörwald28256f22003-01-19 16:59:20 +00001384 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001385 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001386 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1387 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001388 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1389 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001390
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001391 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001392 self.assertEqual('%c' % 0x21483, '\U00021483')
1393 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1394 self.assertEqual('%c' % '\U00021483', '\U00021483')
1395 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001396 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001397 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001398
1399 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001400 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001401 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1402 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1403 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1404 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1405 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1406 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1407 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1408 self.assertEqual('...%s...' % "abc", '...abc...')
1409 self.assertEqual('%*s' % (5,'abc',), ' abc')
1410 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1411 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1412 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1413 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1414 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1415 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001416 class Wrapper:
1417 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001418 return '\u1234'
1419 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001420
Eric Smith741191f2009-05-06 13:08:15 +00001421 # issue 3382
1422 NAN = float('nan')
1423 INF = float('inf')
1424 self.assertEqual('%f' % NAN, 'nan')
1425 self.assertEqual('%F' % NAN, 'NAN')
1426 self.assertEqual('%f' % INF, 'inf')
1427 self.assertEqual('%F' % INF, 'INF')
1428
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001429 # PEP 393
1430 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1431 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1432
Ethan Furmandf3ed242014-01-05 06:50:30 -08001433 #issue 19995
Ethan Furman9ab74802014-03-21 06:38:46 -07001434 class PseudoInt:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001435 def __init__(self, value):
1436 self.value = int(value)
1437 def __int__(self):
1438 return self.value
1439 def __index__(self):
1440 return self.value
Ethan Furman9ab74802014-03-21 06:38:46 -07001441 class PseudoFloat:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001442 def __init__(self, value):
1443 self.value = float(value)
1444 def __int__(self):
1445 return int(self.value)
Ethan Furman9ab74802014-03-21 06:38:46 -07001446 pi = PseudoFloat(3.1415)
1447 letter_m = PseudoInt(109)
Antoine Pitroueb168042014-01-10 00:02:38 +01001448 self.assertEqual('%x' % 42, '2a')
1449 self.assertEqual('%X' % 15, 'F')
1450 self.assertEqual('%o' % 9, '11')
1451 self.assertEqual('%c' % 109, 'm')
1452 self.assertEqual('%x' % letter_m, '6d')
1453 self.assertEqual('%X' % letter_m, '6D')
1454 self.assertEqual('%o' % letter_m, '155')
1455 self.assertEqual('%c' % letter_m, 'm')
Ethan Furman9ab74802014-03-21 06:38:46 -07001456 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not float', operator.mod, '%x', 3.14),
1457 self.assertRaisesRegex(TypeError, '%X format: an integer is required, not float', operator.mod, '%X', 2.11),
1458 self.assertRaisesRegex(TypeError, '%o format: an integer is required, not float', operator.mod, '%o', 1.79),
1459 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not PseudoFloat', operator.mod, '%x', pi),
1460 self.assertRaises(TypeError, operator.mod, '%c', pi),
Ethan Furmandf3ed242014-01-05 06:50:30 -08001461
Ethan Furmanfb137212013-08-31 10:18:55 -07001462 def test_formatting_with_enum(self):
1463 # issue18780
1464 import enum
1465 class Float(float, enum.Enum):
1466 PI = 3.1415926
1467 class Int(enum.IntEnum):
1468 IDES = 15
Ethan Furman9bf7c2d2021-07-03 21:08:42 -07001469 class Str(str, enum.Enum):
Ethan Furmanfb137212013-08-31 10:18:55 -07001470 ABC = 'abc'
1471 # Testing Unicode formatting strings...
Ethan Furman13bdfa72013-08-31 12:48:51 -07001472 self.assertEqual("%s, %s" % (Str.ABC, Str.ABC),
Ethan Furman9bf7c2d2021-07-03 21:08:42 -07001473 'Str.ABC, Str.ABC')
Ethan Furman13bdfa72013-08-31 12:48:51 -07001474 self.assertEqual("%s, %s, %d, %i, %u, %f, %5.2f" %
1475 (Str.ABC, Str.ABC,
1476 Int.IDES, Int.IDES, Int.IDES,
1477 Float.PI, Float.PI),
Ethan Furman9bf7c2d2021-07-03 21:08:42 -07001478 'Str.ABC, Str.ABC, 15, 15, 15, 3.141593, 3.14')
Ethan Furmanfb137212013-08-31 10:18:55 -07001479
1480 # formatting jobs delegated from the string implementation:
Ethan Furman13bdfa72013-08-31 12:48:51 -07001481 self.assertEqual('...%(foo)s...' % {'foo':Str.ABC},
Ethan Furman9bf7c2d2021-07-03 21:08:42 -07001482 '...Str.ABC...')
Ethan Furman13bdfa72013-08-31 12:48:51 -07001483 self.assertEqual('...%(foo)s...' % {'foo':Int.IDES},
Ethan Furman9bf7c2d2021-07-03 21:08:42 -07001484 '...Int.IDES...')
Ethan Furman13bdfa72013-08-31 12:48:51 -07001485 self.assertEqual('...%(foo)i...' % {'foo':Int.IDES},
1486 '...15...')
1487 self.assertEqual('...%(foo)d...' % {'foo':Int.IDES},
1488 '...15...')
1489 self.assertEqual('...%(foo)u...' % {'foo':Int.IDES, 'def':Float.PI},
1490 '...15...')
1491 self.assertEqual('...%(foo)f...' % {'foo':Float.PI,'def':123},
1492 '...3.141593...')
Ethan Furmanfb137212013-08-31 10:18:55 -07001493
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001494 def test_formatting_huge_precision(self):
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001495 format_string = "%.{}f".format(sys.maxsize + 1)
1496 with self.assertRaises(ValueError):
1497 result = format_string % 2.34
1498
Martijn Pietersd7e64332017-02-23 13:38:04 +00001499 def test_issue28598_strsubclass_rhs(self):
1500 # A subclass of str with an __rmod__ method should be able to hook
1501 # into the % operator
1502 class SubclassedStr(str):
1503 def __rmod__(self, other):
1504 return 'Success, self.__rmod__({!r}) was called'.format(other)
1505 self.assertEqual('lhs %% %r' % SubclassedStr('rhs'),
1506 "Success, self.__rmod__('lhs %% %r') was called")
1507
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001508 @support.cpython_only
1509 def test_formatting_huge_precision_c_limits(self):
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001510 from _testcapi import INT_MAX
1511 format_string = "%.{}f".format(INT_MAX + 1)
1512 with self.assertRaises(ValueError):
1513 result = format_string % 2.34
1514
1515 def test_formatting_huge_width(self):
1516 format_string = "%{}f".format(sys.maxsize + 1)
1517 with self.assertRaises(ValueError):
1518 result = format_string % 2.34
1519
Ezio Melottiba42fd52011-04-26 06:09:45 +03001520 def test_startswith_endswith_errors(self):
1521 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001522 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001523 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001524 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001525 self.assertIn('str', exc)
1526 self.assertIn('tuple', exc)
1527
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001528 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001529 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001530 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001531 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001532
Walter Dörwald28256f22003-01-19 16:59:20 +00001533 def test_constructor(self):
1534 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1535
1536 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001537 str('unicode remains unicode'),
1538 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001539 )
1540
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001541 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
Serhiy Storchaka15095802015-11-25 15:47:01 +02001542 subclass = StrSubclass(text)
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001543 self.assertEqual(str(subclass), text)
1544 self.assertEqual(len(subclass), len(text))
1545 if text == 'ascii':
1546 self.assertEqual(subclass.encode('ascii'), b'ascii')
1547 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001548
Walter Dörwald28256f22003-01-19 16:59:20 +00001549 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001550 str('strings are converted to unicode'),
1551 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001552 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001553
Walter Dörwald28256f22003-01-19 16:59:20 +00001554 class StringCompat:
1555 def __init__(self, x):
1556 self.x = x
1557 def __str__(self):
1558 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001559
Walter Dörwald28256f22003-01-19 16:59:20 +00001560 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001561 str(StringCompat('__str__ compatible objects are recognized')),
1562 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001563 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001564
Walter Dörwald28256f22003-01-19 16:59:20 +00001565 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001566
Walter Dörwald28256f22003-01-19 16:59:20 +00001567 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001568 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001569 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001570
Guido van Rossume2a383d2007-01-15 16:59:06 +00001571 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001572 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001573
Walter Dörwald28256f22003-01-19 16:59:20 +00001574 # unicode(obj, encoding, error) tests (this maps to
1575 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001576
Walter Dörwald28256f22003-01-19 16:59:20 +00001577 if not sys.platform.startswith('java'):
1578 self.assertRaises(
1579 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001580 str,
1581 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001582 'utf-8',
1583 'strict'
1584 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001585
Walter Dörwald28256f22003-01-19 16:59:20 +00001586 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001587 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001588 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001589 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001590
Walter Dörwald28256f22003-01-19 16:59:20 +00001591 if not sys.platform.startswith('java'):
1592 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001593 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001594 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001595 'utf-8',
1596 'strict'
1597 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001598 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001599 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001600
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001601 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001602
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001603 def test_constructor_keyword_args(self):
1604 """Pass various keyword argument combinations to the constructor."""
1605 # The object argument can be passed as a keyword.
1606 self.assertEqual(str(object='foo'), 'foo')
1607 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1608 # The errors argument without encoding triggers "decode" mode.
1609 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1610 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1611
1612 def test_constructor_defaults(self):
1613 """Check the constructor argument defaults."""
1614 # The object argument defaults to '' or b''.
1615 self.assertEqual(str(), '')
1616 self.assertEqual(str(errors='strict'), '')
1617 utf8_cent = '¢'.encode('utf-8')
1618 # The encoding argument defaults to utf-8.
1619 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1620 # The errors argument defaults to strict.
1621 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1622
Walter Dörwald28256f22003-01-19 16:59:20 +00001623 def test_codecs_utf7(self):
1624 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001625 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1626 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1627 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1628 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1629 ('+', b'+-'),
1630 ('+-', b'+--'),
1631 ('+?', b'+-?'),
R David Murray44b548d2016-09-08 13:59:53 -04001632 (r'\?', b'+AFw?'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001633 ('+?', b'+-?'),
1634 (r'\\?', b'+AFwAXA?'),
1635 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001636 (r'++--', b'+-+---'),
1637 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1638 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001639 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001640
Walter Dörwald28256f22003-01-19 16:59:20 +00001641 for (x, y) in utfTests:
1642 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001643
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001644 # Unpaired surrogates are passed through
1645 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1646 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1647 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1648 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1649 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1650 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1651 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1652 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001653
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001654 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1655 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001656
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001657 # Issue #2242: crash on some Windows/MSVC versions
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03001658 self.assertEqual(b'+\xc1'.decode('utf-7', 'ignore'), '')
Antoine Pitrou244651a2009-05-04 18:56:13 +00001659
1660 # Direct encoded characters
1661 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1662 # Optional direct characters
1663 set_o = '!"#$%&*;<=>@[]^_`{|}'
1664 for c in set_d:
1665 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1666 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1667 for c in set_o:
1668 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001669
Zackery Spytze349bf22018-08-18 22:43:38 -06001670 with self.assertRaisesRegex(UnicodeDecodeError,
1671 'ill-formed sequence'):
1672 b'+@'.decode('utf-7')
1673
Walter Dörwald28256f22003-01-19 16:59:20 +00001674 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001675 self.assertEqual(''.encode('utf-8'), b'')
1676 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001677 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1678 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001679 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1680 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001681 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1682 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001683 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001684 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1685 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1686 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1687 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1688 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1689 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001690 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1691 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1692 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1693 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1694 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1695 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1696 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1697 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1698 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1699 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001700 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001701
Walter Dörwald28256f22003-01-19 16:59:20 +00001702 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001703 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1704 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1705 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001706
Walter Dörwald28256f22003-01-19 16:59:20 +00001707 # Other possible utf-8 test cases:
1708 # * strict decoding testing for all of the
1709 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001710
Ezio Melotti57221d02010-07-01 07:32:02 +00001711 def test_utf8_decode_valid_sequences(self):
1712 sequences = [
1713 # single byte
1714 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1715 # 2 bytes
1716 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1717 # 3 bytes
1718 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1719 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1720 # 4 bytes
1721 (b'\xF0\x90\x80\x80', '\U00010000'),
1722 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1723 ]
1724 for seq, res in sequences:
1725 self.assertEqual(seq.decode('utf-8'), res)
1726
1727
1728 def test_utf8_decode_invalid_sequences(self):
1729 # continuation bytes in a sequence of 2, 3, or 4 bytes
1730 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001731 # start bytes of a 2-byte sequence equivalent to code points < 0x7F
Ezio Melotti57221d02010-07-01 07:32:02 +00001732 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001733 # start bytes of a 4-byte sequence equivalent to code points > 0x10FFFF
Ezio Melotti57221d02010-07-01 07:32:02 +00001734 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1735 invalid_start_bytes = (
1736 continuation_bytes + invalid_2B_seq_start_bytes +
1737 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1738 )
1739
1740 for byte in invalid_start_bytes:
1741 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1742
1743 for sb in invalid_2B_seq_start_bytes:
1744 for cb in continuation_bytes:
1745 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1746
1747 for sb in invalid_4B_seq_start_bytes:
1748 for cb1 in continuation_bytes[:3]:
1749 for cb3 in continuation_bytes[:3]:
1750 self.assertRaises(UnicodeDecodeError,
1751 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1752
1753 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1754 self.assertRaises(UnicodeDecodeError,
1755 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1756 self.assertRaises(UnicodeDecodeError,
1757 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1758 # surrogates
1759 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1760 self.assertRaises(UnicodeDecodeError,
1761 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1762 self.assertRaises(UnicodeDecodeError,
1763 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1764 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1765 self.assertRaises(UnicodeDecodeError,
1766 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1767 self.assertRaises(UnicodeDecodeError,
1768 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1769 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1770 self.assertRaises(UnicodeDecodeError,
1771 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1772 self.assertRaises(UnicodeDecodeError,
1773 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1774
1775 def test_issue8271(self):
1776 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1777 # only the start byte and the continuation byte(s) are now considered
1778 # invalid, instead of the number of bytes specified by the start byte.
Benjamin Peterson51796e52020-03-10 21:10:59 -07001779 # See https://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
Ezio Melotti57221d02010-07-01 07:32:02 +00001780 # table 3-8, Row 2) for more information about the algorithm used.
1781 FFFD = '\ufffd'
1782 sequences = [
1783 # invalid start bytes
1784 (b'\x80', FFFD), # continuation byte
1785 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1786 (b'\xc0', FFFD),
1787 (b'\xc0\xc0', FFFD*2),
1788 (b'\xc1', FFFD),
1789 (b'\xc1\xc0', FFFD*2),
1790 (b'\xc0\xc1', FFFD*2),
1791 # with start byte of a 2-byte sequence
1792 (b'\xc2', FFFD), # only the start byte
1793 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001794 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001795 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1796 # with start byte of a 3-byte sequence
1797 (b'\xe1', FFFD), # only the start byte
1798 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1799 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1800 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1801 (b'\xe1\x80', FFFD), # only 1 continuation byte
1802 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1803 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1804 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1805 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1806 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1807 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1808 # with start byte of a 4-byte sequence
1809 (b'\xf1', FFFD), # only the start byte
1810 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1811 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1812 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1813 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1814 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1815 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1816 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1817 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1818 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1819 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1820 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1821 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1822 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1823 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1824 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1825 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1826 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1827 # with invalid start byte of a 4-byte sequence (rfc2279)
1828 (b'\xf5', FFFD), # only the start byte
1829 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1830 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1831 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1832 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1833 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1834 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1835 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1836 # with invalid start byte of a 5-byte sequence (rfc2279)
1837 (b'\xf8', FFFD), # only the start byte
1838 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1839 (b'\xf8\x80', FFFD*2), # only one continuation byte
1840 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1841 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1842 # with invalid start byte of a 6-byte sequence (rfc2279)
1843 (b'\xfc', FFFD), # only the start byte
1844 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1845 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1846 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1847 # invalid start byte
1848 (b'\xfe', FFFD),
1849 (b'\xfe\x80\x80', FFFD*3),
1850 # other sequences
1851 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1852 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1853 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1854 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1855 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1856 ]
1857 for n, (seq, res) in enumerate(sequences):
1858 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1859 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1860 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1861 self.assertEqual(seq.decode('utf-8', 'ignore'),
1862 res.replace('\uFFFD', ''))
1863
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001864 def assertCorrectUTF8Decoding(self, seq, res, err):
1865 """
Martin Panter6245cb32016-04-15 02:14:19 +00001866 Check that an invalid UTF-8 sequence raises a UnicodeDecodeError when
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001867 'strict' is used, returns res when 'replace' is used, and that doesn't
1868 return anything when 'ignore' is used.
1869 """
1870 with self.assertRaises(UnicodeDecodeError) as cm:
1871 seq.decode('utf-8')
1872 exc = cm.exception
1873
1874 self.assertIn(err, str(exc))
1875 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1876 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1877 'aaaa' + res + 'bbbb')
1878 res = res.replace('\ufffd', '')
1879 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1880 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1881 'aaaa' + res + 'bbbb')
1882
1883 def test_invalid_start_byte(self):
1884 """
1885 Test that an 'invalid start byte' error is raised when the first byte
1886 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1887 4-bytes sequence. The invalid start byte is replaced with a single
1888 U+FFFD when errors='replace'.
1889 E.g. <80> is a continuation byte and can appear only after a start byte.
1890 """
1891 FFFD = '\ufffd'
1892 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1893 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1894 'invalid start byte')
1895
1896 def test_unexpected_end_of_data(self):
1897 """
1898 Test that an 'unexpected end of data' error is raised when the string
1899 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1900 enough continuation bytes. The incomplete sequence is replaced with a
1901 single U+FFFD when errors='replace'.
1902 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1903 sequence, but it's followed by only 2 valid continuation bytes and the
1904 last continuation bytes is missing.
1905 Note: the continuation bytes must be all valid, if one of them is
1906 invalid another error will be raised.
1907 """
1908 sequences = [
1909 'C2', 'DF',
1910 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1911 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1912 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1913 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1914 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1915 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1916 ]
1917 FFFD = '\ufffd'
1918 for seq in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001919 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), '\ufffd',
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001920 'unexpected end of data')
1921
1922 def test_invalid_cb_for_2bytes_seq(self):
1923 """
1924 Test that an 'invalid continuation byte' error is raised when the
1925 continuation byte of a 2-bytes sequence is invalid. The start byte
1926 is replaced by a single U+FFFD and the second byte is handled
1927 separately when errors='replace'.
1928 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1929 sequence, but 41 is not a valid continuation byte because it's the
1930 ASCII letter 'A'.
1931 """
1932 FFFD = '\ufffd'
1933 FFFDx2 = FFFD * 2
1934 sequences = [
1935 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1936 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1937 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1938 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1939 ]
1940 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001941 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001942 'invalid continuation byte')
1943
1944 def test_invalid_cb_for_3bytes_seq(self):
1945 """
1946 Test that an 'invalid continuation byte' error is raised when the
1947 continuation byte(s) of a 3-bytes sequence are invalid. When
1948 errors='replace', if the first continuation byte is valid, the first
1949 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1950 third byte is handled separately, otherwise only the start byte is
1951 replaced with a U+FFFD and the other continuation bytes are handled
1952 separately.
1953 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1954 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1955 because it's the ASCII letter 'A'.
1956 Note: when the start byte is E0 or ED, the valid ranges for the first
1957 continuation byte are limited to A0..BF and 80..9F respectively.
1958 Python 2 used to consider all the bytes in range 80..BF valid when the
1959 start byte was ED. This is fixed in Python 3.
1960 """
1961 FFFD = '\ufffd'
1962 FFFDx2 = FFFD * 2
1963 sequences = [
1964 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1965 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1966 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1967 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1968 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1969 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1970 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1971 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1972 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1973 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1974 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1975 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1976 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1977 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1978 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1979 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1980 ('ED 7F', FFFD+'\x7f'),
1981 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1982 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1983 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1984 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1985 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1986 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1987 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1988 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1989 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1990 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1991 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1992 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1993 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1994 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1995 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1996 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1997 ]
1998 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001999 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02002000 'invalid continuation byte')
2001
2002 def test_invalid_cb_for_4bytes_seq(self):
2003 """
2004 Test that an 'invalid continuation byte' error is raised when the
2005 continuation byte(s) of a 4-bytes sequence are invalid. When
2006 errors='replace',the start byte and all the following valid
2007 continuation bytes are replaced with a single U+FFFD, and all the bytes
2008 starting from the first invalid continuation bytes (included) are
2009 handled separately.
2010 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
2011 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
2012 because it's the ASCII letter 'A'.
2013 Note: when the start byte is E0 or ED, the valid ranges for the first
2014 continuation byte are limited to A0..BF and 80..9F respectively.
2015 However, when the start byte is ED, Python 2 considers all the bytes
2016 in range 80..BF valid. This is fixed in Python 3.
2017 """
2018 FFFD = '\ufffd'
2019 FFFDx2 = FFFD * 2
2020 sequences = [
2021 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
2022 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
2023 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
2024 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
2025 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
2026 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
2027 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
2028 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
2029 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
2030 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
2031 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
2032 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
2033 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
2034 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
2035 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
2036 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
2037 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
2038 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
2039 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
2040 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
2041 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
2042 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
2043 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
2044 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
2045 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
2046 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
2047 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
2048 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
2049 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
2050 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
2051 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
2052 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
2053 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
2054 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
2055 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
2056 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
2057 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
2058 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
2059 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
2060 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
2061 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
2062 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
2063 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
2064 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
2065 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
2066 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
2067 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
2068 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
2069 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
2070 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
2071 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
2072 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
2073 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
2074 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
2075 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
2076 ]
2077 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02002078 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02002079 'invalid continuation byte')
2080
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002081 def test_codecs_idna(self):
2082 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00002083 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002084
Walter Dörwald28256f22003-01-19 16:59:20 +00002085 def test_codecs_errors(self):
2086 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002087 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
2088 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00002089 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
2090 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00002091 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
2092 'Andr\202 x'.encode('ascii', errors='replace'))
2093 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
2094 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002095
Walter Dörwald28256f22003-01-19 16:59:20 +00002096 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00002097 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
2098 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
2099 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
2100 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03002101 self.assertEqual(str(b'\202 x', 'ascii', 'replace'), '\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002102
Walter Dörwald28256f22003-01-19 16:59:20 +00002103 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00002104 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00002105
Walter Dörwald28256f22003-01-19 16:59:20 +00002106 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00002107 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002108
Guido van Rossum9c627722007-08-27 18:31:48 +00002109 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
2110 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002111 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
2112 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002113
Walter Dörwald28256f22003-01-19 16:59:20 +00002114 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002115 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002116
Serhiy Storchaka9b6c60c2017-11-13 21:23:48 +02002117 # Error handling (lone surrogate in
2118 # _PyUnicode_TransformDecimalAndSpaceToASCII())
2119 self.assertRaises(ValueError, int, "\ud800")
2120 self.assertRaises(ValueError, int, "\udf00")
2121 self.assertRaises(ValueError, float, "\ud800")
2122 self.assertRaises(ValueError, float, "\udf00")
2123 self.assertRaises(ValueError, complex, "\ud800")
2124 self.assertRaises(ValueError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00002125
Walter Dörwald28256f22003-01-19 16:59:20 +00002126 def test_codecs(self):
2127 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00002128 self.assertEqual('hello'.encode('ascii'), b'hello')
2129 self.assertEqual('hello'.encode('utf-7'), b'hello')
2130 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002131 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00002132 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
2133 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
2134 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00002135
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002136 # Default encoding is utf-8
2137 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
2138
Walter Dörwald28256f22003-01-19 16:59:20 +00002139 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002140 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002141 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002142 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
2143 'utf-16-be', 'raw_unicode_escape',
Inada Naoki6a16b182019-03-18 15:44:11 +09002144 'unicode_escape'):
2145 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00002146
Walter Dörwald28256f22003-01-19 16:59:20 +00002147 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002148 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002149 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002150 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002151 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002152
Walter Dörwald28256f22003-01-19 16:59:20 +00002153 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002154 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002155 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002156 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002157 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002158
Walter Dörwald28256f22003-01-19 16:59:20 +00002159 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01002160 with warnings.catch_warnings():
Victor Stinner040e16e2011-11-15 22:44:05 +01002161 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
2162 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
Inada Naoki6a16b182019-03-18 15:44:11 +09002163 'raw_unicode_escape', 'unicode_escape'):
Victor Stinner040e16e2011-11-15 22:44:05 +01002164 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002165
Antoine Pitrou51f66482011-11-11 13:35:44 +01002166 # UTF-8 must be roundtrip safe for all code points
2167 # (except surrogates, which are forbidden).
2168 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02002169 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00002170 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002171 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002172
Walter Dörwald28256f22003-01-19 16:59:20 +00002173 def test_codecs_charmap(self):
2174 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00002175 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00002176 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002177 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002178 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2179 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002180 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002181 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2182 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002183 'iso8859_7', 'iso8859_9',
2184 'koi8_r', 'koi8_t', 'koi8_u', 'kz1048', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002185 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002186
Walter Dörwald28256f22003-01-19 16:59:20 +00002187 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2188 'cp1256', 'cp1257', 'cp1258',
2189 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002190
Walter Dörwald28256f22003-01-19 16:59:20 +00002191 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
2192 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002193
Walter Dörwald28256f22003-01-19 16:59:20 +00002194 ### These have undefined mappings:
2195 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002196
Walter Dörwald28256f22003-01-19 16:59:20 +00002197 ### These fail the round-trip:
2198 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00002199
Walter Dörwald28256f22003-01-19 16:59:20 +00002200 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002201 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002202
Walter Dörwald28256f22003-01-19 16:59:20 +00002203 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00002204 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00002205 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002206 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002207 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2208 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002209 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002210 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2211 'iso8859_2', 'iso8859_4', 'iso8859_5',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002212 'iso8859_9', 'koi8_r', 'koi8_u', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002213 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00002214
Walter Dörwald28256f22003-01-19 16:59:20 +00002215 ### These have undefined mappings:
2216 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2217 #'cp1256', 'cp1257', 'cp1258',
2218 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002219 #'iso8859_3', 'iso8859_6', 'iso8859_7', 'koi8_t', 'kz1048',
Walter Dörwald28256f22003-01-19 16:59:20 +00002220 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00002221
Walter Dörwald28256f22003-01-19 16:59:20 +00002222 ### These fail the round-trip:
2223 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00002224
Walter Dörwald28256f22003-01-19 16:59:20 +00002225 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002226 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002227
Walter Dörwald28256f22003-01-19 16:59:20 +00002228 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002229 self.assertEqual(("abc" "def"), "abcdef")
2230 self.assertEqual(("abc" "def"), "abcdef")
2231 self.assertEqual(("abc" "def"), "abcdef")
2232 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
2233 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00002234
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002235 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002236 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002237 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
2238 self.assertEqual(x, y)
2239
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002240 y = br'\U00100000'
2241 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2242 self.assertEqual(x, y)
2243 y = br'\U00010000'
2244 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2245 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00002246
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002247 try:
2248 br'\U11111111'.decode("raw-unicode-escape")
2249 except UnicodeDecodeError as e:
2250 self.assertEqual(e.start, 0)
2251 self.assertEqual(e.end, 10)
2252 else:
2253 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00002254
Brett Cannonc3647ac2005-04-26 03:45:26 +00002255 def test_conversion(self):
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002256 # Make sure __str__() works properly
2257 class ObjectToStr:
Brett Cannonc3647ac2005-04-26 03:45:26 +00002258 def __str__(self):
2259 return "foo"
2260
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002261 class StrSubclassToStr(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002262 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002263 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002264
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002265 class StrSubclassToStrSubclass(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002266 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002267 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00002268 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002269 return self
2270
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002271 self.assertEqual(str(ObjectToStr()), "foo")
2272 self.assertEqual(str(StrSubclassToStr("bar")), "foo")
2273 s = str(StrSubclassToStrSubclass("foo"))
2274 self.assertEqual(s, "foofoo")
2275 self.assertIs(type(s), StrSubclassToStrSubclass)
Serhiy Storchaka15095802015-11-25 15:47:01 +02002276 s = StrSubclass(StrSubclassToStrSubclass("foo"))
2277 self.assertEqual(s, "foofoo")
2278 self.assertIs(type(s), StrSubclass)
Brett Cannonc3647ac2005-04-26 03:45:26 +00002279
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002280 def test_unicode_repr(self):
2281 class s1:
2282 def __repr__(self):
2283 return '\\n'
2284
2285 class s2:
2286 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002287 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002288
2289 self.assertEqual(repr(s1()), '\\n')
2290 self.assertEqual(repr(s2()), '\\n')
2291
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002292 def test_printable_repr(self):
2293 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00002294 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002295
Zachary Ware9fe6d862013-12-08 00:20:35 -06002296 # This test only affects 32-bit platforms because expandtabs can only take
2297 # an int as the max value, not a 64-bit C long. If expandtabs is changed
2298 # to take a 64-bit long, this test should apply to all platforms.
2299 @unittest.skipIf(sys.maxsize > (1 << 32) or struct.calcsize('P') != 4,
2300 'only applies to 32-bit platforms')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00002301 def test_expandtabs_overflows_gracefully(self):
Christian Heimesa37d4c62007-12-04 23:02:19 +00002302 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002303
Victor Stinner1d972ad2011-10-07 13:31:46 +02002304 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02002305 def test_expandtabs_optimization(self):
2306 s = 'abc'
2307 self.assertIs(s.expandtabs(), s)
2308
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002309 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002310 if struct.calcsize('P') == 8:
2311 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002312 ascii_struct_size = 48
2313 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002314 else:
2315 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002316 ascii_struct_size = 24
2317 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002318
2319 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
2320 code = ord(char)
2321 if code < 0x100:
2322 char_size = 1 # sizeof(Py_UCS1)
2323 struct_size = ascii_struct_size
2324 elif code < 0x10000:
2325 char_size = 2 # sizeof(Py_UCS2)
2326 struct_size = compact_struct_size
2327 else:
2328 char_size = 4 # sizeof(Py_UCS4)
2329 struct_size = compact_struct_size
2330 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02002331 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
2332 # be allocatable, given enough memory.
2333 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002334 alloc = lambda: char * maxlen
2335 self.assertRaises(MemoryError, alloc)
2336 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00002337
Victor Stinner808fc0a2010-03-22 12:50:40 +00002338 def test_format_subclass(self):
2339 class S(str):
2340 def __str__(self):
2341 return '__str__ overridden'
2342 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002343 self.assertEqual("%s" % s, '__str__ overridden')
2344 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00002345
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002346 def test_subclass_add(self):
2347 class S(str):
2348 def __add__(self, o):
2349 return "3"
2350 self.assertEqual(S("4") + S("5"), "3")
2351 class S(str):
2352 def __iadd__(self, o):
2353 return "3"
2354 s = S("1")
2355 s += "4"
2356 self.assertEqual(s, "3")
2357
2358 def test_getnewargs(self):
2359 text = 'abc'
2360 args = text.__getnewargs__()
2361 self.assertIsNot(args[0], text)
2362 self.assertEqual(args[0], text)
2363 self.assertEqual(len(args), 1)
2364
Inada Naoki6a16b182019-03-18 15:44:11 +09002365 @support.cpython_only
Serhiy Storchaka4c8f09d2020-07-10 23:26:06 +03002366 @support.requires_legacy_unicode_capi
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002367 def test_resize(self):
Inada Naoki6a16b182019-03-18 15:44:11 +09002368 from _testcapi import getargs_u
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002369 for length in range(1, 100, 7):
2370 # generate a fresh string (refcount=1)
2371 text = 'a' * length + 'b'
2372
Inada Naoki6a16b182019-03-18 15:44:11 +09002373 # fill wstr internal field
Inada Naoki91a639a2021-02-22 22:11:48 +09002374 with self.assertWarns(DeprecationWarning):
2375 abc = getargs_u(text)
Inada Naoki6a16b182019-03-18 15:44:11 +09002376 self.assertEqual(abc, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002377
Inada Naoki6a16b182019-03-18 15:44:11 +09002378 # resize text: wstr field must be cleared and then recomputed
2379 text += 'c'
Inada Naoki91a639a2021-02-22 22:11:48 +09002380 with self.assertWarns(DeprecationWarning):
2381 abcdef = getargs_u(text)
Inada Naoki6a16b182019-03-18 15:44:11 +09002382 self.assertNotEqual(abc, abcdef)
2383 self.assertEqual(abcdef, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002384
2385 def test_compare(self):
2386 # Issue #17615
2387 N = 10
2388 ascii = 'a' * N
2389 ascii2 = 'z' * N
2390 latin = '\x80' * N
2391 latin2 = '\xff' * N
2392 bmp = '\u0100' * N
2393 bmp2 = '\uffff' * N
2394 astral = '\U00100000' * N
2395 astral2 = '\U0010ffff' * N
2396 strings = (
2397 ascii, ascii2,
2398 latin, latin2,
2399 bmp, bmp2,
2400 astral, astral2)
2401 for text1, text2 in itertools.combinations(strings, 2):
2402 equal = (text1 is text2)
2403 self.assertEqual(text1 == text2, equal)
2404 self.assertEqual(text1 != text2, not equal)
2405
2406 if equal:
2407 self.assertTrue(text1 <= text2)
2408 self.assertTrue(text1 >= text2)
2409
2410 # text1 is text2: duplicate strings to skip the "str1 == str2"
2411 # optimization in unicode_compare_eq() and really compare
2412 # character per character
2413 copy1 = duplicate_string(text1)
2414 copy2 = duplicate_string(text2)
2415 self.assertIsNot(copy1, copy2)
2416
2417 self.assertTrue(copy1 == copy2)
2418 self.assertFalse(copy1 != copy2)
2419
2420 self.assertTrue(copy1 <= copy2)
2421 self.assertTrue(copy2 >= copy2)
2422
2423 self.assertTrue(ascii < ascii2)
2424 self.assertTrue(ascii < latin)
2425 self.assertTrue(ascii < bmp)
2426 self.assertTrue(ascii < astral)
2427 self.assertFalse(ascii >= ascii2)
2428 self.assertFalse(ascii >= latin)
2429 self.assertFalse(ascii >= bmp)
2430 self.assertFalse(ascii >= astral)
2431
2432 self.assertFalse(latin < ascii)
2433 self.assertTrue(latin < latin2)
2434 self.assertTrue(latin < bmp)
2435 self.assertTrue(latin < astral)
2436 self.assertTrue(latin >= ascii)
2437 self.assertFalse(latin >= latin2)
2438 self.assertFalse(latin >= bmp)
2439 self.assertFalse(latin >= astral)
2440
2441 self.assertFalse(bmp < ascii)
2442 self.assertFalse(bmp < latin)
2443 self.assertTrue(bmp < bmp2)
2444 self.assertTrue(bmp < astral)
2445 self.assertTrue(bmp >= ascii)
2446 self.assertTrue(bmp >= latin)
2447 self.assertFalse(bmp >= bmp2)
2448 self.assertFalse(bmp >= astral)
2449
2450 self.assertFalse(astral < ascii)
2451 self.assertFalse(astral < latin)
2452 self.assertFalse(astral < bmp2)
2453 self.assertTrue(astral < astral2)
2454 self.assertTrue(astral >= ascii)
2455 self.assertTrue(astral >= latin)
2456 self.assertTrue(astral >= bmp2)
2457 self.assertFalse(astral >= astral2)
2458
2459 def test_free_after_iterating(self):
2460 support.check_free_after_iterating(self, iter, str)
2461 support.check_free_after_iterating(self, reversed, str)
2462
Victor Stinner22eb6892019-06-26 00:51:05 +02002463 def test_check_encoding_errors(self):
2464 # bpo-37388: str(bytes) and str.decode() must check encoding and errors
2465 # arguments in dev mode
2466 encodings = ('ascii', 'utf8', 'latin1')
2467 invalid = 'Boom, Shaka Laka, Boom!'
2468 code = textwrap.dedent(f'''
2469 import sys
2470 encodings = {encodings!r}
2471
2472 for data in (b'', b'short string'):
2473 try:
2474 str(data, encoding={invalid!r})
2475 except LookupError:
2476 pass
2477 else:
2478 sys.exit(21)
2479
2480 try:
2481 str(data, errors={invalid!r})
2482 except LookupError:
2483 pass
2484 else:
2485 sys.exit(22)
2486
2487 for encoding in encodings:
2488 try:
2489 str(data, encoding, errors={invalid!r})
2490 except LookupError:
2491 pass
2492 else:
2493 sys.exit(22)
2494
2495 for data in ('', 'short string'):
2496 try:
2497 data.encode(encoding={invalid!r})
2498 except LookupError:
2499 pass
2500 else:
2501 sys.exit(23)
2502
2503 try:
2504 data.encode(errors={invalid!r})
2505 except LookupError:
2506 pass
2507 else:
2508 sys.exit(24)
2509
2510 for encoding in encodings:
2511 try:
2512 data.encode(encoding, errors={invalid!r})
2513 except LookupError:
2514 pass
2515 else:
2516 sys.exit(24)
2517
2518 sys.exit(10)
2519 ''')
2520 proc = assert_python_failure('-X', 'dev', '-c', code)
2521 self.assertEqual(proc.rc, 10, proc)
2522
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002523
2524class CAPITest(unittest.TestCase):
2525
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002526 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00002527 def test_from_format(self):
Hai Shideb01622020-07-06 20:29:49 +08002528 import_helper.import_module('ctypes')
Victor Stinner15a11362012-10-06 23:48:20 +02002529 from ctypes import (
Ronald Oussoren41761932020-11-08 10:05:27 +01002530 c_char_p,
Victor Stinner15a11362012-10-06 23:48:20 +02002531 pythonapi, py_object, sizeof,
Victor Stinner6d970f42011-03-02 00:04:25 +00002532 c_int, c_long, c_longlong, c_ssize_t,
Victor Stinner15a11362012-10-06 23:48:20 +02002533 c_uint, c_ulong, c_ulonglong, c_size_t, c_void_p)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002534 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002535 _PyUnicode_FromFormat = getattr(pythonapi, name)
Ronald Oussoren41761932020-11-08 10:05:27 +01002536 _PyUnicode_FromFormat.argtypes = (c_char_p,)
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002537 _PyUnicode_FromFormat.restype = py_object
2538
2539 def PyUnicode_FromFormat(format, *args):
2540 cargs = tuple(
2541 py_object(arg) if isinstance(arg, str) else arg
2542 for arg in args)
2543 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00002544
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002545 def check_format(expected, format, *args):
2546 text = PyUnicode_FromFormat(format, *args)
2547 self.assertEqual(expected, text)
2548
Victor Stinner1205f272010-09-11 00:54:47 +00002549 # ascii format, non-ascii argument
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002550 check_format('ascii\x7f=unicode\xe9',
2551 b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002552
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002553 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2554 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002555 self.assertRaisesRegex(ValueError,
R David Murray44b548d2016-09-08 13:59:53 -04002556 r'^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002557 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002558 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002559
Victor Stinner96865452011-03-01 23:44:09 +00002560 # test "%c"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002561 check_format('\uabcd',
2562 b'%c', c_int(0xabcd))
2563 check_format('\U0010ffff',
2564 b'%c', c_int(0x10ffff))
Serhiy Storchaka8eeae212013-06-23 20:12:14 +03002565 with self.assertRaises(OverflowError):
2566 PyUnicode_FromFormat(b'%c', c_int(0x110000))
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +03002567 # Issue #18183
Serhiy Storchakaf15ffe02013-06-12 09:28:20 +03002568 check_format('\U00010000\U00100000',
2569 b'%c%c', c_int(0x10000), c_int(0x100000))
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002570
Victor Stinner96865452011-03-01 23:44:09 +00002571 # test "%"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002572 check_format('%',
2573 b'%')
2574 check_format('%',
2575 b'%%')
2576 check_format('%s',
2577 b'%%s')
2578 check_format('[%]',
2579 b'[%%]')
2580 check_format('%abc',
2581 b'%%%s', b'abc')
2582
2583 # truncated string
2584 check_format('abc',
2585 b'%.3s', b'abcdef')
2586 check_format('abc[\ufffd',
2587 b'%.5s', 'abc[\u20ac]'.encode('utf8'))
2588 check_format("'\\u20acABC'",
2589 b'%A', '\u20acABC')
2590 check_format("'\\u20",
2591 b'%.5A', '\u20acABCDEF')
2592 check_format("'\u20acABC'",
2593 b'%R', '\u20acABC')
2594 check_format("'\u20acA",
2595 b'%.3R', '\u20acABCDEF')
2596 check_format('\u20acAB',
2597 b'%.3S', '\u20acABCDEF')
2598 check_format('\u20acAB',
2599 b'%.3U', '\u20acABCDEF')
2600 check_format('\u20acAB',
2601 b'%.3V', '\u20acABCDEF', None)
2602 check_format('abc[\ufffd',
2603 b'%.5V', None, 'abc[\u20ac]'.encode('utf8'))
2604
2605 # following tests comes from #7330
2606 # test width modifier and precision modifier with %S
2607 check_format("repr= abc",
2608 b'repr=%5S', 'abc')
2609 check_format("repr=ab",
2610 b'repr=%.2S', 'abc')
2611 check_format("repr= ab",
2612 b'repr=%5.2S', 'abc')
2613
2614 # test width modifier and precision modifier with %R
2615 check_format("repr= 'abc'",
2616 b'repr=%8R', 'abc')
2617 check_format("repr='ab",
2618 b'repr=%.3R', 'abc')
2619 check_format("repr= 'ab",
2620 b'repr=%5.3R', 'abc')
2621
2622 # test width modifier and precision modifier with %A
2623 check_format("repr= 'abc'",
2624 b'repr=%8A', 'abc')
2625 check_format("repr='ab",
2626 b'repr=%.3A', 'abc')
2627 check_format("repr= 'ab",
2628 b'repr=%5.3A', 'abc')
2629
2630 # test width modifier and precision modifier with %s
2631 check_format("repr= abc",
2632 b'repr=%5s', b'abc')
2633 check_format("repr=ab",
2634 b'repr=%.2s', b'abc')
2635 check_format("repr= ab",
2636 b'repr=%5.2s', b'abc')
2637
2638 # test width modifier and precision modifier with %U
2639 check_format("repr= abc",
2640 b'repr=%5U', 'abc')
2641 check_format("repr=ab",
2642 b'repr=%.2U', 'abc')
2643 check_format("repr= ab",
2644 b'repr=%5.2U', 'abc')
2645
2646 # test width modifier and precision modifier with %V
2647 check_format("repr= abc",
2648 b'repr=%5V', 'abc', b'123')
2649 check_format("repr=ab",
2650 b'repr=%.2V', 'abc', b'123')
2651 check_format("repr= ab",
2652 b'repr=%5.2V', 'abc', b'123')
2653 check_format("repr= 123",
2654 b'repr=%5V', None, b'123')
2655 check_format("repr=12",
2656 b'repr=%.2V', None, b'123')
2657 check_format("repr= 12",
2658 b'repr=%5.2V', None, b'123')
Victor Stinner96865452011-03-01 23:44:09 +00002659
Victor Stinner6d970f42011-03-02 00:04:25 +00002660 # test integer formats (%i, %d, %u)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002661 check_format('010',
2662 b'%03i', c_int(10))
2663 check_format('0010',
2664 b'%0.4i', c_int(10))
2665 check_format('-123',
2666 b'%i', c_int(-123))
2667 check_format('-123',
2668 b'%li', c_long(-123))
2669 check_format('-123',
2670 b'%lli', c_longlong(-123))
2671 check_format('-123',
2672 b'%zi', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002673
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002674 check_format('-123',
2675 b'%d', c_int(-123))
2676 check_format('-123',
2677 b'%ld', c_long(-123))
2678 check_format('-123',
2679 b'%lld', c_longlong(-123))
2680 check_format('-123',
2681 b'%zd', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002682
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002683 check_format('123',
2684 b'%u', c_uint(123))
2685 check_format('123',
2686 b'%lu', c_ulong(123))
2687 check_format('123',
2688 b'%llu', c_ulonglong(123))
2689 check_format('123',
2690 b'%zu', c_size_t(123))
Victor Stinner6d970f42011-03-02 00:04:25 +00002691
Victor Stinner15a11362012-10-06 23:48:20 +02002692 # test long output
2693 min_longlong = -(2 ** (8 * sizeof(c_longlong) - 1))
2694 max_longlong = -min_longlong - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002695 check_format(str(min_longlong),
2696 b'%lld', c_longlong(min_longlong))
2697 check_format(str(max_longlong),
2698 b'%lld', c_longlong(max_longlong))
Victor Stinner15a11362012-10-06 23:48:20 +02002699 max_ulonglong = 2 ** (8 * sizeof(c_ulonglong)) - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002700 check_format(str(max_ulonglong),
2701 b'%llu', c_ulonglong(max_ulonglong))
Victor Stinner15a11362012-10-06 23:48:20 +02002702 PyUnicode_FromFormat(b'%p', c_void_p(-1))
2703
Victor Stinnere215d962012-10-06 23:03:36 +02002704 # test padding (width and/or precision)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002705 check_format('123'.rjust(10, '0'),
2706 b'%010i', c_int(123))
2707 check_format('123'.rjust(100),
2708 b'%100i', c_int(123))
2709 check_format('123'.rjust(100, '0'),
2710 b'%.100i', c_int(123))
2711 check_format('123'.rjust(80, '0').rjust(100),
2712 b'%100.80i', c_int(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002713
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002714 check_format('123'.rjust(10, '0'),
2715 b'%010u', c_uint(123))
2716 check_format('123'.rjust(100),
2717 b'%100u', c_uint(123))
2718 check_format('123'.rjust(100, '0'),
2719 b'%.100u', c_uint(123))
2720 check_format('123'.rjust(80, '0').rjust(100),
2721 b'%100.80u', c_uint(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002722
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002723 check_format('123'.rjust(10, '0'),
2724 b'%010x', c_int(0x123))
2725 check_format('123'.rjust(100),
2726 b'%100x', c_int(0x123))
2727 check_format('123'.rjust(100, '0'),
2728 b'%.100x', c_int(0x123))
2729 check_format('123'.rjust(80, '0').rjust(100),
2730 b'%100.80x', c_int(0x123))
Victor Stinnere215d962012-10-06 23:03:36 +02002731
Victor Stinner6d970f42011-03-02 00:04:25 +00002732 # test %A
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002733 check_format(r"%A:'abc\xe9\uabcd\U0010ffff'",
2734 b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002735
Victor Stinner6d970f42011-03-02 00:04:25 +00002736 # test %V
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002737 check_format('repr=abc',
2738 b'repr=%V', 'abc', b'xyz')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002739
2740 # Test string decode from parameter of %s using utf-8.
2741 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2742 # '\u4eba\u6c11'
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002743 check_format('repr=\u4eba\u6c11',
2744 b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002745
2746 #Test replace error handler.
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002747 check_format('repr=abc\ufffd',
2748 b'repr=%V', None, b'abc\xff')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002749
Victor Stinner6d970f42011-03-02 00:04:25 +00002750 # not supported: copy the raw format string. these tests are just here
Martin Panter2f9171d2016-12-18 01:23:09 +00002751 # to check for crashes and should not be considered as specifications
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002752 check_format('%s',
2753 b'%1%s', b'abc')
2754 check_format('%1abc',
2755 b'%1abc')
2756 check_format('%+i',
2757 b'%+i', c_int(10))
2758 check_format('%.%s',
2759 b'%.%s', b'abc')
Victor Stinner6d970f42011-03-02 00:04:25 +00002760
Serhiy Storchaka44cc4822019-01-12 09:22:29 +02002761 # Issue #33817: empty strings
2762 check_format('',
2763 b'')
2764 check_format('',
2765 b'%s', b'')
2766
Victor Stinner1c24bd02010-10-02 11:03:13 +00002767 # Test PyUnicode_AsWideChar()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002768 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002769 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002770 from _testcapi import unicode_aswidechar
Hai Shideb01622020-07-06 20:29:49 +08002771 import_helper.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002772 from ctypes import c_wchar, sizeof
2773
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002774 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002775 self.assertEqual(size, 2)
2776 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002777
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002778 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002779 self.assertEqual(size, 3)
2780 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002781
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002782 wchar, size = unicode_aswidechar('abc', 4)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002783 self.assertEqual(size, 3)
2784 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002785
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002786 wchar, size = unicode_aswidechar('abc', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002787 self.assertEqual(size, 3)
2788 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002789
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002790 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002791 self.assertEqual(size, 7)
2792 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002793
Victor Stinner5593d8a2010-10-02 11:11:27 +00002794 nonbmp = chr(0x10ffff)
2795 if sizeof(c_wchar) == 2:
2796 buflen = 3
2797 nchar = 2
2798 else: # sizeof(c_wchar) == 4
2799 buflen = 2
2800 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002801 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002802 self.assertEqual(size, nchar)
2803 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002804
Victor Stinner1c24bd02010-10-02 11:03:13 +00002805 # Test PyUnicode_AsWideCharString()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002806 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002807 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002808 from _testcapi import unicode_aswidecharstring
Hai Shideb01622020-07-06 20:29:49 +08002809 import_helper.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002810 from ctypes import c_wchar, sizeof
2811
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002812 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002813 self.assertEqual(size, 3)
2814 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002815
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002816 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002817 self.assertEqual(size, 7)
2818 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002819
Victor Stinner5593d8a2010-10-02 11:11:27 +00002820 nonbmp = chr(0x10ffff)
2821 if sizeof(c_wchar) == 2:
2822 nchar = 2
2823 else: # sizeof(c_wchar) == 4
2824 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002825 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002826 self.assertEqual(size, nchar)
2827 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002828
Serhiy Storchakacc164232016-10-02 21:29:26 +03002829 # Test PyUnicode_AsUCS4()
2830 @support.cpython_only
2831 def test_asucs4(self):
2832 from _testcapi import unicode_asucs4
2833 for s in ['abc', '\xa1\xa2', '\u4f60\u597d', 'a\U0001f600',
2834 'a\ud800b\udfffc', '\ud834\udd1e']:
2835 l = len(s)
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03002836 self.assertEqual(unicode_asucs4(s, l, True), s+'\0')
2837 self.assertEqual(unicode_asucs4(s, l, False), s+'\uffff')
2838 self.assertEqual(unicode_asucs4(s, l+1, True), s+'\0\uffff')
2839 self.assertEqual(unicode_asucs4(s, l+1, False), s+'\0\uffff')
2840 self.assertRaises(SystemError, unicode_asucs4, s, l-1, True)
2841 self.assertRaises(SystemError, unicode_asucs4, s, l-2, False)
Serhiy Storchakacc164232016-10-02 21:29:26 +03002842 s = '\0'.join([s, s])
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03002843 self.assertEqual(unicode_asucs4(s, len(s), True), s+'\0')
2844 self.assertEqual(unicode_asucs4(s, len(s), False), s+'\uffff')
Serhiy Storchakacc164232016-10-02 21:29:26 +03002845
Hai Shi5623ac82019-07-20 02:56:23 -05002846 # Test PyUnicode_AsUTF8()
2847 @support.cpython_only
2848 def test_asutf8(self):
2849 from _testcapi import unicode_asutf8
2850
2851 bmp = '\u0100'
2852 bmp2 = '\uffff'
2853 nonbmp = chr(0x10ffff)
2854
2855 self.assertEqual(unicode_asutf8(bmp), b'\xc4\x80')
2856 self.assertEqual(unicode_asutf8(bmp2), b'\xef\xbf\xbf')
2857 self.assertEqual(unicode_asutf8(nonbmp), b'\xf4\x8f\xbf\xbf')
2858 self.assertRaises(UnicodeEncodeError, unicode_asutf8, 'a\ud800b\udfffc')
2859
2860 # Test PyUnicode_AsUTF8AndSize()
2861 @support.cpython_only
2862 def test_asutf8andsize(self):
2863 from _testcapi import unicode_asutf8andsize
2864
2865 bmp = '\u0100'
2866 bmp2 = '\uffff'
2867 nonbmp = chr(0x10ffff)
2868
2869 self.assertEqual(unicode_asutf8andsize(bmp), (b'\xc4\x80', 2))
2870 self.assertEqual(unicode_asutf8andsize(bmp2), (b'\xef\xbf\xbf', 3))
2871 self.assertEqual(unicode_asutf8andsize(nonbmp), (b'\xf4\x8f\xbf\xbf', 4))
2872 self.assertRaises(UnicodeEncodeError, unicode_asutf8andsize, 'a\ud800b\udfffc')
2873
Xiang Zhangb2110682016-12-20 22:52:33 +08002874 # Test PyUnicode_FindChar()
2875 @support.cpython_only
2876 def test_findchar(self):
2877 from _testcapi import unicode_findchar
2878
2879 for str in "\xa1", "\u8000\u8080", "\ud800\udc02", "\U0001f100\U0001f1f1":
2880 for i, ch in enumerate(str):
2881 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), 1), i)
2882 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), -1), i)
2883
2884 str = "!>_<!"
2885 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), 1), -1)
2886 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), -1), -1)
2887 # start < end
2888 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, 1), 4)
2889 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, -1), 4)
2890 # start >= end
2891 self.assertEqual(unicode_findchar(str, ord('!'), 0, 0, 1), -1)
2892 self.assertEqual(unicode_findchar(str, ord('!'), len(str), 0, 1), -1)
2893 # negative
2894 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, 1), 0)
2895 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, -1), 0)
2896
Serhiy Storchaka9c0e1f82016-10-08 22:45:38 +03002897 # Test PyUnicode_CopyCharacters()
2898 @support.cpython_only
2899 def test_copycharacters(self):
2900 from _testcapi import unicode_copycharacters
2901
2902 strings = [
2903 'abcde', '\xa1\xa2\xa3\xa4\xa5',
2904 '\u4f60\u597d\u4e16\u754c\uff01',
2905 '\U0001f600\U0001f601\U0001f602\U0001f603\U0001f604'
2906 ]
2907
2908 for idx, from_ in enumerate(strings):
2909 # wide -> narrow: exceed maxchar limitation
2910 for to in strings[:idx]:
2911 self.assertRaises(
2912 SystemError,
2913 unicode_copycharacters, to, 0, from_, 0, 5
2914 )
2915 # same kind
2916 for from_start in range(5):
2917 self.assertEqual(
2918 unicode_copycharacters(from_, 0, from_, from_start, 5),
2919 (from_[from_start:from_start+5].ljust(5, '\0'),
2920 5-from_start)
2921 )
2922 for to_start in range(5):
2923 self.assertEqual(
2924 unicode_copycharacters(from_, to_start, from_, to_start, 5),
2925 (from_[to_start:to_start+5].rjust(5, '\0'),
2926 5-to_start)
2927 )
2928 # narrow -> wide
2929 # Tests omitted since this creates invalid strings.
2930
2931 s = strings[0]
2932 self.assertRaises(IndexError, unicode_copycharacters, s, 6, s, 0, 5)
2933 self.assertRaises(IndexError, unicode_copycharacters, s, -1, s, 0, 5)
2934 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, 6, 5)
2935 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, -1, 5)
2936 self.assertRaises(SystemError, unicode_copycharacters, s, 1, s, 0, 5)
2937 self.assertRaises(SystemError, unicode_copycharacters, s, 0, s, 0, -1)
2938 self.assertRaises(SystemError, unicode_copycharacters, s, 0, b'', 0, 0)
2939
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002940 @support.cpython_only
Serhiy Storchaka4c8f09d2020-07-10 23:26:06 +03002941 @support.requires_legacy_unicode_capi
Victor Stinner42bf7752011-11-21 22:52:58 +01002942 def test_encode_decimal(self):
2943 from _testcapi import unicode_encodedecimal
Zackery Spytz8aabfa82021-03-06 23:12:35 -07002944 with warnings_helper.check_warnings():
2945 warnings.simplefilter('ignore', DeprecationWarning)
2946 self.assertEqual(unicode_encodedecimal('123'),
2947 b'123')
2948 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2949 b'3.14')
2950 self.assertEqual(unicode_encodedecimal(
2951 "\N{EM SPACE}3.14\N{EN SPACE}"), b' 3.14 ')
2952 self.assertRaises(UnicodeEncodeError,
2953 unicode_encodedecimal, "123\u20ac", "strict")
2954 self.assertRaisesRegex(
2955 ValueError,
2956 "^'decimal' codec can't encode character",
2957 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002958
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002959 @support.cpython_only
Serhiy Storchaka4c8f09d2020-07-10 23:26:06 +03002960 @support.requires_legacy_unicode_capi
Victor Stinner42bf7752011-11-21 22:52:58 +01002961 def test_transform_decimal(self):
2962 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
Zackery Spytz8aabfa82021-03-06 23:12:35 -07002963 with warnings_helper.check_warnings():
2964 warnings.simplefilter('ignore', DeprecationWarning)
2965 self.assertEqual(transform_decimal('123'),
2966 '123')
2967 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2968 '3.14')
2969 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2970 "\N{EM SPACE}3.14\N{EN SPACE}")
2971 self.assertEqual(transform_decimal('123\u20ac'),
2972 '123\u20ac')
Victor Stinner42bf7752011-11-21 22:52:58 +01002973
Serhiy Storchaka7aa69082015-12-03 01:02:03 +02002974 @support.cpython_only
2975 def test_pep393_utf8_caching_bug(self):
2976 # Issue #25709: Problem with string concatenation and utf-8 cache
2977 from _testcapi import getargs_s_hash
2978 for k in 0x24, 0xa4, 0x20ac, 0x1f40d:
2979 s = ''
2980 for i in range(5):
2981 # Due to CPython specific optimization the 's' string can be
2982 # resized in-place.
2983 s += chr(k)
2984 # Parsing with the "s#" format code calls indirectly
2985 # PyUnicode_AsUTF8AndSize() which creates the UTF-8
2986 # encoded string cached in the Unicode object.
2987 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2988 # Check that the second call returns the same result
2989 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2990
Eric Smitha1eac722011-01-29 11:15:35 +00002991class StringModuleTest(unittest.TestCase):
2992 def test_formatter_parser(self):
2993 def parse(format):
2994 return list(_string.formatter_parser(format))
2995
2996 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2997 self.assertEqual(formatter, [
2998 ('prefix ', '2', '', 's'),
2999 ('xxx', '0', '^+10.3f', None),
3000 ('', 'obj.attr', '', 's'),
3001 (' ', 'z[0]', '10', 's'),
3002 ])
3003
3004 formatter = parse("prefix {} suffix")
3005 self.assertEqual(formatter, [
3006 ('prefix ', '', '', None),
3007 (' suffix', None, None, None),
3008 ])
3009
3010 formatter = parse("str")
3011 self.assertEqual(formatter, [
3012 ('str', None, None, None),
3013 ])
3014
3015 formatter = parse("")
3016 self.assertEqual(formatter, [])
3017
3018 formatter = parse("{0}")
3019 self.assertEqual(formatter, [
3020 ('', '0', '', None),
3021 ])
3022
3023 self.assertRaises(TypeError, _string.formatter_parser, 1)
3024
3025 def test_formatter_field_name_split(self):
3026 def split(name):
3027 items = list(_string.formatter_field_name_split(name))
3028 items[1] = list(items[1])
3029 return items
3030 self.assertEqual(split("obj"), ["obj", []])
3031 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
3032 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
3033 self.assertEqual(split("obj.arg[key1][key2]"), [
3034 "obj",
3035 [(True, 'arg'),
3036 (False, 'key1'),
3037 (False, 'key2'),
3038 ]])
3039 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
3040
3041
Walter Dörwald28256f22003-01-19 16:59:20 +00003042if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02003043 unittest.main()