Cython/Python/C++ - 继承:将 Derived Class 作为参数传递给期望基数 class 的函数

Cython/Python/C++ - Inheritance: Passing Derived Class as Argument to Function expecting base class

我正在使用 Cython 包装一组 C++ 类,允许它们使用 Python 接口。示例代码如下:

BaseClass.h:

#ifndef __BaseClass__
#define __BaseClass__
#include <stdio.h>
#include <stdlib.h>
#include <string>
using namespace std;
class BaseClass
{
    public:
        BaseClass(){};
        virtual ~BaseClass(){};
        virtual void SetName(string name){printf("in base set name\n");}
        virtual float Evaluate(float time){printf("in base Evaluate\n");return 0;}
        virtual bool DataExists(){printf("in base data exists\n");return false;}
};
#endif /* defined(__BaseClass__) */

DerivedClass.h:

#ifndef __DerivedClass__
#define __DerivedClass__

#include "BaseClass.h"

class DerivedClass:public BaseClass
{
    public:
        DerivedClass(){};
        virtual ~DerivedClass(){};
        virtual float Evaluate(float time){printf("in derived Evaluate\n");return 1;}
        virtual bool DataExists(){printf("in derived data exists\n");return true;}
        virtual void MyFunction(){printf("in my function\n");}
        virtual void SetObject(BaseClass *input){printf("in set object\n");}
};
#endif /* defined(__DerivedClass__) */

下一个DerivedClass.h:

#ifndef __NextDerivedClass__
#define __NextDerivedClass__

#include "DerivedClass.h"

class NextDerivedClass:public DerivedClass
{
    public:
        NextDerivedClass(){};
        virtual ~NextDerivedClass(){};
        virtual void SetObject(BaseClass *input){printf("in set object of next derived class\n");}
};
#endif /* defined(__NextDerivedClass__) */

inheritTest.pyx:

cdef extern from "BaseClass.h":
cdef cppclass BaseClass:
    BaseClass() except +
    void SetName(string)
    float Evaluate(float)
    bool DataExists()

cdef extern from "DerivedClass.h":
    cdef cppclass DerivedClass(BaseClass):
        DerivedClass() except +
        void MyFunction()
        float Evaluate(float)
        bool DataExists()
        void SetObject(BaseClass *)

cdef extern from "NextDerivedClass.h":
    cdef cppclass NextDerivedClass(DerivedClass):
        NextDerivedClass() except +
        # ***  The issue is right here ***
        void SetObject(BaseClass *)

cdef class PyBaseClass:
    cdef BaseClass *thisptr
    def __cinit__(self):
        if type(self) is PyBaseClass:
            self.thisptr = new BaseClass()
    def __dealloc__(self):
        if type(self) is PyBaseClass:
            del self.thisptr

cdef class PyDerivedClass(PyBaseClass):
    cdef DerivedClass *derivedptr
    def __cinit__(self):
        self.derivedptr = self.thisptr = new DerivedClass()
    def __dealloc__(self):
        del self.derivedptr
    # def Evaluate(self, time):
    #     return self.derivedptr.Evaluate(time)
    def SetObject(self, PyBaseClass inputObject):
         self.derivedptr.SetObject(<BaseClass *>inputObject.thisptr)

cdef class PyNextDerivedClass(PyDerivedClass):
    cdef NextDerivedClass *nextDerivedptr
    def __cinit__(self):
        self.nextDerivedptr = self.thisptr = new NextDerivedClass()
    def __dealloc__(self):
        del self.nextDerivedptr
    def SetObject(self, PyBaseClass input):
        self.nextDerivedptr.SetObject(<BaseClass *>input.thisptr)

我希望能够在 Python 中调用 SetObject,如下所示:

main.py:

from inheritTest import PyBaseClass as base
from inheritTest import PyDerivedClass as der
from inheritTest import PyNextDerivedClass as nextDer

#This works now!
a = der()
b = der()
a.SetObject(b)

#This doesn't work -- keeping the function declaration causes a overloaded error, not keeping it means the call below works, but it calls the inherited implementation (From derived class)
c = nextDer()
c.SetObject(b)

我认为它会工作,因为 类 相互继承,但它给了我以下错误:

参数类型不正确:需要 PyBaseClass,得到 PyDerivedClass

在函数定义中未指定类型使其认为 inputObject 是纯 Python 对象(没有基于 C 的属性,它确实如此),在这种情况下错误是:

*无法将 Python 对象转换为 BaseClass *

