Cython函数能否无需显式指定类型接收元组或列表参数？

嘿，作为Cython新手碰到这个需求太正常了！其实完全没必要走C++里void*的路子——Cython本身就有更优雅、更安全的方式来实现同时兼容列表和元组的函数，不用显式指定类型，咱们分两种场景来说：

1. 快速实现：直接用Python对象类型（object） #

如果你的函数不需要极致性能，只是想简单兼容两种序列类型，直接把参数声明为object就搞定了。因为列表和元组都是Python对象，而且都支持迭代，代码写起来和普通Python函数差不多，但能享受到Cython的编译优化：

def process_sequence(object seq):
    cdef:
        long total = 0
        object item
    # 直接遍历，不管是tuple还是list都能正常工作
    for item in seq:
        total += int(item)  # 这里根据你的需求替换成实际处理逻辑
    return total

调用的时候不管传(1,2,3)还是[4,5,6]，函数都能正常处理，完全不用额外判断类型。

2. 追求性能：用Cython的融合类型（Fused Types） #

如果你的函数需要更高的执行效率，不想依赖纯Python对象的迭代，可以用Cython的融合类型（fused types）。它能让你定义一个“泛型”类型，自动适配列表和元组，Cython会在编译时自动生成针对两种类型的优化代码：

# 先定义融合类型，包含list和tuple
ctypedef fused SeqType:
    list
    tuple

def fast_process(SeqType seq):
    cdef:
        long total = 0
        Py_ssize_t i, seq_len = len(seq)
    # 用索引遍历，比Python迭代更快
    for i in range(seq_len):
        total += int(seq[i])
    return total

这个版本的函数在调用时会自动匹配传入的是列表还是元组，直接调用对应的优化版本，性能比object参数的版本高不少，而且同样不用手动写两个函数。

为啥不推荐用void*？ #

C++里的void*是因为早期缺乏泛型才用的折中方案，但Cython本身就有完善的类型系统，用void*反而需要手动处理类型转换，不仅容易出错，还会丢失Python的类型安全，完全没必要舍近求远。

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