test_multiple_inheritance.cpp 12 KB
Newer Older
Wenzel Jakob's avatar
Wenzel Jakob committed
1
2
3
4
5
6
7
8
9
10
/*
    tests/test_multiple_inheritance.cpp -- multiple inheritance,
    implicit MI casts

    Copyright (c) 2016 Wenzel Jakob <wenzel.jakob@epfl.ch>

    All rights reserved. Use of this source code is governed by a
    BSD-style license that can be found in the LICENSE file.
*/

11
#include "constructor_stats.h"
12
#include "pybind11_tests.h"
Wenzel Jakob's avatar
Wenzel Jakob committed
13

14
15
namespace {

16
17
// Many bases for testing that multiple inheritance from many classes (i.e. requiring extra
// space for holder constructed flags) works.
18
19
template <int N>
struct BaseN {
20
    explicit BaseN(int i) : i(i) {}
21
22
23
    int i;
};

24
25
26
// test_mi_static_properties
struct Vanilla {
    std::string vanilla() { return "Vanilla"; };
Wenzel Jakob's avatar
Wenzel Jakob committed
27
};
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
struct WithStatic1 {
    static std::string static_func1() { return "WithStatic1"; };
    static int static_value1;
};
struct WithStatic2 {
    static std::string static_func2() { return "WithStatic2"; };
    static int static_value2;
};
struct VanillaStaticMix1 : Vanilla, WithStatic1, WithStatic2 {
    static std::string static_func() { return "VanillaStaticMix1"; }
    static int static_value;
};
struct VanillaStaticMix2 : WithStatic1, Vanilla, WithStatic2 {
    static std::string static_func() { return "VanillaStaticMix2"; }
    static int static_value;
Wenzel Jakob's avatar
Wenzel Jakob committed
43
};
44
45
46
47
48
int WithStatic1::static_value1 = 1;
int WithStatic2::static_value2 = 2;
int VanillaStaticMix1::static_value = 12;
int VanillaStaticMix2::static_value = 12;

49
50
// test_multiple_inheritance_virtbase
struct Base1a {
51
    explicit Base1a(int i) : i(i) {}
52
    int foo() const { return i; }
53
54
55
    int i;
};
struct Base2a {
56
    explicit Base2a(int i) : i(i) {}
57
    int bar() const { return i; }
58
59
60
    int i;
};
struct Base12a : Base1a, Base2a {
61
    Base12a(int i, int j) : Base1a(i), Base2a(j) {}
62
63
64
65
};

// test_mi_unaligned_base
// test_mi_base_return
66
67
68
69
70
71
72
73
74
75
76
77
struct I801B1 {
    int a = 1;
    I801B1() = default;
    I801B1(const I801B1 &) = default;
    virtual ~I801B1() = default;
};
struct I801B2 {
    int b = 2;
    I801B2() = default;
    I801B2(const I801B2 &) = default;
    virtual ~I801B2() = default;
};
78
79
80
81
82
struct I801C : I801B1, I801B2 {};
struct I801D : I801C {}; // Indirect MI

} // namespace