对此的一种 hacky 解决方法只是让 Python 具有不同名称的函数需要不同类型的参数(例如:SetObjectWithBase、SetObjectWithDerived),然后在它们的实现中,只需调用相同的 C -based 函数对输入进行了类型转换。我知道这是可行的,但我想尽可能避免这样做。即使有一种方法可以在函数中捕获类型错误,并在内部处理它,我认为这可能有效,但我不确定具体如何实现它。

希望这个问题有意义,如果您需要更多信息,请告诉我。

****EDIT****:代码已被编辑,基本继承有效。多玩了一会儿之后,我意识到问题出在多级继承上,例如,请参阅上面的编辑代码。基本上,为 NextDerivedClass 保留 SetObject 的声明会导致 "Ambiguous Overloaded Method" 错误,不保留它允许我调用对象上的函数,但它会调用继承的实现(来自 DerivedClass)。 **

老实说,这看起来像是一个错误。您传入的对象是所需 class 的一个实例,但它仍然会引发错误。您可能希望将它放在 cython-users 邮件列表中,以便主要开发人员可以查看它。

一种可能的解决方法是定义一个代表两种类型参数的 fused type 并在方法中使用它。不过,这似乎有些矫枉过正。

您编写的代码无法编译。我怀疑你真正的 PyDerivedClass 并不是真正从 PyBaseClass 派生出来的,就好像它确实是这样,最后一行必须是

(<DerivedClass*>self.thisptr).SetObject(inputObject.thisptr)

这也可以解释您遇到的类型错误,这是一个我无法重现的错误。

经过以下答案和实验的大量帮助,我想我明白了在 Cython 中实现基本继承是如何工作的,我正在回答我自己的问题 validate/improve 我的理解,以及希望帮助将来可能遇到相关问题的任何人。如果这个解释有什么不对的地方,欢迎在下方评论中指正,我会进行编辑。我认为这不是唯一的方法,所以我确信替代方法有效,但这是对我有用的方法。

Overview/Things 学习到:

所以基本上,根据我的理解,Cython 足够聪明(给定适当的信息)遍历继承 hiearchy/tree 并根据您调用的对象类型调用适当的虚函数实现正在调用它。

重要的是尝试并镜像您试图包装在 .pyx 文件中的 C++ 继承结构。这意味着确保:

1) 导入的 C++/Cython cppclasses(声明为 cdef extern from 的那些)以与实际 C++ classes 相同的方式相互继承

2) 仅为每个导入的 class 声明唯一的 methods/member 变量(对于一个虚函数,不应该为 BaseClassDerivedClass 都声明函数在两个 classes 中实现不同)。只要一个继承另一个,函数声明只需要在导入的Base中class.

3) Python wrapper classes (ie. PyBaseClass / PyDerivedClass) 也应该像实际的 C++ class是的

4) 与上面类似,虚函数的接口只需要存在于 PyBase 包装器 class 中(不应该同时放入两个 classes,正确的当您实际 运行 代码时将调用实现。

5) 对于每个 Python 包装器 class 子 class 或继承自,您需要 if type(self) is class-name: 检查两个 __cinit__()__dealloc__() 函数。这将防止段错误等。您不需要在层次结构树中检查 "leaf-nodes"(classes 不会继承或子classed)

6) 确保在 __dealloc__() 函数中,您只删除当前指针(而不是任何继承的指针)

