在pybind11中实现生成器throw()方法的技术问题

我正在用pybind11在C++中实现生成器，目前卡在throw()方法的实现上。Python中该方法的签名和典型实现如下：

def throw(self, exception_type: type | None = None, exception_message: str | None = None, traceback: Any | None = None) -> None:
    match exception_type:
        case None: raise StopIteration()
        case _: raise exception_type(exception_message)

调用方式：

gen = MyGenerator()
gen.throw(ValueError, "something went wrong")

为简化问题，C++端暂不考虑参数可选性，首次尝试的实现：

void throw_(py::type exception_type, py::str exception_message, py::object /*traceback*/)
{
    throw exception_type(exception_message);
}

运行时抛出RuntimeError: "Caught an unknown exception!"。

尝试转换为pybind11异常类型：

throw py::cast<py::value_error>(exception_type(exception_message));

得到RuntimeError: "Unable to cast Python instance to C++ type"。

之后用字符串比较判断异常类型的实现虽然能工作，但繁琐；用py::exec执行Python代码的方式能支持任意异常，但流程冗余。

疑问 #

1. pybind11是否完全不识别ValueError这类Python异常类型？
2. 是否有比字符串比较更优的类型检查方式？
3. 是否存在纯pybind11/C++的实现方案？

1. pybind11对Python内置异常的识别逻辑 #

pybind11不是不识别Python内置异常，而是有特定处理规则：

• pybind11提供的py::value_error、py::stop_iteration等类，是C++侧用来抛出对应Python异常的封装，内部会创建对应的Python异常对象并触发Python的异常机制。
• 直接抛出py::type构造的Python对象（比如exception_type(exception_message)），pybind11无法自动将其识别为需要传递到Python侧的异常——它只是普通Python对象实例，不是pybind11的异常封装类型，因此会被当作未知异常捕获，抛出RuntimeError。

2. 更优的类型检查方式：直接对比Python异常类型对象 #

不需要用字符串比较，pybind11可以直接获取Python内置异常的类型对象，通过py::is()方法判断传入的exception_type是否匹配：

// 提前获取Python内置异常的类型对象
static const py::type py_value_error = py::type::of<py::value_error>();
static const py::type py_index_error = py::type::of<py::index_error>();
static const py::type py_key_error = py::type::of<py::key_error>();
static const py::type py_runtime_error = py::type::of<py::runtime_error>();
static const py::type py_stop_iteration = py::type::of<py::stop_iteration>();

void throw_(py::type e, py::str msg, py::object traceback)
{
    if (e.is(py::none())) {
        throw py::stop_iteration(msg);
    }
    else if (e.is(py_value_error)) {
        throw py::value_error(msg);
    }
    else if (e.is(py_index_error)) {
        throw py::index_error(msg);
    }
    else if (e.is(py_key_error)) {
        throw py::key_error(msg);
    }
    else if (e.is(py_runtime_error)) {
        throw py::runtime_error(msg);
    }
    // 处理其他自定义或未覆盖的异常类型
    else {
        py::raise_exception(e(msg));
    }
}

这种方式通过类型对象直接对比，比字符串比较更可靠、高效，避免了字符串格式变化带来的问题。

3. 纯pybind11/C++的实现方案 #

有两种纯C++/pybind11的实现方式：

方式一：用py::raise_exception直接抛出Python异常对象 #

针对任意异常类型，不需要提前映射，直接构造Python异常对象后用py::raise_exception抛出——这是pybind11专门用于抛出Python异常的API：

void throw_(py::type e, py::str msg, py::object traceback)
{
    if (e.is(py::none())) {
        throw py::stop_iteration(msg);
    }
    // 直接构造异常对象并抛出到Python侧
    py::object exc_instance = e(msg);
    // 如果需要设置traceback，可赋值给异常对象的__traceback__属性
    if (!traceback.is(py::none())) {
        exc_instance.attr("__traceback__") = traceback;
    }
    py::raise_exception(exc_instance);
}

这个方法完全用pybind11 API实现，支持所有Python异常类型（包括自定义异常），不需要提前枚举类型，也不需要执行Python代码。

方式二：兼顾已知与未知异常的混合实现 #

对于已知的内置异常，用pybind11的异常封装类抛出；对于未知的异常，用py::raise_exception处理，兼顾性能和通用性，就是前面第2点给出的代码。

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