83
TEST_SUBMODULE(multiple_inheritance, m) {
84
85
86
    // Please do not interleave `struct` and `class` definitions with bindings code,
    // but implement `struct`s and `class`es in the anonymous namespace above.
    // This helps keeping the smart_holder branch in sync with master.
Wenzel Jakob's avatar
Wenzel Jakob committed
87

88
89
90
    // test_multiple_inheritance_mix1
    // test_multiple_inheritance_mix2
    struct Base1 {
91
        explicit Base1(int i) : i(i) {}
92
        int foo() const { return i; }
93
94
        int i;
    };
95
    py::class_<Base1> b1(m, "Base1");
96
    b1.def(py::init<int>()).def("foo", &Base1::foo);
Wenzel Jakob's avatar
Wenzel Jakob committed
97

98
    struct Base2 {
99
        explicit Base2(int i) : i(i) {}
100
        int bar() const { return i; }
101
102
        int i;
    };
103
    py::class_<Base2> b2(m, "Base2");
104
    b2.def(py::init<int>()).def("bar", &Base2::bar);
Wenzel Jakob's avatar
Wenzel Jakob committed
105

106
107
    // test_multiple_inheritance_cpp
    struct Base12 : Base1, Base2 {
108
        Base12(int i, int j) : Base1(i), Base2(j) {}
109
110
    };
    struct MIType : Base12 {
111
        MIType(int i, int j) : Base12(i, j) {}
112
113
    };
    py::class_<Base12, Base1, Base2>(m, "Base12");
114
    py::class_<MIType, Base12>(m, "MIType").def(py::init<int, int>());
115
116

    // test_multiple_inheritance_python_many_bases
117
118
119
120
#define PYBIND11_BASEN(N)                                                                         \
    py::class_<BaseN<(N)>>(m, "BaseN" #N).def(py::init<int>()).def("f" #N, [](BaseN<N> &b) {      \
        return b.i + (N);                                                                         \
    })
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
    PYBIND11_BASEN(1);
    PYBIND11_BASEN(2);
    PYBIND11_BASEN(3);
    PYBIND11_BASEN(4);
    PYBIND11_BASEN(5);
    PYBIND11_BASEN(6);
    PYBIND11_BASEN(7);
    PYBIND11_BASEN(8);
    PYBIND11_BASEN(9);
    PYBIND11_BASEN(10);
    PYBIND11_BASEN(11);
    PYBIND11_BASEN(12);
    PYBIND11_BASEN(13);
    PYBIND11_BASEN(14);
    PYBIND11_BASEN(15);
    PYBIND11_BASEN(16);
137
138
    PYBIND11_BASEN(17);

139
    // Uncommenting this should result in a compile time failure (MI can only be specified via
140
141
142
143
144
145
146
    // template parameters because pybind has to know the types involved; see discussion in #742
    // for details).
    //    struct Base12v2 : Base1, Base2 {
    //        Base12v2(int i, int j) : Base1(i), Base2(j) { }
    //    };
    //    py::class_<Base12v2>(m, "Base12v2", b1, b2)
    //        .def(py::init<int, int>());
Wenzel Jakob's avatar
Wenzel Jakob committed
147

148
149
150
    // test_multiple_inheritance_virtbase
    // Test the case where not all base classes are specified, and where pybind11 requires the
    // py::multiple_inheritance flag to perform proper casting between types.
Wenzel Jakob's avatar
Wenzel Jakob committed
151
152
153
154
155
156
157
158
    py::class_<Base1a, std::shared_ptr<Base1a>>(m, "Base1a")
        .def(py::init<int>())
        .def("foo", &Base1a::foo);

    py::class_<Base2a, std::shared_ptr<Base2a>>(m, "Base2a")
        .def(py::init<int>())
        .def("bar", &Base2a::bar);

159
160
    py::class_<Base12a, /* Base1 missing */ Base2a, std::shared_ptr<Base12a>>(
        m, "Base12a", py::multiple_inheritance())
Wenzel Jakob's avatar
Wenzel Jakob committed
161
162
163
        .def(py::init<int, int>());

    m.def("bar_base2a", [](Base2a *b) { return b->bar(); });
164
    m.def("bar_base2a_sharedptr", [](const std::shared_ptr<Base2a> &b) { return b->bar(); });
165
166
167
168
169

    // test_mi_unaligned_base
    // test_mi_base_return
    // Issue #801: invalid casting to derived type with MI bases
    // Unregistered classes:
170
171
172
173
    struct I801B3 {
        int c = 3;
        virtual ~I801B3() = default;
    };
174
175
    struct I801E : I801B3, I801D {};

176
177
178
179
180
181
    py::class_<I801B1, std::shared_ptr<I801B1>>(m, "I801B1")
        .def(py::init<>())
        .def_readonly("a", &I801B1::a);
    py::class_<I801B2, std::shared_ptr<I801B2>>(m, "I801B2")
        .def(py::init<>())
        .def_readonly("b", &I801B2::b);
