Cython中类copy方法的空对象安全实例化及构造器优化问询

问题背景 #

为C库开发Cython接口时，定义了如下类：

cdef class CholeskyFactor:
    cdef cholmod_factor *_factor
    # 其他成员变量

    def __cinit__(self, A, *, order=None, **kwargs):
         # 分配内存并将_factor设置为非空值
         self._factor = create_cholmod_factor(A, order)

由于_factor是指向底层C数据结构的指针，无法直接使用copy.deepcopy()完成复制，因此需要自定义.copy()方法。但直接创建空白实例会导致_factor为NULL，使对象进入不安全状态；若修改__cinit__允许A=None，又会让用户能够创建无效实例，被迫在所有类方法中添加状态检查逻辑。

解决方案 #

方案1：通过私有参数区分内部与外部调用 #

给__cinit__添加一个私有关键字参数，仅用于内部调用，既能满足复制时创建空白实例的需求，又能阻止用户直接生成无效对象：

cdef class CholeskyFactor:
    cdef cholmod_factor *_factor
    # 其他成员变量

    def __cinit__(self, A=None, *, order=None, _skip_init=False, **kwargs):
        if not _skip_init:
            if A is None:
                raise ValueError("必须提供矩阵A来实例化CholeskyFactor")
            self._factor = create_cholmod_factor(A, order)
            # 执行其他初始化逻辑
        else:
            self._factor = NULL  # 仅内部调用时初始化空白实例

    def copy(self):
        cdef CholeskyFactor cf = CholeskyFactor(_skip_init=True)
        cf._factor = cholmod_copy_factor(self._factor)
        # 复制其他成员变量
        return cf

• 普通用户调用CholeskyFactor()会直接抛出ValueError，无法创建无效实例
• .copy()方法通过_skip_init=True触发空白初始化，之后手动复制C数据结构，确保实例最终处于安全可用状态

方案2：实现__reduce__支持标准深拷贝 #

通过实现__reduce__方法，让Python标准库的copy.deepcopy()能够正确处理对象复制，同时完全隐藏空白实例的创建逻辑：

cdef class CholeskyFactor:
    cdef cholmod_factor *_factor
    # 其他成员变量

    def __cinit__(self, A, *, order=None, **kwargs):
        self._factor = create_cholmod_factor(A, order)
        # 执行其他初始化逻辑

    def __reduce__(self):
        # 返回重建对象所需的信息：(重建函数, 构造参数)
        return (_reconstruct, (self._factor,))

cdef CholeskyFactor _reconstruct(cholmod_factor *src_factor):
    cdef CholeskyFactor cf = CholeskyFactor.__new__(CholeskyFactor)
    cf._factor = cholmod_copy_factor(src_factor)
    # 复制其他成员变量
    return cf

• _reconstruct是cdef函数，外部Python代码无法直接调用，保证了内部逻辑的安全性
• 调用copy.deepcopy(instance)时，会自动通过__reduce__指定的逻辑完成深拷贝，无需手动编写.copy()方法

方案3：封装私有工厂函数 #

创建一个私有cdef工厂函数来生成空白实例，进一步隔离内部实现细节，同时保持__cinit__的严格性：

cdef class CholeskyFactor:
    cdef cholmod_factor *_factor
    # 其他成员变量

    def __cinit__(self, A, *, order=None, **kwargs):
        self._factor = create_cholmod_factor(A, order)
        # 执行其他初始化逻辑

    cdef CholeskyFactor _create_empty(self):
        # 配合方案1的私有参数创建空白实例
        return CholeskyFactor(_skip_init=True)

    def copy(self):
        cdef CholeskyFactor cf = self._create_empty()
        cf._factor = cholmod_copy_factor(self._factor)
        # 复制其他成员变量
        return cf

此方案通过私有工厂函数封装空白实例的创建逻辑，让.copy()方法的代码更简洁，同时进一步避免内部实现细节暴露给用户。

内容的提问来源于stack exchange，提问作者Bernie Roesler