如何让返回元组的Cython函数bar正确传播foo的异常？

核心问题分析 #

你的问题根源在于：

1. cdef 函数抛出异常时，若未正确声明异常传播规则，Cython无法将异常状态传递给调用者；
2. cpdef 函数声明返回静态类型 (int, int) 时，C层面必须返回两个int值——即使内部抛出Python异常，也会返回栈上的垃圾值，同时异常仅在后续被Python解释器回溯，但程序不会立即终止。

最优解决方案 #

推荐采用以下两种方案，兼顾异常传播正确性和Python调用兼容性：

方案1：改用Python对象类型返回（推荐）

将cpdef函数的返回类型改为tuple（Python原生对象），同时给cdef函数添加except *声明，确保异常能被正确传播：

# t.pyx
cdef void foo(int x) except *:
    if x != 42:
        raise ValueError("x must be 42")

cpdef tuple bar(int x):
    foo(x)
    # 仅在无异常时返回正常元组
    return (1, 2)

说明：

• except *：告诉Cython该cdef函数可能抛出任意Python异常，触发异常时会正确设置Python的异常状态；
• 返回tuple而非静态(int, int)：当foo抛出异常时，Cython会直接进入异常处理路径，无需强制返回垃圾值，异常会直接传递到Python调用端，程序可正常捕获并终止。

Python调用示例（main.py）：

import t

try:
    res = t.bar(10)
    print(f"正常返回: {res}")
except ValueError as e:
    print(f"捕获异常: {e}")

方案2：保留静态返回类型（性能优先场景）

若因性能需求必须保留(int, int)静态返回类型，可在调用cdef函数后主动检查异常状态，返回标记性错误值并确保异常被传播：

# t.pyx
from cpython.exc cimport PyErr_Occurred

cdef void foo(int x) except *:
    if x != 42:
        raise ValueError("x must be 42")

cpdef (int, int) bar(int x):
    foo(x)
    # 检查是否有未处理的Python异常
    if PyErr_Occurred():
        # 返回标记错误值（需与业务正常返回值区分）
        return (-1, -1)
    return (1, 2)

Python调用时需结合异常检查：

import t
import sys

try:
    res = t.bar(10)
    if res == (-1, -1):
        # 主动触发已存在的异常
        exc_type, exc_value, _ = sys.exc_info()
        if exc_type:
            raise exc_type(exc_value)
    print(f"正常返回: {res}")
except ValueError as e:
    print(f"捕获异常: {e}")

为什么你的原方案有问题 #

你之前用列表存储结果的方式属于绕开返回值限制的 workaround，但不够简洁。本质原因是静态类型返回的cpdef函数在C层面必须返回值，无法像Python函数那样在抛出异常时跳过返回逻辑，改用Python对象返回则完全规避了这个问题。

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