182
183
184
    py::class_<I801C, I801B1, I801B2, std::shared_ptr<I801C>>(m, "I801C").def(py::init<>());
    py::class_<I801D, I801C, std::shared_ptr<I801D>>(m, "I801D").def(py::init<>());

185
186
187
188
189
190
191
192
193
194
    // Two separate issues here: first, we want to recognize a pointer to a base type as being a
    // known instance even when the pointer value is unequal (i.e. due to a non-first
    // multiple-inheritance base class):
    m.def("i801b1_c", [](I801C *c) { return static_cast<I801B1 *>(c); });
    m.def("i801b2_c", [](I801C *c) { return static_cast<I801B2 *>(c); });
    m.def("i801b1_d", [](I801D *d) { return static_cast<I801B1 *>(d); });
    m.def("i801b2_d", [](I801D *d) { return static_cast<I801B2 *>(d); });

    // Second, when returned a base class pointer to a derived instance, we cannot assume that the
    // pointer is `reinterpret_cast`able to the derived pointer because, like above, the base class
195
196
197
198
199
200
201
202
203
204
    // pointer could be offset.
    m.def("i801c_b1", []() -> I801B1 * { return new I801C(); });
    m.def("i801c_b2", []() -> I801B2 * { return new I801C(); });
    m.def("i801d_b1", []() -> I801B1 * { return new I801D(); });
    m.def("i801d_b2", []() -> I801B2 * { return new I801D(); });

    // Return a base class pointer to a pybind-registered type when the actual derived type
    // isn't pybind-registered (and uses multiple-inheritance to offset the pybind base)
    m.def("i801e_c", []() -> I801C * { return new I801E(); });
    m.def("i801e_b2", []() -> I801B2 * { return new I801E(); });
205

206
    // test_mi_static_properties
207
    py::class_<Vanilla>(m, "Vanilla").def(py::init<>()).def("vanilla", &Vanilla::vanilla);
208

209
    py::class_<WithStatic1>(m, "WithStatic1")
210
211
212
213
        .def(py::init<>())
        .def_static("static_func1", &WithStatic1::static_func1)
        .def_readwrite_static("static_value1", &WithStatic1::static_value1);

214
    py::class_<WithStatic2>(m, "WithStatic2")
215
216
217
218
        .def(py::init<>())
        .def_static("static_func2", &WithStatic2::static_func2)
        .def_readwrite_static("static_value2", &WithStatic2::static_value2);

219
    py::class_<VanillaStaticMix1, Vanilla, WithStatic1, WithStatic2>(m, "VanillaStaticMix1")
220
221
222
223
        .def(py::init<>())
        .def_static("static_func", &VanillaStaticMix1::static_func)
        .def_readwrite_static("static_value", &VanillaStaticMix1::static_value);

224
    py::class_<VanillaStaticMix2, WithStatic1, Vanilla, WithStatic2>(m, "VanillaStaticMix2")
225
226
227
228
        .def(py::init<>())
        .def_static("static_func", &VanillaStaticMix2::static_func)
        .def_readwrite_static("static_value", &VanillaStaticMix2::static_value);

229
230
231
    struct WithDict {};
    struct VanillaDictMix1 : Vanilla, WithDict {};
    struct VanillaDictMix2 : WithDict, Vanilla {};
232
233
234
    py::class_<WithDict>(m, "WithDict", py::dynamic_attr()).def(py::init<>());
    py::class_<VanillaDictMix1, Vanilla, WithDict>(m, "VanillaDictMix1").def(py::init<>());
    py::class_<VanillaDictMix2, WithDict, Vanilla>(m, "VanillaDictMix2").def(py::init<>());