7) 同样,在 __cinit__() 中,对于继承的 classes,请确保设置当前指针,以及指向您尝试创建的类型的对象的所有派生指针(即 *self.nextDerivedptr = self.derivedptr = self.thisptr = new NextDerivedClass()*

希望当您看到下面的代码时,上面的观点能理解很多,它编译并且 runs/works 因为我 need/intend 它可以工作。

BaseClass.h:

#ifndef __BaseClass__
#define __BaseClass__

#include <stdio.h>
#include <stdlib.h>
#include <string>

using namespace std;

class BaseClass
{
    public:
        BaseClass(){};
        virtual ~BaseClass(){};
        virtual void SetName(string name){printf("BASE: in set name\n");}
        virtual float Evaluate(float time){printf("BASE: in Evaluate\n");return 0;}
        virtual bool DataExists(){printf("BASE: in data exists\n");return false;}
};
#endif /* defined(__BaseClass__) */ 

DerivedClass.h:

#ifndef __DerivedClass__
#define __DerivedClass__

#include "BaseClass.h"
#include "string.h"

using namespace std;

class DerivedClass:public BaseClass
{
    public:
        DerivedClass(){};
        virtual ~DerivedClass(){};
        virtual void SetName(string name){printf("DERIVED CLASS: in Set name \n");}
        virtual float Evaluate(float time){printf("DERIVED CLASS: in Evaluate\n");return 1.0;}
        virtual bool DataExists(){printf("DERIVED CLASS:in data exists\n");return true;}
        virtual void MyFunction(){printf("DERIVED CLASS: in my function\n");}
        virtual void SetObject(BaseClass *input){printf("DERIVED CLASS: in set object\n");}
};
#endif /* defined(__DerivedClass__) */

下一个DerivedClass.h:

    #ifndef __NextDerivedClass__
    #define __NextDerivedClass__

    #include "DerivedClass.h"

    class NextDerivedClass:public DerivedClass
    {
        public:
            NextDerivedClass(){};
            virtual ~NextDerivedClass(){};
            virtual void SetObject(BaseClass *input){printf("NEXT DERIVED CLASS: in set object\n");}
            virtual bool DataExists(){printf("NEXT DERIVED CLASS: in data exists \n");return true;}
    };
    #endif /* defined(__NextDerivedClass__) */

inheritTest.pyx:

#Necessary Compilation Options
#distutils: language = c++
#distutils: extra_compile_args = ["-std=c++11", "-g"]

#Import necessary modules
from libcpp cimport bool
from libcpp.string cimport string
from libcpp.map cimport map
from libcpp.pair cimport pair
from libcpp.vector cimport vector

cdef extern from "BaseClass.h":
    cdef cppclass BaseClass:
        BaseClass() except +
        void SetName(string)
        float Evaluate(float)
        bool DataExists()

cdef extern from "DerivedClass.h":
    cdef cppclass DerivedClass(BaseClass):
        DerivedClass() except +
        void MyFunction()
        void SetObject(BaseClass *)

cdef extern from "NextDerivedClass.h":
    cdef cppclass NextDerivedClass(DerivedClass):
        NextDerivedClass() except +

cdef class PyBaseClass:
    cdef BaseClass *thisptr
    def __cinit__(self):
        if type(self) is PyBaseClass:
            self.thisptr = new BaseClass()
    def __dealloc__(self):
        if type(self) is PyBaseClass:
            del self.thisptr
    def SetName(self, name):
        self.thisptr.SetName(name)
    def Evaluate(self, time):
        return self.thisptr.Evaluate(time)
    def DataExists(self):
        return self.thisptr.DataExists()

cdef class PyDerivedClass(PyBaseClass):
    cdef DerivedClass *derivedptr
    def __cinit__(self):
        if type(self) is PyDerivedClass:
            self.derivedptr = self.thisptr = new DerivedClass()
    def __dealloc__(self):
        if type(self) is PyBaseClass:
            del self.derivedptr
    def SetObject(self, PyBaseClass inputObject):
        self.derivedptr.SetObject(<BaseClass *>inputObject.thisptr)
    def MyFunction(self):
        self.derivedptr.MyFunction()

cdef class PyNextDerivedClass(PyDerivedClass):
    cdef NextDerivedClass *nextDerivedptr
    def __cinit__(self):
        self.nextDerivedptr = self.derivedptr = self.thisptr = new NextDerivedClass()
    def __dealloc__(self):
        del self.nextDerivedptr

test.py:

from inheritTest import PyBaseClass as base
from inheritTest import PyDerivedClass as der
from inheritTest import PyNextDerivedClass as nextDer

a = der()
b = der()
a.SetObject(b)
c = nextDer()
a.SetObject(c)
c.DataExists()
c.SetObject(b)
c.Evaluate(0.3)


baseSig = base()
signal = der()
baseSig.SetName('test')
signal.SetName('testingone')
baseSig.Evaluate(0.3)
signal.Evaluate(0.5)
signal.SetObject(b)
baseSig.DataExists()
signal.DataExists()

请注意,当我调用时:

c = nextDer()
c.Evaluate(0.3)

它的工作方式是 Cython 沿着继承树向下寻找 "latest" 实施评估。如果它存在于 NextDerivedClass.h 中,它会调用它(我已经尝试过并且它有效),但是由于它不存在,它会向上移动并检查 DerivedClass。该功能在那里实现,因此输出为:

>> DERIVED CLASS: in Evaluate

我希望这对以后的人有所帮助,如果我的理解有任何错误或者只是 grammar/syntax,请随时在下面发表评论,我会尝试解决这些问题。再次感谢那些在下面回答的人,这是他们回答的总结,只是为了帮助验证我的理解。谢谢!