blob: afc95555db02699958962c26b2972c19ebbe2b43 [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
39codecs.register(search_function)
40
Victor Stinner9fc59812013-04-08 22:34:43 +020041def duplicate_string(text):
42 """
43 Try to get a fresh clone of the specified text:
44 new object with a reference count of 1.
45
46 This is a best-effort: latin1 single letters and the empty
47 string ('') are singletons and cannot be cloned.
48 """
49 return text.encode().decode()
50
Serhiy Storchaka15095802015-11-25 15:47:01 +020051class StrSubclass(str):
52 pass
53
Brett Cannon226b2302010-03-20 22:22:22 +000054class UnicodeTest(string_tests.CommonTest,
55 string_tests.MixinStrUnicodeUserStringTest,
Ezio Melotti0dceb562013-01-10 07:43:26 +020056 string_tests.MixinStrUnicodeTest,
57 unittest.TestCase):
Brett Cannon226b2302010-03-20 22:22:22 +000058
Guido van Rossumef87d6e2007-05-02 19:09:54 +000059 type2test = str
Walter Dörwald0fd583c2003-02-21 12:53:50 +000060
61 def checkequalnofix(self, result, object, methodname, *args):
62 method = getattr(object, methodname)
63 realresult = method(*args)
64 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000065 self.assertTrue(type(realresult) is type(result))
Walter Dörwald0fd583c2003-02-21 12:53:50 +000066
67 # if the original is returned make sure that
68 # this doesn't happen with subclasses
69 if realresult is object:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000070 class usub(str):
Walter Dörwald0fd583c2003-02-21 12:53:50 +000071 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000072 return 'usub(%r)' % str.__repr__(self)
Walter Dörwald0fd583c2003-02-21 12:53:50 +000073 object = usub(object)
74 method = getattr(object, methodname)
75 realresult = method(*args)
76 self.assertEqual(realresult, result)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000077 self.assertTrue(object is not realresult)
Guido van Rossume4874ae2001-09-21 15:36:41 +000078
Jeremy Hylton504de6b2003-10-06 05:08:26 +000079 def test_literals(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +000080 self.assertEqual('\xff', '\u00ff')
81 self.assertEqual('\uffff', '\U0000ffff')
Guido van Rossum36e0a922007-07-20 04:05:57 +000082 self.assertRaises(SyntaxError, eval, '\'\\Ufffffffe\'')
83 self.assertRaises(SyntaxError, eval, '\'\\Uffffffff\'')
84 self.assertRaises(SyntaxError, eval, '\'\\U%08x\'' % 0x110000)
Benjamin Petersoncd76c272008-04-05 15:09:30 +000085 # raw strings should not have unicode escapes
Florent Xiclunaa87b3832010-09-13 02:28:18 +000086 self.assertNotEqual(r"\u0020", " ")
Jeremy Hylton504de6b2003-10-06 05:08:26 +000087
Georg Brandl559e5d72008-06-11 18:37:52 +000088 def test_ascii(self):
89 if not sys.platform.startswith('java'):
90 # Test basic sanity of repr()
91 self.assertEqual(ascii('abc'), "'abc'")
92 self.assertEqual(ascii('ab\\c'), "'ab\\\\c'")
93 self.assertEqual(ascii('ab\\'), "'ab\\\\'")
94 self.assertEqual(ascii('\\c'), "'\\\\c'")
95 self.assertEqual(ascii('\\'), "'\\\\'")
96 self.assertEqual(ascii('\n'), "'\\n'")
97 self.assertEqual(ascii('\r'), "'\\r'")
98 self.assertEqual(ascii('\t'), "'\\t'")
99 self.assertEqual(ascii('\b'), "'\\x08'")
100 self.assertEqual(ascii("'\""), """'\\'"'""")
101 self.assertEqual(ascii("'\""), """'\\'"'""")
102 self.assertEqual(ascii("'"), '''"'"''')
103 self.assertEqual(ascii('"'), """'"'""")
104 latin1repr = (
105 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
106 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
107 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
108 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
109 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
110 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
111 "\\x9c\\x9d\\x9e\\x9f\\xa0\\xa1\\xa2\\xa3\\xa4\\xa5\\xa6\\xa7\\xa8\\xa9"
112 "\\xaa\\xab\\xac\\xad\\xae\\xaf\\xb0\\xb1\\xb2\\xb3\\xb4\\xb5\\xb6\\xb7"
113 "\\xb8\\xb9\\xba\\xbb\\xbc\\xbd\\xbe\\xbf\\xc0\\xc1\\xc2\\xc3\\xc4\\xc5"
114 "\\xc6\\xc7\\xc8\\xc9\\xca\\xcb\\xcc\\xcd\\xce\\xcf\\xd0\\xd1\\xd2\\xd3"
115 "\\xd4\\xd5\\xd6\\xd7\\xd8\\xd9\\xda\\xdb\\xdc\\xdd\\xde\\xdf\\xe0\\xe1"
116 "\\xe2\\xe3\\xe4\\xe5\\xe6\\xe7\\xe8\\xe9\\xea\\xeb\\xec\\xed\\xee\\xef"
117 "\\xf0\\xf1\\xf2\\xf3\\xf4\\xf5\\xf6\\xf7\\xf8\\xf9\\xfa\\xfb\\xfc\\xfd"
118 "\\xfe\\xff'")
119 testrepr = ascii(''.join(map(chr, range(256))))
120 self.assertEqual(testrepr, latin1repr)
121 # Test ascii works on wide unicode escapes without overflow.
122 self.assertEqual(ascii("\U00010000" * 39 + "\uffff" * 4096),
123 ascii("\U00010000" * 39 + "\uffff" * 4096))
124
125 class WrongRepr:
126 def __repr__(self):
127 return b'byte-repr'
128 self.assertRaises(TypeError, ascii, WrongRepr())
129
Walter Dörwald28256f22003-01-19 16:59:20 +0000130 def test_repr(self):
131 if not sys.platform.startswith('java'):
132 # Test basic sanity of repr()
Walter Dörwald67e83882007-05-05 12:26:27 +0000133 self.assertEqual(repr('abc'), "'abc'")
134 self.assertEqual(repr('ab\\c'), "'ab\\\\c'")
135 self.assertEqual(repr('ab\\'), "'ab\\\\'")
136 self.assertEqual(repr('\\c'), "'\\\\c'")
137 self.assertEqual(repr('\\'), "'\\\\'")
138 self.assertEqual(repr('\n'), "'\\n'")
139 self.assertEqual(repr('\r'), "'\\r'")
140 self.assertEqual(repr('\t'), "'\\t'")
141 self.assertEqual(repr('\b'), "'\\x08'")
142 self.assertEqual(repr("'\""), """'\\'"'""")
143 self.assertEqual(repr("'\""), """'\\'"'""")
144 self.assertEqual(repr("'"), '''"'"''')
145 self.assertEqual(repr('"'), """'"'""")
Walter Dörwald28256f22003-01-19 16:59:20 +0000146 latin1repr = (
Walter Dörwald67e83882007-05-05 12:26:27 +0000147 "'\\x00\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\x08\\t\\n\\x0b\\x0c\\r"
Walter Dörwald28256f22003-01-19 16:59:20 +0000148 "\\x0e\\x0f\\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x17\\x18\\x19\\x1a"
149 "\\x1b\\x1c\\x1d\\x1e\\x1f !\"#$%&\\'()*+,-./0123456789:;<=>?@ABCDEFGHI"
150 "JKLMNOPQRSTUVWXYZ[\\\\]^_`abcdefghijklmnopqrstuvwxyz{|}~\\x7f"
151 "\\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x87\\x88\\x89\\x8a\\x8b\\x8c\\x8d"
152 "\\x8e\\x8f\\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x97\\x98\\x99\\x9a\\x9b"
Georg Brandl559e5d72008-06-11 18:37:52 +0000153 "\\x9c\\x9d\\x9e\\x9f\\xa0\xa1\xa2\xa3\xa4\xa5\xa6\xa7\xa8\xa9"
154 "\xaa\xab\xac\\xad\xae\xaf\xb0\xb1\xb2\xb3\xb4\xb5\xb6\xb7"
155 "\xb8\xb9\xba\xbb\xbc\xbd\xbe\xbf\xc0\xc1\xc2\xc3\xc4\xc5"
156 "\xc6\xc7\xc8\xc9\xca\xcb\xcc\xcd\xce\xcf\xd0\xd1\xd2\xd3"
157 "\xd4\xd5\xd6\xd7\xd8\xd9\xda\xdb\xdc\xdd\xde\xdf\xe0\xe1"
158 "\xe2\xe3\xe4\xe5\xe6\xe7\xe8\xe9\xea\xeb\xec\xed\xee\xef"
159 "\xf0\xf1\xf2\xf3\xf4\xf5\xf6\xf7\xf8\xf9\xfa\xfb\xfc\xfd"
160 "\xfe\xff'")
Guido van Rossum805365e2007-05-07 22:24:25 +0000161 testrepr = repr(''.join(map(chr, range(256))))
Walter Dörwald28256f22003-01-19 16:59:20 +0000162 self.assertEqual(testrepr, latin1repr)
Thomas Wouters89f507f2006-12-13 04:49:30 +0000163 # Test repr works on wide unicode escapes without overflow.
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000164 self.assertEqual(repr("\U00010000" * 39 + "\uffff" * 4096),
165 repr("\U00010000" * 39 + "\uffff" * 4096))
Walter Dörwald28256f22003-01-19 16:59:20 +0000166
Georg Brandl559e5d72008-06-11 18:37:52 +0000167 class WrongRepr:
168 def __repr__(self):
169 return b'byte-repr'
170 self.assertRaises(TypeError, repr, WrongRepr())
171
Guido van Rossum49d6b072006-08-17 21:11:47 +0000172 def test_iterators(self):
173 # Make sure unicode objects have an __iter__ method
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000174 it = "\u1111\u2222\u3333".__iter__()
175 self.assertEqual(next(it), "\u1111")
176 self.assertEqual(next(it), "\u2222")
177 self.assertEqual(next(it), "\u3333")
Georg Brandla18af4e2007-04-21 15:47:16 +0000178 self.assertRaises(StopIteration, next, it)
Guido van Rossum49d6b072006-08-17 21:11:47 +0000179
Walter Dörwald28256f22003-01-19 16:59:20 +0000180 def test_count(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000181 string_tests.CommonTest.test_count(self)
182 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000183 self.checkequalnofix(3, 'aaa', 'count', 'a')
184 self.checkequalnofix(0, 'aaa', 'count', 'b')
185 self.checkequalnofix(3, 'aaa', 'count', 'a')
186 self.checkequalnofix(0, 'aaa', 'count', 'b')
187 self.checkequalnofix(0, 'aaa', 'count', 'b')
188 self.checkequalnofix(1, 'aaa', 'count', 'a', -1)
189 self.checkequalnofix(3, 'aaa', 'count', 'a', -10)
190 self.checkequalnofix(2, 'aaa', 'count', 'a', 0, -1)
191 self.checkequalnofix(0, 'aaa', 'count', 'a', 0, -10)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200192 # test mixed kinds
193 self.checkequal(10, '\u0102' + 'a' * 10, 'count', 'a')
194 self.checkequal(10, '\U00100304' + 'a' * 10, 'count', 'a')
195 self.checkequal(10, '\U00100304' + '\u0102' * 10, 'count', '\u0102')
196 self.checkequal(0, 'a' * 10, 'count', '\u0102')
197 self.checkequal(0, 'a' * 10, 'count', '\U00100304')
198 self.checkequal(0, '\u0102' * 10, 'count', '\U00100304')
199 self.checkequal(10, '\u0102' + 'a_' * 10, 'count', 'a_')
200 self.checkequal(10, '\U00100304' + 'a_' * 10, 'count', 'a_')
201 self.checkequal(10, '\U00100304' + '\u0102_' * 10, 'count', '\u0102_')
202 self.checkequal(0, 'a' * 10, 'count', 'a\u0102')
203 self.checkequal(0, 'a' * 10, 'count', 'a\U00100304')
204 self.checkequal(0, '\u0102' * 10, 'count', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000205
Walter Dörwald28256f22003-01-19 16:59:20 +0000206 def test_find(self):
Antoine Pitrouc0bbe7d2011-10-08 22:41:35 +0200207 string_tests.CommonTest.test_find(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200208 # test implementation details of the memchr fast path
209 self.checkequal(100, 'a' * 100 + '\u0102', 'find', '\u0102')
210 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0201')
211 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0120')
212 self.checkequal(-1, 'a' * 100 + '\u0102', 'find', '\u0220')
213 self.checkequal(100, 'a' * 100 + '\U00100304', 'find', '\U00100304')
214 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00100204')
215 self.checkequal(-1, 'a' * 100 + '\U00100304', 'find', '\U00102004')
216 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000217 self.checkequalnofix(0, 'abcdefghiabc', 'find', 'abc')
218 self.checkequalnofix(9, 'abcdefghiabc', 'find', 'abc', 1)
219 self.checkequalnofix(-1, 'abcdefghiabc', 'find', 'def', 4)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000220
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000221 self.assertRaises(TypeError, 'hello'.find)
222 self.assertRaises(TypeError, 'hello'.find, 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200223 # test mixed kinds
224 self.checkequal(100, '\u0102' * 100 + 'a', 'find', 'a')
225 self.checkequal(100, '\U00100304' * 100 + 'a', 'find', 'a')
226 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'find', '\u0102')
227 self.checkequal(-1, 'a' * 100, 'find', '\u0102')
228 self.checkequal(-1, 'a' * 100, 'find', '\U00100304')
229 self.checkequal(-1, '\u0102' * 100, 'find', '\U00100304')
230 self.checkequal(100, '\u0102' * 100 + 'a_', 'find', 'a_')
231 self.checkequal(100, '\U00100304' * 100 + 'a_', 'find', 'a_')
232 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'find', '\u0102_')
233 self.checkequal(-1, 'a' * 100, 'find', 'a\u0102')
234 self.checkequal(-1, 'a' * 100, 'find', 'a\U00100304')
235 self.checkequal(-1, '\u0102' * 100, 'find', '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000236
Walter Dörwald28256f22003-01-19 16:59:20 +0000237 def test_rfind(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000238 string_tests.CommonTest.test_rfind(self)
Antoine Pitrou2c3b2302011-10-11 20:29:21 +0200239 # test implementation details of the memrchr fast path
240 self.checkequal(0, '\u0102' + 'a' * 100 , 'rfind', '\u0102')
241 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0201')
242 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0120')
243 self.checkequal(-1, '\u0102' + 'a' * 100 , 'rfind', '\u0220')
244 self.checkequal(0, '\U00100304' + 'a' * 100, 'rfind', '\U00100304')
245 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00100204')
246 self.checkequal(-1, '\U00100304' + 'a' * 100, 'rfind', '\U00102004')
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000247 # check mixed argument types
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000248 self.checkequalnofix(9, 'abcdefghiabc', 'rfind', 'abc')
249 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
250 self.checkequalnofix(12, 'abcdefghiabc', 'rfind', '')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200251 # test mixed kinds
252 self.checkequal(0, 'a' + '\u0102' * 100, 'rfind', 'a')
253 self.checkequal(0, 'a' + '\U00100304' * 100, 'rfind', 'a')
254 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rfind', '\u0102')
255 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102')
256 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304')
257 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304')
258 self.checkequal(0, '_a' + '\u0102' * 100, 'rfind', '_a')
259 self.checkequal(0, '_a' + '\U00100304' * 100, 'rfind', '_a')
260 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rfind', '_\u0102')
261 self.checkequal(-1, 'a' * 100, 'rfind', '\u0102a')
262 self.checkequal(-1, 'a' * 100, 'rfind', '\U00100304a')
263 self.checkequal(-1, '\u0102' * 100, 'rfind', '\U00100304\u0102')
Guido van Rossum8b264542000-12-19 02:22:31 +0000264
Walter Dörwald28256f22003-01-19 16:59:20 +0000265 def test_index(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000266 string_tests.CommonTest.test_index(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000267 self.checkequalnofix(0, 'abcdefghiabc', 'index', '')
268 self.checkequalnofix(3, 'abcdefghiabc', 'index', 'def')
269 self.checkequalnofix(0, 'abcdefghiabc', 'index', 'abc')
270 self.checkequalnofix(9, 'abcdefghiabc', 'index', 'abc', 1)
271 self.assertRaises(ValueError, 'abcdefghiabc'.index, 'hib')
272 self.assertRaises(ValueError, 'abcdefghiab'.index, 'abc', 1)
273 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', 8)
274 self.assertRaises(ValueError, 'abcdefghi'.index, 'ghi', -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200275 # test mixed kinds
276 self.checkequal(100, '\u0102' * 100 + 'a', 'index', 'a')
277 self.checkequal(100, '\U00100304' * 100 + 'a', 'index', 'a')
278 self.checkequal(100, '\U00100304' * 100 + '\u0102', 'index', '\u0102')
279 self.assertRaises(ValueError, ('a' * 100).index, '\u0102')
280 self.assertRaises(ValueError, ('a' * 100).index, '\U00100304')
281 self.assertRaises(ValueError, ('\u0102' * 100).index, '\U00100304')
282 self.checkequal(100, '\u0102' * 100 + 'a_', 'index', 'a_')
283 self.checkequal(100, '\U00100304' * 100 + 'a_', 'index', 'a_')
284 self.checkequal(100, '\U00100304' * 100 + '\u0102_', 'index', '\u0102_')
285 self.assertRaises(ValueError, ('a' * 100).index, 'a\u0102')
286 self.assertRaises(ValueError, ('a' * 100).index, 'a\U00100304')
287 self.assertRaises(ValueError, ('\u0102' * 100).index, '\u0102\U00100304')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000288
Walter Dörwald28256f22003-01-19 16:59:20 +0000289 def test_rindex(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000290 string_tests.CommonTest.test_rindex(self)
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000291 self.checkequalnofix(12, 'abcdefghiabc', 'rindex', '')
292 self.checkequalnofix(3, 'abcdefghiabc', 'rindex', 'def')
293 self.checkequalnofix(9, 'abcdefghiabc', 'rindex', 'abc')
294 self.checkequalnofix(0, 'abcdefghiabc', 'rindex', 'abc', 0, -1)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000295
Walter Dörwaldaa97f042007-05-03 21:05:51 +0000296 self.assertRaises(ValueError, 'abcdefghiabc'.rindex, 'hib')
297 self.assertRaises(ValueError, 'defghiabc'.rindex, 'def', 1)
298 self.assertRaises(ValueError, 'defghiabc'.rindex, 'abc', 0, -1)
299 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, 8)
300 self.assertRaises(ValueError, 'abcdefghi'.rindex, 'ghi', 0, -1)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200301 # test mixed kinds
302 self.checkequal(0, 'a' + '\u0102' * 100, 'rindex', 'a')
303 self.checkequal(0, 'a' + '\U00100304' * 100, 'rindex', 'a')
304 self.checkequal(0, '\u0102' + '\U00100304' * 100, 'rindex', '\u0102')
305 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102')
306 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304')
307 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304')
308 self.checkequal(0, '_a' + '\u0102' * 100, 'rindex', '_a')
309 self.checkequal(0, '_a' + '\U00100304' * 100, 'rindex', '_a')
310 self.checkequal(0, '_\u0102' + '\U00100304' * 100, 'rindex', '_\u0102')
311 self.assertRaises(ValueError, ('a' * 100).rindex, '\u0102a')
312 self.assertRaises(ValueError, ('a' * 100).rindex, '\U00100304a')
313 self.assertRaises(ValueError, ('\u0102' * 100).rindex, '\U00100304\u0102')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000314
Georg Brandlceee0772007-11-27 23:48:05 +0000315 def test_maketrans_translate(self):
316 # these work with plain translate()
317 self.checkequalnofix('bbbc', 'abababc', 'translate',
318 {ord('a'): None})
319 self.checkequalnofix('iiic', 'abababc', 'translate',
320 {ord('a'): None, ord('b'): ord('i')})
321 self.checkequalnofix('iiix', 'abababc', 'translate',
322 {ord('a'): None, ord('b'): ord('i'), ord('c'): 'x'})
323 self.checkequalnofix('c', 'abababc', 'translate',
324 {ord('a'): None, ord('b'): ''})
325 self.checkequalnofix('xyyx', 'xzx', 'translate',
326 {ord('z'): 'yy'})
Victor Stinner5a29f252014-04-05 00:17:51 +0200327
Georg Brandlceee0772007-11-27 23:48:05 +0000328 # this needs maketrans()
329 self.checkequalnofix('abababc', 'abababc', 'translate',
330 {'b': '<i>'})
331 tbl = self.type2test.maketrans({'a': None, 'b': '<i>'})
332 self.checkequalnofix('<i><i><i>c', 'abababc', 'translate', tbl)
333 # test alternative way of calling maketrans()
334 tbl = self.type2test.maketrans('abc', 'xyz', 'd')
335 self.checkequalnofix('xyzzy', 'abdcdcbdddd', 'translate', tbl)
336
Victor Stinner5a29f252014-04-05 00:17:51 +0200337 # various tests switching from ASCII to latin1 or the opposite;
338 # same length, remove a letter, or replace with a longer string.
339 self.assertEqual("[a]".translate(str.maketrans('a', 'X')),
340 "[X]")
341 self.assertEqual("[a]".translate(str.maketrans({'a': 'X'})),
342 "[X]")
343 self.assertEqual("[a]".translate(str.maketrans({'a': None})),
344 "[]")
345 self.assertEqual("[a]".translate(str.maketrans({'a': 'XXX'})),
346 "[XXX]")
347 self.assertEqual("[a]".translate(str.maketrans({'a': '\xe9'})),
348 "[\xe9]")
Victor Stinner33798672016-03-01 21:59:58 +0100349 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '123'})),
350 "x123")
351 self.assertEqual('axb'.translate(str.maketrans({'a': None, 'b': '\xe9'})),
352 "x\xe9")
353
354 # test non-ASCII (don't take the fast-path)
Victor Stinner5a29f252014-04-05 00:17:51 +0200355 self.assertEqual("[a]".translate(str.maketrans({'a': '<\xe9>'})),
356 "[<\xe9>]")
357 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': 'a'})),
358 "[a]")
359 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': None})),
360 "[]")
Victor Stinner33798672016-03-01 21:59:58 +0100361 self.assertEqual("[\xe9]".translate(str.maketrans({'\xe9': '123'})),
362 "[123]")
363 self.assertEqual("[a\xe9]".translate(str.maketrans({'a': '<\u20ac>'})),
364 "[<\u20ac>\xe9]")
Victor Stinner5a29f252014-04-05 00:17:51 +0200365
Victor Stinner4ff33af2014-04-05 11:56:37 +0200366 # invalid Unicode characters
367 invalid_char = 0x10ffff+1
368 for before in "a\xe9\u20ac\U0010ffff":
369 mapping = str.maketrans({before: invalid_char})
370 text = "[%s]" % before
371 self.assertRaises(ValueError, text.translate, mapping)
372
373 # errors
Georg Brandlceee0772007-11-27 23:48:05 +0000374 self.assertRaises(TypeError, self.type2test.maketrans)
375 self.assertRaises(ValueError, self.type2test.maketrans, 'abc', 'defg')
376 self.assertRaises(TypeError, self.type2test.maketrans, 2, 'def')
377 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 2)
378 self.assertRaises(TypeError, self.type2test.maketrans, 'abc', 'def', 2)
379 self.assertRaises(ValueError, self.type2test.maketrans, {'xy': 2})
380 self.assertRaises(TypeError, self.type2test.maketrans, {(1,): 2})
Guido van Rossuma831cac2000-03-10 23:23:21 +0000381
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000382 self.assertRaises(TypeError, 'hello'.translate)
Walter Dörwald67e83882007-05-05 12:26:27 +0000383 self.assertRaises(TypeError, 'abababc'.translate, 'abc', 'xyz')
Guido van Rossuma831cac2000-03-10 23:23:21 +0000384
Walter Dörwald28256f22003-01-19 16:59:20 +0000385 def test_split(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000386 string_tests.CommonTest.test_split(self)
Andrew M. Kuchlingeddd68d2002-03-29 16:21:44 +0000387
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200388 # test mixed kinds
389 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
390 left *= 9
391 right *= 9
392 for delim in ('c', '\u0102', '\U00010302'):
393 self.checkequal([left + right],
394 left + right, 'split', delim)
395 self.checkequal([left, right],
396 left + delim + right, 'split', delim)
397 self.checkequal([left + right],
398 left + right, 'split', delim * 2)
399 self.checkequal([left, right],
400 left + delim * 2 + right, 'split', delim *2)
401
402 def test_rsplit(self):
403 string_tests.CommonTest.test_rsplit(self)
404 # test mixed kinds
405 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
406 left *= 9
407 right *= 9
408 for delim in ('c', '\u0102', '\U00010302'):
409 self.checkequal([left + right],
410 left + right, 'rsplit', delim)
411 self.checkequal([left, right],
412 left + delim + right, 'rsplit', delim)
413 self.checkequal([left + right],
414 left + right, 'rsplit', delim * 2)
415 self.checkequal([left, right],
416 left + delim * 2 + right, 'rsplit', delim *2)
417
418 def test_partition(self):
419 string_tests.MixinStrUnicodeUserStringTest.test_partition(self)
420 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300421 self.checkequal(('ABCDEFGH', '', ''), 'ABCDEFGH', 'partition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200422 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
423 left *= 9
424 right *= 9
425 for delim in ('c', '\u0102', '\U00010302'):
426 self.checkequal((left + right, '', ''),
427 left + right, 'partition', delim)
428 self.checkequal((left, delim, right),
429 left + delim + right, 'partition', delim)
430 self.checkequal((left + right, '', ''),
431 left + right, 'partition', delim * 2)
432 self.checkequal((left, delim * 2, right),
433 left + delim * 2 + right, 'partition', delim * 2)
434
435 def test_rpartition(self):
436 string_tests.MixinStrUnicodeUserStringTest.test_rpartition(self)
437 # test mixed kinds
Serhiy Storchaka48070c12015-03-29 19:21:02 +0300438 self.checkequal(('', '', 'ABCDEFGH'), 'ABCDEFGH', 'rpartition', '\u4200')
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200439 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
440 left *= 9
441 right *= 9
442 for delim in ('c', '\u0102', '\U00010302'):
443 self.checkequal(('', '', left + right),
444 left + right, 'rpartition', delim)
445 self.checkequal((left, delim, right),
446 left + delim + right, 'rpartition', delim)
447 self.checkequal(('', '', left + right),
448 left + right, 'rpartition', delim * 2)
449 self.checkequal((left, delim * 2, right),
450 left + delim * 2 + right, 'rpartition', delim * 2)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000451
Walter Dörwald28256f22003-01-19 16:59:20 +0000452 def test_join(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000453 string_tests.MixinStrUnicodeUserStringTest.test_join(self)
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +0000454
Guido van Rossumf1044292007-09-27 18:01:22 +0000455 class MyWrapper:
456 def __init__(self, sval): self.sval = sval
457 def __str__(self): return self.sval
458
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000459 # mixed arguments
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000460 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
461 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
462 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
463 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
464 self.checkequalnofix('a b c d', ' ', 'join', ['a', 'b', 'c', 'd'])
465 self.checkequalnofix('abcd', '', 'join', ('a', 'b', 'c', 'd'))
466 self.checkequalnofix('w x y z', ' ', 'join', string_tests.Sequence('wxyz'))
Guido van Rossum98297ee2007-11-06 21:34:58 +0000467 self.checkraises(TypeError, ' ', 'join', ['1', '2', MyWrapper('foo')])
468 self.checkraises(TypeError, ' ', 'join', ['1', '2', '3', bytes()])
469 self.checkraises(TypeError, ' ', 'join', [1, 2, 3])
470 self.checkraises(TypeError, ' ', 'join', ['1', '2', 3])
Marc-André Lemburge5034372000-08-08 08:04:29 +0000471
Martin Panterb71c0952017-01-12 11:54:59 +0000472 @unittest.skipIf(sys.maxsize > 2**32,
473 'needs too much memory on a 64-bit platform')
474 def test_join_overflow(self):
475 size = int(sys.maxsize**0.5) + 1
476 seq = ('A' * size,) * size
477 self.assertRaises(OverflowError, ''.join, seq)
478
Walter Dörwald28256f22003-01-19 16:59:20 +0000479 def test_replace(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000480 string_tests.CommonTest.test_replace(self)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000481
Walter Dörwald28256f22003-01-19 16:59:20 +0000482 # method call forwarded from str implementation because of unicode argument
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000483 self.checkequalnofix('one@two!three!', 'one!two!three!', 'replace', '!', '@', 1)
484 self.assertRaises(TypeError, 'replace'.replace, "r", 42)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200485 # test mixed kinds
486 for left, right in ('ba', '\u0101\u0100', '\U00010301\U00010300'):
487 left *= 9
488 right *= 9
489 for delim in ('c', '\u0102', '\U00010302'):
490 for repl in ('d', '\u0103', '\U00010303'):
491 self.checkequal(left + right,
492 left + right, 'replace', delim, repl)
493 self.checkequal(left + repl + right,
494 left + delim + right,
495 'replace', delim, repl)
496 self.checkequal(left + right,
497 left + right, 'replace', delim * 2, repl)
498 self.checkequal(left + repl + right,
499 left + delim * 2 + right,
500 'replace', delim * 2, repl)
Guido van Rossuma831cac2000-03-10 23:23:21 +0000501
Victor Stinner59de0ee2011-10-07 10:01:28 +0200502 @support.cpython_only
503 def test_replace_id(self):
Victor Stinner1d972ad2011-10-07 13:31:46 +0200504 pattern = 'abc'
505 text = 'abc def'
506 self.assertIs(text.replace(pattern, pattern), text)
Victor Stinner59de0ee2011-10-07 10:01:28 +0200507
Guido van Rossum98297ee2007-11-06 21:34:58 +0000508 def test_bytes_comparison(self):
Hai Shideb01622020-07-06 20:29:49 +0800509 with warnings_helper.check_warnings():
Brett Cannon226b2302010-03-20 22:22:22 +0000510 warnings.simplefilter('ignore', BytesWarning)
511 self.assertEqual('abc' == b'abc', False)
512 self.assertEqual('abc' != b'abc', True)
513 self.assertEqual('abc' == bytearray(b'abc'), False)
514 self.assertEqual('abc' != bytearray(b'abc'), True)
Brett Cannon40430012007-10-22 20:24:51 +0000515
Walter Dörwald28256f22003-01-19 16:59:20 +0000516 def test_comparison(self):
517 # Comparisons:
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000518 self.assertEqual('abc', 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000519 self.assertTrue('abcd' > 'abc')
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000520 self.assertTrue('abc' < 'abcd')
Walter Dörwald28256f22003-01-19 16:59:20 +0000521
522 if 0:
523 # Move these tests to a Unicode collation module test...
524 # Testing UTF-16 code point order comparisons...
525
526 # No surrogates, no fixup required.
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000527 self.assertTrue('\u0061' < '\u20ac')
Walter Dörwald28256f22003-01-19 16:59:20 +0000528 # Non surrogate below surrogate value, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000529 self.assertTrue('\u0061' < '\ud800\udc02')
Walter Dörwald28256f22003-01-19 16:59:20 +0000530
531 # Non surrogate above surrogate value, fixup required
532 def test_lecmp(s, s2):
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000533 self.assertTrue(s < s2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000534
535 def test_fixup(s):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000536 s2 = '\ud800\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000537 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000538 s2 = '\ud900\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000539 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000540 s2 = '\uda00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000541 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000542 s2 = '\udb00\udc01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000543 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000544 s2 = '\ud800\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000545 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000546 s2 = '\ud900\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000547 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000548 s2 = '\uda00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000549 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000550 s2 = '\udb00\udd01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000551 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000552 s2 = '\ud800\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000553 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000554 s2 = '\ud900\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000555 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000556 s2 = '\uda00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000557 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000558 s2 = '\udb00\ude01'
Walter Dörwald28256f22003-01-19 16:59:20 +0000559 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000560 s2 = '\ud800\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000561 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000562 s2 = '\ud900\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000563 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000564 s2 = '\uda00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000565 test_lecmp(s, s2)
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000566 s2 = '\udb00\udfff'
Walter Dörwald28256f22003-01-19 16:59:20 +0000567 test_lecmp(s, s2)
568
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000569 test_fixup('\ue000')
570 test_fixup('\uff61')
Walter Dörwald28256f22003-01-19 16:59:20 +0000571
572 # Surrogates on both sides, no fixup required
Benjamin Petersonc9c0f202009-06-30 23:06:06 +0000573 self.assertTrue('\ud800\udc02' < '\ud84d\udc56')
Walter Dörwald28256f22003-01-19 16:59:20 +0000574
Walter Dörwald28256f22003-01-19 16:59:20 +0000575 def test_islower(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000576 super().test_islower()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000577 self.checkequalnofix(False, '\u1FFc', 'islower')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500578 self.assertFalse('\u2167'.islower())
579 self.assertTrue('\u2177'.islower())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300580 # non-BMP, uppercase
581 self.assertFalse('\U00010401'.islower())
582 self.assertFalse('\U00010427'.islower())
583 # non-BMP, lowercase
584 self.assertTrue('\U00010429'.islower())
585 self.assertTrue('\U0001044E'.islower())
586 # non-BMP, non-cased
587 self.assertFalse('\U0001F40D'.islower())
588 self.assertFalse('\U0001F46F'.islower())
Walter Dörwald28256f22003-01-19 16:59:20 +0000589
590 def test_isupper(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000591 super().test_isupper()
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000592 if not sys.platform.startswith('java'):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000593 self.checkequalnofix(False, '\u1FFc', 'isupper')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500594 self.assertTrue('\u2167'.isupper())
595 self.assertFalse('\u2177'.isupper())
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300596 # non-BMP, uppercase
597 self.assertTrue('\U00010401'.isupper())
598 self.assertTrue('\U00010427'.isupper())
599 # non-BMP, lowercase
600 self.assertFalse('\U00010429'.isupper())
601 self.assertFalse('\U0001044E'.isupper())
602 # non-BMP, non-cased
603 self.assertFalse('\U0001F40D'.isupper())
604 self.assertFalse('\U0001F46F'.isupper())
Walter Dörwald28256f22003-01-19 16:59:20 +0000605
606 def test_istitle(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000607 super().test_istitle()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000608 self.checkequalnofix(True, '\u1FFc', 'istitle')
609 self.checkequalnofix(True, 'Greek \u1FFcitlecases ...', 'istitle')
Walter Dörwald28256f22003-01-19 16:59:20 +0000610
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300611 # non-BMP, uppercase + lowercase
612 self.assertTrue('\U00010401\U00010429'.istitle())
613 self.assertTrue('\U00010427\U0001044E'.istitle())
614 # apparently there are no titlecased (Lt) non-BMP chars in Unicode 6
615 for ch in ['\U00010429', '\U0001044E', '\U0001F40D', '\U0001F46F']:
616 self.assertFalse(ch.istitle(), '{!a} is not title'.format(ch))
617
Walter Dörwald28256f22003-01-19 16:59:20 +0000618 def test_isspace(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000619 super().test_isspace()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000620 self.checkequalnofix(True, '\u2000', 'isspace')
621 self.checkequalnofix(True, '\u200a', 'isspace')
622 self.checkequalnofix(False, '\u2014', 'isspace')
Greg Price6bccbe72019-08-14 04:05:19 -0700623 # There are no non-BMP whitespace chars as of Unicode 12.
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300624 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
625 '\U0001F40D', '\U0001F46F']:
626 self.assertFalse(ch.isspace(), '{!a} is not space.'.format(ch))
627
Greg Price6bccbe72019-08-14 04:05:19 -0700628 @support.requires_resource('cpu')
629 def test_isspace_invariant(self):
630 for codepoint in range(sys.maxunicode + 1):
631 char = chr(codepoint)
632 bidirectional = unicodedata.bidirectional(char)
633 category = unicodedata.category(char)
634 self.assertEqual(char.isspace(),
635 (bidirectional in ('WS', 'B', 'S')
636 or category == 'Zs'))
637
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300638 def test_isalnum(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000639 super().test_isalnum()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300640 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
641 '\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
642 self.assertTrue(ch.isalnum(), '{!a} is alnum.'.format(ch))
Walter Dörwald28256f22003-01-19 16:59:20 +0000643
644 def test_isalpha(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000645 super().test_isalpha()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000646 self.checkequalnofix(True, '\u1FFc', 'isalpha')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300647 # non-BMP, cased
648 self.assertTrue('\U00010401'.isalpha())
649 self.assertTrue('\U00010427'.isalpha())
650 self.assertTrue('\U00010429'.isalpha())
651 self.assertTrue('\U0001044E'.isalpha())
652 # non-BMP, non-cased
653 self.assertFalse('\U0001F40D'.isalpha())
654 self.assertFalse('\U0001F46F'.isalpha())
Walter Dörwald28256f22003-01-19 16:59:20 +0000655
INADA Naokia49ac992018-01-27 14:06:21 +0900656 def test_isascii(self):
657 super().test_isascii()
658 self.assertFalse("\u20ac".isascii())
659 self.assertFalse("\U0010ffff".isascii())
660
Walter Dörwald28256f22003-01-19 16:59:20 +0000661 def test_isdecimal(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000662 self.checkequalnofix(False, '', 'isdecimal')
663 self.checkequalnofix(False, 'a', 'isdecimal')
664 self.checkequalnofix(True, '0', 'isdecimal')
665 self.checkequalnofix(False, '\u2460', 'isdecimal') # CIRCLED DIGIT ONE
666 self.checkequalnofix(False, '\xbc', 'isdecimal') # VULGAR FRACTION ONE QUARTER
667 self.checkequalnofix(True, '\u0660', 'isdecimal') # ARABIC-INDIC DIGIT ZERO
668 self.checkequalnofix(True, '0123456789', 'isdecimal')
669 self.checkequalnofix(False, '0123456789a', 'isdecimal')
Walter Dörwald28256f22003-01-19 16:59:20 +0000670
Walter Dörwald0fd583c2003-02-21 12:53:50 +0000671 self.checkraises(TypeError, 'abc', 'isdecimal', 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000672
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300673 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
674 '\U0001F40D', '\U0001F46F', '\U00011065', '\U0001F107']:
675 self.assertFalse(ch.isdecimal(), '{!a} is not decimal.'.format(ch))
676 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0']:
677 self.assertTrue(ch.isdecimal(), '{!a} is decimal.'.format(ch))
678
Walter Dörwald28256f22003-01-19 16:59:20 +0000679 def test_isdigit(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000680 super().test_isdigit()
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000681 self.checkequalnofix(True, '\u2460', 'isdigit')
682 self.checkequalnofix(False, '\xbc', 'isdigit')
683 self.checkequalnofix(True, '\u0660', 'isdigit')
Walter Dörwald28256f22003-01-19 16:59:20 +0000684
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300685 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
686 '\U0001F40D', '\U0001F46F', '\U00011065']:
687 self.assertFalse(ch.isdigit(), '{!a} is not a digit.'.format(ch))
688 for ch in ['\U0001D7F6', '\U00011066', '\U000104A0', '\U0001F107']:
689 self.assertTrue(ch.isdigit(), '{!a} is a digit.'.format(ch))
690
Walter Dörwald28256f22003-01-19 16:59:20 +0000691 def test_isnumeric(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000692 self.checkequalnofix(False, '', 'isnumeric')
693 self.checkequalnofix(False, 'a', 'isnumeric')
694 self.checkequalnofix(True, '0', 'isnumeric')
695 self.checkequalnofix(True, '\u2460', 'isnumeric')
696 self.checkequalnofix(True, '\xbc', 'isnumeric')
697 self.checkequalnofix(True, '\u0660', 'isnumeric')
698 self.checkequalnofix(True, '0123456789', 'isnumeric')
699 self.checkequalnofix(False, '0123456789a', 'isnumeric')
Walter Dörwald28256f22003-01-19 16:59:20 +0000700
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000701 self.assertRaises(TypeError, "abc".isnumeric, 42)
Walter Dörwald28256f22003-01-19 16:59:20 +0000702
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300703 for ch in ['\U00010401', '\U00010427', '\U00010429', '\U0001044E',
704 '\U0001F40D', '\U0001F46F']:
705 self.assertFalse(ch.isnumeric(), '{!a} is not numeric.'.format(ch))
706 for ch in ['\U00011065', '\U0001D7F6', '\U00011066',
707 '\U000104A0', '\U0001F107']:
708 self.assertTrue(ch.isnumeric(), '{!a} is numeric.'.format(ch))
709
Martin v. Löwis47383402007-08-15 07:32:56 +0000710 def test_isidentifier(self):
711 self.assertTrue("a".isidentifier())
712 self.assertTrue("Z".isidentifier())
713 self.assertTrue("_".isidentifier())
714 self.assertTrue("b0".isidentifier())
715 self.assertTrue("bc".isidentifier())
716 self.assertTrue("b_".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000717 self.assertTrue("µ".isidentifier())
Benjamin Petersonf413b802011-08-12 22:17:18 -0500718 self.assertTrue("𝔘𝔫𝔦𝔠𝔬𝔡𝔢".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000719
720 self.assertFalse(" ".isidentifier())
721 self.assertFalse("[".isidentifier())
Antoine Pitroud72402e2010-10-27 18:52:48 +0000722 self.assertFalse("©".isidentifier())
Georg Brandld52429f2008-07-04 15:55:02 +0000723 self.assertFalse("0".isidentifier())
Martin v. Löwis47383402007-08-15 07:32:56 +0000724
Serhiy Storchaka5650e762020-05-12 16:18:00 +0300725 @support.cpython_only
726 def test_isidentifier_legacy(self):
727 import _testcapi
728 u = '𝖀𝖓𝖎𝖈𝖔𝖉𝖊'
729 self.assertTrue(u.isidentifier())
Hai Shideb01622020-07-06 20:29:49 +0800730 with warnings_helper.check_warnings():
Inada Naoki038dd0f2020-06-30 15:26:56 +0900731 warnings.simplefilter('ignore', DeprecationWarning)
732 self.assertTrue(_testcapi.unicode_legacy_string(u).isidentifier())
Serhiy Storchaka5650e762020-05-12 16:18:00 +0300733
Georg Brandl559e5d72008-06-11 18:37:52 +0000734 def test_isprintable(self):
735 self.assertTrue("".isprintable())
Benjamin Peterson09832742009-03-26 17:15:46 +0000736 self.assertTrue(" ".isprintable())
Georg Brandl559e5d72008-06-11 18:37:52 +0000737 self.assertTrue("abcdefg".isprintable())
738 self.assertFalse("abcdefg\n".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000739 # some defined Unicode character
740 self.assertTrue("\u0374".isprintable())
741 # undefined character
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +0000742 self.assertFalse("\u0378".isprintable())
Georg Brandld52429f2008-07-04 15:55:02 +0000743 # single surrogate character
Georg Brandl559e5d72008-06-11 18:37:52 +0000744 self.assertFalse("\ud800".isprintable())
745
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300746 self.assertTrue('\U0001F46F'.isprintable())
747 self.assertFalse('\U000E0020'.isprintable())
748
749 def test_surrogates(self):
750 for s in ('a\uD800b\uDFFF', 'a\uDFFFb\uD800',
751 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
752 self.assertTrue(s.islower())
753 self.assertFalse(s.isupper())
754 self.assertFalse(s.istitle())
755 for s in ('A\uD800B\uDFFF', 'A\uDFFFB\uD800',
756 'A\uD800B\uDFFFA', 'A\uDFFFB\uD800A'):
757 self.assertFalse(s.islower())
758 self.assertTrue(s.isupper())
759 self.assertTrue(s.istitle())
760
761 for meth_name in ('islower', 'isupper', 'istitle'):
762 meth = getattr(str, meth_name)
763 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF'):
764 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
765
766 for meth_name in ('isalpha', 'isalnum', 'isdigit', 'isspace',
767 'isdecimal', 'isnumeric',
768 'isidentifier', 'isprintable'):
769 meth = getattr(str, meth_name)
770 for s in ('\uD800', '\uDFFF', '\uD800\uD800', '\uDFFF\uDFFF',
771 'a\uD800b\uDFFF', 'a\uDFFFb\uD800',
772 'a\uD800b\uDFFFa', 'a\uDFFFb\uD800a'):
773 self.assertFalse(meth(s), '%a.%s() is False' % (s, meth_name))
774
775
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300776 def test_lower(self):
777 string_tests.CommonTest.test_lower(self)
778 self.assertEqual('\U00010427'.lower(), '\U0001044F')
779 self.assertEqual('\U00010427\U00010427'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300780 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300781 self.assertEqual('\U00010427\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300782 '\U0001044F\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300783 self.assertEqual('X\U00010427x\U0001044F'.lower(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300784 'x\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500785 self.assertEqual('fi'.lower(), 'fi')
786 self.assertEqual('\u0130'.lower(), '\u0069\u0307')
787 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
788 self.assertEqual('\u03a3'.lower(), '\u03c3')
789 self.assertEqual('\u0345\u03a3'.lower(), '\u0345\u03c3')
790 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
791 self.assertEqual('A\u0345\u03a3a'.lower(), 'a\u0345\u03c3a')
792 self.assertEqual('A\u0345\u03a3'.lower(), 'a\u0345\u03c2')
793 self.assertEqual('A\u03a3\u0345'.lower(), 'a\u03c2\u0345')
794 self.assertEqual('\u03a3\u0345 '.lower(), '\u03c3\u0345 ')
795 self.assertEqual('\U0008fffe'.lower(), '\U0008fffe')
796 self.assertEqual('\u2177'.lower(), '\u2177')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300797
Benjamin Petersond5890c82012-01-14 13:23:30 -0500798 def test_casefold(self):
799 self.assertEqual('hello'.casefold(), 'hello')
800 self.assertEqual('hELlo'.casefold(), 'hello')
801 self.assertEqual('ß'.casefold(), 'ss')
802 self.assertEqual('fi'.casefold(), 'fi')
803 self.assertEqual('\u03a3'.casefold(), '\u03c3')
804 self.assertEqual('A\u0345\u03a3'.casefold(), 'a\u03b9\u03c3')
Benjamin Peterson4eda9372012-08-05 15:05:34 -0700805 self.assertEqual('\u00b5'.casefold(), '\u03bc')
Benjamin Petersond5890c82012-01-14 13:23:30 -0500806
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300807 def test_upper(self):
808 string_tests.CommonTest.test_upper(self)
809 self.assertEqual('\U0001044F'.upper(), '\U00010427')
810 self.assertEqual('\U0001044F\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300811 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300812 self.assertEqual('\U00010427\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300813 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300814 self.assertEqual('X\U00010427x\U0001044F'.upper(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300815 'X\U00010427X\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500816 self.assertEqual('fi'.upper(), 'FI')
817 self.assertEqual('\u0130'.upper(), '\u0130')
818 self.assertEqual('\u03a3'.upper(), '\u03a3')
819 self.assertEqual('ß'.upper(), 'SS')
820 self.assertEqual('\u1fd2'.upper(), '\u0399\u0308\u0300')
821 self.assertEqual('\U0008fffe'.upper(), '\U0008fffe')
822 self.assertEqual('\u2177'.upper(), '\u2167')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300823
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300824 def test_capitalize(self):
825 string_tests.CommonTest.test_capitalize(self)
826 self.assertEqual('\U0001044F'.capitalize(), '\U00010427')
827 self.assertEqual('\U0001044F\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300828 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300829 self.assertEqual('\U00010427\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300830 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300831 self.assertEqual('\U0001044F\U00010427'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300832 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300833 self.assertEqual('X\U00010427x\U0001044F'.capitalize(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300834 'X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500835 self.assertEqual('h\u0130'.capitalize(), 'H\u0069\u0307')
836 exp = '\u0399\u0308\u0300\u0069\u0307'
837 self.assertEqual('\u1fd2\u0130'.capitalize(), exp)
Kingsley Mb015fc82019-04-12 16:35:39 +0100838 self.assertEqual('finnish'.capitalize(), 'Finnish')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500839 self.assertEqual('A\u0345\u03a3'.capitalize(), 'A\u0345\u03c2')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300840
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300841 def test_title(self):
Martin Panter152a19c2016-04-06 06:37:17 +0000842 super().test_title()
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300843 self.assertEqual('\U0001044F'.title(), '\U00010427')
844 self.assertEqual('\U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300845 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300846 self.assertEqual('\U0001044F\U0001044F \U0001044F\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300847 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300848 self.assertEqual('\U00010427\U0001044F \U00010427\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300849 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300850 self.assertEqual('\U0001044F\U00010427 \U0001044F\U00010427'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300851 '\U00010427\U0001044F \U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300852 self.assertEqual('X\U00010427x\U0001044F X\U00010427x\U0001044F'.title(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300853 'X\U0001044Fx\U0001044F X\U0001044Fx\U0001044F')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500854 self.assertEqual('fiNNISH'.title(), 'Finnish')
855 self.assertEqual('A\u03a3 \u1fa1xy'.title(), 'A\u03c2 \u1fa9xy')
856 self.assertEqual('A\u03a3A'.title(), 'A\u03c3a')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300857
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300858 def test_swapcase(self):
859 string_tests.CommonTest.test_swapcase(self)
860 self.assertEqual('\U0001044F'.swapcase(), '\U00010427')
861 self.assertEqual('\U00010427'.swapcase(), '\U0001044F')
862 self.assertEqual('\U0001044F\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300863 '\U00010427\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300864 self.assertEqual('\U00010427\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300865 '\U0001044F\U00010427')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300866 self.assertEqual('\U0001044F\U00010427'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300867 '\U00010427\U0001044F')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300868 self.assertEqual('X\U00010427x\U0001044F'.swapcase(),
Ezio Melottia5c92b42011-08-23 00:37:08 +0300869 'x\U0001044FX\U00010427')
Benjamin Petersonb2bf01d2012-01-11 18:17:06 -0500870 self.assertEqual('fi'.swapcase(), 'FI')
871 self.assertEqual('\u0130'.swapcase(), '\u0069\u0307')
872 # Special case for GREEK CAPITAL LETTER SIGMA U+03A3
873 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
874 self.assertEqual('\u0345\u03a3'.swapcase(), '\u0399\u03c3')
875 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
876 self.assertEqual('A\u0345\u03a3a'.swapcase(), 'a\u0399\u03c3A')
877 self.assertEqual('A\u0345\u03a3'.swapcase(), 'a\u0399\u03c2')
878 self.assertEqual('A\u03a3\u0345'.swapcase(), 'a\u03c2\u0399')
879 self.assertEqual('\u03a3\u0345 '.swapcase(), '\u03c3\u0399 ')
880 self.assertEqual('\u03a3'.swapcase(), '\u03c3')
881 self.assertEqual('ß'.swapcase(), 'SS')
882 self.assertEqual('\u1fd2'.swapcase(), '\u0399\u0308\u0300')
Ezio Melotti93e7afc2011-08-22 14:08:38 +0300883
Ezio Melottif84e01d2013-07-08 17:48:29 +0200884 def test_center(self):
885 string_tests.CommonTest.test_center(self)
886 self.assertEqual('x'.center(2, '\U0010FFFF'),
887 'x\U0010FFFF')
888 self.assertEqual('x'.center(3, '\U0010FFFF'),
889 '\U0010FFFFx\U0010FFFF')
890 self.assertEqual('x'.center(4, '\U0010FFFF'),
891 '\U0010FFFFx\U0010FFFF\U0010FFFF')
892
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400893 @unittest.skipUnless(sys.maxsize == 2**31 - 1, "requires 32-bit system")
Benjamin Peterson4d856892014-10-15 13:39:46 -0400894 @support.cpython_only
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400895 def test_case_operation_overflow(self):
896 # Issue #22643
Serhiy Storchaka411dfd82015-11-07 16:54:48 +0200897 size = 2**32//12 + 1
898 try:
899 s = "ü" * size
900 except MemoryError:
901 self.skipTest('no enough memory (%.0f MiB required)' % (size / 2**20))
902 try:
903 self.assertRaises(OverflowError, s.upper)
904 finally:
905 del s
Benjamin Petersone1bd38c2014-10-15 11:47:36 -0400906
Walter Dörwald28256f22003-01-19 16:59:20 +0000907 def test_contains(self):
908 # Testing Unicode contains method
Benjamin Peterson577473f2010-01-19 00:09:57 +0000909 self.assertIn('a', 'abdb')
910 self.assertIn('a', 'bdab')
911 self.assertIn('a', 'bdaba')
912 self.assertIn('a', 'bdba')
913 self.assertNotIn('a', 'bdb')
914 self.assertIn('a', 'bdba')
915 self.assertIn('a', ('a',1,None))
916 self.assertIn('a', (1,None,'a'))
917 self.assertIn('a', ('a',1,None))
918 self.assertIn('a', (1,None,'a'))
919 self.assertNotIn('a', ('x',1,'y'))
920 self.assertNotIn('a', ('x',1,None))
921 self.assertNotIn('abcd', 'abcxxxx')
922 self.assertIn('ab', 'abcd')
923 self.assertIn('ab', 'abc')
924 self.assertIn('ab', (1,None,'ab'))
925 self.assertIn('', 'abc')
926 self.assertIn('', '')
927 self.assertIn('', 'abc')
928 self.assertNotIn('\0', 'abc')
929 self.assertIn('\0', '\0abc')
930 self.assertIn('\0', 'abc\0')
931 self.assertIn('a', '\0abc')
932 self.assertIn('asdf', 'asdf')
933 self.assertNotIn('asdf', 'asd')
934 self.assertNotIn('asdf', '')
Walter Dörwald28256f22003-01-19 16:59:20 +0000935
Guido van Rossumef87d6e2007-05-02 19:09:54 +0000936 self.assertRaises(TypeError, "abc".__contains__)
Serhiy Storchakabe1eb142015-03-24 21:48:30 +0200937 # test mixed kinds
938 for fill in ('a', '\u0100', '\U00010300'):
939 fill *= 9
940 for delim in ('c', '\u0102', '\U00010302'):
941 self.assertNotIn(delim, fill)
942 self.assertIn(delim, fill + delim)
943 self.assertNotIn(delim * 2, fill)
944 self.assertIn(delim * 2, fill + delim * 2)
Walter Dörwald28256f22003-01-19 16:59:20 +0000945
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +0300946 def test_issue18183(self):
947 '\U00010000\U00100000'.lower()
948 '\U00010000\U00100000'.casefold()
949 '\U00010000\U00100000'.upper()
950 '\U00010000\U00100000'.capitalize()
951 '\U00010000\U00100000'.title()
952 '\U00010000\U00100000'.swapcase()
953 '\U00100000'.center(3, '\U00010000')
954 '\U00100000'.ljust(3, '\U00010000')
955 '\U00100000'.rjust(3, '\U00010000')
956
Eric Smith8c663262007-08-25 02:26:07 +0000957 def test_format(self):
958 self.assertEqual(''.format(), '')
959 self.assertEqual('a'.format(), 'a')
960 self.assertEqual('ab'.format(), 'ab')
961 self.assertEqual('a{{'.format(), 'a{')
962 self.assertEqual('a}}'.format(), 'a}')
963 self.assertEqual('{{b'.format(), '{b')
964 self.assertEqual('}}b'.format(), '}b')
965 self.assertEqual('a{{b'.format(), 'a{b')
966
967 # examples from the PEP:
968 import datetime
969 self.assertEqual("My name is {0}".format('Fred'), "My name is Fred")
970 self.assertEqual("My name is {0[name]}".format(dict(name='Fred')),
971 "My name is Fred")
972 self.assertEqual("My name is {0} :-{{}}".format('Fred'),
973 "My name is Fred :-{}")
974
975 d = datetime.date(2007, 8, 18)
976 self.assertEqual("The year is {0.year}".format(d),
977 "The year is 2007")
978
Eric Smith8c663262007-08-25 02:26:07 +0000979 # classes we'll use for testing
980 class C:
981 def __init__(self, x=100):
982 self._x = x
983 def __format__(self, spec):
984 return spec
985
986 class D:
987 def __init__(self, x):
988 self.x = x
989 def __format__(self, spec):
990 return str(self.x)
991
992 # class with __str__, but no __format__
993 class E:
994 def __init__(self, x):
995 self.x = x
996 def __str__(self):
997 return 'E(' + self.x + ')'
998
999 # class with __repr__, but no __format__ or __str__
1000 class F:
1001 def __init__(self, x):
1002 self.x = x
1003 def __repr__(self):
1004 return 'F(' + self.x + ')'
1005
1006 # class with __format__ that forwards to string, for some format_spec's
1007 class G:
1008 def __init__(self, x):
1009 self.x = x
1010 def __str__(self):
1011 return "string is " + self.x
1012 def __format__(self, format_spec):
1013 if format_spec == 'd':
1014 return 'G(' + self.x + ')'
1015 return object.__format__(self, format_spec)
1016
Eric Smith739e2ad2007-08-27 19:07:22 +00001017 class I(datetime.date):
1018 def __format__(self, format_spec):
1019 return self.strftime(format_spec)
1020
Eric Smith185e30c2007-08-30 22:23:08 +00001021 class J(int):
1022 def __format__(self, format_spec):
1023 return int.__format__(self * 2, format_spec)
1024
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001025 class M:
1026 def __init__(self, x):
1027 self.x = x
1028 def __repr__(self):
1029 return 'M(' + self.x + ')'
1030 __str__ = None
1031
1032 class N:
1033 def __init__(self, x):
1034 self.x = x
1035 def __repr__(self):
1036 return 'N(' + self.x + ')'
1037 __format__ = None
Eric Smith8c663262007-08-25 02:26:07 +00001038
1039 self.assertEqual(''.format(), '')
1040 self.assertEqual('abc'.format(), 'abc')
1041 self.assertEqual('{0}'.format('abc'), 'abc')
1042 self.assertEqual('{0:}'.format('abc'), 'abc')
1043# self.assertEqual('{ 0 }'.format('abc'), 'abc')
1044 self.assertEqual('X{0}'.format('abc'), 'Xabc')
1045 self.assertEqual('{0}X'.format('abc'), 'abcX')
1046 self.assertEqual('X{0}Y'.format('abc'), 'XabcY')
1047 self.assertEqual('{1}'.format(1, 'abc'), 'abc')
1048 self.assertEqual('X{1}'.format(1, 'abc'), 'Xabc')
1049 self.assertEqual('{1}X'.format(1, 'abc'), 'abcX')
1050 self.assertEqual('X{1}Y'.format(1, 'abc'), 'XabcY')
1051 self.assertEqual('{0}'.format(-15), '-15')
1052 self.assertEqual('{0}{1}'.format(-15, 'abc'), '-15abc')
1053 self.assertEqual('{0}X{1}'.format(-15, 'abc'), '-15Xabc')
1054 self.assertEqual('{{'.format(), '{')
1055 self.assertEqual('}}'.format(), '}')
1056 self.assertEqual('{{}}'.format(), '{}')
1057 self.assertEqual('{{x}}'.format(), '{x}')
1058 self.assertEqual('{{{0}}}'.format(123), '{123}')
1059 self.assertEqual('{{{{0}}}}'.format(), '{{0}}')
1060 self.assertEqual('}}{{'.format(), '}{')
1061 self.assertEqual('}}x{{'.format(), '}x{')
1062
Eric Smith7ade6482007-08-26 22:27:13 +00001063 # weird field names
1064 self.assertEqual("{0[foo-bar]}".format({'foo-bar':'baz'}), 'baz')
1065 self.assertEqual("{0[foo bar]}".format({'foo bar':'baz'}), 'baz')
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001066 self.assertEqual("{0[ ]}".format({' ':3}), '3')
Eric Smith7ade6482007-08-26 22:27:13 +00001067
Eric Smith8c663262007-08-25 02:26:07 +00001068 self.assertEqual('{foo._x}'.format(foo=C(20)), '20')
1069 self.assertEqual('{1}{0}'.format(D(10), D(20)), '2010')
1070 self.assertEqual('{0._x.x}'.format(C(D('abc'))), 'abc')
1071 self.assertEqual('{0[0]}'.format(['abc', 'def']), 'abc')
1072 self.assertEqual('{0[1]}'.format(['abc', 'def']), 'def')
1073 self.assertEqual('{0[1][0]}'.format(['abc', ['def']]), 'def')
1074 self.assertEqual('{0[1][0].x}'.format(['abc', [D('def')]]), 'def')
1075
Eric Smith8c663262007-08-25 02:26:07 +00001076 # strings
1077 self.assertEqual('{0:.3s}'.format('abc'), 'abc')
1078 self.assertEqual('{0:.3s}'.format('ab'), 'ab')
1079 self.assertEqual('{0:.3s}'.format('abcdef'), 'abc')
1080 self.assertEqual('{0:.0s}'.format('abcdef'), '')
1081 self.assertEqual('{0:3.3s}'.format('abc'), 'abc')
1082 self.assertEqual('{0:2.3s}'.format('abc'), 'abc')
1083 self.assertEqual('{0:2.2s}'.format('abc'), 'ab')
1084 self.assertEqual('{0:3.2s}'.format('abc'), 'ab ')
1085 self.assertEqual('{0:x<0s}'.format('result'), 'result')
1086 self.assertEqual('{0:x<5s}'.format('result'), 'result')
1087 self.assertEqual('{0:x<6s}'.format('result'), 'result')
1088 self.assertEqual('{0:x<7s}'.format('result'), 'resultx')
1089 self.assertEqual('{0:x<8s}'.format('result'), 'resultxx')
1090 self.assertEqual('{0: <7s}'.format('result'), 'result ')
1091 self.assertEqual('{0:<7s}'.format('result'), 'result ')
1092 self.assertEqual('{0:>7s}'.format('result'), ' result')
1093 self.assertEqual('{0:>8s}'.format('result'), ' result')
1094 self.assertEqual('{0:^8s}'.format('result'), ' result ')
1095 self.assertEqual('{0:^9s}'.format('result'), ' result ')
1096 self.assertEqual('{0:^10s}'.format('result'), ' result ')
1097 self.assertEqual('{0:10000}'.format('a'), 'a' + ' ' * 9999)
1098 self.assertEqual('{0:10000}'.format(''), ' ' * 10000)
1099 self.assertEqual('{0:10000000}'.format(''), ' ' * 10000000)
1100
Eric V. Smith2ea97122014-04-14 11:55:10 -04001101 # issue 12546: use \x00 as a fill character
1102 self.assertEqual('{0:\x00<6s}'.format('foo'), 'foo\x00\x00\x00')
1103 self.assertEqual('{0:\x01<6s}'.format('foo'), 'foo\x01\x01\x01')
1104 self.assertEqual('{0:\x00^6s}'.format('foo'), '\x00foo\x00\x00')
1105 self.assertEqual('{0:^6s}'.format('foo'), ' foo ')
1106
1107 self.assertEqual('{0:\x00<6}'.format(3), '3\x00\x00\x00\x00\x00')
1108 self.assertEqual('{0:\x01<6}'.format(3), '3\x01\x01\x01\x01\x01')
1109 self.assertEqual('{0:\x00^6}'.format(3), '\x00\x003\x00\x00\x00')
1110 self.assertEqual('{0:<6}'.format(3), '3 ')
1111
1112 self.assertEqual('{0:\x00<6}'.format(3.14), '3.14\x00\x00')
1113 self.assertEqual('{0:\x01<6}'.format(3.14), '3.14\x01\x01')
1114 self.assertEqual('{0:\x00^6}'.format(3.14), '\x003.14\x00')
1115 self.assertEqual('{0:^6}'.format(3.14), ' 3.14 ')
1116
1117 self.assertEqual('{0:\x00<12}'.format(3+2.0j), '(3+2j)\x00\x00\x00\x00\x00\x00')
1118 self.assertEqual('{0:\x01<12}'.format(3+2.0j), '(3+2j)\x01\x01\x01\x01\x01\x01')
1119 self.assertEqual('{0:\x00^12}'.format(3+2.0j), '\x00\x00\x00(3+2j)\x00\x00\x00')
1120 self.assertEqual('{0:^12}'.format(3+2.0j), ' (3+2j) ')
1121
Eric Smith8c663262007-08-25 02:26:07 +00001122 # format specifiers for user defined type
1123 self.assertEqual('{0:abc}'.format(C()), 'abc')
1124
Georg Brandld52429f2008-07-04 15:55:02 +00001125 # !r, !s and !a coercions
Eric Smith8c663262007-08-25 02:26:07 +00001126 self.assertEqual('{0!s}'.format('Hello'), 'Hello')
1127 self.assertEqual('{0!s:}'.format('Hello'), 'Hello')
1128 self.assertEqual('{0!s:15}'.format('Hello'), 'Hello ')
1129 self.assertEqual('{0!s:15s}'.format('Hello'), 'Hello ')
1130 self.assertEqual('{0!r}'.format('Hello'), "'Hello'")
1131 self.assertEqual('{0!r:}'.format('Hello'), "'Hello'")
1132 self.assertEqual('{0!r}'.format(F('Hello')), 'F(Hello)')
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001133 self.assertEqual('{0!r}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001134 self.assertEqual('{0!r}'.format('\u0374'), "'\u0374'") # printable
1135 self.assertEqual('{0!r}'.format(F('\u0374')), 'F(\u0374)')
Georg Brandl559e5d72008-06-11 18:37:52 +00001136 self.assertEqual('{0!a}'.format('Hello'), "'Hello'")
Amaury Forgeot d'Arca083f1e2008-09-10 23:51:42 +00001137 self.assertEqual('{0!a}'.format('\u0378'), "'\\u0378'") # nonprintable
Georg Brandld52429f2008-07-04 15:55:02 +00001138 self.assertEqual('{0!a}'.format('\u0374'), "'\\u0374'") # printable
Georg Brandl559e5d72008-06-11 18:37:52 +00001139 self.assertEqual('{0!a:}'.format('Hello'), "'Hello'")
1140 self.assertEqual('{0!a}'.format(F('Hello')), 'F(Hello)')
Georg Brandld52429f2008-07-04 15:55:02 +00001141 self.assertEqual('{0!a}'.format(F('\u0374')), 'F(\\u0374)')
Eric Smith8c663262007-08-25 02:26:07 +00001142
Eric Smith8c663262007-08-25 02:26:07 +00001143 # test fallback to object.__format__
1144 self.assertEqual('{0}'.format({}), '{}')
1145 self.assertEqual('{0}'.format([]), '[]')
1146 self.assertEqual('{0}'.format([1]), '[1]')
Eric Smithe4d63172010-09-13 20:48:43 +00001147
Eric Smith8c663262007-08-25 02:26:07 +00001148 self.assertEqual('{0:d}'.format(G('data')), 'G(data)')
Eric Smith8c663262007-08-25 02:26:07 +00001149 self.assertEqual('{0!s}'.format(G('data')), 'string is data')
1150
Andrew Svetlov2cd8ce42012-12-23 14:27:17 +02001151 self.assertRaises(TypeError, '{0:^10}'.format, E('data'))
1152 self.assertRaises(TypeError, '{0:^10s}'.format, E('data'))
1153 self.assertRaises(TypeError, '{0:>15s}'.format, G('data'))
Eric Smithe4d63172010-09-13 20:48:43 +00001154
Eric Smith739e2ad2007-08-27 19:07:22 +00001155 self.assertEqual("{0:date: %Y-%m-%d}".format(I(year=2007,
1156 month=8,
1157 day=27)),
1158 "date: 2007-08-27")
1159
Eric Smith185e30c2007-08-30 22:23:08 +00001160 # test deriving from a builtin type and overriding __format__
1161 self.assertEqual("{0}".format(J(10)), "20")
1162
1163
Eric Smith8c663262007-08-25 02:26:07 +00001164 # string format specifiers
1165 self.assertEqual('{0:}'.format('a'), 'a')
1166
1167 # computed format specifiers
1168 self.assertEqual("{0:.{1}}".format('hello world', 5), 'hello')
1169 self.assertEqual("{0:.{1}s}".format('hello world', 5), 'hello')
1170 self.assertEqual("{0:.{precision}s}".format('hello world', precision=5), 'hello')
1171 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width=10, precision=5), 'hello ')
1172 self.assertEqual("{0:{width}.{precision}s}".format('hello world', width='10', precision='5'), 'hello ')
1173
1174 # test various errors
1175 self.assertRaises(ValueError, '{'.format)
1176 self.assertRaises(ValueError, '}'.format)
1177 self.assertRaises(ValueError, 'a{'.format)
1178 self.assertRaises(ValueError, 'a}'.format)
1179 self.assertRaises(ValueError, '{a'.format)
1180 self.assertRaises(ValueError, '}a'.format)
Eric Smith11529192007-09-04 23:04:22 +00001181 self.assertRaises(IndexError, '{0}'.format)
1182 self.assertRaises(IndexError, '{1}'.format, 'abc')
1183 self.assertRaises(KeyError, '{x}'.format)
Eric Smith8c663262007-08-25 02:26:07 +00001184 self.assertRaises(ValueError, "}{".format)
Eric Smith8c663262007-08-25 02:26:07 +00001185 self.assertRaises(ValueError, "abc{0:{}".format)
1186 self.assertRaises(ValueError, "{0".format)
Eric Smith11529192007-09-04 23:04:22 +00001187 self.assertRaises(IndexError, "{0.}".format)
1188 self.assertRaises(ValueError, "{0.}".format, 0)
Benjamin Peterson4d944742013-05-17 18:22:31 -05001189 self.assertRaises(ValueError, "{0[}".format)
Eric Smith4cb4e4e2007-09-03 08:40:29 +00001190 self.assertRaises(ValueError, "{0[}".format, [])
Eric Smith11529192007-09-04 23:04:22 +00001191 self.assertRaises(KeyError, "{0]}".format)
1192 self.assertRaises(ValueError, "{0.[]}".format, 0)
Eric Smith7ade6482007-08-26 22:27:13 +00001193 self.assertRaises(ValueError, "{0..foo}".format, 0)
Eric Smith11529192007-09-04 23:04:22 +00001194 self.assertRaises(ValueError, "{0[0}".format, 0)
1195 self.assertRaises(ValueError, "{0[0:foo}".format, 0)
1196 self.assertRaises(KeyError, "{c]}".format)
1197 self.assertRaises(ValueError, "{{ {{{0}}".format, 0)
1198 self.assertRaises(ValueError, "{0}}".format, 0)
1199 self.assertRaises(KeyError, "{foo}".format, bar=3)
Eric Smith8c663262007-08-25 02:26:07 +00001200 self.assertRaises(ValueError, "{0!x}".format, 3)
Eric Smith11529192007-09-04 23:04:22 +00001201 self.assertRaises(ValueError, "{0!}".format, 0)
1202 self.assertRaises(ValueError, "{0!rs}".format, 0)
Eric Smith8c663262007-08-25 02:26:07 +00001203 self.assertRaises(ValueError, "{!}".format)
Eric Smith8ec90442009-03-14 12:29:34 +00001204 self.assertRaises(IndexError, "{:}".format)
1205 self.assertRaises(IndexError, "{:s}".format)
1206 self.assertRaises(IndexError, "{}".format)
Benjamin Peterson59a1b2f2010-06-07 22:31:26 +00001207 big = "23098475029384702983476098230754973209482573"
1208 self.assertRaises(ValueError, ("{" + big + "}").format)
1209 self.assertRaises(ValueError, ("{[" + big + "]}").format, [0])
Eric Smith8c663262007-08-25 02:26:07 +00001210
Eric Smith41669ca2009-05-23 14:23:22 +00001211 # issue 6089
1212 self.assertRaises(ValueError, "{0[0]x}".format, [None])
1213 self.assertRaises(ValueError, "{0[0](10)}".format, [None])
1214
Eric Smith8c663262007-08-25 02:26:07 +00001215 # can't have a replacement on the field name portion
1216 self.assertRaises(TypeError, '{0[{1}]}'.format, 'abcdefg', 4)
1217
1218 # exceed maximum recursion depth
1219 self.assertRaises(ValueError, "{0:{1:{2}}}".format, 'abc', 's', '')
1220 self.assertRaises(ValueError, "{0:{1:{2:{3:{4:{5:{6}}}}}}}".format,
1221 0, 1, 2, 3, 4, 5, 6, 7)
1222
1223 # string format spec errors
1224 self.assertRaises(ValueError, "{0:-s}".format, '')
1225 self.assertRaises(ValueError, format, "", "-")
1226 self.assertRaises(ValueError, "{0:=s}".format, '')
1227
Eric Smithb1ebcc62008-07-15 13:02:41 +00001228 # Alternate formatting is not supported
1229 self.assertRaises(ValueError, format, '', '#')
1230 self.assertRaises(ValueError, format, '', '#20')
1231
Victor Stinnerece58de2012-04-23 23:36:38 +02001232 # Non-ASCII
1233 self.assertEqual("{0:s}{1:s}".format("ABC", "\u0410\u0411\u0412"),
1234 'ABC\u0410\u0411\u0412')
1235 self.assertEqual("{0:.3s}".format("ABC\u0410\u0411\u0412"),
1236 'ABC')
1237 self.assertEqual("{0:.0s}".format("ABC\u0410\u0411\u0412"),
1238 '')
1239
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001240 self.assertEqual("{[{}]}".format({"{}": 5}), "5")
Benjamin Peterson4d944742013-05-17 18:22:31 -05001241 self.assertEqual("{[{}]}".format({"{}" : "a"}), "a")
1242 self.assertEqual("{[{]}".format({"{" : "a"}), "a")
1243 self.assertEqual("{[}]}".format({"}" : "a"}), "a")
1244 self.assertEqual("{[[]}".format({"[" : "a"}), "a")
1245 self.assertEqual("{[!]}".format({"!" : "a"}), "a")
1246 self.assertRaises(ValueError, "{a{}b}".format, 42)
1247 self.assertRaises(ValueError, "{a{b}".format, 42)
1248 self.assertRaises(ValueError, "{[}".format, 42)
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001249
Benjamin Peterson0ee22bf2013-11-26 19:22:36 -06001250 self.assertEqual("0x{:0{:d}X}".format(0x0,16), "0x0000000000000000")
Benjamin Petersond2b58a92013-05-17 17:34:30 -05001251
Guido van Rossum97c1adf2016-08-18 09:22:23 -07001252 # Blocking fallback
1253 m = M('data')
1254 self.assertEqual("{!r}".format(m), 'M(data)')
1255 self.assertRaises(TypeError, "{!s}".format, m)
1256 self.assertRaises(TypeError, "{}".format, m)
1257 n = N('data')
1258 self.assertEqual("{!r}".format(n), 'N(data)')
1259 self.assertEqual("{!s}".format(n), 'N(data)')
1260 self.assertRaises(TypeError, "{}".format, n)
1261
Eric Smith27bbca62010-11-04 17:06:58 +00001262 def test_format_map(self):
1263 self.assertEqual(''.format_map({}), '')
1264 self.assertEqual('a'.format_map({}), 'a')
1265 self.assertEqual('ab'.format_map({}), 'ab')
1266 self.assertEqual('a{{'.format_map({}), 'a{')
1267 self.assertEqual('a}}'.format_map({}), 'a}')
1268 self.assertEqual('{{b'.format_map({}), '{b')
1269 self.assertEqual('}}b'.format_map({}), '}b')
1270 self.assertEqual('a{{b'.format_map({}), 'a{b')
1271
1272 # using mappings
1273 class Mapping(dict):
1274 def __missing__(self, key):
1275 return key
1276 self.assertEqual('{hello}'.format_map(Mapping()), 'hello')
1277 self.assertEqual('{a} {world}'.format_map(Mapping(a='hello')), 'hello world')
1278
1279 class InternalMapping:
1280 def __init__(self):
1281 self.mapping = {'a': 'hello'}
1282 def __getitem__(self, key):
1283 return self.mapping[key]
1284 self.assertEqual('{a}'.format_map(InternalMapping()), 'hello')
1285
1286
Eric Smith27bbca62010-11-04 17:06:58 +00001287 class C:
1288 def __init__(self, x=100):
1289 self._x = x
1290 def __format__(self, spec):
1291 return spec
Eric Smith27bbca62010-11-04 17:06:58 +00001292 self.assertEqual('{foo._x}'.format_map({'foo': C(20)}), '20')
1293
1294 # test various errors
Eric V. Smithedbb6ca2012-03-12 15:16:22 -07001295 self.assertRaises(TypeError, ''.format_map)
1296 self.assertRaises(TypeError, 'a'.format_map)
1297
1298 self.assertRaises(ValueError, '{'.format_map, {})
1299 self.assertRaises(ValueError, '}'.format_map, {})
1300 self.assertRaises(ValueError, 'a{'.format_map, {})
1301 self.assertRaises(ValueError, 'a}'.format_map, {})
1302 self.assertRaises(ValueError, '{a'.format_map, {})
1303 self.assertRaises(ValueError, '}a'.format_map, {})
Eric Smith27bbca62010-11-04 17:06:58 +00001304
Eric V. Smith12ebefc2011-07-18 14:03:41 -04001305 # issue #12579: can't supply positional params to format_map
1306 self.assertRaises(ValueError, '{}'.format_map, {'a' : 2})
1307 self.assertRaises(ValueError, '{}'.format_map, 'a')
1308 self.assertRaises(ValueError, '{a} {}'.format_map, {"a" : 2, "b" : 1})
1309
Serhiy Storchaka50754162017-08-03 11:45:23 +03001310 class BadMapping:
1311 def __getitem__(self, key):
1312 return 1/0
1313 self.assertRaises(KeyError, '{a}'.format_map, {})
1314 self.assertRaises(TypeError, '{a}'.format_map, [])
1315 self.assertRaises(ZeroDivisionError, '{a}'.format_map, BadMapping())
1316
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001317 def test_format_huge_precision(self):
1318 format_string = ".{}f".format(sys.maxsize + 1)
1319 with self.assertRaises(ValueError):
1320 result = format(2.34, format_string)
1321
1322 def test_format_huge_width(self):
1323 format_string = "{}f".format(sys.maxsize + 1)
1324 with self.assertRaises(ValueError):
1325 result = format(2.34, format_string)
1326
1327 def test_format_huge_item_number(self):
1328 format_string = "{{{}:.6f}}".format(sys.maxsize + 1)
1329 with self.assertRaises(ValueError):
1330 result = format_string.format(2.34)
1331
Eric Smith8ec90442009-03-14 12:29:34 +00001332 def test_format_auto_numbering(self):
1333 class C:
1334 def __init__(self, x=100):
1335 self._x = x
1336 def __format__(self, spec):
1337 return spec
1338
1339 self.assertEqual('{}'.format(10), '10')
1340 self.assertEqual('{:5}'.format('s'), 's ')
1341 self.assertEqual('{!r}'.format('s'), "'s'")
1342 self.assertEqual('{._x}'.format(C(10)), '10')
1343 self.assertEqual('{[1]}'.format([1, 2]), '2')
1344 self.assertEqual('{[a]}'.format({'a':4, 'b':2}), '4')
1345 self.assertEqual('a{}b{}c'.format(0, 1), 'a0b1c')
1346
1347 self.assertEqual('a{:{}}b'.format('x', '^10'), 'a x b')
1348 self.assertEqual('a{:{}x}b'.format(20, '#'), 'a0x14b')
1349
1350 # can't mix and match numbering and auto-numbering
1351 self.assertRaises(ValueError, '{}{1}'.format, 1, 2)
1352 self.assertRaises(ValueError, '{1}{}'.format, 1, 2)
1353 self.assertRaises(ValueError, '{:{1}}'.format, 1, 2)
1354 self.assertRaises(ValueError, '{0:{}}'.format, 1, 2)
1355
1356 # can mix and match auto-numbering and named
1357 self.assertEqual('{f}{}'.format(4, f='test'), 'test4')
1358 self.assertEqual('{}{f}'.format(4, f='test'), '4test')
1359 self.assertEqual('{:{f}}{g}{}'.format(1, 3, g='g', f=2), ' 1g3')
1360 self.assertEqual('{f:{}}{}{g}'.format(2, 4, f=1, g='g'), ' 14g')
1361
Walter Dörwald28256f22003-01-19 16:59:20 +00001362 def test_formatting(self):
Walter Dörwald0fd583c2003-02-21 12:53:50 +00001363 string_tests.MixinStrUnicodeUserStringTest.test_formatting(self)
Walter Dörwald28256f22003-01-19 16:59:20 +00001364 # Testing Unicode formatting strings...
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001365 self.assertEqual("%s, %s" % ("abc", "abc"), 'abc, abc')
1366 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, 2, 3), 'abc, abc, 1, 2.000000, 3.00')
1367 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", 1, -2, 3), 'abc, abc, 1, -2.000000, 3.00')
1368 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.5), 'abc, abc, -1, -2.000000, 3.50')
1369 self.assertEqual("%s, %s, %i, %f, %5.2f" % ("abc", "abc", -1, -2, 3.57), 'abc, abc, -1, -2.000000, 3.57')
1370 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 +00001371 if not sys.platform.startswith('java'):
Walter Dörwald67e83882007-05-05 12:26:27 +00001372 self.assertEqual("%r, %r" % (b"abc", "abc"), "b'abc', 'abc'")
Georg Brandl559e5d72008-06-11 18:37:52 +00001373 self.assertEqual("%r" % ("\u1234",), "'\u1234'")
1374 self.assertEqual("%a" % ("\u1234",), "'\\u1234'")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001375 self.assertEqual("%(x)s, %(y)s" % {'x':"abc", 'y':"def"}, 'abc, def')
1376 self.assertEqual("%(x)s, %(\xfc)s" % {'x':"abc", '\xfc':"def"}, 'abc, def')
Walter Dörwald56fbcb52003-03-31 18:18:41 +00001377
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001378 self.assertEqual('%c' % 0x1234, '\u1234')
Amaury Forgeot d'Arca4db6862008-07-04 21:26:43 +00001379 self.assertEqual('%c' % 0x21483, '\U00021483')
1380 self.assertRaises(OverflowError, "%c".__mod__, (0x110000,))
1381 self.assertEqual('%c' % '\U00021483', '\U00021483')
1382 self.assertRaises(TypeError, "%c".__mod__, "aa")
Stefan Krah99212f62010-07-19 17:58:26 +00001383 self.assertRaises(ValueError, "%.1\u1032f".__mod__, (1.0/3))
Senthil Kumaran9ebe08d2011-07-03 21:03:16 -07001384 self.assertRaises(TypeError, "%i".__mod__, "aa")
Walter Dörwald28256f22003-01-19 16:59:20 +00001385
1386 # formatting jobs delegated from the string implementation:
Walter Dörwald28256f22003-01-19 16:59:20 +00001387 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001388 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1389 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1390 self.assertEqual('...%(foo)s...' % {'foo':"abc"}, '...abc...')
1391 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1392 self.assertEqual('...%(foo)s...' % {'foo':"abc",'def':123}, '...abc...')
1393 self.assertEqual('...%s...%s...%s...%s...' % (1,2,3,"abc"), '...1...2...3...abc...')
1394 self.assertEqual('...%%...%%s...%s...%s...%s...%s...' % (1,2,3,"abc"), '...%...%s...1...2...3...abc...')
1395 self.assertEqual('...%s...' % "abc", '...abc...')
1396 self.assertEqual('%*s' % (5,'abc',), ' abc')
1397 self.assertEqual('%*s' % (-5,'abc',), 'abc ')
1398 self.assertEqual('%*.*s' % (5,2,'abc',), ' ab')
1399 self.assertEqual('%*.*s' % (5,3,'abc',), ' abc')
1400 self.assertEqual('%i %*.*s' % (10, 5,3,'abc',), '10 abc')
1401 self.assertEqual('%i%s %*.*s' % (10, 3, 5, 3, 'abc',), '103 abc')
1402 self.assertEqual('%c' % 'a', 'a')
Neil Schemenauercf52c072005-08-12 17:34:58 +00001403 class Wrapper:
1404 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001405 return '\u1234'
1406 self.assertEqual('%s' % Wrapper(), '\u1234')
Walter Dörwald28256f22003-01-19 16:59:20 +00001407
Eric Smith741191f2009-05-06 13:08:15 +00001408 # issue 3382
1409 NAN = float('nan')
1410 INF = float('inf')
1411 self.assertEqual('%f' % NAN, 'nan')
1412 self.assertEqual('%F' % NAN, 'NAN')
1413 self.assertEqual('%f' % INF, 'inf')
1414 self.assertEqual('%F' % INF, 'INF')
1415
Victor Stinnerf59c28c2012-05-09 03:24:14 +02001416 # PEP 393
1417 self.assertEqual('%.1s' % "a\xe9\u20ac", 'a')
1418 self.assertEqual('%.2s' % "a\xe9\u20ac", 'a\xe9')
1419
Ethan Furmandf3ed242014-01-05 06:50:30 -08001420 #issue 19995
Ethan Furman9ab74802014-03-21 06:38:46 -07001421 class PseudoInt:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001422 def __init__(self, value):
1423 self.value = int(value)
1424 def __int__(self):
1425 return self.value
1426 def __index__(self):
1427 return self.value
Ethan Furman9ab74802014-03-21 06:38:46 -07001428 class PseudoFloat:
Ethan Furmandf3ed242014-01-05 06:50:30 -08001429 def __init__(self, value):
1430 self.value = float(value)
1431 def __int__(self):
1432 return int(self.value)
Ethan Furman9ab74802014-03-21 06:38:46 -07001433 pi = PseudoFloat(3.1415)
1434 letter_m = PseudoInt(109)
Antoine Pitroueb168042014-01-10 00:02:38 +01001435 self.assertEqual('%x' % 42, '2a')
1436 self.assertEqual('%X' % 15, 'F')
1437 self.assertEqual('%o' % 9, '11')
1438 self.assertEqual('%c' % 109, 'm')
1439 self.assertEqual('%x' % letter_m, '6d')
1440 self.assertEqual('%X' % letter_m, '6D')
1441 self.assertEqual('%o' % letter_m, '155')
1442 self.assertEqual('%c' % letter_m, 'm')
Ethan Furman9ab74802014-03-21 06:38:46 -07001443 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not float', operator.mod, '%x', 3.14),
1444 self.assertRaisesRegex(TypeError, '%X format: an integer is required, not float', operator.mod, '%X', 2.11),
1445 self.assertRaisesRegex(TypeError, '%o format: an integer is required, not float', operator.mod, '%o', 1.79),
1446 self.assertRaisesRegex(TypeError, '%x format: an integer is required, not PseudoFloat', operator.mod, '%x', pi),
1447 self.assertRaises(TypeError, operator.mod, '%c', pi),
Ethan Furmandf3ed242014-01-05 06:50:30 -08001448
Ethan Furmanfb137212013-08-31 10:18:55 -07001449 def test_formatting_with_enum(self):
1450 # issue18780
1451 import enum
1452 class Float(float, enum.Enum):
1453 PI = 3.1415926
1454 class Int(enum.IntEnum):
1455 IDES = 15
1456 class Str(str, enum.Enum):
1457 ABC = 'abc'
1458 # Testing Unicode formatting strings...
Ethan Furman13bdfa72013-08-31 12:48:51 -07001459 self.assertEqual("%s, %s" % (Str.ABC, Str.ABC),
1460 'Str.ABC, Str.ABC')
1461 self.assertEqual("%s, %s, %d, %i, %u, %f, %5.2f" %
1462 (Str.ABC, Str.ABC,
1463 Int.IDES, Int.IDES, Int.IDES,
1464 Float.PI, Float.PI),
1465 'Str.ABC, Str.ABC, 15, 15, 15, 3.141593, 3.14')
Ethan Furmanfb137212013-08-31 10:18:55 -07001466
1467 # formatting jobs delegated from the string implementation:
Ethan Furman13bdfa72013-08-31 12:48:51 -07001468 self.assertEqual('...%(foo)s...' % {'foo':Str.ABC},
1469 '...Str.ABC...')
1470 self.assertEqual('...%(foo)s...' % {'foo':Int.IDES},
1471 '...Int.IDES...')
1472 self.assertEqual('...%(foo)i...' % {'foo':Int.IDES},
1473 '...15...')
1474 self.assertEqual('...%(foo)d...' % {'foo':Int.IDES},
1475 '...15...')
1476 self.assertEqual('...%(foo)u...' % {'foo':Int.IDES, 'def':Float.PI},
1477 '...15...')
1478 self.assertEqual('...%(foo)f...' % {'foo':Float.PI,'def':123},
1479 '...3.141593...')
Ethan Furmanfb137212013-08-31 10:18:55 -07001480
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001481 def test_formatting_huge_precision(self):
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001482 format_string = "%.{}f".format(sys.maxsize + 1)
1483 with self.assertRaises(ValueError):
1484 result = format_string % 2.34
1485
Martijn Pietersd7e64332017-02-23 13:38:04 +00001486 def test_issue28598_strsubclass_rhs(self):
1487 # A subclass of str with an __rmod__ method should be able to hook
1488 # into the % operator
1489 class SubclassedStr(str):
1490 def __rmod__(self, other):
1491 return 'Success, self.__rmod__({!r}) was called'.format(other)
1492 self.assertEqual('lhs %% %r' % SubclassedStr('rhs'),
1493 "Success, self.__rmod__('lhs %% %r') was called")
1494
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02001495 @support.cpython_only
1496 def test_formatting_huge_precision_c_limits(self):
Mark Dickinsonfb90c092012-10-28 10:18:03 +00001497 from _testcapi import INT_MAX
1498 format_string = "%.{}f".format(INT_MAX + 1)
1499 with self.assertRaises(ValueError):
1500 result = format_string % 2.34
1501
1502 def test_formatting_huge_width(self):
1503 format_string = "%{}f".format(sys.maxsize + 1)
1504 with self.assertRaises(ValueError):
1505 result = format_string % 2.34
1506
Ezio Melottiba42fd52011-04-26 06:09:45 +03001507 def test_startswith_endswith_errors(self):
1508 for meth in ('foo'.startswith, 'foo'.endswith):
Ezio Melottif2b3f782011-04-26 06:40:59 +03001509 with self.assertRaises(TypeError) as cm:
Ezio Melottiba42fd52011-04-26 06:09:45 +03001510 meth(['f'])
Ezio Melottif2b3f782011-04-26 06:40:59 +03001511 exc = str(cm.exception)
Ezio Melottiba42fd52011-04-26 06:09:45 +03001512 self.assertIn('str', exc)
1513 self.assertIn('tuple', exc)
1514
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001515 @support.run_with_locale('LC_ALL', 'de_DE', 'fr_FR')
Georg Brandlda6b1072006-01-20 17:48:54 +00001516 def test_format_float(self):
Thomas Wouters477c8d52006-05-27 19:21:47 +00001517 # should not format with a comma, but always with C locale
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001518 self.assertEqual('1.0', '%.1f' % 1.0)
Georg Brandlda6b1072006-01-20 17:48:54 +00001519
Walter Dörwald28256f22003-01-19 16:59:20 +00001520 def test_constructor(self):
1521 # unicode(obj) tests (this maps to PyObject_Unicode() at C level)
1522
1523 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001524 str('unicode remains unicode'),
1525 'unicode remains unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001526 )
1527
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001528 for text in ('ascii', '\xe9', '\u20ac', '\U0010FFFF'):
Serhiy Storchaka15095802015-11-25 15:47:01 +02001529 subclass = StrSubclass(text)
Victor Stinner07ac3eb2011-10-01 16:16:43 +02001530 self.assertEqual(str(subclass), text)
1531 self.assertEqual(len(subclass), len(text))
1532 if text == 'ascii':
1533 self.assertEqual(subclass.encode('ascii'), b'ascii')
1534 self.assertEqual(subclass.encode('utf-8'), b'ascii')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001535
Walter Dörwald28256f22003-01-19 16:59:20 +00001536 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001537 str('strings are converted to unicode'),
1538 'strings are converted to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001539 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001540
Walter Dörwald28256f22003-01-19 16:59:20 +00001541 class StringCompat:
1542 def __init__(self, x):
1543 self.x = x
1544 def __str__(self):
1545 return self.x
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001546
Walter Dörwald28256f22003-01-19 16:59:20 +00001547 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001548 str(StringCompat('__str__ compatible objects are recognized')),
1549 '__str__ compatible objects are recognized'
Walter Dörwald28256f22003-01-19 16:59:20 +00001550 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001551
Walter Dörwald28256f22003-01-19 16:59:20 +00001552 # unicode(obj) is compatible to str():
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001553
Walter Dörwald28256f22003-01-19 16:59:20 +00001554 o = StringCompat('unicode(obj) is compatible to str()')
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001555 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Walter Dörwald28256f22003-01-19 16:59:20 +00001556 self.assertEqual(str(o), 'unicode(obj) is compatible to str()')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001557
Guido van Rossume2a383d2007-01-15 16:59:06 +00001558 for obj in (123, 123.45, 123):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001559 self.assertEqual(str(obj), str(str(obj)))
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001560
Walter Dörwald28256f22003-01-19 16:59:20 +00001561 # unicode(obj, encoding, error) tests (this maps to
1562 # PyUnicode_FromEncodedObject() at C level)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001563
Walter Dörwald28256f22003-01-19 16:59:20 +00001564 if not sys.platform.startswith('java'):
1565 self.assertRaises(
1566 TypeError,
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001567 str,
1568 'decoding unicode is not supported',
Walter Dörwald28256f22003-01-19 16:59:20 +00001569 'utf-8',
1570 'strict'
1571 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001572
Walter Dörwald28256f22003-01-19 16:59:20 +00001573 self.assertEqual(
Walter Dörwald67e83882007-05-05 12:26:27 +00001574 str(b'strings are decoded to unicode', 'utf-8', 'strict'),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001575 'strings are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001576 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001577
Walter Dörwald28256f22003-01-19 16:59:20 +00001578 if not sys.platform.startswith('java'):
1579 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001580 str(
Guido van Rossumbae07c92007-10-08 02:46:15 +00001581 memoryview(b'character buffers are decoded to unicode'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001582 'utf-8',
1583 'strict'
1584 ),
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001585 'character buffers are decoded to unicode'
Walter Dörwald28256f22003-01-19 16:59:20 +00001586 )
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001587
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001588 self.assertRaises(TypeError, str, 42, 42, 42)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001589
Chris Jerdonek5fae0e52012-11-20 17:45:51 -08001590 def test_constructor_keyword_args(self):
1591 """Pass various keyword argument combinations to the constructor."""
1592 # The object argument can be passed as a keyword.
1593 self.assertEqual(str(object='foo'), 'foo')
1594 self.assertEqual(str(object=b'foo', encoding='utf-8'), 'foo')
1595 # The errors argument without encoding triggers "decode" mode.
1596 self.assertEqual(str(b'foo', errors='strict'), 'foo') # not "b'foo'"
1597 self.assertEqual(str(object=b'foo', errors='strict'), 'foo')
1598
1599 def test_constructor_defaults(self):
1600 """Check the constructor argument defaults."""
1601 # The object argument defaults to '' or b''.
1602 self.assertEqual(str(), '')
1603 self.assertEqual(str(errors='strict'), '')
1604 utf8_cent = '¢'.encode('utf-8')
1605 # The encoding argument defaults to utf-8.
1606 self.assertEqual(str(utf8_cent, errors='strict'), '¢')
1607 # The errors argument defaults to strict.
1608 self.assertRaises(UnicodeDecodeError, str, utf8_cent, encoding='ascii')
1609
Walter Dörwald28256f22003-01-19 16:59:20 +00001610 def test_codecs_utf7(self):
1611 utfTests = [
Walter Dörwald67e83882007-05-05 12:26:27 +00001612 ('A\u2262\u0391.', b'A+ImIDkQ.'), # RFC2152 example
1613 ('Hi Mom -\u263a-!', b'Hi Mom -+Jjo--!'), # RFC2152 example
1614 ('\u65E5\u672C\u8A9E', b'+ZeVnLIqe-'), # RFC2152 example
1615 ('Item 3 is \u00a31.', b'Item 3 is +AKM-1.'), # RFC2152 example
1616 ('+', b'+-'),
1617 ('+-', b'+--'),
1618 ('+?', b'+-?'),
R David Murray44b548d2016-09-08 13:59:53 -04001619 (r'\?', b'+AFw?'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001620 ('+?', b'+-?'),
1621 (r'\\?', b'+AFwAXA?'),
1622 (r'\\\?', b'+AFwAXABc?'),
Antoine Pitrou244651a2009-05-04 18:56:13 +00001623 (r'++--', b'+-+---'),
1624 ('\U000abcde', b'+2m/c3g-'), # surrogate pairs
1625 ('/', b'/'),
Walter Dörwald28256f22003-01-19 16:59:20 +00001626 ]
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001627
Walter Dörwald28256f22003-01-19 16:59:20 +00001628 for (x, y) in utfTests:
1629 self.assertEqual(x.encode('utf-7'), y)
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001630
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001631 # Unpaired surrogates are passed through
1632 self.assertEqual('\uD801'.encode('utf-7'), b'+2AE-')
1633 self.assertEqual('\uD801x'.encode('utf-7'), b'+2AE-x')
1634 self.assertEqual('\uDC01'.encode('utf-7'), b'+3AE-')
1635 self.assertEqual('\uDC01x'.encode('utf-7'), b'+3AE-x')
1636 self.assertEqual(b'+2AE-'.decode('utf-7'), '\uD801')
1637 self.assertEqual(b'+2AE-x'.decode('utf-7'), '\uD801x')
1638 self.assertEqual(b'+3AE-'.decode('utf-7'), '\uDC01')
1639 self.assertEqual(b'+3AE-x'.decode('utf-7'), '\uDC01x')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001640
Antoine Pitrou5418ee02011-11-15 01:42:21 +01001641 self.assertEqual('\uD801\U000abcde'.encode('utf-7'), b'+2AHab9ze-')
1642 self.assertEqual(b'+2AHab9ze-'.decode('utf-7'), '\uD801\U000abcde')
Marc-André Lemburgb5507ec2001-10-19 12:02:29 +00001643
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001644 # Issue #2242: crash on some Windows/MSVC versions
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03001645 self.assertEqual(b'+\xc1'.decode('utf-7', 'ignore'), '')
Antoine Pitrou244651a2009-05-04 18:56:13 +00001646
1647 # Direct encoded characters
1648 set_d = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789'(),-./:?"
1649 # Optional direct characters
1650 set_o = '!"#$%&*;<=>@[]^_`{|}'
1651 for c in set_d:
1652 self.assertEqual(c.encode('utf7'), c.encode('ascii'))
1653 self.assertEqual(c.encode('ascii').decode('utf7'), c)
1654 for c in set_o:
1655 self.assertEqual(c.encode('ascii').decode('utf7'), c)
Antoine Pitrou5ffd9e92008-07-25 18:05:24 +00001656
Zackery Spytze349bf22018-08-18 22:43:38 -06001657 with self.assertRaisesRegex(UnicodeDecodeError,
1658 'ill-formed sequence'):
1659 b'+@'.decode('utf-7')
1660
Walter Dörwald28256f22003-01-19 16:59:20 +00001661 def test_codecs_utf8(self):
Walter Dörwald67e83882007-05-05 12:26:27 +00001662 self.assertEqual(''.encode('utf-8'), b'')
1663 self.assertEqual('\u20ac'.encode('utf-8'), b'\xe2\x82\xac')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001664 self.assertEqual('\U00010002'.encode('utf-8'), b'\xf0\x90\x80\x82')
1665 self.assertEqual('\U00023456'.encode('utf-8'), b'\xf0\xa3\x91\x96')
Martin v. Löwise0a2b722009-05-10 08:08:56 +00001666 self.assertEqual('\ud800'.encode('utf-8', 'surrogatepass'), b'\xed\xa0\x80')
1667 self.assertEqual('\udc00'.encode('utf-8', 'surrogatepass'), b'\xed\xb0\x80')
Ezio Melottia9860ae2011-10-04 19:06:00 +03001668 self.assertEqual(('\U00010002'*10).encode('utf-8'),
1669 b'\xf0\x90\x80\x82'*10)
Walter Dörwald28256f22003-01-19 16:59:20 +00001670 self.assertEqual(
Guido van Rossumef87d6e2007-05-02 19:09:54 +00001671 '\u6b63\u78ba\u306b\u8a00\u3046\u3068\u7ffb\u8a33\u306f'
1672 '\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e00'
1673 '\u90e8\u306f\u30c9\u30a4\u30c4\u8a9e\u3067\u3059\u304c'
1674 '\u3001\u3042\u3068\u306f\u3067\u305f\u3089\u3081\u3067'
1675 '\u3059\u3002\u5b9f\u969b\u306b\u306f\u300cWenn ist das'
1676 ' Nunstuck git und'.encode('utf-8'),
Walter Dörwald67e83882007-05-05 12:26:27 +00001677 b'\xe6\xad\xa3\xe7\xa2\xba\xe3\x81\xab\xe8\xa8\x80\xe3\x81'
1678 b'\x86\xe3\x81\xa8\xe7\xbf\xbb\xe8\xa8\xb3\xe3\x81\xaf\xe3'
1679 b'\x81\x95\xe3\x82\x8c\xe3\x81\xa6\xe3\x81\x84\xe3\x81\xbe'
1680 b'\xe3\x81\x9b\xe3\x82\x93\xe3\x80\x82\xe4\xb8\x80\xe9\x83'
1681 b'\xa8\xe3\x81\xaf\xe3\x83\x89\xe3\x82\xa4\xe3\x83\x84\xe8'
1682 b'\xaa\x9e\xe3\x81\xa7\xe3\x81\x99\xe3\x81\x8c\xe3\x80\x81'
1683 b'\xe3\x81\x82\xe3\x81\xa8\xe3\x81\xaf\xe3\x81\xa7\xe3\x81'
1684 b'\x9f\xe3\x82\x89\xe3\x82\x81\xe3\x81\xa7\xe3\x81\x99\xe3'
1685 b'\x80\x82\xe5\xae\x9f\xe9\x9a\x9b\xe3\x81\xab\xe3\x81\xaf'
1686 b'\xe3\x80\x8cWenn ist das Nunstuck git und'
Walter Dörwald28256f22003-01-19 16:59:20 +00001687 )
Guido van Rossumd8855fd2000-03-24 22:14:19 +00001688
Walter Dörwald28256f22003-01-19 16:59:20 +00001689 # UTF-8 specific decoding tests
Walter Dörwald67e83882007-05-05 12:26:27 +00001690 self.assertEqual(str(b'\xf0\xa3\x91\x96', 'utf-8'), '\U00023456' )
1691 self.assertEqual(str(b'\xf0\x90\x80\x82', 'utf-8'), '\U00010002' )
1692 self.assertEqual(str(b'\xe2\x82\xac', 'utf-8'), '\u20ac' )
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001693
Walter Dörwald28256f22003-01-19 16:59:20 +00001694 # Other possible utf-8 test cases:
1695 # * strict decoding testing for all of the
1696 # UTF8_ERROR cases in PyUnicode_DecodeUTF8
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00001697
Ezio Melotti57221d02010-07-01 07:32:02 +00001698 def test_utf8_decode_valid_sequences(self):
1699 sequences = [
1700 # single byte
1701 (b'\x00', '\x00'), (b'a', 'a'), (b'\x7f', '\x7f'),
1702 # 2 bytes
1703 (b'\xc2\x80', '\x80'), (b'\xdf\xbf', '\u07ff'),
1704 # 3 bytes
1705 (b'\xe0\xa0\x80', '\u0800'), (b'\xed\x9f\xbf', '\ud7ff'),
1706 (b'\xee\x80\x80', '\uE000'), (b'\xef\xbf\xbf', '\uffff'),
1707 # 4 bytes
1708 (b'\xF0\x90\x80\x80', '\U00010000'),
1709 (b'\xf4\x8f\xbf\xbf', '\U0010FFFF')
1710 ]
1711 for seq, res in sequences:
1712 self.assertEqual(seq.decode('utf-8'), res)
1713
1714
1715 def test_utf8_decode_invalid_sequences(self):
1716 # continuation bytes in a sequence of 2, 3, or 4 bytes
1717 continuation_bytes = [bytes([x]) for x in range(0x80, 0xC0)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001718 # start bytes of a 2-byte sequence equivalent to code points < 0x7F
Ezio Melotti57221d02010-07-01 07:32:02 +00001719 invalid_2B_seq_start_bytes = [bytes([x]) for x in range(0xC0, 0xC2)]
Serhiy Storchakad3faf432015-01-18 11:28:37 +02001720 # start bytes of a 4-byte sequence equivalent to code points > 0x10FFFF
Ezio Melotti57221d02010-07-01 07:32:02 +00001721 invalid_4B_seq_start_bytes = [bytes([x]) for x in range(0xF5, 0xF8)]
1722 invalid_start_bytes = (
1723 continuation_bytes + invalid_2B_seq_start_bytes +
1724 invalid_4B_seq_start_bytes + [bytes([x]) for x in range(0xF7, 0x100)]
1725 )
1726
1727 for byte in invalid_start_bytes:
1728 self.assertRaises(UnicodeDecodeError, byte.decode, 'utf-8')
1729
1730 for sb in invalid_2B_seq_start_bytes:
1731 for cb in continuation_bytes:
1732 self.assertRaises(UnicodeDecodeError, (sb+cb).decode, 'utf-8')
1733
1734 for sb in invalid_4B_seq_start_bytes:
1735 for cb1 in continuation_bytes[:3]:
1736 for cb3 in continuation_bytes[:3]:
1737 self.assertRaises(UnicodeDecodeError,
1738 (sb+cb1+b'\x80'+cb3).decode, 'utf-8')
1739
1740 for cb in [bytes([x]) for x in range(0x80, 0xA0)]:
1741 self.assertRaises(UnicodeDecodeError,
1742 (b'\xE0'+cb+b'\x80').decode, 'utf-8')
1743 self.assertRaises(UnicodeDecodeError,
1744 (b'\xE0'+cb+b'\xBF').decode, 'utf-8')
1745 # surrogates
1746 for cb in [bytes([x]) for x in range(0xA0, 0xC0)]:
1747 self.assertRaises(UnicodeDecodeError,
1748 (b'\xED'+cb+b'\x80').decode, 'utf-8')
1749 self.assertRaises(UnicodeDecodeError,
1750 (b'\xED'+cb+b'\xBF').decode, 'utf-8')
1751 for cb in [bytes([x]) for x in range(0x80, 0x90)]:
1752 self.assertRaises(UnicodeDecodeError,
1753 (b'\xF0'+cb+b'\x80\x80').decode, 'utf-8')
1754 self.assertRaises(UnicodeDecodeError,
1755 (b'\xF0'+cb+b'\xBF\xBF').decode, 'utf-8')
1756 for cb in [bytes([x]) for x in range(0x90, 0xC0)]:
1757 self.assertRaises(UnicodeDecodeError,
1758 (b'\xF4'+cb+b'\x80\x80').decode, 'utf-8')
1759 self.assertRaises(UnicodeDecodeError,
1760 (b'\xF4'+cb+b'\xBF\xBF').decode, 'utf-8')
1761
1762 def test_issue8271(self):
1763 # Issue #8271: during the decoding of an invalid UTF-8 byte sequence,
1764 # only the start byte and the continuation byte(s) are now considered
1765 # invalid, instead of the number of bytes specified by the start byte.
Benjamin Peterson51796e52020-03-10 21:10:59 -07001766 # See https://www.unicode.org/versions/Unicode5.2.0/ch03.pdf (page 95,
Ezio Melotti57221d02010-07-01 07:32:02 +00001767 # table 3-8, Row 2) for more information about the algorithm used.
1768 FFFD = '\ufffd'
1769 sequences = [
1770 # invalid start bytes
1771 (b'\x80', FFFD), # continuation byte
1772 (b'\x80\x80', FFFD*2), # 2 continuation bytes
1773 (b'\xc0', FFFD),
1774 (b'\xc0\xc0', FFFD*2),
1775 (b'\xc1', FFFD),
1776 (b'\xc1\xc0', FFFD*2),
1777 (b'\xc0\xc1', FFFD*2),
1778 # with start byte of a 2-byte sequence
1779 (b'\xc2', FFFD), # only the start byte
1780 (b'\xc2\xc2', FFFD*2), # 2 start bytes
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001781 (b'\xc2\xc2\xc2', FFFD*3), # 3 start bytes
Ezio Melotti57221d02010-07-01 07:32:02 +00001782 (b'\xc2\x41', FFFD+'A'), # invalid continuation byte
1783 # with start byte of a 3-byte sequence
1784 (b'\xe1', FFFD), # only the start byte
1785 (b'\xe1\xe1', FFFD*2), # 2 start bytes
1786 (b'\xe1\xe1\xe1', FFFD*3), # 3 start bytes
1787 (b'\xe1\xe1\xe1\xe1', FFFD*4), # 4 start bytes
1788 (b'\xe1\x80', FFFD), # only 1 continuation byte
1789 (b'\xe1\x41', FFFD+'A'), # invalid continuation byte
1790 (b'\xe1\x41\x80', FFFD+'A'+FFFD), # invalid cb followed by valid cb
1791 (b'\xe1\x41\x41', FFFD+'AA'), # 2 invalid continuation bytes
1792 (b'\xe1\x80\x41', FFFD+'A'), # only 1 valid continuation byte
1793 (b'\xe1\x80\xe1\x41', FFFD*2+'A'), # 1 valid and the other invalid
1794 (b'\xe1\x41\xe1\x80', FFFD+'A'+FFFD), # 1 invalid and the other valid
1795 # with start byte of a 4-byte sequence
1796 (b'\xf1', FFFD), # only the start byte
1797 (b'\xf1\xf1', FFFD*2), # 2 start bytes
1798 (b'\xf1\xf1\xf1', FFFD*3), # 3 start bytes
1799 (b'\xf1\xf1\xf1\xf1', FFFD*4), # 4 start bytes
1800 (b'\xf1\xf1\xf1\xf1\xf1', FFFD*5), # 5 start bytes
1801 (b'\xf1\x80', FFFD), # only 1 continuation bytes
1802 (b'\xf1\x80\x80', FFFD), # only 2 continuation bytes
1803 (b'\xf1\x80\x41', FFFD+'A'), # 1 valid cb and 1 invalid
1804 (b'\xf1\x80\x41\x41', FFFD+'AA'), # 1 valid cb and 1 invalid
1805 (b'\xf1\x80\x80\x41', FFFD+'A'), # 2 valid cb and 1 invalid
1806 (b'\xf1\x41\x80', FFFD+'A'+FFFD), # 1 invalid cv and 1 valid
1807 (b'\xf1\x41\x80\x80', FFFD+'A'+FFFD*2), # 1 invalid cb and 2 invalid
1808 (b'\xf1\x41\x80\x41', FFFD+'A'+FFFD+'A'), # 2 invalid cb and 1 invalid
1809 (b'\xf1\x41\x41\x80', FFFD+'AA'+FFFD), # 1 valid cb and 1 invalid
1810 (b'\xf1\x41\xf1\x80', FFFD+'A'+FFFD),
1811 (b'\xf1\x41\x80\xf1', FFFD+'A'+FFFD*2),
1812 (b'\xf1\xf1\x80\x41', FFFD*2+'A'),
1813 (b'\xf1\x41\xf1\xf1', FFFD+'A'+FFFD*2),
1814 # with invalid start byte of a 4-byte sequence (rfc2279)
1815 (b'\xf5', FFFD), # only the start byte
1816 (b'\xf5\xf5', FFFD*2), # 2 start bytes
1817 (b'\xf5\x80', FFFD*2), # only 1 continuation byte
1818 (b'\xf5\x80\x80', FFFD*3), # only 2 continuation byte
1819 (b'\xf5\x80\x80\x80', FFFD*4), # 3 continuation bytes
1820 (b'\xf5\x80\x41', FFFD*2+'A'), # 1 valid cb and 1 invalid
1821 (b'\xf5\x80\x41\xf5', FFFD*2+'A'+FFFD),
1822 (b'\xf5\x41\x80\x80\x41', FFFD+'A'+FFFD*2+'A'),
1823 # with invalid start byte of a 5-byte sequence (rfc2279)
1824 (b'\xf8', FFFD), # only the start byte
1825 (b'\xf8\xf8', FFFD*2), # 2 start bytes
1826 (b'\xf8\x80', FFFD*2), # only one continuation byte
1827 (b'\xf8\x80\x41', FFFD*2 + 'A'), # 1 valid cb and 1 invalid
1828 (b'\xf8\x80\x80\x80\x80', FFFD*5), # invalid 5 bytes seq with 5 bytes
1829 # with invalid start byte of a 6-byte sequence (rfc2279)
1830 (b'\xfc', FFFD), # only the start byte
1831 (b'\xfc\xfc', FFFD*2), # 2 start bytes
1832 (b'\xfc\x80\x80', FFFD*3), # only 2 continuation bytes
1833 (b'\xfc\x80\x80\x80\x80\x80', FFFD*6), # 6 continuation bytes
1834 # invalid start byte
1835 (b'\xfe', FFFD),
1836 (b'\xfe\x80\x80', FFFD*3),
1837 # other sequences
1838 (b'\xf1\x80\x41\x42\x43', '\ufffd\x41\x42\x43'),
1839 (b'\xf1\x80\xff\x42\x43', '\ufffd\ufffd\x42\x43'),
1840 (b'\xf1\x80\xc2\x81\x43', '\ufffd\x81\x43'),
1841 (b'\x61\xF1\x80\x80\xE1\x80\xC2\x62\x80\x63\x80\xBF\x64',
1842 '\x61\uFFFD\uFFFD\uFFFD\x62\uFFFD\x63\uFFFD\uFFFD\x64'),
1843 ]
1844 for n, (seq, res) in enumerate(sequences):
1845 self.assertRaises(UnicodeDecodeError, seq.decode, 'utf-8', 'strict')
1846 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1847 self.assertEqual((seq+b'b').decode('utf-8', 'replace'), res+'b')
1848 self.assertEqual(seq.decode('utf-8', 'ignore'),
1849 res.replace('\uFFFD', ''))
1850
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001851 def assertCorrectUTF8Decoding(self, seq, res, err):
1852 """
Martin Panter6245cb32016-04-15 02:14:19 +00001853 Check that an invalid UTF-8 sequence raises a UnicodeDecodeError when
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001854 'strict' is used, returns res when 'replace' is used, and that doesn't
1855 return anything when 'ignore' is used.
1856 """
1857 with self.assertRaises(UnicodeDecodeError) as cm:
1858 seq.decode('utf-8')
1859 exc = cm.exception
1860
1861 self.assertIn(err, str(exc))
1862 self.assertEqual(seq.decode('utf-8', 'replace'), res)
1863 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'replace'),
1864 'aaaa' + res + 'bbbb')
1865 res = res.replace('\ufffd', '')
1866 self.assertEqual(seq.decode('utf-8', 'ignore'), res)
1867 self.assertEqual((b'aaaa' + seq + b'bbbb').decode('utf-8', 'ignore'),
1868 'aaaa' + res + 'bbbb')
1869
1870 def test_invalid_start_byte(self):
1871 """
1872 Test that an 'invalid start byte' error is raised when the first byte
1873 is not in the ASCII range or is not a valid start byte of a 2-, 3-, or
1874 4-bytes sequence. The invalid start byte is replaced with a single
1875 U+FFFD when errors='replace'.
1876 E.g. <80> is a continuation byte and can appear only after a start byte.
1877 """
1878 FFFD = '\ufffd'
1879 for byte in b'\x80\xA0\x9F\xBF\xC0\xC1\xF5\xFF':
1880 self.assertCorrectUTF8Decoding(bytes([byte]), '\ufffd',
1881 'invalid start byte')
1882
1883 def test_unexpected_end_of_data(self):
1884 """
1885 Test that an 'unexpected end of data' error is raised when the string
1886 ends after a start byte of a 2-, 3-, or 4-bytes sequence without having
1887 enough continuation bytes. The incomplete sequence is replaced with a
1888 single U+FFFD when errors='replace'.
1889 E.g. in the sequence <F3 80 80>, F3 is the start byte of a 4-bytes
1890 sequence, but it's followed by only 2 valid continuation bytes and the
1891 last continuation bytes is missing.
1892 Note: the continuation bytes must be all valid, if one of them is
1893 invalid another error will be raised.
1894 """
1895 sequences = [
1896 'C2', 'DF',
1897 'E0 A0', 'E0 BF', 'E1 80', 'E1 BF', 'EC 80', 'EC BF',
1898 'ED 80', 'ED 9F', 'EE 80', 'EE BF', 'EF 80', 'EF BF',
1899 'F0 90', 'F0 BF', 'F0 90 80', 'F0 90 BF', 'F0 BF 80', 'F0 BF BF',
1900 'F1 80', 'F1 BF', 'F1 80 80', 'F1 80 BF', 'F1 BF 80', 'F1 BF BF',
1901 'F3 80', 'F3 BF', 'F3 80 80', 'F3 80 BF', 'F3 BF 80', 'F3 BF BF',
1902 'F4 80', 'F4 8F', 'F4 80 80', 'F4 80 BF', 'F4 8F 80', 'F4 8F BF'
1903 ]
1904 FFFD = '\ufffd'
1905 for seq in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001906 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), '\ufffd',
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001907 'unexpected end of data')
1908
1909 def test_invalid_cb_for_2bytes_seq(self):
1910 """
1911 Test that an 'invalid continuation byte' error is raised when the
1912 continuation byte of a 2-bytes sequence is invalid. The start byte
1913 is replaced by a single U+FFFD and the second byte is handled
1914 separately when errors='replace'.
1915 E.g. in the sequence <C2 41>, C2 is the start byte of a 2-bytes
1916 sequence, but 41 is not a valid continuation byte because it's the
1917 ASCII letter 'A'.
1918 """
1919 FFFD = '\ufffd'
1920 FFFDx2 = FFFD * 2
1921 sequences = [
1922 ('C2 00', FFFD+'\x00'), ('C2 7F', FFFD+'\x7f'),
1923 ('C2 C0', FFFDx2), ('C2 FF', FFFDx2),
1924 ('DF 00', FFFD+'\x00'), ('DF 7F', FFFD+'\x7f'),
1925 ('DF C0', FFFDx2), ('DF FF', FFFDx2),
1926 ]
1927 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001928 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001929 'invalid continuation byte')
1930
1931 def test_invalid_cb_for_3bytes_seq(self):
1932 """
1933 Test that an 'invalid continuation byte' error is raised when the
1934 continuation byte(s) of a 3-bytes sequence are invalid. When
1935 errors='replace', if the first continuation byte is valid, the first
1936 two bytes (start byte + 1st cb) are replaced by a single U+FFFD and the
1937 third byte is handled separately, otherwise only the start byte is
1938 replaced with a U+FFFD and the other continuation bytes are handled
1939 separately.
1940 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1941 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1942 because it's the ASCII letter 'A'.
1943 Note: when the start byte is E0 or ED, the valid ranges for the first
1944 continuation byte are limited to A0..BF and 80..9F respectively.
1945 Python 2 used to consider all the bytes in range 80..BF valid when the
1946 start byte was ED. This is fixed in Python 3.
1947 """
1948 FFFD = '\ufffd'
1949 FFFDx2 = FFFD * 2
1950 sequences = [
1951 ('E0 00', FFFD+'\x00'), ('E0 7F', FFFD+'\x7f'), ('E0 80', FFFDx2),
1952 ('E0 9F', FFFDx2), ('E0 C0', FFFDx2), ('E0 FF', FFFDx2),
1953 ('E0 A0 00', FFFD+'\x00'), ('E0 A0 7F', FFFD+'\x7f'),
1954 ('E0 A0 C0', FFFDx2), ('E0 A0 FF', FFFDx2),
1955 ('E0 BF 00', FFFD+'\x00'), ('E0 BF 7F', FFFD+'\x7f'),
1956 ('E0 BF C0', FFFDx2), ('E0 BF FF', FFFDx2), ('E1 00', FFFD+'\x00'),
1957 ('E1 7F', FFFD+'\x7f'), ('E1 C0', FFFDx2), ('E1 FF', FFFDx2),
1958 ('E1 80 00', FFFD+'\x00'), ('E1 80 7F', FFFD+'\x7f'),
1959 ('E1 80 C0', FFFDx2), ('E1 80 FF', FFFDx2),
1960 ('E1 BF 00', FFFD+'\x00'), ('E1 BF 7F', FFFD+'\x7f'),
1961 ('E1 BF C0', FFFDx2), ('E1 BF FF', FFFDx2), ('EC 00', FFFD+'\x00'),
1962 ('EC 7F', FFFD+'\x7f'), ('EC C0', FFFDx2), ('EC FF', FFFDx2),
1963 ('EC 80 00', FFFD+'\x00'), ('EC 80 7F', FFFD+'\x7f'),
1964 ('EC 80 C0', FFFDx2), ('EC 80 FF', FFFDx2),
1965 ('EC BF 00', FFFD+'\x00'), ('EC BF 7F', FFFD+'\x7f'),
1966 ('EC BF C0', FFFDx2), ('EC BF FF', FFFDx2), ('ED 00', FFFD+'\x00'),
1967 ('ED 7F', FFFD+'\x7f'),
1968 ('ED A0', FFFDx2), ('ED BF', FFFDx2), # see note ^
1969 ('ED C0', FFFDx2), ('ED FF', FFFDx2), ('ED 80 00', FFFD+'\x00'),
1970 ('ED 80 7F', FFFD+'\x7f'), ('ED 80 C0', FFFDx2),
1971 ('ED 80 FF', FFFDx2), ('ED 9F 00', FFFD+'\x00'),
1972 ('ED 9F 7F', FFFD+'\x7f'), ('ED 9F C0', FFFDx2),
1973 ('ED 9F FF', FFFDx2), ('EE 00', FFFD+'\x00'),
1974 ('EE 7F', FFFD+'\x7f'), ('EE C0', FFFDx2), ('EE FF', FFFDx2),
1975 ('EE 80 00', FFFD+'\x00'), ('EE 80 7F', FFFD+'\x7f'),
1976 ('EE 80 C0', FFFDx2), ('EE 80 FF', FFFDx2),
1977 ('EE BF 00', FFFD+'\x00'), ('EE BF 7F', FFFD+'\x7f'),
1978 ('EE BF C0', FFFDx2), ('EE BF FF', FFFDx2), ('EF 00', FFFD+'\x00'),
1979 ('EF 7F', FFFD+'\x7f'), ('EF C0', FFFDx2), ('EF FF', FFFDx2),
1980 ('EF 80 00', FFFD+'\x00'), ('EF 80 7F', FFFD+'\x7f'),
1981 ('EF 80 C0', FFFDx2), ('EF 80 FF', FFFDx2),
1982 ('EF BF 00', FFFD+'\x00'), ('EF BF 7F', FFFD+'\x7f'),
1983 ('EF BF C0', FFFDx2), ('EF BF FF', FFFDx2),
1984 ]
1985 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02001986 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02001987 'invalid continuation byte')
1988
1989 def test_invalid_cb_for_4bytes_seq(self):
1990 """
1991 Test that an 'invalid continuation byte' error is raised when the
1992 continuation byte(s) of a 4-bytes sequence are invalid. When
1993 errors='replace',the start byte and all the following valid
1994 continuation bytes are replaced with a single U+FFFD, and all the bytes
1995 starting from the first invalid continuation bytes (included) are
1996 handled separately.
1997 E.g. in the sequence <E1 80 41>, E1 is the start byte of a 3-bytes
1998 sequence, 80 is a valid continuation byte, but 41 is not a valid cb
1999 because it's the ASCII letter 'A'.
2000 Note: when the start byte is E0 or ED, the valid ranges for the first
2001 continuation byte are limited to A0..BF and 80..9F respectively.
2002 However, when the start byte is ED, Python 2 considers all the bytes
2003 in range 80..BF valid. This is fixed in Python 3.
2004 """
2005 FFFD = '\ufffd'
2006 FFFDx2 = FFFD * 2
2007 sequences = [
2008 ('F0 00', FFFD+'\x00'), ('F0 7F', FFFD+'\x7f'), ('F0 80', FFFDx2),
2009 ('F0 8F', FFFDx2), ('F0 C0', FFFDx2), ('F0 FF', FFFDx2),
2010 ('F0 90 00', FFFD+'\x00'), ('F0 90 7F', FFFD+'\x7f'),
2011 ('F0 90 C0', FFFDx2), ('F0 90 FF', FFFDx2),
2012 ('F0 BF 00', FFFD+'\x00'), ('F0 BF 7F', FFFD+'\x7f'),
2013 ('F0 BF C0', FFFDx2), ('F0 BF FF', FFFDx2),
2014 ('F0 90 80 00', FFFD+'\x00'), ('F0 90 80 7F', FFFD+'\x7f'),
2015 ('F0 90 80 C0', FFFDx2), ('F0 90 80 FF', FFFDx2),
2016 ('F0 90 BF 00', FFFD+'\x00'), ('F0 90 BF 7F', FFFD+'\x7f'),
2017 ('F0 90 BF C0', FFFDx2), ('F0 90 BF FF', FFFDx2),
2018 ('F0 BF 80 00', FFFD+'\x00'), ('F0 BF 80 7F', FFFD+'\x7f'),
2019 ('F0 BF 80 C0', FFFDx2), ('F0 BF 80 FF', FFFDx2),
2020 ('F0 BF BF 00', FFFD+'\x00'), ('F0 BF BF 7F', FFFD+'\x7f'),
2021 ('F0 BF BF C0', FFFDx2), ('F0 BF BF FF', FFFDx2),
2022 ('F1 00', FFFD+'\x00'), ('F1 7F', FFFD+'\x7f'), ('F1 C0', FFFDx2),
2023 ('F1 FF', FFFDx2), ('F1 80 00', FFFD+'\x00'),
2024 ('F1 80 7F', FFFD+'\x7f'), ('F1 80 C0', FFFDx2),
2025 ('F1 80 FF', FFFDx2), ('F1 BF 00', FFFD+'\x00'),
2026 ('F1 BF 7F', FFFD+'\x7f'), ('F1 BF C0', FFFDx2),
2027 ('F1 BF FF', FFFDx2), ('F1 80 80 00', FFFD+'\x00'),
2028 ('F1 80 80 7F', FFFD+'\x7f'), ('F1 80 80 C0', FFFDx2),
2029 ('F1 80 80 FF', FFFDx2), ('F1 80 BF 00', FFFD+'\x00'),
2030 ('F1 80 BF 7F', FFFD+'\x7f'), ('F1 80 BF C0', FFFDx2),
2031 ('F1 80 BF FF', FFFDx2), ('F1 BF 80 00', FFFD+'\x00'),
2032 ('F1 BF 80 7F', FFFD+'\x7f'), ('F1 BF 80 C0', FFFDx2),
2033 ('F1 BF 80 FF', FFFDx2), ('F1 BF BF 00', FFFD+'\x00'),
2034 ('F1 BF BF 7F', FFFD+'\x7f'), ('F1 BF BF C0', FFFDx2),
2035 ('F1 BF BF FF', FFFDx2), ('F3 00', FFFD+'\x00'),
2036 ('F3 7F', FFFD+'\x7f'), ('F3 C0', FFFDx2), ('F3 FF', FFFDx2),
2037 ('F3 80 00', FFFD+'\x00'), ('F3 80 7F', FFFD+'\x7f'),
2038 ('F3 80 C0', FFFDx2), ('F3 80 FF', FFFDx2),
2039 ('F3 BF 00', FFFD+'\x00'), ('F3 BF 7F', FFFD+'\x7f'),
2040 ('F3 BF C0', FFFDx2), ('F3 BF FF', FFFDx2),
2041 ('F3 80 80 00', FFFD+'\x00'), ('F3 80 80 7F', FFFD+'\x7f'),
2042 ('F3 80 80 C0', FFFDx2), ('F3 80 80 FF', FFFDx2),
2043 ('F3 80 BF 00', FFFD+'\x00'), ('F3 80 BF 7F', FFFD+'\x7f'),
2044 ('F3 80 BF C0', FFFDx2), ('F3 80 BF FF', FFFDx2),
2045 ('F3 BF 80 00', FFFD+'\x00'), ('F3 BF 80 7F', FFFD+'\x7f'),
2046 ('F3 BF 80 C0', FFFDx2), ('F3 BF 80 FF', FFFDx2),
2047 ('F3 BF BF 00', FFFD+'\x00'), ('F3 BF BF 7F', FFFD+'\x7f'),
2048 ('F3 BF BF C0', FFFDx2), ('F3 BF BF FF', FFFDx2),
2049 ('F4 00', FFFD+'\x00'), ('F4 7F', FFFD+'\x7f'), ('F4 90', FFFDx2),
2050 ('F4 BF', FFFDx2), ('F4 C0', FFFDx2), ('F4 FF', FFFDx2),
2051 ('F4 80 00', FFFD+'\x00'), ('F4 80 7F', FFFD+'\x7f'),
2052 ('F4 80 C0', FFFDx2), ('F4 80 FF', FFFDx2),
2053 ('F4 8F 00', FFFD+'\x00'), ('F4 8F 7F', FFFD+'\x7f'),
2054 ('F4 8F C0', FFFDx2), ('F4 8F FF', FFFDx2),
2055 ('F4 80 80 00', FFFD+'\x00'), ('F4 80 80 7F', FFFD+'\x7f'),
2056 ('F4 80 80 C0', FFFDx2), ('F4 80 80 FF', FFFDx2),
2057 ('F4 80 BF 00', FFFD+'\x00'), ('F4 80 BF 7F', FFFD+'\x7f'),
2058 ('F4 80 BF C0', FFFDx2), ('F4 80 BF FF', FFFDx2),
2059 ('F4 8F 80 00', FFFD+'\x00'), ('F4 8F 80 7F', FFFD+'\x7f'),
2060 ('F4 8F 80 C0', FFFDx2), ('F4 8F 80 FF', FFFDx2),
2061 ('F4 8F BF 00', FFFD+'\x00'), ('F4 8F BF 7F', FFFD+'\x7f'),
2062 ('F4 8F BF C0', FFFDx2), ('F4 8F BF FF', FFFDx2)
2063 ]
2064 for seq, res in sequences:
Serhiy Storchaka8cbd3df2016-12-21 12:59:28 +02002065 self.assertCorrectUTF8Decoding(bytes.fromhex(seq), res,
Ezio Melottif7ed5d12012-11-04 23:21:38 +02002066 'invalid continuation byte')
2067
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002068 def test_codecs_idna(self):
2069 # Test whether trailing dot is preserved
Walter Dörwald1324c6f2007-05-11 19:57:05 +00002070 self.assertEqual("www.python.org.".encode("idna"), b"www.python.org.")
Martin v. Löwis0d8e16c2003-08-05 06:19:47 +00002071
Walter Dörwald28256f22003-01-19 16:59:20 +00002072 def test_codecs_errors(self):
2073 # Error handling (encoding)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002074 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii')
2075 self.assertRaises(UnicodeError, 'Andr\202 x'.encode, 'ascii','strict')
Walter Dörwald67e83882007-05-05 12:26:27 +00002076 self.assertEqual('Andr\202 x'.encode('ascii','ignore'), b"Andr x")
2077 self.assertEqual('Andr\202 x'.encode('ascii','replace'), b"Andr? x")
Benjamin Peterson308d6372009-09-18 21:42:35 +00002078 self.assertEqual('Andr\202 x'.encode('ascii', 'replace'),
2079 'Andr\202 x'.encode('ascii', errors='replace'))
2080 self.assertEqual('Andr\202 x'.encode('ascii', 'ignore'),
2081 'Andr\202 x'.encode(encoding='ascii', errors='ignore'))
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002082
Walter Dörwald28256f22003-01-19 16:59:20 +00002083 # Error handling (decoding)
Walter Dörwald67e83882007-05-05 12:26:27 +00002084 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii')
2085 self.assertRaises(UnicodeError, str, b'Andr\202 x', 'ascii', 'strict')
2086 self.assertEqual(str(b'Andr\202 x', 'ascii', 'ignore'), "Andr x")
2087 self.assertEqual(str(b'Andr\202 x', 'ascii', 'replace'), 'Andr\uFFFD x')
Serhiy Storchaka28b21e52015-10-02 13:07:28 +03002088 self.assertEqual(str(b'\202 x', 'ascii', 'replace'), '\uFFFD x')
Marc-André Lemburgc60e6f72001-09-20 10:35:46 +00002089
Walter Dörwald28256f22003-01-19 16:59:20 +00002090 # Error handling (unknown character names)
Guido van Rossum39478e82007-08-27 17:23:59 +00002091 self.assertEqual(b"\\N{foo}xx".decode("unicode-escape", "ignore"), "xx")
Marc-André Lemburg3688a882002-02-06 18:09:02 +00002092
Walter Dörwald28256f22003-01-19 16:59:20 +00002093 # Error handling (truncated escape sequence)
Guido van Rossum9c627722007-08-27 18:31:48 +00002094 self.assertRaises(UnicodeError, b"\\".decode, "unicode-escape")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002095
Guido van Rossum9c627722007-08-27 18:31:48 +00002096 self.assertRaises(TypeError, b"hello".decode, "test.unicode1")
2097 self.assertRaises(TypeError, str, b"hello", "test.unicode2")
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002098 self.assertRaises(TypeError, "hello".encode, "test.unicode1")
2099 self.assertRaises(TypeError, "hello".encode, "test.unicode2")
Marc-André Lemburgd6d06ad2000-07-07 17:48:52 +00002100
Walter Dörwald28256f22003-01-19 16:59:20 +00002101 # Error handling (wrong arguments)
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002102 self.assertRaises(TypeError, "hello".encode, 42, 42, 42)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002103
Serhiy Storchaka9b6c60c2017-11-13 21:23:48 +02002104 # Error handling (lone surrogate in
2105 # _PyUnicode_TransformDecimalAndSpaceToASCII())
2106 self.assertRaises(ValueError, int, "\ud800")
2107 self.assertRaises(ValueError, int, "\udf00")
2108 self.assertRaises(ValueError, float, "\ud800")
2109 self.assertRaises(ValueError, float, "\udf00")
2110 self.assertRaises(ValueError, complex, "\ud800")
2111 self.assertRaises(ValueError, complex, "\udf00")
Guido van Rossum97064862000-04-10 13:52:48 +00002112
Walter Dörwald28256f22003-01-19 16:59:20 +00002113 def test_codecs(self):
2114 # Encoding
Walter Dörwald67e83882007-05-05 12:26:27 +00002115 self.assertEqual('hello'.encode('ascii'), b'hello')
2116 self.assertEqual('hello'.encode('utf-7'), b'hello')
2117 self.assertEqual('hello'.encode('utf-8'), b'hello')
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002118 self.assertEqual('hello'.encode('utf-8'), b'hello')
Walter Dörwald67e83882007-05-05 12:26:27 +00002119 self.assertEqual('hello'.encode('utf-16-le'), b'h\000e\000l\000l\000o\000')
2120 self.assertEqual('hello'.encode('utf-16-be'), b'\000h\000e\000l\000l\000o')
2121 self.assertEqual('hello'.encode('latin-1'), b'hello')
Guido van Rossum97064862000-04-10 13:52:48 +00002122
Marc-André Lemburg8f36af72011-02-25 15:42:01 +00002123 # Default encoding is utf-8
2124 self.assertEqual('\u2603'.encode(), b'\xe2\x98\x83')
2125
Walter Dörwald28256f22003-01-19 16:59:20 +00002126 # Roundtrip safety for BMP (just the first 1024 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002127 for c in range(1024):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002128 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002129 for encoding in ('utf-7', 'utf-8', 'utf-16', 'utf-16-le',
2130 'utf-16-be', 'raw_unicode_escape',
Inada Naoki6a16b182019-03-18 15:44:11 +09002131 'unicode_escape'):
2132 self.assertEqual(str(u.encode(encoding),encoding), u)
Martin v. Löwis047c05e2002-03-21 08:55:28 +00002133
Walter Dörwald28256f22003-01-19 16:59:20 +00002134 # Roundtrip safety for BMP (just the first 256 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002135 for c in range(256):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002136 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002137 for encoding in ('latin-1',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002138 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002139
Walter Dörwald28256f22003-01-19 16:59:20 +00002140 # Roundtrip safety for BMP (just the first 128 chars)
Guido van Rossum805365e2007-05-07 22:24:25 +00002141 for c in range(128):
Guido van Rossum84fc66d2007-05-03 17:18:26 +00002142 u = chr(c)
Hye-Shik Chang835b2432005-12-17 04:38:31 +00002143 for encoding in ('ascii',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002144 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002145
Walter Dörwald28256f22003-01-19 16:59:20 +00002146 # Roundtrip safety for non-BMP (just a few chars)
Victor Stinner040e16e2011-11-15 22:44:05 +01002147 with warnings.catch_warnings():
Victor Stinner040e16e2011-11-15 22:44:05 +01002148 u = '\U00010001\U00020002\U00030003\U00040004\U00050005'
2149 for encoding in ('utf-8', 'utf-16', 'utf-16-le', 'utf-16-be',
Inada Naoki6a16b182019-03-18 15:44:11 +09002150 'raw_unicode_escape', 'unicode_escape'):
Victor Stinner040e16e2011-11-15 22:44:05 +01002151 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossumd8855fd2000-03-24 22:14:19 +00002152
Antoine Pitrou51f66482011-11-11 13:35:44 +01002153 # UTF-8 must be roundtrip safe for all code points
2154 # (except surrogates, which are forbidden).
2155 u = ''.join(map(chr, list(range(0, 0xd800)) +
Ezio Melotti40dc9192011-11-11 17:00:46 +02002156 list(range(0xe000, 0x110000))))
Walter Dörwald28256f22003-01-19 16:59:20 +00002157 for encoding in ('utf-8',):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002158 self.assertEqual(str(u.encode(encoding),encoding), u)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002159
Walter Dörwald28256f22003-01-19 16:59:20 +00002160 def test_codecs_charmap(self):
2161 # 0-127
Guido van Rossum805365e2007-05-07 22:24:25 +00002162 s = bytes(range(128))
Walter Dörwald28256f22003-01-19 16:59:20 +00002163 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002164 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002165 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2166 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002167 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002168 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2169 'iso8859_2', 'iso8859_3', 'iso8859_4', 'iso8859_5', 'iso8859_6',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002170 'iso8859_7', 'iso8859_9',
2171 'koi8_r', 'koi8_t', 'koi8_u', 'kz1048', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002172 'mac_cyrillic', 'mac_latin2',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002173
Walter Dörwald28256f22003-01-19 16:59:20 +00002174 'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2175 'cp1256', 'cp1257', 'cp1258',
2176 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Marc-André Lemburgbd3be8f2002-02-07 11:33:49 +00002177
Walter Dörwald28256f22003-01-19 16:59:20 +00002178 'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
2179 'cp1006', 'iso8859_8',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002180
Walter Dörwald28256f22003-01-19 16:59:20 +00002181 ### These have undefined mappings:
2182 #'cp424',
Guido van Rossum9e896b32000-04-05 20:11:21 +00002183
Walter Dörwald28256f22003-01-19 16:59:20 +00002184 ### These fail the round-trip:
2185 #'cp875'
Guido van Rossum9e896b32000-04-05 20:11:21 +00002186
Walter Dörwald28256f22003-01-19 16:59:20 +00002187 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002188 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002189
Walter Dörwald28256f22003-01-19 16:59:20 +00002190 # 128-255
Guido van Rossum805365e2007-05-07 22:24:25 +00002191 s = bytes(range(128, 256))
Walter Dörwald28256f22003-01-19 16:59:20 +00002192 for encoding in (
Andrew Kuchlingad8156e2013-11-10 13:44:30 -05002193 'cp037', 'cp1026', 'cp273',
Benjamin Peterson5a6214a2010-06-27 22:41:29 +00002194 'cp437', 'cp500', 'cp720', 'cp737', 'cp775', 'cp850',
2195 'cp852', 'cp855', 'cp858', 'cp860', 'cp861', 'cp862',
Serhiy Storchakabe0c3252013-11-23 18:52:23 +02002196 'cp863', 'cp865', 'cp866', 'cp1125',
Walter Dörwald28256f22003-01-19 16:59:20 +00002197 'iso8859_10', 'iso8859_13', 'iso8859_14', 'iso8859_15',
2198 'iso8859_2', 'iso8859_4', 'iso8859_5',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002199 'iso8859_9', 'koi8_r', 'koi8_u', 'latin_1',
Walter Dörwald28256f22003-01-19 16:59:20 +00002200 'mac_cyrillic', 'mac_latin2',
Fred Drake004d5e62000-10-23 17:22:08 +00002201
Walter Dörwald28256f22003-01-19 16:59:20 +00002202 ### These have undefined mappings:
2203 #'cp1250', 'cp1251', 'cp1252', 'cp1253', 'cp1254', 'cp1255',
2204 #'cp1256', 'cp1257', 'cp1258',
2205 #'cp424', 'cp856', 'cp857', 'cp864', 'cp869', 'cp874',
Serhiy Storchakaf0eeedf2015-05-12 23:24:19 +03002206 #'iso8859_3', 'iso8859_6', 'iso8859_7', 'koi8_t', 'kz1048',
Walter Dörwald28256f22003-01-19 16:59:20 +00002207 #'mac_greek', 'mac_iceland','mac_roman', 'mac_turkish',
Fred Drake004d5e62000-10-23 17:22:08 +00002208
Walter Dörwald28256f22003-01-19 16:59:20 +00002209 ### These fail the round-trip:
2210 #'cp1006', 'cp875', 'iso8859_8',
Tim Peters2f228e72001-05-13 00:19:31 +00002211
Walter Dörwald28256f22003-01-19 16:59:20 +00002212 ):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002213 self.assertEqual(str(s, encoding).encode(encoding), s)
Guido van Rossum9e896b32000-04-05 20:11:21 +00002214
Walter Dörwald28256f22003-01-19 16:59:20 +00002215 def test_concatenation(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002216 self.assertEqual(("abc" "def"), "abcdef")
2217 self.assertEqual(("abc" "def"), "abcdef")
2218 self.assertEqual(("abc" "def"), "abcdef")
2219 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
2220 self.assertEqual(("abc" "def" "ghi"), "abcdefghi")
Fred Drake004d5e62000-10-23 17:22:08 +00002221
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002222 def test_ucs4(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002223 x = '\U00100000'
Martin v. Löwis9a3a9f72003-05-18 12:31:09 +00002224 y = x.encode("raw-unicode-escape").decode("raw-unicode-escape")
2225 self.assertEqual(x, y)
2226
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002227 y = br'\U00100000'
2228 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2229 self.assertEqual(x, y)
2230 y = br'\U00010000'
2231 x = y.decode("raw-unicode-escape").encode("raw-unicode-escape")
2232 self.assertEqual(x, y)
Christian Heimesfe337bf2008-03-23 21:54:12 +00002233
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002234 try:
2235 br'\U11111111'.decode("raw-unicode-escape")
2236 except UnicodeDecodeError as e:
2237 self.assertEqual(e.start, 0)
2238 self.assertEqual(e.end, 10)
2239 else:
2240 self.fail("Should have raised UnicodeDecodeError")
Christian Heimesfe337bf2008-03-23 21:54:12 +00002241
Brett Cannonc3647ac2005-04-26 03:45:26 +00002242 def test_conversion(self):
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002243 # Make sure __str__() works properly
2244 class ObjectToStr:
Brett Cannonc3647ac2005-04-26 03:45:26 +00002245 def __str__(self):
2246 return "foo"
2247
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002248 class StrSubclassToStr(str):
Guido van Rossum98297ee2007-11-06 21:34:58 +00002249 def __str__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002250 return "foo"
Brett Cannonc3647ac2005-04-26 03:45:26 +00002251
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002252 class StrSubclassToStrSubclass(str):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002253 def __new__(cls, content=""):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002254 return str.__new__(cls, 2*content)
Guido van Rossum98297ee2007-11-06 21:34:58 +00002255 def __str__(self):
Brett Cannonc3647ac2005-04-26 03:45:26 +00002256 return self
2257
Serhiy Storchakaa60c2fe2015-03-12 21:56:08 +02002258 self.assertEqual(str(ObjectToStr()), "foo")
2259 self.assertEqual(str(StrSubclassToStr("bar")), "foo")
2260 s = str(StrSubclassToStrSubclass("foo"))
2261 self.assertEqual(s, "foofoo")
2262 self.assertIs(type(s), StrSubclassToStrSubclass)
Serhiy Storchaka15095802015-11-25 15:47:01 +02002263 s = StrSubclass(StrSubclassToStrSubclass("foo"))
2264 self.assertEqual(s, "foofoo")
2265 self.assertIs(type(s), StrSubclass)
Brett Cannonc3647ac2005-04-26 03:45:26 +00002266
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002267 def test_unicode_repr(self):
2268 class s1:
2269 def __repr__(self):
2270 return '\\n'
2271
2272 class s2:
2273 def __repr__(self):
Guido van Rossumef87d6e2007-05-02 19:09:54 +00002274 return '\\n'
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002275
2276 self.assertEqual(repr(s1()), '\\n')
2277 self.assertEqual(repr(s2()), '\\n')
2278
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002279 def test_printable_repr(self):
2280 self.assertEqual(repr('\U00010000'), "'%c'" % (0x10000,)) # printable
Martin v. Löwisbaecd722010-10-11 22:42:28 +00002281 self.assertEqual(repr('\U00014000'), "'\\U00014000'") # nonprintable
Amaury Forgeot d'Arc324ac652010-08-18 20:44:58 +00002282
Zachary Ware9fe6d862013-12-08 00:20:35 -06002283 # This test only affects 32-bit platforms because expandtabs can only take
2284 # an int as the max value, not a 64-bit C long. If expandtabs is changed
2285 # to take a 64-bit long, this test should apply to all platforms.
2286 @unittest.skipIf(sys.maxsize > (1 << 32) or struct.calcsize('P') != 4,
2287 'only applies to 32-bit platforms')
Guido van Rossumcd16bf62007-06-13 18:07:49 +00002288 def test_expandtabs_overflows_gracefully(self):
Christian Heimesa37d4c62007-12-04 23:02:19 +00002289 self.assertRaises(OverflowError, 't\tt\t'.expandtabs, sys.maxsize)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00002290
Victor Stinner1d972ad2011-10-07 13:31:46 +02002291 @support.cpython_only
Antoine Pitroue19aa382011-10-04 16:04:01 +02002292 def test_expandtabs_optimization(self):
2293 s = 'abc'
2294 self.assertIs(s.expandtabs(), s)
2295
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002296 def test_raiseMemError(self):
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002297 if struct.calcsize('P') == 8:
2298 # 64 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002299 ascii_struct_size = 48
2300 compact_struct_size = 72
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002301 else:
2302 # 32 bits pointers
Martin v. Löwis287eca62011-09-28 10:03:28 +02002303 ascii_struct_size = 24
2304 compact_struct_size = 36
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002305
2306 for char in ('a', '\xe9', '\u20ac', '\U0010ffff'):
2307 code = ord(char)
2308 if code < 0x100:
2309 char_size = 1 # sizeof(Py_UCS1)
2310 struct_size = ascii_struct_size
2311 elif code < 0x10000:
2312 char_size = 2 # sizeof(Py_UCS2)
2313 struct_size = compact_struct_size
2314 else:
2315 char_size = 4 # sizeof(Py_UCS4)
2316 struct_size = compact_struct_size
2317 # Note: sys.maxsize is half of the actual max allocation because of
Martin v. Löwis287eca62011-09-28 10:03:28 +02002318 # the signedness of Py_ssize_t. Strings of maxlen-1 should in principle
2319 # be allocatable, given enough memory.
2320 maxlen = ((sys.maxsize - struct_size) // char_size)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002321 alloc = lambda: char * maxlen
2322 self.assertRaises(MemoryError, alloc)
2323 self.assertRaises(MemoryError, alloc)
Antoine Pitrou3db3e872008-08-17 17:06:51 +00002324
Victor Stinner808fc0a2010-03-22 12:50:40 +00002325 def test_format_subclass(self):
2326 class S(str):
2327 def __str__(self):
2328 return '__str__ overridden'
2329 s = S('xxx')
Florent Xiclunaa87b3832010-09-13 02:28:18 +00002330 self.assertEqual("%s" % s, '__str__ overridden')
2331 self.assertEqual("{}".format(s), '__str__ overridden')
Victor Stinner808fc0a2010-03-22 12:50:40 +00002332
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002333 def test_subclass_add(self):
2334 class S(str):
2335 def __add__(self, o):
2336 return "3"
2337 self.assertEqual(S("4") + S("5"), "3")
2338 class S(str):
2339 def __iadd__(self, o):
2340 return "3"
2341 s = S("1")
2342 s += "4"
2343 self.assertEqual(s, "3")
2344
2345 def test_getnewargs(self):
2346 text = 'abc'
2347 args = text.__getnewargs__()
2348 self.assertIsNot(args[0], text)
2349 self.assertEqual(args[0], text)
2350 self.assertEqual(len(args), 1)
2351
Inada Naoki6a16b182019-03-18 15:44:11 +09002352 @support.cpython_only
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002353 def test_resize(self):
Inada Naoki6a16b182019-03-18 15:44:11 +09002354 from _testcapi import getargs_u
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002355 for length in range(1, 100, 7):
2356 # generate a fresh string (refcount=1)
2357 text = 'a' * length + 'b'
2358
Inada Naoki6a16b182019-03-18 15:44:11 +09002359 # fill wstr internal field
2360 abc = getargs_u(text)
2361 self.assertEqual(abc, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002362
Inada Naoki6a16b182019-03-18 15:44:11 +09002363 # resize text: wstr field must be cleared and then recomputed
2364 text += 'c'
2365 abcdef = getargs_u(text)
2366 self.assertNotEqual(abc, abcdef)
2367 self.assertEqual(abcdef, text)
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002368
2369 def test_compare(self):
2370 # Issue #17615
2371 N = 10
2372 ascii = 'a' * N
2373 ascii2 = 'z' * N
2374 latin = '\x80' * N
2375 latin2 = '\xff' * N
2376 bmp = '\u0100' * N
2377 bmp2 = '\uffff' * N
2378 astral = '\U00100000' * N
2379 astral2 = '\U0010ffff' * N
2380 strings = (
2381 ascii, ascii2,
2382 latin, latin2,
2383 bmp, bmp2,
2384 astral, astral2)
2385 for text1, text2 in itertools.combinations(strings, 2):
2386 equal = (text1 is text2)
2387 self.assertEqual(text1 == text2, equal)
2388 self.assertEqual(text1 != text2, not equal)
2389
2390 if equal:
2391 self.assertTrue(text1 <= text2)
2392 self.assertTrue(text1 >= text2)
2393
2394 # text1 is text2: duplicate strings to skip the "str1 == str2"
2395 # optimization in unicode_compare_eq() and really compare
2396 # character per character
2397 copy1 = duplicate_string(text1)
2398 copy2 = duplicate_string(text2)
2399 self.assertIsNot(copy1, copy2)
2400
2401 self.assertTrue(copy1 == copy2)
2402 self.assertFalse(copy1 != copy2)
2403
2404 self.assertTrue(copy1 <= copy2)
2405 self.assertTrue(copy2 >= copy2)
2406
2407 self.assertTrue(ascii < ascii2)
2408 self.assertTrue(ascii < latin)
2409 self.assertTrue(ascii < bmp)
2410 self.assertTrue(ascii < astral)
2411 self.assertFalse(ascii >= ascii2)
2412 self.assertFalse(ascii >= latin)
2413 self.assertFalse(ascii >= bmp)
2414 self.assertFalse(ascii >= astral)
2415
2416 self.assertFalse(latin < ascii)
2417 self.assertTrue(latin < latin2)
2418 self.assertTrue(latin < bmp)
2419 self.assertTrue(latin < astral)
2420 self.assertTrue(latin >= ascii)
2421 self.assertFalse(latin >= latin2)
2422 self.assertFalse(latin >= bmp)
2423 self.assertFalse(latin >= astral)
2424
2425 self.assertFalse(bmp < ascii)
2426 self.assertFalse(bmp < latin)
2427 self.assertTrue(bmp < bmp2)
2428 self.assertTrue(bmp < astral)
2429 self.assertTrue(bmp >= ascii)
2430 self.assertTrue(bmp >= latin)
2431 self.assertFalse(bmp >= bmp2)
2432 self.assertFalse(bmp >= astral)
2433
2434 self.assertFalse(astral < ascii)
2435 self.assertFalse(astral < latin)
2436 self.assertFalse(astral < bmp2)
2437 self.assertTrue(astral < astral2)
2438 self.assertTrue(astral >= ascii)
2439 self.assertTrue(astral >= latin)
2440 self.assertTrue(astral >= bmp2)
2441 self.assertFalse(astral >= astral2)
2442
2443 def test_free_after_iterating(self):
2444 support.check_free_after_iterating(self, iter, str)
2445 support.check_free_after_iterating(self, reversed, str)
2446
Victor Stinner22eb6892019-06-26 00:51:05 +02002447 def test_check_encoding_errors(self):
2448 # bpo-37388: str(bytes) and str.decode() must check encoding and errors
2449 # arguments in dev mode
2450 encodings = ('ascii', 'utf8', 'latin1')
2451 invalid = 'Boom, Shaka Laka, Boom!'
2452 code = textwrap.dedent(f'''
2453 import sys
2454 encodings = {encodings!r}
2455
2456 for data in (b'', b'short string'):
2457 try:
2458 str(data, encoding={invalid!r})
2459 except LookupError:
2460 pass
2461 else:
2462 sys.exit(21)
2463
2464 try:
2465 str(data, errors={invalid!r})
2466 except LookupError:
2467 pass
2468 else:
2469 sys.exit(22)
2470
2471 for encoding in encodings:
2472 try:
2473 str(data, encoding, errors={invalid!r})
2474 except LookupError:
2475 pass
2476 else:
2477 sys.exit(22)
2478
2479 for data in ('', 'short string'):
2480 try:
2481 data.encode(encoding={invalid!r})
2482 except LookupError:
2483 pass
2484 else:
2485 sys.exit(23)
2486
2487 try:
2488 data.encode(errors={invalid!r})
2489 except LookupError:
2490 pass
2491 else:
2492 sys.exit(24)
2493
2494 for encoding in encodings:
2495 try:
2496 data.encode(encoding, errors={invalid!r})
2497 except LookupError:
2498 pass
2499 else:
2500 sys.exit(24)
2501
2502 sys.exit(10)
2503 ''')
2504 proc = assert_python_failure('-X', 'dev', '-c', code)
2505 self.assertEqual(proc.rc, 10, proc)
2506
Serhiy Storchaka63b5b6f2016-10-02 21:16:38 +03002507
2508class CAPITest(unittest.TestCase):
2509
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002510 # Test PyUnicode_FromFormat()
Victor Stinner1205f272010-09-11 00:54:47 +00002511 def test_from_format(self):
Hai Shideb01622020-07-06 20:29:49 +08002512 import_helper.import_module('ctypes')
Victor Stinner15a11362012-10-06 23:48:20 +02002513 from ctypes import (
2514 pythonapi, py_object, sizeof,
Victor Stinner6d970f42011-03-02 00:04:25 +00002515 c_int, c_long, c_longlong, c_ssize_t,
Victor Stinner15a11362012-10-06 23:48:20 +02002516 c_uint, c_ulong, c_ulonglong, c_size_t, c_void_p)
Martin v. Löwisd63a3b82011-09-28 07:41:54 +02002517 name = "PyUnicode_FromFormat"
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002518 _PyUnicode_FromFormat = getattr(pythonapi, name)
2519 _PyUnicode_FromFormat.restype = py_object
2520
2521 def PyUnicode_FromFormat(format, *args):
2522 cargs = tuple(
2523 py_object(arg) if isinstance(arg, str) else arg
2524 for arg in args)
2525 return _PyUnicode_FromFormat(format, *cargs)
Victor Stinner1205f272010-09-11 00:54:47 +00002526
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002527 def check_format(expected, format, *args):
2528 text = PyUnicode_FromFormat(format, *args)
2529 self.assertEqual(expected, text)
2530
Victor Stinner1205f272010-09-11 00:54:47 +00002531 # ascii format, non-ascii argument
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002532 check_format('ascii\x7f=unicode\xe9',
2533 b'ascii\x7f=%U', 'unicode\xe9')
Victor Stinner1205f272010-09-11 00:54:47 +00002534
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002535 # non-ascii format, ascii argument: ensure that PyUnicode_FromFormatV()
2536 # raises an error
Ezio Melottied3a7d22010-12-01 02:32:32 +00002537 self.assertRaisesRegex(ValueError,
R David Murray44b548d2016-09-08 13:59:53 -04002538 r'^PyUnicode_FromFormatV\(\) expects an ASCII-encoded format '
Victor Stinner4c7db312010-09-12 07:51:18 +00002539 'string, got a non-ASCII byte: 0xe9$',
Victor Stinnerca1e7ec2011-01-05 00:19:28 +00002540 PyUnicode_FromFormat, b'unicode\xe9=%s', 'ascii')
Amaury Forgeot d'Arc7888d082008-08-01 01:06:32 +00002541
Victor Stinner96865452011-03-01 23:44:09 +00002542 # test "%c"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002543 check_format('\uabcd',
2544 b'%c', c_int(0xabcd))
2545 check_format('\U0010ffff',
2546 b'%c', c_int(0x10ffff))
Serhiy Storchaka8eeae212013-06-23 20:12:14 +03002547 with self.assertRaises(OverflowError):
2548 PyUnicode_FromFormat(b'%c', c_int(0x110000))
Serhiy Storchaka31b1c8b2013-06-12 09:20:44 +03002549 # Issue #18183
Serhiy Storchakaf15ffe02013-06-12 09:28:20 +03002550 check_format('\U00010000\U00100000',
2551 b'%c%c', c_int(0x10000), c_int(0x100000))
Victor Stinner5ed8b2c2011-02-21 21:13:44 +00002552
Victor Stinner96865452011-03-01 23:44:09 +00002553 # test "%"
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002554 check_format('%',
2555 b'%')
2556 check_format('%',
2557 b'%%')
2558 check_format('%s',
2559 b'%%s')
2560 check_format('[%]',
2561 b'[%%]')
2562 check_format('%abc',
2563 b'%%%s', b'abc')
2564
2565 # truncated string
2566 check_format('abc',
2567 b'%.3s', b'abcdef')
2568 check_format('abc[\ufffd',
2569 b'%.5s', 'abc[\u20ac]'.encode('utf8'))
2570 check_format("'\\u20acABC'",
2571 b'%A', '\u20acABC')
2572 check_format("'\\u20",
2573 b'%.5A', '\u20acABCDEF')
2574 check_format("'\u20acABC'",
2575 b'%R', '\u20acABC')
2576 check_format("'\u20acA",
2577 b'%.3R', '\u20acABCDEF')
2578 check_format('\u20acAB',
2579 b'%.3S', '\u20acABCDEF')
2580 check_format('\u20acAB',
2581 b'%.3U', '\u20acABCDEF')
2582 check_format('\u20acAB',
2583 b'%.3V', '\u20acABCDEF', None)
2584 check_format('abc[\ufffd',
2585 b'%.5V', None, 'abc[\u20ac]'.encode('utf8'))
2586
2587 # following tests comes from #7330
2588 # test width modifier and precision modifier with %S
2589 check_format("repr= abc",
2590 b'repr=%5S', 'abc')
2591 check_format("repr=ab",
2592 b'repr=%.2S', 'abc')
2593 check_format("repr= ab",
2594 b'repr=%5.2S', 'abc')
2595
2596 # test width modifier and precision modifier with %R
2597 check_format("repr= 'abc'",
2598 b'repr=%8R', 'abc')
2599 check_format("repr='ab",
2600 b'repr=%.3R', 'abc')
2601 check_format("repr= 'ab",
2602 b'repr=%5.3R', 'abc')
2603
2604 # test width modifier and precision modifier with %A
2605 check_format("repr= 'abc'",
2606 b'repr=%8A', 'abc')
2607 check_format("repr='ab",
2608 b'repr=%.3A', 'abc')
2609 check_format("repr= 'ab",
2610 b'repr=%5.3A', 'abc')
2611
2612 # test width modifier and precision modifier with %s
2613 check_format("repr= abc",
2614 b'repr=%5s', b'abc')
2615 check_format("repr=ab",
2616 b'repr=%.2s', b'abc')
2617 check_format("repr= ab",
2618 b'repr=%5.2s', b'abc')
2619
2620 # test width modifier and precision modifier with %U
2621 check_format("repr= abc",
2622 b'repr=%5U', 'abc')
2623 check_format("repr=ab",
2624 b'repr=%.2U', 'abc')
2625 check_format("repr= ab",
2626 b'repr=%5.2U', 'abc')
2627
2628 # test width modifier and precision modifier with %V
2629 check_format("repr= abc",
2630 b'repr=%5V', 'abc', b'123')
2631 check_format("repr=ab",
2632 b'repr=%.2V', 'abc', b'123')
2633 check_format("repr= ab",
2634 b'repr=%5.2V', 'abc', b'123')
2635 check_format("repr= 123",
2636 b'repr=%5V', None, b'123')
2637 check_format("repr=12",
2638 b'repr=%.2V', None, b'123')
2639 check_format("repr= 12",
2640 b'repr=%5.2V', None, b'123')
Victor Stinner96865452011-03-01 23:44:09 +00002641
Victor Stinner6d970f42011-03-02 00:04:25 +00002642 # test integer formats (%i, %d, %u)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002643 check_format('010',
2644 b'%03i', c_int(10))
2645 check_format('0010',
2646 b'%0.4i', c_int(10))
2647 check_format('-123',
2648 b'%i', c_int(-123))
2649 check_format('-123',
2650 b'%li', c_long(-123))
2651 check_format('-123',
2652 b'%lli', c_longlong(-123))
2653 check_format('-123',
2654 b'%zi', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002655
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002656 check_format('-123',
2657 b'%d', c_int(-123))
2658 check_format('-123',
2659 b'%ld', c_long(-123))
2660 check_format('-123',
2661 b'%lld', c_longlong(-123))
2662 check_format('-123',
2663 b'%zd', c_ssize_t(-123))
Victor Stinner96865452011-03-01 23:44:09 +00002664
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002665 check_format('123',
2666 b'%u', c_uint(123))
2667 check_format('123',
2668 b'%lu', c_ulong(123))
2669 check_format('123',
2670 b'%llu', c_ulonglong(123))
2671 check_format('123',
2672 b'%zu', c_size_t(123))
Victor Stinner6d970f42011-03-02 00:04:25 +00002673
Victor Stinner15a11362012-10-06 23:48:20 +02002674 # test long output
2675 min_longlong = -(2 ** (8 * sizeof(c_longlong) - 1))
2676 max_longlong = -min_longlong - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002677 check_format(str(min_longlong),
2678 b'%lld', c_longlong(min_longlong))
2679 check_format(str(max_longlong),
2680 b'%lld', c_longlong(max_longlong))
Victor Stinner15a11362012-10-06 23:48:20 +02002681 max_ulonglong = 2 ** (8 * sizeof(c_ulonglong)) - 1
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002682 check_format(str(max_ulonglong),
2683 b'%llu', c_ulonglong(max_ulonglong))
Victor Stinner15a11362012-10-06 23:48:20 +02002684 PyUnicode_FromFormat(b'%p', c_void_p(-1))
2685
Victor Stinnere215d962012-10-06 23:03:36 +02002686 # test padding (width and/or precision)
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002687 check_format('123'.rjust(10, '0'),
2688 b'%010i', c_int(123))
2689 check_format('123'.rjust(100),
2690 b'%100i', c_int(123))
2691 check_format('123'.rjust(100, '0'),
2692 b'%.100i', c_int(123))
2693 check_format('123'.rjust(80, '0').rjust(100),
2694 b'%100.80i', c_int(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002695
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002696 check_format('123'.rjust(10, '0'),
2697 b'%010u', c_uint(123))
2698 check_format('123'.rjust(100),
2699 b'%100u', c_uint(123))
2700 check_format('123'.rjust(100, '0'),
2701 b'%.100u', c_uint(123))
2702 check_format('123'.rjust(80, '0').rjust(100),
2703 b'%100.80u', c_uint(123))
Victor Stinnere215d962012-10-06 23:03:36 +02002704
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002705 check_format('123'.rjust(10, '0'),
2706 b'%010x', c_int(0x123))
2707 check_format('123'.rjust(100),
2708 b'%100x', c_int(0x123))
2709 check_format('123'.rjust(100, '0'),
2710 b'%.100x', c_int(0x123))
2711 check_format('123'.rjust(80, '0').rjust(100),
2712 b'%100.80x', c_int(0x123))
Victor Stinnere215d962012-10-06 23:03:36 +02002713
Victor Stinner6d970f42011-03-02 00:04:25 +00002714 # test %A
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002715 check_format(r"%A:'abc\xe9\uabcd\U0010ffff'",
2716 b'%%A:%A', 'abc\xe9\uabcd\U0010ffff')
Victor Stinner9a909002010-10-18 20:59:24 +00002717
Victor Stinner6d970f42011-03-02 00:04:25 +00002718 # test %V
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002719 check_format('repr=abc',
2720 b'repr=%V', 'abc', b'xyz')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002721
2722 # Test string decode from parameter of %s using utf-8.
2723 # b'\xe4\xba\xba\xe6\xb0\x91' is utf-8 encoded byte sequence of
2724 # '\u4eba\u6c11'
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002725 check_format('repr=\u4eba\u6c11',
2726 b'repr=%V', None, b'\xe4\xba\xba\xe6\xb0\x91')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002727
2728 #Test replace error handler.
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002729 check_format('repr=abc\ufffd',
2730 b'repr=%V', None, b'abc\xff')
Victor Stinner2512a8b2011-03-01 22:46:52 +00002731
Victor Stinner6d970f42011-03-02 00:04:25 +00002732 # not supported: copy the raw format string. these tests are just here
Martin Panter2f9171d2016-12-18 01:23:09 +00002733 # to check for crashes and should not be considered as specifications
Victor Stinner8cecc8c2013-05-06 23:11:54 +02002734 check_format('%s',
2735 b'%1%s', b'abc')
2736 check_format('%1abc',
2737 b'%1abc')
2738 check_format('%+i',
2739 b'%+i', c_int(10))
2740 check_format('%.%s',
2741 b'%.%s', b'abc')
Victor Stinner6d970f42011-03-02 00:04:25 +00002742
Serhiy Storchaka44cc4822019-01-12 09:22:29 +02002743 # Issue #33817: empty strings
2744 check_format('',
2745 b'')
2746 check_format('',
2747 b'%s', b'')
2748
Victor Stinner1c24bd02010-10-02 11:03:13 +00002749 # Test PyUnicode_AsWideChar()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002750 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002751 def test_aswidechar(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002752 from _testcapi import unicode_aswidechar
Hai Shideb01622020-07-06 20:29:49 +08002753 import_helper.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002754 from ctypes import c_wchar, sizeof
2755
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002756 wchar, size = unicode_aswidechar('abcdef', 2)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002757 self.assertEqual(size, 2)
2758 self.assertEqual(wchar, 'ab')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002759
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002760 wchar, size = unicode_aswidechar('abc', 3)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002761 self.assertEqual(size, 3)
2762 self.assertEqual(wchar, 'abc')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002763
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002764 wchar, size = unicode_aswidechar('abc', 4)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002765 self.assertEqual(size, 3)
2766 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002767
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002768 wchar, size = unicode_aswidechar('abc', 10)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002769 self.assertEqual(size, 3)
2770 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002771
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002772 wchar, size = unicode_aswidechar('abc\0def', 20)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002773 self.assertEqual(size, 7)
2774 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002775
Victor Stinner5593d8a2010-10-02 11:11:27 +00002776 nonbmp = chr(0x10ffff)
2777 if sizeof(c_wchar) == 2:
2778 buflen = 3
2779 nchar = 2
2780 else: # sizeof(c_wchar) == 4
2781 buflen = 2
2782 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002783 wchar, size = unicode_aswidechar(nonbmp, buflen)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002784 self.assertEqual(size, nchar)
2785 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002786
Victor Stinner1c24bd02010-10-02 11:03:13 +00002787 # Test PyUnicode_AsWideCharString()
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002788 @support.cpython_only
Victor Stinner1c24bd02010-10-02 11:03:13 +00002789 def test_aswidecharstring(self):
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002790 from _testcapi import unicode_aswidecharstring
Hai Shideb01622020-07-06 20:29:49 +08002791 import_helper.import_module('ctypes')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002792 from ctypes import c_wchar, sizeof
2793
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002794 wchar, size = unicode_aswidecharstring('abc')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002795 self.assertEqual(size, 3)
2796 self.assertEqual(wchar, 'abc\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002797
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002798 wchar, size = unicode_aswidecharstring('abc\0def')
Ezio Melottib3aedd42010-11-20 19:04:17 +00002799 self.assertEqual(size, 7)
2800 self.assertEqual(wchar, 'abc\0def\0')
Victor Stinner1c24bd02010-10-02 11:03:13 +00002801
Victor Stinner5593d8a2010-10-02 11:11:27 +00002802 nonbmp = chr(0x10ffff)
2803 if sizeof(c_wchar) == 2:
2804 nchar = 2
2805 else: # sizeof(c_wchar) == 4
2806 nchar = 1
Victor Stinner46c7b3b2010-10-02 11:49:31 +00002807 wchar, size = unicode_aswidecharstring(nonbmp)
Ezio Melottib3aedd42010-11-20 19:04:17 +00002808 self.assertEqual(size, nchar)
2809 self.assertEqual(wchar, nonbmp + '\0')
Victor Stinner5593d8a2010-10-02 11:11:27 +00002810
Serhiy Storchakacc164232016-10-02 21:29:26 +03002811 # Test PyUnicode_AsUCS4()
2812 @support.cpython_only
2813 def test_asucs4(self):
2814 from _testcapi import unicode_asucs4
2815 for s in ['abc', '\xa1\xa2', '\u4f60\u597d', 'a\U0001f600',
2816 'a\ud800b\udfffc', '\ud834\udd1e']:
2817 l = len(s)
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03002818 self.assertEqual(unicode_asucs4(s, l, True), s+'\0')
2819 self.assertEqual(unicode_asucs4(s, l, False), s+'\uffff')
2820 self.assertEqual(unicode_asucs4(s, l+1, True), s+'\0\uffff')
2821 self.assertEqual(unicode_asucs4(s, l+1, False), s+'\0\uffff')
2822 self.assertRaises(SystemError, unicode_asucs4, s, l-1, True)
2823 self.assertRaises(SystemError, unicode_asucs4, s, l-2, False)
Serhiy Storchakacc164232016-10-02 21:29:26 +03002824 s = '\0'.join([s, s])
Serhiy Storchaka1f21eaa2019-09-01 12:16:51 +03002825 self.assertEqual(unicode_asucs4(s, len(s), True), s+'\0')
2826 self.assertEqual(unicode_asucs4(s, len(s), False), s+'\uffff')
Serhiy Storchakacc164232016-10-02 21:29:26 +03002827
Hai Shi5623ac82019-07-20 02:56:23 -05002828 # Test PyUnicode_AsUTF8()
2829 @support.cpython_only
2830 def test_asutf8(self):
2831 from _testcapi import unicode_asutf8
2832
2833 bmp = '\u0100'
2834 bmp2 = '\uffff'
2835 nonbmp = chr(0x10ffff)
2836
2837 self.assertEqual(unicode_asutf8(bmp), b'\xc4\x80')
2838 self.assertEqual(unicode_asutf8(bmp2), b'\xef\xbf\xbf')
2839 self.assertEqual(unicode_asutf8(nonbmp), b'\xf4\x8f\xbf\xbf')
2840 self.assertRaises(UnicodeEncodeError, unicode_asutf8, 'a\ud800b\udfffc')
2841
2842 # Test PyUnicode_AsUTF8AndSize()
2843 @support.cpython_only
2844 def test_asutf8andsize(self):
2845 from _testcapi import unicode_asutf8andsize
2846
2847 bmp = '\u0100'
2848 bmp2 = '\uffff'
2849 nonbmp = chr(0x10ffff)
2850
2851 self.assertEqual(unicode_asutf8andsize(bmp), (b'\xc4\x80', 2))
2852 self.assertEqual(unicode_asutf8andsize(bmp2), (b'\xef\xbf\xbf', 3))
2853 self.assertEqual(unicode_asutf8andsize(nonbmp), (b'\xf4\x8f\xbf\xbf', 4))
2854 self.assertRaises(UnicodeEncodeError, unicode_asutf8andsize, 'a\ud800b\udfffc')
2855
Xiang Zhangb2110682016-12-20 22:52:33 +08002856 # Test PyUnicode_FindChar()
2857 @support.cpython_only
2858 def test_findchar(self):
2859 from _testcapi import unicode_findchar
2860
2861 for str in "\xa1", "\u8000\u8080", "\ud800\udc02", "\U0001f100\U0001f1f1":
2862 for i, ch in enumerate(str):
2863 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), 1), i)
2864 self.assertEqual(unicode_findchar(str, ord(ch), 0, len(str), -1), i)
2865
2866 str = "!>_<!"
2867 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), 1), -1)
2868 self.assertEqual(unicode_findchar(str, 0x110000, 0, len(str), -1), -1)
2869 # start < end
2870 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, 1), 4)
2871 self.assertEqual(unicode_findchar(str, ord('!'), 1, len(str)+1, -1), 4)
2872 # start >= end
2873 self.assertEqual(unicode_findchar(str, ord('!'), 0, 0, 1), -1)
2874 self.assertEqual(unicode_findchar(str, ord('!'), len(str), 0, 1), -1)
2875 # negative
2876 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, 1), 0)
2877 self.assertEqual(unicode_findchar(str, ord('!'), -len(str), -1, -1), 0)
2878
Serhiy Storchaka9c0e1f82016-10-08 22:45:38 +03002879 # Test PyUnicode_CopyCharacters()
2880 @support.cpython_only
2881 def test_copycharacters(self):
2882 from _testcapi import unicode_copycharacters
2883
2884 strings = [
2885 'abcde', '\xa1\xa2\xa3\xa4\xa5',
2886 '\u4f60\u597d\u4e16\u754c\uff01',
2887 '\U0001f600\U0001f601\U0001f602\U0001f603\U0001f604'
2888 ]
2889
2890 for idx, from_ in enumerate(strings):
2891 # wide -> narrow: exceed maxchar limitation
2892 for to in strings[:idx]:
2893 self.assertRaises(
2894 SystemError,
2895 unicode_copycharacters, to, 0, from_, 0, 5
2896 )
2897 # same kind
2898 for from_start in range(5):
2899 self.assertEqual(
2900 unicode_copycharacters(from_, 0, from_, from_start, 5),
2901 (from_[from_start:from_start+5].ljust(5, '\0'),
2902 5-from_start)
2903 )
2904 for to_start in range(5):
2905 self.assertEqual(
2906 unicode_copycharacters(from_, to_start, from_, to_start, 5),
2907 (from_[to_start:to_start+5].rjust(5, '\0'),
2908 5-to_start)
2909 )
2910 # narrow -> wide
2911 # Tests omitted since this creates invalid strings.
2912
2913 s = strings[0]
2914 self.assertRaises(IndexError, unicode_copycharacters, s, 6, s, 0, 5)
2915 self.assertRaises(IndexError, unicode_copycharacters, s, -1, s, 0, 5)
2916 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, 6, 5)
2917 self.assertRaises(IndexError, unicode_copycharacters, s, 0, s, -1, 5)
2918 self.assertRaises(SystemError, unicode_copycharacters, s, 1, s, 0, 5)
2919 self.assertRaises(SystemError, unicode_copycharacters, s, 0, s, 0, -1)
2920 self.assertRaises(SystemError, unicode_copycharacters, s, 0, b'', 0, 0)
2921
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002922 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002923 def test_encode_decimal(self):
2924 from _testcapi import unicode_encodedecimal
2925 self.assertEqual(unicode_encodedecimal('123'),
2926 b'123')
2927 self.assertEqual(unicode_encodedecimal('\u0663.\u0661\u0664'),
2928 b'3.14')
2929 self.assertEqual(unicode_encodedecimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2930 b' 3.14 ')
2931 self.assertRaises(UnicodeEncodeError,
2932 unicode_encodedecimal, "123\u20ac", "strict")
Victor Stinner6345be92011-11-25 20:09:01 +01002933 self.assertRaisesRegex(
2934 ValueError,
2935 "^'decimal' codec can't encode character",
2936 unicode_encodedecimal, "123\u20ac", "replace")
Victor Stinner42bf7752011-11-21 22:52:58 +01002937
Serhiy Storchaka5cfc79d2014-02-07 10:06:39 +02002938 @support.cpython_only
Victor Stinner42bf7752011-11-21 22:52:58 +01002939 def test_transform_decimal(self):
2940 from _testcapi import unicode_transformdecimaltoascii as transform_decimal
2941 self.assertEqual(transform_decimal('123'),
2942 '123')
2943 self.assertEqual(transform_decimal('\u0663.\u0661\u0664'),
2944 '3.14')
2945 self.assertEqual(transform_decimal("\N{EM SPACE}3.14\N{EN SPACE}"),
2946 "\N{EM SPACE}3.14\N{EN SPACE}")
2947 self.assertEqual(transform_decimal('123\u20ac'),
2948 '123\u20ac')
2949
Serhiy Storchaka7aa69082015-12-03 01:02:03 +02002950 @support.cpython_only
2951 def test_pep393_utf8_caching_bug(self):
2952 # Issue #25709: Problem with string concatenation and utf-8 cache
2953 from _testcapi import getargs_s_hash
2954 for k in 0x24, 0xa4, 0x20ac, 0x1f40d:
2955 s = ''
2956 for i in range(5):
2957 # Due to CPython specific optimization the 's' string can be
2958 # resized in-place.
2959 s += chr(k)
2960 # Parsing with the "s#" format code calls indirectly
2961 # PyUnicode_AsUTF8AndSize() which creates the UTF-8
2962 # encoded string cached in the Unicode object.
2963 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2964 # Check that the second call returns the same result
2965 self.assertEqual(getargs_s_hash(s), chr(k).encode() * (i + 1))
2966
Eric Smitha1eac722011-01-29 11:15:35 +00002967class StringModuleTest(unittest.TestCase):
2968 def test_formatter_parser(self):
2969 def parse(format):
2970 return list(_string.formatter_parser(format))
2971
2972 formatter = parse("prefix {2!s}xxx{0:^+10.3f}{obj.attr!s} {z[0]!s:10}")
2973 self.assertEqual(formatter, [
2974 ('prefix ', '2', '', 's'),
2975 ('xxx', '0', '^+10.3f', None),
2976 ('', 'obj.attr', '', 's'),
2977 (' ', 'z[0]', '10', 's'),
2978 ])
2979
2980 formatter = parse("prefix {} suffix")
2981 self.assertEqual(formatter, [
2982 ('prefix ', '', '', None),
2983 (' suffix', None, None, None),
2984 ])
2985
2986 formatter = parse("str")
2987 self.assertEqual(formatter, [
2988 ('str', None, None, None),
2989 ])
2990
2991 formatter = parse("")
2992 self.assertEqual(formatter, [])
2993
2994 formatter = parse("{0}")
2995 self.assertEqual(formatter, [
2996 ('', '0', '', None),
2997 ])
2998
2999 self.assertRaises(TypeError, _string.formatter_parser, 1)
3000
3001 def test_formatter_field_name_split(self):
3002 def split(name):
3003 items = list(_string.formatter_field_name_split(name))
3004 items[1] = list(items[1])
3005 return items
3006 self.assertEqual(split("obj"), ["obj", []])
3007 self.assertEqual(split("obj.arg"), ["obj", [(True, 'arg')]])
3008 self.assertEqual(split("obj[key]"), ["obj", [(False, 'key')]])
3009 self.assertEqual(split("obj.arg[key1][key2]"), [
3010 "obj",
3011 [(True, 'arg'),
3012 (False, 'key1'),
3013 (False, 'key2'),
3014 ]])
3015 self.assertRaises(TypeError, _string.formatter_field_name_split, 1)
3016
3017
Walter Dörwald28256f22003-01-19 16:59:20 +00003018if __name__ == "__main__":
Ezio Melotti0dceb562013-01-10 07:43:26 +02003019 unittest.main()