235
236
237
238

    // test_diamond_inheritance
    // Issue #959: segfault when constructing diamond inheritance instance
    // All of these have int members so that there will be various unequal pointers involved.
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
    struct B {
        int b;
        B() = default;
        B(const B &) = default;
        virtual ~B() = default;
    };
    struct C0 : public virtual B {
        int c0;
    };
    struct C1 : public virtual B {
        int c1;
    };
    struct D : public C0, public C1 {
        int d;
    };
    py::class_<B>(m, "B").def("b", [](B *self) { return self; });
    py::class_<C0, B>(m, "C0").def("c0", [](C0 *self) { return self; });
    py::class_<C1, B>(m, "C1").def("c1", [](C1 *self) { return self; });
    py::class_<D, C0, C1>(m, "D").def(py::init<>());
258
259
260
261
262

    // test_pr3635_diamond_*
    // - functions are get_{base}_{var}, return {var}
    struct MVB {
        MVB() = default;
263
        MVB(const MVB &) = default;
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
        virtual ~MVB() = default;

        int b = 1;
        int get_b_b() const { return b; }
    };
    struct MVC : virtual MVB {
        int c = 2;
        int get_c_b() const { return b; }
        int get_c_c() const { return c; }
    };
    struct MVD0 : virtual MVC {
        int d0 = 3;
        int get_d0_b() const { return b; }
        int get_d0_c() const { return c; }
        int get_d0_d0() const { return d0; }
    };
    struct MVD1 : virtual MVC {
        int d1 = 4;
        int get_d1_b() const { return b; }
        int get_d1_c() const { return c; }
        int get_d1_d1() const { return d1; }
    };
    struct MVE : virtual MVD0, virtual MVD1 {
        int e = 5;
        int get_e_b() const { return b; }
        int get_e_c() const { return c; }
        int get_e_d0() const { return d0; }
        int get_e_d1() const { return d1; }
        int get_e_e() const { return e; }
    };
    struct MVF : virtual MVE {
        int f = 6;
        int get_f_b() const { return b; }
        int get_f_c() const { return c; }
        int get_f_d0() const { return d0; }
        int get_f_d1() const { return d1; }
        int get_f_e() const { return e; }
        int get_f_f() const { return f; }
    };
    py::class_<MVB>(m, "MVB")
        .def(py::init<>())
        .def("get_b_b", &MVB::get_b_b)
        .def_readwrite("b", &MVB::b);
    py::class_<MVC, MVB>(m, "MVC")
        .def(py::init<>())
        .def("get_c_b", &MVC::get_c_b)
        .def("get_c_c", &MVC::get_c_c)
        .def_readwrite("c", &MVC::c);
    py::class_<MVD0, MVC>(m, "MVD0")
        .def(py::init<>())
        .def("get_d0_b", &MVD0::get_d0_b)
        .def("get_d0_c", &MVD0::get_d0_c)
        .def("get_d0_d0", &MVD0::get_d0_d0)
        .def_readwrite("d0", &MVD0::d0);
    py::class_<MVD1, MVC>(m, "MVD1")
        .def(py::init<>())
        .def("get_d1_b", &MVD1::get_d1_b)
        .def("get_d1_c", &MVD1::get_d1_c)
        .def("get_d1_d1", &MVD1::get_d1_d1)
        .def_readwrite("d1", &MVD1::d1);
    py::class_<MVE, MVD0, MVD1>(m, "MVE")
        .def(py::init<>())
        .def("get_e_b", &MVE::get_e_b)
        .def("get_e_c", &MVE::get_e_c)
        .def("get_e_d0", &MVE::get_e_d0)
        .def("get_e_d1", &MVE::get_e_d1)
        .def("get_e_e", &MVE::get_e_e)
        .def_readwrite("e", &MVE::e);
    py::class_<MVF, MVE>(m, "MVF")
        .def(py::init<>())
        .def("get_f_b", &MVF::get_f_b)
        .def("get_f_c", &MVF::get_f_c)
        .def("get_f_d0", &MVF::get_f_d0)
        .def("get_f_d1", &MVF::get_f_d1)
        .def("get_f_e", &MVF::get_f_e)
        .def("get_f_f", &MVF::get_f_f)
        .def_readwrite("f", &MVF::f);
341
}