blob: bb602f84bb1c86806fc63bbc62e69c5571393b35 [file] [log] [blame]
Henry Schreinerd8c7ee02020-07-20 13:35:21 -04001# -*- coding: utf-8 -*-
Dean Moldovan08cbe8d2017-02-15 21:10:25 +01002import pytest
Jason Rhinelander14e70652017-04-21 17:14:22 -04003from pybind11_tests import ConstructorStats
Jason Rhinelander44a17e12017-07-25 00:05:15 -04004from pybind11_tests import multiple_inheritance as m
Dean Moldovan08cbe8d2017-02-15 21:10:25 +01005
6
Dean Moldovanbad17402016-11-20 21:21:54 +01007def test_multiple_inheritance_cpp():
Jason Rhinelander44a17e12017-07-25 00:05:15 -04008 mt = m.MIType(3, 4)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +09009
10 assert mt.foo() == 3
11 assert mt.bar() == 4
12
13
Isuru Fernando0d70f0e2020-07-07 08:58:16 -050014@pytest.bug_in_pypy
Dean Moldovanbad17402016-11-20 21:21:54 +010015def test_multiple_inheritance_mix1():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090016 class Base1:
17 def __init__(self, i):
18 self.i = i
19
20 def foo(self):
21 return self.i
22
Jason Rhinelander44a17e12017-07-25 00:05:15 -040023 class MITypePy(Base1, m.Base2):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090024 def __init__(self, i, j):
25 Base1.__init__(self, i)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040026 m.Base2.__init__(self, j)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090027
28 mt = MITypePy(3, 4)
29
30 assert mt.foo() == 3
31 assert mt.bar() == 4
32
33
Dean Moldovanbad17402016-11-20 21:21:54 +010034def test_multiple_inheritance_mix2():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090035
36 class Base2:
37 def __init__(self, i):
38 self.i = i
39
40 def bar(self):
41 return self.i
42
Jason Rhinelander44a17e12017-07-25 00:05:15 -040043 class MITypePy(m.Base1, Base2):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090044 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040045 m.Base1.__init__(self, i)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090046 Base2.__init__(self, j)
47
48 mt = MITypePy(3, 4)
49
50 assert mt.foo() == 3
51 assert mt.bar() == 4
52
53
Isuru Fernando0d70f0e2020-07-07 08:58:16 -050054@pytest.bug_in_pypy
Jason Rhinelandere45c2112017-02-22 21:36:09 -050055def test_multiple_inheritance_python():
Dean Moldovan08cbe8d2017-02-15 21:10:25 +010056
Jason Rhinelander44a17e12017-07-25 00:05:15 -040057 class MI1(m.Base1, m.Base2):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050058 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040059 m.Base1.__init__(self, i)
60 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050061
62 class B1(object):
63 def v(self):
64 return 1
65
Jason Rhinelander44a17e12017-07-25 00:05:15 -040066 class MI2(B1, m.Base1, m.Base2):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050067 def __init__(self, i, j):
68 B1.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040069 m.Base1.__init__(self, i)
70 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050071
72 class MI3(MI2):
73 def __init__(self, i, j):
74 MI2.__init__(self, i, j)
75
Jason Rhinelander44a17e12017-07-25 00:05:15 -040076 class MI4(MI3, m.Base2):
Jason Rhinelander464d9892017-06-12 21:52:48 -040077 def __init__(self, i, j):
78 MI3.__init__(self, i, j)
Jason Rhinelanderc4e18002017-08-17 00:01:42 -040079 # This should be ignored (Base2 is already initialized via MI2):
80 m.Base2.__init__(self, i + 100)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050081
Jason Rhinelander44a17e12017-07-25 00:05:15 -040082 class MI5(m.Base2, B1, m.Base1):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050083 def __init__(self, i, j):
84 B1.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040085 m.Base1.__init__(self, i)
86 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050087
Jason Rhinelander44a17e12017-07-25 00:05:15 -040088 class MI6(m.Base2, B1):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050089 def __init__(self, i):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040090 m.Base2.__init__(self, i)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050091 B1.__init__(self)
92
93 class B2(B1):
94 def v(self):
95 return 2
96
97 class B3(object):
98 def v(self):
99 return 3
100
101 class B4(B3, B2):
102 def v(self):
103 return 4
104
105 class MI7(B4, MI6):
106 def __init__(self, i):
107 B4.__init__(self)
108 MI6.__init__(self, i)
109
110 class MI8(MI6, B3):
111 def __init__(self, i):
112 MI6.__init__(self, i)
113 B3.__init__(self)
114
115 class MI8b(B3, MI6):
116 def __init__(self, i):
117 B3.__init__(self)
118 MI6.__init__(self, i)
119
120 mi1 = MI1(1, 2)
121 assert mi1.foo() == 1
122 assert mi1.bar() == 2
123
124 mi2 = MI2(3, 4)
125 assert mi2.v() == 1
126 assert mi2.foo() == 3
127 assert mi2.bar() == 4
128
129 mi3 = MI3(5, 6)
130 assert mi3.v() == 1
131 assert mi3.foo() == 5
132 assert mi3.bar() == 6
133
Jason Rhinelander464d9892017-06-12 21:52:48 -0400134 mi4 = MI4(7, 8)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500135 assert mi4.v() == 1
Jason Rhinelander464d9892017-06-12 21:52:48 -0400136 assert mi4.foo() == 7
137 assert mi4.bar() == 8
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500138
139 mi5 = MI5(10, 11)
140 assert mi5.v() == 1
141 assert mi5.foo() == 10
142 assert mi5.bar() == 11
143
144 mi6 = MI6(12)
145 assert mi6.v() == 1
146 assert mi6.bar() == 12
147
148 mi7 = MI7(13)
149 assert mi7.v() == 4
150 assert mi7.bar() == 13
151
152 mi8 = MI8(14)
153 assert mi8.v() == 1
154 assert mi8.bar() == 14
155
156 mi8b = MI8b(15)
157 assert mi8b.v() == 3
158 assert mi8b.bar() == 15
159
160
161def test_multiple_inheritance_python_many_bases():
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500162
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400163 class MIMany14(m.BaseN1, m.BaseN2, m.BaseN3, m.BaseN4):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500164 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400165 m.BaseN1.__init__(self, 1)
166 m.BaseN2.__init__(self, 2)
167 m.BaseN3.__init__(self, 3)
168 m.BaseN4.__init__(self, 4)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500169
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400170 class MIMany58(m.BaseN5, m.BaseN6, m.BaseN7, m.BaseN8):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500171 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400172 m.BaseN5.__init__(self, 5)
173 m.BaseN6.__init__(self, 6)
174 m.BaseN7.__init__(self, 7)
175 m.BaseN8.__init__(self, 8)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500176
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400177 class MIMany916(m.BaseN9, m.BaseN10, m.BaseN11, m.BaseN12, m.BaseN13, m.BaseN14, m.BaseN15,
178 m.BaseN16):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500179 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400180 m.BaseN9.__init__(self, 9)
181 m.BaseN10.__init__(self, 10)
182 m.BaseN11.__init__(self, 11)
183 m.BaseN12.__init__(self, 12)
184 m.BaseN13.__init__(self, 13)
185 m.BaseN14.__init__(self, 14)
186 m.BaseN15.__init__(self, 15)
187 m.BaseN16.__init__(self, 16)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500188
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400189 class MIMany19(MIMany14, MIMany58, m.BaseN9):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500190 def __init__(self):
191 MIMany14.__init__(self)
192 MIMany58.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400193 m.BaseN9.__init__(self, 9)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500194
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400195 class MIMany117(MIMany14, MIMany58, MIMany916, m.BaseN17):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500196 def __init__(self):
197 MIMany14.__init__(self)
198 MIMany58.__init__(self)
199 MIMany916.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400200 m.BaseN17.__init__(self, 17)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500201
202 # Inherits from 4 registered C++ classes: can fit in one pointer on any modern arch:
203 a = MIMany14()
204 for i in range(1, 4):
205 assert getattr(a, "f" + str(i))() == 2 * i
206
207 # Inherits from 8: requires 1/2 pointers worth of holder flags on 32/64-bit arch:
208 b = MIMany916()
209 for i in range(9, 16):
210 assert getattr(b, "f" + str(i))() == 2 * i
211
212 # Inherits from 9: requires >= 2 pointers worth of holder flags
213 c = MIMany19()
214 for i in range(1, 9):
215 assert getattr(c, "f" + str(i))() == 2 * i
216
217 # Inherits from 17: requires >= 3 pointers worth of holder flags
218 d = MIMany117()
219 for i in range(1, 17):
220 assert getattr(d, "f" + str(i))() == 2 * i
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100221
222
Dean Moldovanbad17402016-11-20 21:21:54 +0100223def test_multiple_inheritance_virtbase():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900224
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400225 class MITypePy(m.Base12a):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900226 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400227 m.Base12a.__init__(self, i, j)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900228
229 mt = MITypePy(3, 4)
230 assert mt.bar() == 4
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400231 assert m.bar_base2a(mt) == 4
232 assert m.bar_base2a_sharedptr(mt) == 4
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100233
234
235def test_mi_static_properties():
236 """Mixing bases with and without static properties should be possible
237 and the result should be independent of base definition order"""
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100238
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400239 for d in (m.VanillaStaticMix1(), m.VanillaStaticMix2()):
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100240 assert d.vanilla() == "Vanilla"
241 assert d.static_func1() == "WithStatic1"
242 assert d.static_func2() == "WithStatic2"
243 assert d.static_func() == d.__class__.__name__
244
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400245 m.WithStatic1.static_value1 = 1
246 m.WithStatic2.static_value2 = 2
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100247 assert d.static_value1 == 1
248 assert d.static_value2 == 2
249 assert d.static_value == 12
250
251 d.static_value1 = 0
252 assert d.static_value1 == 0
253 d.static_value2 = 0
254 assert d.static_value2 == 0
255 d.static_value = 0
256 assert d.static_value == 0
257
258
Isuru Fernando0d70f0e2020-07-07 08:58:16 -0500259@pytest.unsupported_on_pypy_lt_6
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100260def test_mi_dynamic_attributes():
261 """Mixing bases with and without dynamic attribute support"""
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100262
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400263 for d in (m.VanillaDictMix1(), m.VanillaDictMix2()):
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100264 d.dynamic = 1
265 assert d.dynamic == 1
Jason Rhinelander14e70652017-04-21 17:14:22 -0400266
267
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400268def test_mi_unaligned_base():
269 """Returning an offset (non-first MI) base class pointer should recognize the instance"""
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400270
271 n_inst = ConstructorStats.detail_reg_inst()
272
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400273 c = m.I801C()
274 d = m.I801D()
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400275 # + 4 below because we have the two instances, and each instance has offset base I801B2
276 assert ConstructorStats.detail_reg_inst() == n_inst + 4
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400277 b1c = m.i801b1_c(c)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400278 assert b1c is c
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400279 b2c = m.i801b2_c(c)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400280 assert b2c is c
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400281 b1d = m.i801b1_d(d)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400282 assert b1d is d
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400283 b2d = m.i801b2_d(d)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400284 assert b2d is d
285
286 assert ConstructorStats.detail_reg_inst() == n_inst + 4 # no extra instances
287 del c, b1c, b2c
288 assert ConstructorStats.detail_reg_inst() == n_inst + 2
289 del d, b1d, b2d
290 assert ConstructorStats.detail_reg_inst() == n_inst
291
292
Jason Rhinelander14e70652017-04-21 17:14:22 -0400293def test_mi_base_return():
294 """Tests returning an offset (non-first MI) base class pointer to a derived instance"""
Jason Rhinelander14e70652017-04-21 17:14:22 -0400295
296 n_inst = ConstructorStats.detail_reg_inst()
297
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400298 c1 = m.i801c_b1()
299 assert type(c1) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400300 assert c1.a == 1
301 assert c1.b == 2
302
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400303 d1 = m.i801d_b1()
304 assert type(d1) is m.I801D
Jason Rhinelander14e70652017-04-21 17:14:22 -0400305 assert d1.a == 1
306 assert d1.b == 2
307
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400308 assert ConstructorStats.detail_reg_inst() == n_inst + 4
Jason Rhinelander14e70652017-04-21 17:14:22 -0400309
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400310 c2 = m.i801c_b2()
311 assert type(c2) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400312 assert c2.a == 1
313 assert c2.b == 2
314
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400315 d2 = m.i801d_b2()
316 assert type(d2) is m.I801D
Jason Rhinelander14e70652017-04-21 17:14:22 -0400317 assert d2.a == 1
318 assert d2.b == 2
319
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400320 assert ConstructorStats.detail_reg_inst() == n_inst + 8
Jason Rhinelander14e70652017-04-21 17:14:22 -0400321
322 del c2
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400323 assert ConstructorStats.detail_reg_inst() == n_inst + 6
Jason Rhinelander14e70652017-04-21 17:14:22 -0400324 del c1, d1, d2
325 assert ConstructorStats.detail_reg_inst() == n_inst
326
327 # Returning an unregistered derived type with a registered base; we won't
328 # pick up the derived type, obviously, but should still work (as an object
329 # of whatever type was returned).
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400330 e1 = m.i801e_c()
331 assert type(e1) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400332 assert e1.a == 1
333 assert e1.b == 2
334
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400335 e2 = m.i801e_b2()
336 assert type(e2) is m.I801B2
Jason Rhinelander14e70652017-04-21 17:14:22 -0400337 assert e2.b == 2
Jason Rhinelander353615f2017-07-25 00:53:23 -0400338
339
340def test_diamond_inheritance():
341 """Tests that diamond inheritance works as expected (issue #959)"""
342
343 # Issue #959: this shouldn't segfault:
344 d = m.D()
345
346 # Make sure all the various distinct pointers are all recognized as registered instances:
347 assert d is d.c0()
348 assert d is d.c1()
349 assert d is d.b()
350 assert d is d.c0().b()
351 assert d is d.c1().b()
352 assert d is d.c0().c1().b().c0().b()