blob: 475dd3b3d8a96ecfdd46201f237d791ca81a979e [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
Dean Moldovanbad17402016-11-20 21:21:54 +010013def test_multiple_inheritance_mix1():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090014 class Base1:
15 def __init__(self, i):
16 self.i = i
17
18 def foo(self):
19 return self.i
20
Jason Rhinelander44a17e12017-07-25 00:05:15 -040021 class MITypePy(Base1, m.Base2):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090022 def __init__(self, i, j):
23 Base1.__init__(self, i)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040024 m.Base2.__init__(self, j)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090025
26 mt = MITypePy(3, 4)
27
28 assert mt.foo() == 3
29 assert mt.bar() == 4
30
31
Dean Moldovanbad17402016-11-20 21:21:54 +010032def test_multiple_inheritance_mix2():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090033
34 class Base2:
35 def __init__(self, i):
36 self.i = i
37
38 def bar(self):
39 return self.i
40
Jason Rhinelander44a17e12017-07-25 00:05:15 -040041 class MITypePy(m.Base1, Base2):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090042 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040043 m.Base1.__init__(self, i)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +090044 Base2.__init__(self, j)
45
46 mt = MITypePy(3, 4)
47
48 assert mt.foo() == 3
49 assert mt.bar() == 4
50
51
Jason Rhinelandere45c2112017-02-22 21:36:09 -050052def test_multiple_inheritance_python():
Dean Moldovan08cbe8d2017-02-15 21:10:25 +010053
Jason Rhinelander44a17e12017-07-25 00:05:15 -040054 class MI1(m.Base1, m.Base2):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050055 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040056 m.Base1.__init__(self, i)
57 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050058
59 class B1(object):
60 def v(self):
61 return 1
62
Jason Rhinelander44a17e12017-07-25 00:05:15 -040063 class MI2(B1, m.Base1, m.Base2):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050064 def __init__(self, i, j):
65 B1.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040066 m.Base1.__init__(self, i)
67 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050068
69 class MI3(MI2):
70 def __init__(self, i, j):
71 MI2.__init__(self, i, j)
72
Jason Rhinelander44a17e12017-07-25 00:05:15 -040073 class MI4(MI3, m.Base2):
Jason Rhinelander464d9892017-06-12 21:52:48 -040074 def __init__(self, i, j):
75 MI3.__init__(self, i, j)
Jason Rhinelanderc4e18002017-08-17 00:01:42 -040076 # This should be ignored (Base2 is already initialized via MI2):
77 m.Base2.__init__(self, i + 100)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050078
Jason Rhinelander44a17e12017-07-25 00:05:15 -040079 class MI5(m.Base2, B1, m.Base1):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050080 def __init__(self, i, j):
81 B1.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -040082 m.Base1.__init__(self, i)
83 m.Base2.__init__(self, j)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050084
Jason Rhinelander44a17e12017-07-25 00:05:15 -040085 class MI6(m.Base2, B1):
Jason Rhinelandere45c2112017-02-22 21:36:09 -050086 def __init__(self, i):
Jason Rhinelander44a17e12017-07-25 00:05:15 -040087 m.Base2.__init__(self, i)
Jason Rhinelandere45c2112017-02-22 21:36:09 -050088 B1.__init__(self)
89
90 class B2(B1):
91 def v(self):
92 return 2
93
94 class B3(object):
95 def v(self):
96 return 3
97
98 class B4(B3, B2):
99 def v(self):
100 return 4
101
102 class MI7(B4, MI6):
103 def __init__(self, i):
104 B4.__init__(self)
105 MI6.__init__(self, i)
106
107 class MI8(MI6, B3):
108 def __init__(self, i):
109 MI6.__init__(self, i)
110 B3.__init__(self)
111
112 class MI8b(B3, MI6):
113 def __init__(self, i):
114 B3.__init__(self)
115 MI6.__init__(self, i)
116
117 mi1 = MI1(1, 2)
118 assert mi1.foo() == 1
119 assert mi1.bar() == 2
120
121 mi2 = MI2(3, 4)
122 assert mi2.v() == 1
123 assert mi2.foo() == 3
124 assert mi2.bar() == 4
125
126 mi3 = MI3(5, 6)
127 assert mi3.v() == 1
128 assert mi3.foo() == 5
129 assert mi3.bar() == 6
130
Jason Rhinelander464d9892017-06-12 21:52:48 -0400131 mi4 = MI4(7, 8)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500132 assert mi4.v() == 1
Jason Rhinelander464d9892017-06-12 21:52:48 -0400133 assert mi4.foo() == 7
134 assert mi4.bar() == 8
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500135
136 mi5 = MI5(10, 11)
137 assert mi5.v() == 1
138 assert mi5.foo() == 10
139 assert mi5.bar() == 11
140
141 mi6 = MI6(12)
142 assert mi6.v() == 1
143 assert mi6.bar() == 12
144
145 mi7 = MI7(13)
146 assert mi7.v() == 4
147 assert mi7.bar() == 13
148
149 mi8 = MI8(14)
150 assert mi8.v() == 1
151 assert mi8.bar() == 14
152
153 mi8b = MI8b(15)
154 assert mi8b.v() == 3
155 assert mi8b.bar() == 15
156
157
158def test_multiple_inheritance_python_many_bases():
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500159
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400160 class MIMany14(m.BaseN1, m.BaseN2, m.BaseN3, m.BaseN4):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500161 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400162 m.BaseN1.__init__(self, 1)
163 m.BaseN2.__init__(self, 2)
164 m.BaseN3.__init__(self, 3)
165 m.BaseN4.__init__(self, 4)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500166
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400167 class MIMany58(m.BaseN5, m.BaseN6, m.BaseN7, m.BaseN8):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500168 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400169 m.BaseN5.__init__(self, 5)
170 m.BaseN6.__init__(self, 6)
171 m.BaseN7.__init__(self, 7)
172 m.BaseN8.__init__(self, 8)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500173
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400174 class MIMany916(m.BaseN9, m.BaseN10, m.BaseN11, m.BaseN12, m.BaseN13, m.BaseN14, m.BaseN15,
175 m.BaseN16):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500176 def __init__(self):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400177 m.BaseN9.__init__(self, 9)
178 m.BaseN10.__init__(self, 10)
179 m.BaseN11.__init__(self, 11)
180 m.BaseN12.__init__(self, 12)
181 m.BaseN13.__init__(self, 13)
182 m.BaseN14.__init__(self, 14)
183 m.BaseN15.__init__(self, 15)
184 m.BaseN16.__init__(self, 16)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500185
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400186 class MIMany19(MIMany14, MIMany58, m.BaseN9):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500187 def __init__(self):
188 MIMany14.__init__(self)
189 MIMany58.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400190 m.BaseN9.__init__(self, 9)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500191
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400192 class MIMany117(MIMany14, MIMany58, MIMany916, m.BaseN17):
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500193 def __init__(self):
194 MIMany14.__init__(self)
195 MIMany58.__init__(self)
196 MIMany916.__init__(self)
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400197 m.BaseN17.__init__(self, 17)
Jason Rhinelandere45c2112017-02-22 21:36:09 -0500198
199 # Inherits from 4 registered C++ classes: can fit in one pointer on any modern arch:
200 a = MIMany14()
201 for i in range(1, 4):
202 assert getattr(a, "f" + str(i))() == 2 * i
203
204 # Inherits from 8: requires 1/2 pointers worth of holder flags on 32/64-bit arch:
205 b = MIMany916()
206 for i in range(9, 16):
207 assert getattr(b, "f" + str(i))() == 2 * i
208
209 # Inherits from 9: requires >= 2 pointers worth of holder flags
210 c = MIMany19()
211 for i in range(1, 9):
212 assert getattr(c, "f" + str(i))() == 2 * i
213
214 # Inherits from 17: requires >= 3 pointers worth of holder flags
215 d = MIMany117()
216 for i in range(1, 17):
217 assert getattr(d, "f" + str(i))() == 2 * i
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100218
219
Dean Moldovanbad17402016-11-20 21:21:54 +0100220def test_multiple_inheritance_virtbase():
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900221
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400222 class MITypePy(m.Base12a):
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900223 def __init__(self, i, j):
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400224 m.Base12a.__init__(self, i, j)
Wenzel Jakob8e5dceb2016-09-11 20:00:40 +0900225
226 mt = MITypePy(3, 4)
227 assert mt.bar() == 4
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400228 assert m.bar_base2a(mt) == 4
229 assert m.bar_base2a_sharedptr(mt) == 4
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100230
231
232def test_mi_static_properties():
233 """Mixing bases with and without static properties should be possible
234 and the result should be independent of base definition order"""
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100235
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400236 for d in (m.VanillaStaticMix1(), m.VanillaStaticMix2()):
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100237 assert d.vanilla() == "Vanilla"
238 assert d.static_func1() == "WithStatic1"
239 assert d.static_func2() == "WithStatic2"
240 assert d.static_func() == d.__class__.__name__
241
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400242 m.WithStatic1.static_value1 = 1
243 m.WithStatic2.static_value2 = 2
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100244 assert d.static_value1 == 1
245 assert d.static_value2 == 2
246 assert d.static_value == 12
247
248 d.static_value1 = 0
249 assert d.static_value1 == 0
250 d.static_value2 = 0
251 assert d.static_value2 == 0
252 d.static_value = 0
253 assert d.static_value == 0
254
255
256@pytest.unsupported_on_pypy
257def test_mi_dynamic_attributes():
258 """Mixing bases with and without dynamic attribute support"""
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100259
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400260 for d in (m.VanillaDictMix1(), m.VanillaDictMix2()):
Dean Moldovan08cbe8d2017-02-15 21:10:25 +0100261 d.dynamic = 1
262 assert d.dynamic == 1
Jason Rhinelander14e70652017-04-21 17:14:22 -0400263
264
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400265def test_mi_unaligned_base():
266 """Returning an offset (non-first MI) base class pointer should recognize the instance"""
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400267
268 n_inst = ConstructorStats.detail_reg_inst()
269
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400270 c = m.I801C()
271 d = m.I801D()
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400272 # + 4 below because we have the two instances, and each instance has offset base I801B2
273 assert ConstructorStats.detail_reg_inst() == n_inst + 4
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400274 b1c = m.i801b1_c(c)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400275 assert b1c is c
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400276 b2c = m.i801b2_c(c)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400277 assert b2c is c
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400278 b1d = m.i801b1_d(d)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400279 assert b1d is d
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400280 b2d = m.i801b2_d(d)
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400281 assert b2d is d
282
283 assert ConstructorStats.detail_reg_inst() == n_inst + 4 # no extra instances
284 del c, b1c, b2c
285 assert ConstructorStats.detail_reg_inst() == n_inst + 2
286 del d, b1d, b2d
287 assert ConstructorStats.detail_reg_inst() == n_inst
288
289
Jason Rhinelander14e70652017-04-21 17:14:22 -0400290def test_mi_base_return():
291 """Tests returning an offset (non-first MI) base class pointer to a derived instance"""
Jason Rhinelander14e70652017-04-21 17:14:22 -0400292
293 n_inst = ConstructorStats.detail_reg_inst()
294
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400295 c1 = m.i801c_b1()
296 assert type(c1) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400297 assert c1.a == 1
298 assert c1.b == 2
299
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400300 d1 = m.i801d_b1()
301 assert type(d1) is m.I801D
Jason Rhinelander14e70652017-04-21 17:14:22 -0400302 assert d1.a == 1
303 assert d1.b == 2
304
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400305 assert ConstructorStats.detail_reg_inst() == n_inst + 4
Jason Rhinelander14e70652017-04-21 17:14:22 -0400306
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400307 c2 = m.i801c_b2()
308 assert type(c2) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400309 assert c2.a == 1
310 assert c2.b == 2
311
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400312 d2 = m.i801d_b2()
313 assert type(d2) is m.I801D
Jason Rhinelander14e70652017-04-21 17:14:22 -0400314 assert d2.a == 1
315 assert d2.b == 2
316
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400317 assert ConstructorStats.detail_reg_inst() == n_inst + 8
Jason Rhinelander14e70652017-04-21 17:14:22 -0400318
319 del c2
Jason Rhinelander1f8a1002017-04-21 19:01:30 -0400320 assert ConstructorStats.detail_reg_inst() == n_inst + 6
Jason Rhinelander14e70652017-04-21 17:14:22 -0400321 del c1, d1, d2
322 assert ConstructorStats.detail_reg_inst() == n_inst
323
324 # Returning an unregistered derived type with a registered base; we won't
325 # pick up the derived type, obviously, but should still work (as an object
326 # of whatever type was returned).
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400327 e1 = m.i801e_c()
328 assert type(e1) is m.I801C
Jason Rhinelander14e70652017-04-21 17:14:22 -0400329 assert e1.a == 1
330 assert e1.b == 2
331
Jason Rhinelander44a17e12017-07-25 00:05:15 -0400332 e2 = m.i801e_b2()
333 assert type(e2) is m.I801B2
Jason Rhinelander14e70652017-04-21 17:14:22 -0400334 assert e2.b == 2
Jason Rhinelander353615f2017-07-25 00:53:23 -0400335
336
337def test_diamond_inheritance():
338 """Tests that diamond inheritance works as expected (issue #959)"""
339
340 # Issue #959: this shouldn't segfault:
341 d = m.D()
342
343 # Make sure all the various distinct pointers are all recognized as registered instances:
344 assert d is d.c0()
345 assert d is d.c1()
346 assert d is d.b()
347 assert d is d.c0().b()
348 assert d is d.c1().b()
349 assert d is d.c0().c1().b().c0().b()