Boost.Python与签名左值不匹配

Question

我有一个Foo类，它具有要公开的成员x ，但是要通过getter函数而不是属性。 我刚刚发现了make_getter ，所以我想make_getter一下：

#include <boost/python.hpp>    
namespace py = boost::python;

struct Base {
    int x;
};

struct Foo : Base {
    Foo(int i): Base{i} { }
};

BOOST_PYTHON_MODULE(Foo)
{
    py::class_<Foo>("Foo", py::init<int>())
        .def_readonly("x", &Foo::x)
        .def("getX", py::make_getter(&Foo::x))
        ;
}

但是，这失败了：

>>> import Foo
>>> f = Foo.Foo(42)
>>> f.x
42
>>> f.getX()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
Boost.Python.ArgumentError: Python argument types in
    Foo.getX(Foo)
did not match C++ signature:
    getX(Base {lvalue})
>>> 

该错误甚至意味着什么？ 显然签名匹配！ 我怎样才能解决这个问题？

Answer 1

问题是，如果您仔细检查ArgumentError异常是，您正在使用Foo调用getX() ：

>>> f.getX()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
Boost.Python.ArgumentError: Python argument types in
    Foo.getX(Foo)

而您尝试访问的数据成员实际上是Base的成员：

did not match C++ signature:
    getX(Base {lvalue})

Boost.Python需要执行从左值Foo到左值Base的转换，而您实际上并未告诉Boost可以做到这一点。 问题最终源于&Base::x是int Base::*而不是int Foo::*的事实，因此boost::python::make_getter的模板推导使函数采用Base而不是boost::python::make_getter Foo 。

最简单的解决方案是确保将正确的成员指针传递给make_getter ：

BOOST_PYTHON_MODULE(Foo)
{
    py::class_<Foo>("Foo", py::init<int>())
        .def_readonly("x", &Foo::x)
        .def("getX", py::make_getter(static_cast<int Foo::*>(&Foo::x)))
        ;
}

通过该转换，一切正常：

>>> from Foo import Foo
>>> Foo(4).getX()
4

不过，这有点乏味，因此您可以编写一个快速的方法/宏来为您做这件事：

template <typename Derived, typename Base, typename T>
T Derived::* as_derived(T Base::*member) {
    return static_cast<T Derived::*>(member);
}

#define AS_DERIVED(CLS, FIELD) as_derived<CLS>(&CLS::FIELD)

您可以使用以下方法：

BOOST_PYTHON_MODULE(Foo)
{
    py::class_<Foo>("Foo", py::init<int>())
        .def_readonly("x", &Foo::x)
        .def("getX", py::make_getter(AS_DERIVED(Foo, x)))
        ;
}

---

另外，您可以直接向Boost.Python告知有关层次结构的信息：

BOOST_PYTHON_MODULE(Foo)
{
    py::class_<Base>("Base", py::no_init)
        .def("getX", py::make_getter(&Base::x))
        ;

    py::class_<Foo, py::bases<Base>>("Foo", py::init<int>())
        .def_readonly("x", &Foo::x)
        ;
}

这样， Foo继承了getX() ，一切都很好。