blob: 75fbe45ec4b755e0982a383b6115aa94c9ed8cea [file] [log] [blame]
Benjamin Petersonee8712c2008-05-20 21:35:26 +00001from test import support, seq_tests
Walter Dörwald1dde95d2003-12-08 11:38:45 +00002
Antoine Pitrou3a652b12009-03-23 18:52:06 +00003import gc
4
Walter Dörwald1dde95d2003-12-08 11:38:45 +00005class TupleTest(seq_tests.CommonTest):
6 type2test = tuple
7
8 def test_constructors(self):
Éric Araujoa63c2402010-12-23 19:13:05 +00009 super().test_constructors()
Walter Dörwald1dde95d2003-12-08 11:38:45 +000010 # calling built-in types without argument must return empty
11 self.assertEqual(tuple(), ())
Christian Heimes81ee3ef2008-05-04 22:42:01 +000012 t0_3 = (0, 1, 2, 3)
13 t0_3_bis = tuple(t0_3)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000014 self.assertTrue(t0_3 is t0_3_bis)
Christian Heimes81ee3ef2008-05-04 22:42:01 +000015 self.assertEqual(tuple([]), ())
16 self.assertEqual(tuple([0, 1, 2, 3]), (0, 1, 2, 3))
17 self.assertEqual(tuple(''), ())
18 self.assertEqual(tuple('spam'), ('s', 'p', 'a', 'm'))
Walter Dörwald1dde95d2003-12-08 11:38:45 +000019
20 def test_truth(self):
Guido van Rossumcd16bf62007-06-13 18:07:49 +000021 super().test_truth()
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000022 self.assertTrue(not ())
23 self.assertTrue((42, ))
Walter Dörwald1dde95d2003-12-08 11:38:45 +000024
25 def test_len(self):
Guido van Rossumcd16bf62007-06-13 18:07:49 +000026 super().test_len()
Walter Dörwald1dde95d2003-12-08 11:38:45 +000027 self.assertEqual(len(()), 0)
28 self.assertEqual(len((0,)), 1)
29 self.assertEqual(len((0, 1, 2)), 3)
30
31 def test_iadd(self):
Guido van Rossumcd16bf62007-06-13 18:07:49 +000032 super().test_iadd()
Walter Dörwald1dde95d2003-12-08 11:38:45 +000033 u = (0, 1)
34 u2 = u
35 u += (2, 3)
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000036 self.assertTrue(u is not u2)
Walter Dörwald1dde95d2003-12-08 11:38:45 +000037
38 def test_imul(self):
Guido van Rossumcd16bf62007-06-13 18:07:49 +000039 super().test_imul()
Walter Dörwald1dde95d2003-12-08 11:38:45 +000040 u = (0, 1)
41 u2 = u
42 u *= 3
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000043 self.assertTrue(u is not u2)
Walter Dörwald1dde95d2003-12-08 11:38:45 +000044
45 def test_tupleresizebug(self):
46 # Check that a specific bug in _PyTuple_Resize() is squashed.
47 def f():
48 for i in range(1000):
49 yield i
Guido van Rossum805365e2007-05-07 22:24:25 +000050 self.assertEqual(list(tuple(f())), list(range(1000)))
Walter Dörwald1dde95d2003-12-08 11:38:45 +000051
Raymond Hettinger41bd0222004-06-01 06:36:24 +000052 def test_hash(self):
53 # See SF bug 942952: Weakness in tuple hash
54 # The hash should:
55 # be non-commutative
56 # should spread-out closely spaced values
57 # should not exhibit cancellation in tuples like (x,(x,y))
58 # should be distinct from element hashes: hash(x)!=hash((x,))
59 # This test exercises those cases.
Tim Peters1f4bcf92004-06-01 18:58:04 +000060 # For a pure random hash and N=50, the expected number of occupied
61 # buckets when tossing 252,600 balls into 2**32 buckets
62 # is 252,592.6, or about 7.4 expected collisions. The
63 # standard deviation is 2.73. On a box with 64-bit hash
64 # codes, no collisions are expected. Here we accept no
65 # more than 15 collisions. Any worse and the hash function
66 # is sorely suspect.
Raymond Hettinger41bd0222004-06-01 06:36:24 +000067
68 N=50
Guido van Rossum805365e2007-05-07 22:24:25 +000069 base = list(range(N))
Raymond Hettinger41bd0222004-06-01 06:36:24 +000070 xp = [(i, j) for i in base for j in base]
71 inps = base + [(i, j) for i in base for j in xp] + \
Guido van Rossum801f0d72006-08-24 19:48:10 +000072 [(i, j) for i in xp for j in base] + xp + list(zip(base))
Raymond Hettinger41bd0222004-06-01 06:36:24 +000073 collisions = len(inps) - len(set(map(hash, inps)))
Benjamin Petersonc9c0f202009-06-30 23:06:06 +000074 self.assertTrue(collisions <= 15)
Walter Dörwald1dde95d2003-12-08 11:38:45 +000075
Raymond Hettinger5ea7e312004-09-30 07:47:20 +000076 def test_repr(self):
77 l0 = tuple()
78 l2 = (0, 1, 2)
79 a0 = self.type2test(l0)
80 a2 = self.type2test(l2)
81
82 self.assertEqual(str(a0), repr(l0))
83 self.assertEqual(str(a2), repr(l2))
84 self.assertEqual(repr(a0), "()")
85 self.assertEqual(repr(a2), "(0, 1, 2)")
86
Antoine Pitrou3a652b12009-03-23 18:52:06 +000087 def _not_tracked(self, t):
88 # Nested tuples can take several collections to untrack
89 gc.collect()
90 gc.collect()
91 self.assertFalse(gc.is_tracked(t), t)
92
93 def _tracked(self, t):
94 self.assertTrue(gc.is_tracked(t), t)
95 gc.collect()
96 gc.collect()
97 self.assertTrue(gc.is_tracked(t), t)
98
Benjamin Peterson02d78062010-06-27 22:44:51 +000099 @support.cpython_only
Antoine Pitrou3a652b12009-03-23 18:52:06 +0000100 def test_track_literals(self):
101 # Test GC-optimization of tuple literals
102 x, y, z = 1.5, "a", []
103
104 self._not_tracked(())
105 self._not_tracked((1,))
106 self._not_tracked((1, 2))
107 self._not_tracked((1, 2, "a"))
108 self._not_tracked((1, 2, (None, True, False, ()), int))
109 self._not_tracked((object(),))
110 self._not_tracked(((1, x), y, (2, 3)))
111
112 # Tuples with mutable elements are always tracked, even if those
113 # elements are not tracked right now.
114 self._tracked(([],))
115 self._tracked(([1],))
116 self._tracked(({},))
117 self._tracked((set(),))
118 self._tracked((x, y, z))
119
120 def check_track_dynamic(self, tp, always_track):
121 x, y, z = 1.5, "a", []
122
123 check = self._tracked if always_track else self._not_tracked
124 check(tp())
125 check(tp([]))
126 check(tp(set()))
127 check(tp([1, x, y]))
128 check(tp(obj for obj in [1, x, y]))
129 check(tp(set([1, x, y])))
130 check(tp(tuple([obj]) for obj in [1, x, y]))
131 check(tuple(tp([obj]) for obj in [1, x, y]))
132
133 self._tracked(tp([z]))
134 self._tracked(tp([[x, y]]))
135 self._tracked(tp([{x: y}]))
136 self._tracked(tp(obj for obj in [x, y, z]))
137 self._tracked(tp(tuple([obj]) for obj in [x, y, z]))
138 self._tracked(tuple(tp([obj]) for obj in [x, y, z]))
139
Benjamin Peterson02d78062010-06-27 22:44:51 +0000140 @support.cpython_only
Antoine Pitrou3a652b12009-03-23 18:52:06 +0000141 def test_track_dynamic(self):
142 # Test GC-optimization of dynamically constructed tuples.
143 self.check_track_dynamic(tuple, False)
144
Benjamin Peterson02d78062010-06-27 22:44:51 +0000145 @support.cpython_only
Antoine Pitrou3a652b12009-03-23 18:52:06 +0000146 def test_track_subtypes(self):
147 # Tuple subtypes must always be tracked
148 class MyTuple(tuple):
149 pass
150 self.check_track_dynamic(MyTuple, True)
151
Benjamin Peterson02d78062010-06-27 22:44:51 +0000152 @support.cpython_only
Antoine Pitrou6b7dfc92009-12-12 19:18:27 +0000153 def test_bug7466(self):
154 # Trying to untrack an unfinished tuple could crash Python
155 self._not_tracked(tuple(gc.collect() for i in range(101)))
Antoine Pitrou3a652b12009-03-23 18:52:06 +0000156
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000157def test_main():
Benjamin Petersonee8712c2008-05-20 21:35:26 +0000158 support.run_unittest(TupleTest)
Walter Dörwald1dde95d2003-12-08 11:38:45 +0000159
160if __name__=="__main__":
161 test_main()