476 lines
		
	
	
		
			18 KiB
		
	
	
	
		
			C++
		
	
	
			
		
		
	
	
			476 lines
		
	
	
		
			18 KiB
		
	
	
	
		
			C++
		
	
	
/*
 | 
						|
    tests/test_class.cpp -- test py::class_ definitions and basic functionality
 | 
						|
 | 
						|
    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"
 | 
						|
#include "constructor_stats.h"
 | 
						|
#include "local_bindings.h"
 | 
						|
#include <pybind11/stl.h>
 | 
						|
 | 
						|
#if defined(_MSC_VER)
 | 
						|
#  pragma warning(disable: 4324) // warning C4324: structure was padded due to alignment specifier
 | 
						|
#endif
 | 
						|
 | 
						|
// test_brace_initialization
 | 
						|
struct NoBraceInitialization {
 | 
						|
    NoBraceInitialization(std::vector<int> v) : vec{std::move(v)} {}
 | 
						|
    template <typename T>
 | 
						|
    NoBraceInitialization(std::initializer_list<T> l) : vec(l) {}
 | 
						|
 | 
						|
    std::vector<int> vec;
 | 
						|
};
 | 
						|
 | 
						|
TEST_SUBMODULE(class_, m) {
 | 
						|
    // test_instance
 | 
						|
    struct NoConstructor {
 | 
						|
        NoConstructor() = default;
 | 
						|
        NoConstructor(const NoConstructor &) = default;
 | 
						|
        NoConstructor(NoConstructor &&) = default;
 | 
						|
        static NoConstructor *new_instance() {
 | 
						|
            auto *ptr = new NoConstructor();
 | 
						|
            print_created(ptr, "via new_instance");
 | 
						|
            return ptr;
 | 
						|
        }
 | 
						|
        ~NoConstructor() { print_destroyed(this); }
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<NoConstructor>(m, "NoConstructor")
 | 
						|
        .def_static("new_instance", &NoConstructor::new_instance, "Return an instance");
 | 
						|
 | 
						|
    // test_inheritance
 | 
						|
    class Pet {
 | 
						|
    public:
 | 
						|
        Pet(const std::string &name, const std::string &species)
 | 
						|
            : m_name(name), m_species(species) {}
 | 
						|
        std::string name() const { return m_name; }
 | 
						|
        std::string species() const { return m_species; }
 | 
						|
    private:
 | 
						|
        std::string m_name;
 | 
						|
        std::string m_species;
 | 
						|
    };
 | 
						|
 | 
						|
    class Dog : public Pet {
 | 
						|
    public:
 | 
						|
        Dog(const std::string &name) : Pet(name, "dog") {}
 | 
						|
        std::string bark() const { return "Woof!"; }
 | 
						|
    };
 | 
						|
 | 
						|
    class Rabbit : public Pet {
 | 
						|
    public:
 | 
						|
        Rabbit(const std::string &name) : Pet(name, "parrot") {}
 | 
						|
    };
 | 
						|
 | 
						|
    class Hamster : public Pet {
 | 
						|
    public:
 | 
						|
        Hamster(const std::string &name) : Pet(name, "rodent") {}
 | 
						|
    };
 | 
						|
 | 
						|
    class Chimera : public Pet {
 | 
						|
        Chimera() : Pet("Kimmy", "chimera") {}
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<Pet> pet_class(m, "Pet");
 | 
						|
    pet_class
 | 
						|
        .def(py::init<std::string, std::string>())
 | 
						|
        .def("name", &Pet::name)
 | 
						|
        .def("species", &Pet::species);
 | 
						|
 | 
						|
    /* One way of declaring a subclass relationship: reference parent's class_ object */
 | 
						|
    py::class_<Dog>(m, "Dog", pet_class)
 | 
						|
        .def(py::init<std::string>());
 | 
						|
 | 
						|
    /* Another way of declaring a subclass relationship: reference parent's C++ type */
 | 
						|
    py::class_<Rabbit, Pet>(m, "Rabbit")
 | 
						|
        .def(py::init<std::string>());
 | 
						|
 | 
						|
    /* And another: list parent in class template arguments */
 | 
						|
    py::class_<Hamster, Pet>(m, "Hamster")
 | 
						|
        .def(py::init<std::string>());
 | 
						|
 | 
						|
    /* Constructors are not inherited by default */
 | 
						|
    py::class_<Chimera, Pet>(m, "Chimera");
 | 
						|
 | 
						|
    m.def("pet_name_species", [](const Pet &pet) { return pet.name() + " is a " + pet.species(); });
 | 
						|
    m.def("dog_bark", [](const Dog &dog) { return dog.bark(); });
 | 
						|
 | 
						|
    // test_automatic_upcasting
 | 
						|
    struct BaseClass {
 | 
						|
        BaseClass() = default;
 | 
						|
        BaseClass(const BaseClass &) = default;
 | 
						|
        BaseClass(BaseClass &&) = default;
 | 
						|
        virtual ~BaseClass() = default;
 | 
						|
    };
 | 
						|
    struct DerivedClass1 : BaseClass { };
 | 
						|
    struct DerivedClass2 : BaseClass { };
 | 
						|
 | 
						|
    py::class_<BaseClass>(m, "BaseClass").def(py::init<>());
 | 
						|
    py::class_<DerivedClass1>(m, "DerivedClass1").def(py::init<>());
 | 
						|
    py::class_<DerivedClass2>(m, "DerivedClass2").def(py::init<>());
 | 
						|
 | 
						|
    m.def("return_class_1", []() -> BaseClass* { return new DerivedClass1(); });
 | 
						|
    m.def("return_class_2", []() -> BaseClass* { return new DerivedClass2(); });
 | 
						|
    m.def("return_class_n", [](int n) -> BaseClass* {
 | 
						|
        if (n == 1) return new DerivedClass1();
 | 
						|
        if (n == 2) return new DerivedClass2();
 | 
						|
        return new BaseClass();
 | 
						|
    });
 | 
						|
    m.def("return_none", []() -> BaseClass* { return nullptr; });
 | 
						|
 | 
						|
    // test_isinstance
 | 
						|
    m.def("check_instances", [](py::list l) {
 | 
						|
        return py::make_tuple(
 | 
						|
            py::isinstance<py::tuple>(l[0]),
 | 
						|
            py::isinstance<py::dict>(l[1]),
 | 
						|
            py::isinstance<Pet>(l[2]),
 | 
						|
            py::isinstance<Pet>(l[3]),
 | 
						|
            py::isinstance<Dog>(l[4]),
 | 
						|
            py::isinstance<Rabbit>(l[5]),
 | 
						|
            py::isinstance<UnregisteredType>(l[6])
 | 
						|
        );
 | 
						|
    });
 | 
						|
 | 
						|
    struct Invalid {};
 | 
						|
 | 
						|
    // test_type
 | 
						|
    m.def("check_type", [](int category) {
 | 
						|
        // Currently not supported (via a fail at compile time)
 | 
						|
        // See https://github.com/pybind/pybind11/issues/2486
 | 
						|
        // if (category == 2)
 | 
						|
        //     return py::type::of<int>();
 | 
						|
        if (category == 1)
 | 
						|
            return py::type::of<DerivedClass1>();
 | 
						|
        else
 | 
						|
            return py::type::of<Invalid>();
 | 
						|
    });
 | 
						|
 | 
						|
    m.def("get_type_of", [](py::object ob) {
 | 
						|
        return py::type::of(ob);
 | 
						|
    });
 | 
						|
 | 
						|
    m.def("as_type", [](py::object ob) {
 | 
						|
        auto tp = py::type(ob);
 | 
						|
        if (py::isinstance<py::type>(ob))
 | 
						|
            return tp;
 | 
						|
        else
 | 
						|
            throw std::runtime_error("Invalid type");
 | 
						|
    });
 | 
						|
 | 
						|
    // test_mismatched_holder
 | 
						|
    struct MismatchBase1 { };
 | 
						|
    struct MismatchDerived1 : MismatchBase1 { };
 | 
						|
 | 
						|
    struct MismatchBase2 { };
 | 
						|
    struct MismatchDerived2 : MismatchBase2 { };
 | 
						|
 | 
						|
    m.def("mismatched_holder_1", []() {
 | 
						|
        auto mod = py::module::import("__main__");
 | 
						|
        py::class_<MismatchBase1, std::shared_ptr<MismatchBase1>>(mod, "MismatchBase1");
 | 
						|
        py::class_<MismatchDerived1, MismatchBase1>(mod, "MismatchDerived1");
 | 
						|
    });
 | 
						|
    m.def("mismatched_holder_2", []() {
 | 
						|
        auto mod = py::module::import("__main__");
 | 
						|
        py::class_<MismatchBase2>(mod, "MismatchBase2");
 | 
						|
        py::class_<MismatchDerived2, std::shared_ptr<MismatchDerived2>,
 | 
						|
                   MismatchBase2>(mod, "MismatchDerived2");
 | 
						|
    });
 | 
						|
 | 
						|
    // test_override_static
 | 
						|
    // #511: problem with inheritance + overwritten def_static
 | 
						|
    struct MyBase {
 | 
						|
        static std::unique_ptr<MyBase> make() {
 | 
						|
            return std::unique_ptr<MyBase>(new MyBase());
 | 
						|
        }
 | 
						|
    };
 | 
						|
 | 
						|
    struct MyDerived : MyBase {
 | 
						|
        static std::unique_ptr<MyDerived> make() {
 | 
						|
            return std::unique_ptr<MyDerived>(new MyDerived());
 | 
						|
        }
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<MyBase>(m, "MyBase")
 | 
						|
        .def_static("make", &MyBase::make);
 | 
						|
 | 
						|
    py::class_<MyDerived, MyBase>(m, "MyDerived")
 | 
						|
        .def_static("make", &MyDerived::make)
 | 
						|
        .def_static("make2", &MyDerived::make);
 | 
						|
 | 
						|
    // test_implicit_conversion_life_support
 | 
						|
    struct ConvertibleFromUserType {
 | 
						|
        int i;
 | 
						|
 | 
						|
        ConvertibleFromUserType(UserType u) : i(u.value()) { }
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<ConvertibleFromUserType>(m, "AcceptsUserType")
 | 
						|
        .def(py::init<UserType>());
 | 
						|
    py::implicitly_convertible<UserType, ConvertibleFromUserType>();
 | 
						|
 | 
						|
    m.def("implicitly_convert_argument", [](const ConvertibleFromUserType &r) { return r.i; });
 | 
						|
    m.def("implicitly_convert_variable", [](py::object o) {
 | 
						|
        // `o` is `UserType` and `r` is a reference to a temporary created by implicit
 | 
						|
        // conversion. This is valid when called inside a bound function because the temp
 | 
						|
        // object is attached to the same life support system as the arguments.
 | 
						|
        const auto &r = o.cast<const ConvertibleFromUserType &>();
 | 
						|
        return r.i;
 | 
						|
    });
 | 
						|
    m.add_object("implicitly_convert_variable_fail", [&] {
 | 
						|
        auto f = [](PyObject *, PyObject *args) -> PyObject * {
 | 
						|
            auto o = py::reinterpret_borrow<py::tuple>(args)[0];
 | 
						|
            try { // It should fail here because there is no life support.
 | 
						|
                o.cast<const ConvertibleFromUserType &>();
 | 
						|
            } catch (const py::cast_error &e) {
 | 
						|
                return py::str(e.what()).release().ptr();
 | 
						|
            }
 | 
						|
            return py::str().release().ptr();
 | 
						|
        };
 | 
						|
 | 
						|
        auto def = new PyMethodDef{"f", f, METH_VARARGS, nullptr};
 | 
						|
        return py::reinterpret_steal<py::object>(PyCFunction_NewEx(def, nullptr, m.ptr()));
 | 
						|
    }());
 | 
						|
 | 
						|
    // test_operator_new_delete
 | 
						|
    struct HasOpNewDel {
 | 
						|
        std::uint64_t i;
 | 
						|
        static void *operator new(size_t s) { py::print("A new", s); return ::operator new(s); }
 | 
						|
        static void *operator new(size_t s, void *ptr) { py::print("A placement-new", s); return ptr; }
 | 
						|
        static void operator delete(void *p) { py::print("A delete"); return ::operator delete(p); }
 | 
						|
    };
 | 
						|
    struct HasOpNewDelSize {
 | 
						|
        std::uint32_t i;
 | 
						|
        static void *operator new(size_t s) { py::print("B new", s); return ::operator new(s); }
 | 
						|
        static void *operator new(size_t s, void *ptr) { py::print("B placement-new", s); return ptr; }
 | 
						|
        static void operator delete(void *p, size_t s) { py::print("B delete", s); return ::operator delete(p); }
 | 
						|
    };
 | 
						|
    struct AliasedHasOpNewDelSize {
 | 
						|
        std::uint64_t i;
 | 
						|
        static void *operator new(size_t s) { py::print("C new", s); return ::operator new(s); }
 | 
						|
        static void *operator new(size_t s, void *ptr) { py::print("C placement-new", s); return ptr; }
 | 
						|
        static void operator delete(void *p, size_t s) { py::print("C delete", s); return ::operator delete(p); }
 | 
						|
        virtual ~AliasedHasOpNewDelSize() = default;
 | 
						|
        AliasedHasOpNewDelSize() = default;
 | 
						|
        AliasedHasOpNewDelSize(const AliasedHasOpNewDelSize&) = delete;
 | 
						|
    };
 | 
						|
    struct PyAliasedHasOpNewDelSize : AliasedHasOpNewDelSize {
 | 
						|
        PyAliasedHasOpNewDelSize() = default;
 | 
						|
        PyAliasedHasOpNewDelSize(int) { }
 | 
						|
        std::uint64_t j;
 | 
						|
    };
 | 
						|
    struct HasOpNewDelBoth {
 | 
						|
        std::uint32_t i[8];
 | 
						|
        static void *operator new(size_t s) { py::print("D new", s); return ::operator new(s); }
 | 
						|
        static void *operator new(size_t s, void *ptr) { py::print("D placement-new", s); return ptr; }
 | 
						|
        static void operator delete(void *p) { py::print("D delete"); return ::operator delete(p); }
 | 
						|
        static void operator delete(void *p, size_t s) { py::print("D wrong delete", s); return ::operator delete(p); }
 | 
						|
    };
 | 
						|
    py::class_<HasOpNewDel>(m, "HasOpNewDel").def(py::init<>());
 | 
						|
    py::class_<HasOpNewDelSize>(m, "HasOpNewDelSize").def(py::init<>());
 | 
						|
    py::class_<HasOpNewDelBoth>(m, "HasOpNewDelBoth").def(py::init<>());
 | 
						|
    py::class_<AliasedHasOpNewDelSize, PyAliasedHasOpNewDelSize> aliased(m, "AliasedHasOpNewDelSize");
 | 
						|
    aliased.def(py::init<>());
 | 
						|
    aliased.attr("size_noalias") = py::int_(sizeof(AliasedHasOpNewDelSize));
 | 
						|
    aliased.attr("size_alias") = py::int_(sizeof(PyAliasedHasOpNewDelSize));
 | 
						|
 | 
						|
    // This test is actually part of test_local_bindings (test_duplicate_local), but we need a
 | 
						|
    // definition in a different compilation unit within the same module:
 | 
						|
    bind_local<LocalExternal, 17>(m, "LocalExternal", py::module_local());
 | 
						|
 | 
						|
    // test_bind_protected_functions
 | 
						|
    class ProtectedA {
 | 
						|
    protected:
 | 
						|
        int foo() const { return value; }
 | 
						|
 | 
						|
    private:
 | 
						|
        int value = 42;
 | 
						|
    };
 | 
						|
 | 
						|
    class PublicistA : public ProtectedA {
 | 
						|
    public:
 | 
						|
        using ProtectedA::foo;
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<ProtectedA>(m, "ProtectedA")
 | 
						|
        .def(py::init<>())
 | 
						|
#if !defined(_MSC_VER) || _MSC_VER >= 1910
 | 
						|
        .def("foo", &PublicistA::foo);
 | 
						|
#else
 | 
						|
        .def("foo", static_cast<int (ProtectedA::*)() const>(&PublicistA::foo));
 | 
						|
#endif
 | 
						|
 | 
						|
    class ProtectedB {
 | 
						|
    public:
 | 
						|
        virtual ~ProtectedB() = default;
 | 
						|
        ProtectedB() = default;
 | 
						|
        ProtectedB(const ProtectedB &) = delete;
 | 
						|
 | 
						|
    protected:
 | 
						|
        virtual int foo() const { return value; }
 | 
						|
 | 
						|
    private:
 | 
						|
        int value = 42;
 | 
						|
    };
 | 
						|
 | 
						|
    class TrampolineB : public ProtectedB {
 | 
						|
    public:
 | 
						|
        int foo() const override { PYBIND11_OVERRIDE(int, ProtectedB, foo, ); }
 | 
						|
    };
 | 
						|
 | 
						|
    class PublicistB : public ProtectedB {
 | 
						|
    public:
 | 
						|
        using ProtectedB::foo;
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<ProtectedB, TrampolineB>(m, "ProtectedB")
 | 
						|
        .def(py::init<>())
 | 
						|
#if !defined(_MSC_VER) || _MSC_VER >= 1910
 | 
						|
        .def("foo", &PublicistB::foo);
 | 
						|
#else
 | 
						|
        .def("foo", static_cast<int (ProtectedB::*)() const>(&PublicistB::foo));
 | 
						|
#endif
 | 
						|
 | 
						|
    // test_brace_initialization
 | 
						|
    struct BraceInitialization {
 | 
						|
        int field1;
 | 
						|
        std::string field2;
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<BraceInitialization>(m, "BraceInitialization")
 | 
						|
        .def(py::init<int, const std::string &>())
 | 
						|
        .def_readwrite("field1", &BraceInitialization::field1)
 | 
						|
        .def_readwrite("field2", &BraceInitialization::field2);
 | 
						|
    // We *don't* want to construct using braces when the given constructor argument maps to a
 | 
						|
    // constructor, because brace initialization could go to the wrong place (in particular when
 | 
						|
    // there is also an `initializer_list<T>`-accept constructor):
 | 
						|
    py::class_<NoBraceInitialization>(m, "NoBraceInitialization")
 | 
						|
        .def(py::init<std::vector<int>>())
 | 
						|
        .def_readonly("vec", &NoBraceInitialization::vec);
 | 
						|
 | 
						|
    // test_reentrant_implicit_conversion_failure
 | 
						|
    // #1035: issue with runaway reentrant implicit conversion
 | 
						|
    struct BogusImplicitConversion {
 | 
						|
        BogusImplicitConversion(const BogusImplicitConversion &) = default;
 | 
						|
    };
 | 
						|
 | 
						|
    py::class_<BogusImplicitConversion>(m, "BogusImplicitConversion")
 | 
						|
        .def(py::init<const BogusImplicitConversion &>());
 | 
						|
 | 
						|
    py::implicitly_convertible<int, BogusImplicitConversion>();
 | 
						|
 | 
						|
    // test_qualname
 | 
						|
    // #1166: nested class docstring doesn't show nested name
 | 
						|
    // Also related: tests that __qualname__ is set properly
 | 
						|
    struct NestBase {};
 | 
						|
    struct Nested {};
 | 
						|
    py::class_<NestBase> base(m, "NestBase");
 | 
						|
    base.def(py::init<>());
 | 
						|
    py::class_<Nested>(base, "Nested")
 | 
						|
        .def(py::init<>())
 | 
						|
        .def("fn", [](Nested &, int, NestBase &, Nested &) {})
 | 
						|
        .def("fa", [](Nested &, int, NestBase &, Nested &) {},
 | 
						|
                "a"_a, "b"_a, "c"_a);
 | 
						|
    base.def("g", [](NestBase &, Nested &) {});
 | 
						|
    base.def("h", []() { return NestBase(); });
 | 
						|
 | 
						|
    // test_error_after_conversion
 | 
						|
    // The second-pass path through dispatcher() previously didn't
 | 
						|
    // remember which overload was used, and would crash trying to
 | 
						|
    // generate a useful error message
 | 
						|
 | 
						|
    struct NotRegistered {};
 | 
						|
    struct StringWrapper { std::string str; };
 | 
						|
    m.def("test_error_after_conversions", [](int) {});
 | 
						|
    m.def("test_error_after_conversions",
 | 
						|
          [](StringWrapper) -> NotRegistered { return {}; });
 | 
						|
    py::class_<StringWrapper>(m, "StringWrapper").def(py::init<std::string>());
 | 
						|
    py::implicitly_convertible<std::string, StringWrapper>();
 | 
						|
 | 
						|
    #if defined(PYBIND11_CPP17)
 | 
						|
        struct alignas(1024) Aligned {
 | 
						|
            std::uintptr_t ptr() const { return (uintptr_t) this; }
 | 
						|
        };
 | 
						|
        py::class_<Aligned>(m, "Aligned")
 | 
						|
            .def(py::init<>())
 | 
						|
            .def("ptr", &Aligned::ptr);
 | 
						|
    #endif
 | 
						|
 | 
						|
    // test_final
 | 
						|
    struct IsFinal final {};
 | 
						|
    py::class_<IsFinal>(m, "IsFinal", py::is_final());
 | 
						|
 | 
						|
    // test_non_final_final
 | 
						|
    struct IsNonFinalFinal {};
 | 
						|
    py::class_<IsNonFinalFinal>(m, "IsNonFinalFinal", py::is_final());
 | 
						|
 | 
						|
    struct PyPrintDestructor {
 | 
						|
        PyPrintDestructor() = default;
 | 
						|
        ~PyPrintDestructor() {
 | 
						|
            py::print("Print from destructor");
 | 
						|
        }
 | 
						|
        void throw_something() { throw std::runtime_error("error"); }
 | 
						|
    };
 | 
						|
    py::class_<PyPrintDestructor>(m, "PyPrintDestructor")
 | 
						|
        .def(py::init<>())
 | 
						|
        .def("throw_something", &PyPrintDestructor::throw_something);
 | 
						|
}
 | 
						|
 | 
						|
template <int N> class BreaksBase { public:
 | 
						|
    virtual ~BreaksBase() = default;
 | 
						|
    BreaksBase() = default;
 | 
						|
    BreaksBase(const BreaksBase&) = delete;
 | 
						|
};
 | 
						|
template <int N> class BreaksTramp : public BreaksBase<N> {};
 | 
						|
// These should all compile just fine:
 | 
						|
using DoesntBreak1 = py::class_<BreaksBase<1>, std::unique_ptr<BreaksBase<1>>, BreaksTramp<1>>;
 | 
						|
using DoesntBreak2 = py::class_<BreaksBase<2>, BreaksTramp<2>, std::unique_ptr<BreaksBase<2>>>;
 | 
						|
using DoesntBreak3 = py::class_<BreaksBase<3>, std::unique_ptr<BreaksBase<3>>>;
 | 
						|
using DoesntBreak4 = py::class_<BreaksBase<4>, BreaksTramp<4>>;
 | 
						|
using DoesntBreak5 = py::class_<BreaksBase<5>>;
 | 
						|
using DoesntBreak6 = py::class_<BreaksBase<6>, std::shared_ptr<BreaksBase<6>>, BreaksTramp<6>>;
 | 
						|
using DoesntBreak7 = py::class_<BreaksBase<7>, BreaksTramp<7>, std::shared_ptr<BreaksBase<7>>>;
 | 
						|
using DoesntBreak8 = py::class_<BreaksBase<8>, std::shared_ptr<BreaksBase<8>>>;
 | 
						|
#define CHECK_BASE(N) static_assert(std::is_same<typename DoesntBreak##N::type, BreaksBase<N>>::value, \
 | 
						|
        "DoesntBreak" #N " has wrong type!")
 | 
						|
CHECK_BASE(1); CHECK_BASE(2); CHECK_BASE(3); CHECK_BASE(4); CHECK_BASE(5); CHECK_BASE(6); CHECK_BASE(7); CHECK_BASE(8);
 | 
						|
#define CHECK_ALIAS(N) static_assert(DoesntBreak##N::has_alias && std::is_same<typename DoesntBreak##N::type_alias, BreaksTramp<N>>::value, \
 | 
						|
        "DoesntBreak" #N " has wrong type_alias!")
 | 
						|
#define CHECK_NOALIAS(N) static_assert(!DoesntBreak##N::has_alias && std::is_void<typename DoesntBreak##N::type_alias>::value, \
 | 
						|
        "DoesntBreak" #N " has type alias, but shouldn't!")
 | 
						|
CHECK_ALIAS(1); CHECK_ALIAS(2); CHECK_NOALIAS(3); CHECK_ALIAS(4); CHECK_NOALIAS(5); CHECK_ALIAS(6); CHECK_ALIAS(7); CHECK_NOALIAS(8);
 | 
						|
#define CHECK_HOLDER(N, TYPE) static_assert(std::is_same<typename DoesntBreak##N::holder_type, std::TYPE##_ptr<BreaksBase<N>>>::value, \
 | 
						|
        "DoesntBreak" #N " has wrong holder_type!")
 | 
						|
CHECK_HOLDER(1, unique); CHECK_HOLDER(2, unique); CHECK_HOLDER(3, unique); CHECK_HOLDER(4, unique); CHECK_HOLDER(5, unique);
 | 
						|
CHECK_HOLDER(6, shared); CHECK_HOLDER(7, shared); CHECK_HOLDER(8, shared);
 | 
						|
 | 
						|
// There's no nice way to test that these fail because they fail to compile; leave them here,
 | 
						|
// though, so that they can be manually tested by uncommenting them (and seeing that compilation
 | 
						|
// failures occurs).
 | 
						|
 | 
						|
// We have to actually look into the type: the typedef alone isn't enough to instantiate the type:
 | 
						|
#define CHECK_BROKEN(N) static_assert(std::is_same<typename Breaks##N::type, BreaksBase<-N>>::value, \
 | 
						|
        "Breaks1 has wrong type!");
 | 
						|
 | 
						|
//// Two holder classes:
 | 
						|
//typedef py::class_<BreaksBase<-1>, std::unique_ptr<BreaksBase<-1>>, std::unique_ptr<BreaksBase<-1>>> Breaks1;
 | 
						|
//CHECK_BROKEN(1);
 | 
						|
//// Two aliases:
 | 
						|
//typedef py::class_<BreaksBase<-2>, BreaksTramp<-2>, BreaksTramp<-2>> Breaks2;
 | 
						|
//CHECK_BROKEN(2);
 | 
						|
//// Holder + 2 aliases
 | 
						|
//typedef py::class_<BreaksBase<-3>, std::unique_ptr<BreaksBase<-3>>, BreaksTramp<-3>, BreaksTramp<-3>> Breaks3;
 | 
						|
//CHECK_BROKEN(3);
 | 
						|
//// Alias + 2 holders
 | 
						|
//typedef py::class_<BreaksBase<-4>, std::unique_ptr<BreaksBase<-4>>, BreaksTramp<-4>, std::shared_ptr<BreaksBase<-4>>> Breaks4;
 | 
						|
//CHECK_BROKEN(4);
 | 
						|
//// Invalid option (not a subclass or holder)
 | 
						|
//typedef py::class_<BreaksBase<-5>, BreaksTramp<-4>> Breaks5;
 | 
						|
//CHECK_BROKEN(5);
 | 
						|
//// Invalid option: multiple inheritance not supported:
 | 
						|
//template <> struct BreaksBase<-8> : BreaksBase<-6>, BreaksBase<-7> {};
 | 
						|
//typedef py::class_<BreaksBase<-8>, BreaksBase<-6>, BreaksBase<-7>> Breaks8;
 | 
						|
//CHECK_BROKEN(8);
 |