test_multiple_inheritance.cpp 11.9 KB
Newer Older
Wenzel Jakob's avatar
Wenzel Jakob committed
1
2
3
4
5
6
7
8
9
10
11
/*
    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.
*/

#include "pybind11_tests.h"
12
#include "constructor_stats.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
template <int N> struct BaseN {
19
    explicit BaseN(int i) : i(i) {}
20
21
22
    int i;
};

23
24
25
// test_mi_static_properties
struct Vanilla {
    std::string vanilla() { return "Vanilla"; };
Wenzel Jakob's avatar
Wenzel Jakob committed
26
};
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
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
42
};
43
44
45
46
47
int WithStatic1::static_value1 = 1;
int WithStatic2::static_value2 = 2;
int VanillaStaticMix1::static_value = 12;
int VanillaStaticMix2::static_value = 12;

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

// test_mi_unaligned_base
// test_mi_base_return
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; };
struct I801C : I801B1, I801B2 {};
struct I801D : I801C {}; // Indirect MI

} // namespace

72
TEST_SUBMODULE(multiple_inheritance, m) {
73
74
75
    // 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
76

77
78
79
    // test_multiple_inheritance_mix1
    // test_multiple_inheritance_mix2
    struct Base1 {
80
        explicit Base1(int i) : i(i) {}
81
        int foo() const { return i; }
82
83
        int i;
    };
84
85
86
    py::class_<Base1> b1(m, "Base1");
    b1.def(py::init<int>())
      .def("foo", &Base1::foo);
Wenzel Jakob's avatar
Wenzel Jakob committed
87

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


98
99
100
101
102
103
104
105
    // test_multiple_inheritance_cpp
    struct Base12 : Base1, Base2 {
        Base12(int i, int j) : Base1(i), Base2(j) { }
    };
    struct MIType : Base12 {
        MIType(int i, int j) : Base12(i, j) { }
    };
    py::class_<Base12, Base1, Base2>(m, "Base12");
Wenzel Jakob's avatar
Wenzel Jakob committed
106
107
    py::class_<MIType, Base12>(m, "MIType")
        .def(py::init<int, int>());
108

109
110

    // test_multiple_inheritance_python_many_bases
111
112
113
114
#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);                                                                         \
    })
115
116
117
118
119
120
    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);
    PYBIND11_BASEN(17);

121
122
123
124
125
126
127
128
    // Uncommenting this should result in a compile time failure (MI can only be specified via
    // 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
129
130


131
132
133
    // 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
134
135
136
137
138
139
140
141
142
143
144
145
146
    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);

    py::class_<Base12a, /* Base1 missing */ Base2a,
               std::shared_ptr<Base12a>>(m, "Base12a", py::multiple_inheritance())
        .def(py::init<int, int>());

    m.def("bar_base2a", [](Base2a *b) { return b->bar(); });
147
    m.def("bar_base2a_sharedptr", [](const std::shared_ptr<Base2a> &b) { return b->bar(); });
148
149
150
151
152
153
154
155

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

156
157
158
159
160
    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);
    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<>());

161
162
163
164
165
166
167
168
169
170
    // 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
171
172
173
174
175
176
177
178
179
180
    // 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(); });
181
182


183
    // test_mi_static_properties
184
185
186
187
    py::class_<Vanilla>(m, "Vanilla")
        .def(py::init<>())
        .def("vanilla", &Vanilla::vanilla);

188
    py::class_<WithStatic1>(m, "WithStatic1")
189
190
191
192
        .def(py::init<>())
        .def_static("static_func1", &WithStatic1::static_func1)
        .def_readwrite_static("static_value1", &WithStatic1::static_value1);

193
    py::class_<WithStatic2>(m, "WithStatic2")
194
195
196
197
198
        .def(py::init<>())
        .def_static("static_func2", &WithStatic2::static_func2)
        .def_readwrite_static("static_value2", &WithStatic2::static_value2);

    py::class_<VanillaStaticMix1, Vanilla, WithStatic1, WithStatic2>(
199
        m, "VanillaStaticMix1")
200
201
202
203
204
        .def(py::init<>())
        .def_static("static_func", &VanillaStaticMix1::static_func)
        .def_readwrite_static("static_value", &VanillaStaticMix1::static_value);

    py::class_<VanillaStaticMix2, WithStatic1, Vanilla, WithStatic2>(
205
        m, "VanillaStaticMix2")
206
207
208
209
        .def(py::init<>())
        .def_static("static_func", &VanillaStaticMix2::static_func)
        .def_readwrite_static("static_value", &VanillaStaticMix2::static_value);

210
211
212
213

    struct WithDict { };
    struct VanillaDictMix1 : Vanilla, WithDict { };
    struct VanillaDictMix2 : WithDict, Vanilla { };
214
215
216
    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<>());
217
218
219
220

    // 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.
221
    struct B { int b; B() = default; B(const B&) = default; virtual ~B() = default; };
222
223
224
225
226
227
228
229
230
231
232
    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<>());
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
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

    // test_pr3635_diamond_*
    // - functions are get_{base}_{var}, return {var}
    struct MVB {
        MVB() = default;
        MVB(const MVB&) = default;
        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);
316
}