Cython的def函数不提速因其仍调用Python API，需改用cdef函数、C类型变量及内存视图（如double[:]）并配合nogil和prange才能实现真正加速。
为什么 cython 的 def 函数不提速？
因为 def 声明的是 Python 函数，即使加了类型标注（如 def func(int x)），Cython 仍会生成带完整 Python 对象操作的 C 代码，循环中每次访问列表、做算术都走 Python API —— 这和纯 Python 几乎一样慢。
真正提速的关键是用 cdef 声明函数，并配合 cdef 变量、list 替换为 array 或 C 数组。只有这样，Cython 才能绕过 Python 解释器，直接生成 C 级别循环。
-
cdef函数不能被 Python 直接调用，需用cpdef或额外封装一层def - 循环变量必须显式声明为 C 类型：例如
cdef int i, n = len(arr)，否则i默认是 Python 对象 - 避免在循环内调用 Python 函数（如
print()、len()多次）、访问list[i]—— 改用arr[i]且arr是double[:]这类内存视图
如何把 Python 列表转成 Cython 可高速访问的结构？
直接传 list 进 cdef 函数效率极低，因为每次索引都要做类型检查和引用计数。正确做法是用 NumPy 数组 + memoryview 或 Typed MemoryView。
示例：将 list[float] 转为 double[::1]（连续一维内存视图）：
立即学习“Python免费学习笔记（深入）”；
# example.pyx import numpy as np cimport numpy as cnp cimport cython <p>def fast_sum(object py_list): cdef cnp.ndarray[double, ndim=1] arr = np.array(py_list, dtype=np.float64) cdef double[:] view = arr # 获取 typed memoryview cdef int i, n = view.shape[0] cdef double total = 0.0 for i in range(n): total += view[i] return total
- 不要用
list当参数类型注解（如def f(list l)），它不提供底层信息 -
double[::1]中的::1表示“内存连续”，能让 Cython 生成更优的指针算术代码 - 如果原始数据已是 NumPy 数组，直接接收
double[:] arr参数即可，避免中间np.array()拷贝
prange 并行循环为什么有时更慢？
from cython.parallel cimport prange 能开多线程，但不是所有循环都适合：小数据量、循环体太轻量、或存在共享写入时，线程开销反而压倒收益。
- 必须加
with nogil:才能真正释放 GIL；没这句，prange就是假并行 - 禁止在
prange循环里读/写同一个 Python 对象（如result.append()），要用cdef数组 + 最终合并 - 典型适用场景：向量运算、图像像素处理、蒙特卡洛模拟等计算密集且无依赖的循环
- 验证是否生效：编译后用
htop观察 CPU 使用率是否接近 100% × 核心数
编译时忘记 language_level=3 会怎样？
Cython 默认用 Python 2 语义解析（比如 print 是语句），导致类型标注语法报错或行为异常，比如 def f(int x) -> float: 直接失败。
必须在 setup.py 中明确指定：
from setuptools import setup
from Cython.Build import cythonize
setup(
ext_modules = cythonize("example.pyx", language_level=3)
)
- 不加
language_level=3，->注解、f-string、yield from等全不可用 - 若项目含
async/await，还需额外加compiler_directives={'binding': False}避免生成调试钩子 - 编译后务必检查
.c文件里是否生成了类似__pyx_v_x = __Pyx_PyInt_As_int(...)的转换 —— 如果有，说明类型没穿透到底层，得回查变量声明位置
最易被忽略的是：Cython 不会自动推导容器元素类型，list 里的每个元素仍是 Python 对象，哪怕你写了 def f(list[int] xs) —— 这种标注只影响静态检查，不改变运行时行为。
