blob: 7a6e4a0852843e4d42c03ea1eb2fd9ce4e1862fc [file] [log] [blame]
Dean Moldovan08cbe8d2017-02-15 21:10:25 +01001import pytest
Jason Rhinelander14e70652017-04-21 17:14:22 -04002from pybind11_tests import ConstructorStats
Jason Rhinelander44a17e12017-07-25 00:05:15 -04003from pybind11_tests import multiple_inheritance as m
Dean Moldovan08cbe8d2017-02-15 21:10:25 +01004
5
Dean Moldovanbad17402016-11-20 21:21:54 +01006def test_multiple_inheritance_cpp():
Jason Rhinelander44a17e12017-07-25 00:05:15 -04007 mt = m.MIType(3, 4)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +09008
9 assert mt.foo() == 3
10 assert mt.bar() == 4
11
12
Isuru Fernando0d70f0e2020-07-07 08:58:16 -050013@pytest.bug_in_pypy
Dean Moldovanbad17402016-11-20 21:21:54 +010014def test_multiple_inheritance_mix1():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090015 class Base1:
16 def __init__(self, i):
17 self.i = i
18
19 def foo(self):
20 return self.i
21
Jason Rhinelander44a17e12017-07-25 00:05:15 -040022 class MITypePy(Base1, m.Base2):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090023 def __init__(self, i, j):
24 Base1.__init__(self, i)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040025 m.Base2.__init__(self, j)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090026
27 mt = MITypePy(3, 4)
28
29 assert mt.foo() == 3
30 assert mt.bar() == 4
31
32
Dean Moldovanbad17402016-11-20 21:21:54 +010033def test_multiple_inheritance_mix2():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090034
35 class Base2:
36 def __init__(self, i):
37 self.i = i
38
39 def bar(self):
40 return self.i
41
Jason Rhinelander44a17e12017-07-25 00:05:15 -040042 class MITypePy(m.Base1, Base2):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090043 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040044 m.Base1.__init__(self, i)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090045 Base2.__init__(self, j)
46
47 mt = MITypePy(3, 4)
48
49 assert mt.foo() == 3
50 assert mt.bar() == 4
51
52
Isuru Fernando0d70f0e2020-07-07 08:58:16 -050053@pytest.bug_in_pypy
Jason Rhinelandere45c2112017-02-22 21:36:09 -050054def test_multiple_inheritance_python():
Dean Moldovan08cbe8d2017-02-15 21:10:25 +010055
Jason Rhinelander44a17e12017-07-25 00:05:15 -040056 class MI1(m.Base1, m.Base2):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050057 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040058 m.Base1.__init__(self, i)
59 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050060
61 class B1(object):
62 def v(self):
63 return 1
64
Jason Rhinelander44a17e12017-07-25 00:05:15 -040065 class MI2(B1, m.Base1, m.Base2):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050066 def __init__(self, i, j):
67 B1.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040068 m.Base1.__init__(self, i)
69 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050070
71 class MI3(MI2):
72 def __init__(self, i, j):
73 MI2.__init__(self, i, j)
74
Jason Rhinelander44a17e12017-07-25 00:05:15 -040075 class MI4(MI3, m.Base2):
Jason Rhinelander464d9892017-06-12 21:52:48 -040076 def __init__(self, i, j):
77 MI3.__init__(self, i, j)
Jason Rhinelanderc4e18002017-08-17 00:01:42 -040078 # This should be ignored (Base2 is already initialized via MI2):
79 m.Base2.__init__(self, i + 100)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050080
Jason Rhinelander44a17e12017-07-25 00:05:15 -040081 class MI5(m.Base2, B1, m.Base1):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050082 def __init__(self, i, j):
83 B1.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040084 m.Base1.__init__(self, i)
85 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050086
Jason Rhinelander44a17e12017-07-25 00:05:15 -040087 class MI6(m.Base2, B1):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050088 def __init__(self, i):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040089 m.Base2.__init__(self, i)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050090 B1.__init__(self)
91
92 class B2(B1):
93 def v(self):
94 return 2
95
96 class B3(object):
97 def v(self):
98 return 3
99
100 class B4(B3, B2):
101 def v(self):
102 return 4
103
104 class MI7(B4, MI6):
105 def __init__(self, i):
106 B4.__init__(self)
107 MI6.__init__(self, i)
108
109 class MI8(MI6, B3):
110 def __init__(self, i):
111 MI6.__init__(self, i)
112 B3.__init__(self)
113
114 class MI8b(B3, MI6):
115 def __init__(self, i):
116 B3.__init__(self)
117 MI6.__init__(self, i)
118
119 mi1 = MI1(1, 2)
120 assert mi1.foo() == 1
121 assert mi1.bar() == 2
122
123 mi2 = MI2(3, 4)
124 assert mi2.v() == 1
125 assert mi2.foo() == 3
126 assert mi2.bar() == 4
127
128 mi3 = MI3(5, 6)
129 assert mi3.v() == 1
130 assert mi3.foo() == 5
131 assert mi3.bar() == 6
132
Jason Rhinelander464d9892017-06-12 21:52:48 -0400133 mi4 = MI4(7, 8)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500134 assert mi4.v() == 1
Jason Rhinelander464d9892017-06-12 21:52:48 -0400135 assert mi4.foo() == 7
136 assert mi4.bar() == 8
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500137
138 mi5 = MI5(10, 11)
139 assert mi5.v() == 1
140 assert mi5.foo() == 10
141 assert mi5.bar() == 11
142
143 mi6 = MI6(12)
144 assert mi6.v() == 1
145 assert mi6.bar() == 12
146
147 mi7 = MI7(13)
148 assert mi7.v() == 4
149 assert mi7.bar() == 13
150
151 mi8 = MI8(14)
152 assert mi8.v() == 1
153 assert mi8.bar() == 14
154
155 mi8b = MI8b(15)
156 assert mi8b.v() == 3
157 assert mi8b.bar() == 15
158
159
160def test_multiple_inheritance_python_many_bases():
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500161
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400162 class MIMany14(m.BaseN1, m.BaseN2, m.BaseN3, m.BaseN4):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500163 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400164 m.BaseN1.__init__(self, 1)
165 m.BaseN2.__init__(self, 2)
166 m.BaseN3.__init__(self, 3)
167 m.BaseN4.__init__(self, 4)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500168
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400169 class MIMany58(m.BaseN5, m.BaseN6, m.BaseN7, m.BaseN8):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500170 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400171 m.BaseN5.__init__(self, 5)
172 m.BaseN6.__init__(self, 6)
173 m.BaseN7.__init__(self, 7)
174 m.BaseN8.__init__(self, 8)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500175
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400176 class MIMany916(m.BaseN9, m.BaseN10, m.BaseN11, m.BaseN12, m.BaseN13, m.BaseN14, m.BaseN15,
177 m.BaseN16):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500178 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400179 m.BaseN9.__init__(self, 9)
180 m.BaseN10.__init__(self, 10)
181 m.BaseN11.__init__(self, 11)
182 m.BaseN12.__init__(self, 12)
183 m.BaseN13.__init__(self, 13)
184 m.BaseN14.__init__(self, 14)
185 m.BaseN15.__init__(self, 15)
186 m.BaseN16.__init__(self, 16)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500187
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400188 class MIMany19(MIMany14, MIMany58, m.BaseN9):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500189 def __init__(self):
190 MIMany14.__init__(self)
191 MIMany58.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400192 m.BaseN9.__init__(self, 9)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500193
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400194 class MIMany117(MIMany14, MIMany58, MIMany916, m.BaseN17):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500195 def __init__(self):
196 MIMany14.__init__(self)
197 MIMany58.__init__(self)
198 MIMany916.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400199 m.BaseN17.__init__(self, 17)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500200
201 # Inherits from 4 registered C++ classes: can fit in one pointer on any modern arch:
202 a = MIMany14()
203 for i in range(1, 4):
204 assert getattr(a, "f" + str(i))() == 2 * i
205
206 # Inherits from 8: requires 1/2 pointers worth of holder flags on 32/64-bit arch:
207 b = MIMany916()
208 for i in range(9, 16):
209 assert getattr(b, "f" + str(i))() == 2 * i
210
211 # Inherits from 9: requires >= 2 pointers worth of holder flags
212 c = MIMany19()
213 for i in range(1, 9):
214 assert getattr(c, "f" + str(i))() == 2 * i
215
216 # Inherits from 17: requires >= 3 pointers worth of holder flags
217 d = MIMany117()
218 for i in range(1, 17):
219 assert getattr(d, "f" + str(i))() == 2 * i
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100220
221
Dean Moldovanbad17402016-11-20 21:21:54 +0100222def test_multiple_inheritance_virtbase():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900223
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400224 class MITypePy(m.Base12a):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900225 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400226 m.Base12a.__init__(self, i, j)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900227
228 mt = MITypePy(3, 4)
229 assert mt.bar() == 4
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400230 assert m.bar_base2a(mt) == 4
231 assert m.bar_base2a_sharedptr(mt) == 4
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100232
233
234def test_mi_static_properties():
235 """Mixing bases with and without static properties should be possible
236 and the result should be independent of base definition order"""
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100237
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400238 for d in (m.VanillaStaticMix1(), m.VanillaStaticMix2()):
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100239 assert d.vanilla() == "Vanilla"
240 assert d.static_func1() == "WithStatic1"
241 assert d.static_func2() == "WithStatic2"
242 assert d.static_func() == d.__class__.__name__
243
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400244 m.WithStatic1.static_value1 = 1
245 m.WithStatic2.static_value2 = 2
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100246 assert d.static_value1 == 1
247 assert d.static_value2 == 2
248 assert d.static_value == 12
249
250 d.static_value1 = 0
251 assert d.static_value1 == 0
252 d.static_value2 = 0
253 assert d.static_value2 == 0
254 d.static_value = 0
255 assert d.static_value == 0
256
257
Isuru Fernando0d70f0e2020-07-07 08:58:16 -0500258@pytest.unsupported_on_pypy_lt_6
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100259def test_mi_dynamic_attributes():
260 """Mixing bases with and without dynamic attribute support"""
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100261
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400262 for d in (m.VanillaDictMix1(), m.VanillaDictMix2()):
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100263 d.dynamic = 1
264 assert d.dynamic == 1
Jason Rhinelander14e70652017-04-21 17:14:22 -0400265
266
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400267def test_mi_unaligned_base():
268 """Returning an offset (non-first MI) base class pointer should recognize the instance"""
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400269
270 n_inst = ConstructorStats.detail_reg_inst()
271
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400272 c = m.I801C()
273 d = m.I801D()
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400274 # + 4 below because we have the two instances, and each instance has offset base I801B2
275 assert ConstructorStats.detail_reg_inst() == n_inst + 4
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400276 b1c = m.i801b1_c(c)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400277 assert b1c is c
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400278 b2c = m.i801b2_c(c)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400279 assert b2c is c
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400280 b1d = m.i801b1_d(d)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400281 assert b1d is d
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400282 b2d = m.i801b2_d(d)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400283 assert b2d is d
284
285 assert ConstructorStats.detail_reg_inst() == n_inst + 4 # no extra instances
286 del c, b1c, b2c
287 assert ConstructorStats.detail_reg_inst() == n_inst + 2
288 del d, b1d, b2d
289 assert ConstructorStats.detail_reg_inst() == n_inst
290
291
Jason Rhinelander14e70652017-04-21 17:14:22 -0400292def test_mi_base_return():
293 """Tests returning an offset (non-first MI) base class pointer to a derived instance"""
Jason Rhinelander14e70652017-04-21 17:14:22 -0400294
295 n_inst = ConstructorStats.detail_reg_inst()
296
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400297 c1 = m.i801c_b1()
298 assert type(c1) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400299 assert c1.a == 1
300 assert c1.b == 2
301
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400302 d1 = m.i801d_b1()
303 assert type(d1) is m.I801D
Jason Rhinelander14e70652017-04-21 17:14:22 -0400304 assert d1.a == 1
305 assert d1.b == 2
306
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400307 assert ConstructorStats.detail_reg_inst() == n_inst + 4
Jason Rhinelander14e70652017-04-21 17:14:22 -0400308
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400309 c2 = m.i801c_b2()
310 assert type(c2) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400311 assert c2.a == 1
312 assert c2.b == 2
313
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400314 d2 = m.i801d_b2()
315 assert type(d2) is m.I801D
Jason Rhinelander14e70652017-04-21 17:14:22 -0400316 assert d2.a == 1
317 assert d2.b == 2
318
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400319 assert ConstructorStats.detail_reg_inst() == n_inst + 8
Jason Rhinelander14e70652017-04-21 17:14:22 -0400320
321 del c2
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400322 assert ConstructorStats.detail_reg_inst() == n_inst + 6
Jason Rhinelander14e70652017-04-21 17:14:22 -0400323 del c1, d1, d2
324 assert ConstructorStats.detail_reg_inst() == n_inst
325
326 # Returning an unregistered derived type with a registered base; we won't
327 # pick up the derived type, obviously, but should still work (as an object
328 # of whatever type was returned).
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400329 e1 = m.i801e_c()
330 assert type(e1) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400331 assert e1.a == 1
332 assert e1.b == 2
333
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400334 e2 = m.i801e_b2()
335 assert type(e2) is m.I801B2
Jason Rhinelander14e70652017-04-21 17:14:22 -0400336 assert e2.b == 2
Jason Rhinelander353615f2017-07-25 00:53:23 -0400337
338
339def test_diamond_inheritance():
340 """Tests that diamond inheritance works as expected (issue #959)"""
341
342 # Issue #959: this shouldn't segfault:
343 d = m.D()
344
345 # Make sure all the various distinct pointers are all recognized as registered instances:
346 assert d is d.c0()
347 assert d is d.c1()
348 assert d is d.b()
349 assert d is d.c0().b()
350 assert d is d.c1().b()
351 assert d is d.c0().c1().b().c0().b()