能否通过Cython实现早期绑定？解决Python循环绑定困惑

你遇到的问题本质是：即便用了Cython，默认的lambda仍然遵循Python的绑定规则——捕获的是变量的引用，而非循环迭代时的当前值。所以不管给i声明了cython.int类型，所有lambda最终都会指向循环结束后的i（也就是99）。

要在Cython里实现类C语言的早期绑定（让每个函数捕获当前迭代值的副本），可以用以下几种方法：

方法1：给lambda添加默认参数 #

这是Python生态里通用的技巧，Cython完全兼容。默认参数会在lambda定义时就计算并绑定当前值的副本：

import cython

fns: list = []
i: cython.int

for i in range(100):
    # 默认参数x=i会在每次迭代时绑定当前i的副本
    fns.append(lambda x=i: x)

print(fns[0]())  # 输出0
print(fns[1]())  # 输出1

方法2：用Cython的cdef工厂函数生成绑定副本的函数 #

如果要彻底贴近C语言的语义，可以用cdef函数来实现。通过工厂函数每次创建一个持有当前值副本的内部函数：

import cython

# 工厂函数，接收当前值并返回绑定了该值副本的函数
cdef make_cfunc(int val):
    cdef int inner_val = val  # 保存当前值的副本
    cdef int func():
        return inner_val
    return func

fns: list = []
i: cython.int

for i in range(100):
    fns.append(make_cfunc(i))

print(fns[0]())  # 输出0
print(fns[1]())  # 输出1

方法3：用cython.locals强制创建迭代局部变量 #

通过cython.locals显式声明每次迭代的局部变量，让lambda捕获这个局部变量的引用——由于每次迭代都会重新创建该变量，自然就绑定了当前值：

import cython

fns: list = []
i: cython.int

for i in range(100):
    # 声明current_i为当前迭代的局部变量，绑定当前i的值
    cython.locals(current_i=i)
    fns.append(lambda: current_i)

print(fns[0]())  # 输出0
print(fns[1]())  # 输出1

核心逻辑都是一致的：让每个函数捕获的是当前迭代值的独立副本，而非循环变量的引用，这样就能实现类C语言的早期绑定效果。

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