По какой-то причине для захвата переменной типа i здесь требуется определить функцию, а затем вызвать ее. Простое использование тела этой функции не захватывает i и при вызове использует 3, последнее значение, используемое для i.

Есть ли лучший способ захватить переменную? (без лишнего синтаксического шума, такого как определение/вызовы функций)

class Node(object):
    def __init__(self, value, next=None):
        self.value = value
        self.next = next
    
    def __str__(self):
        return str(self.value) + ',' + str(self.next)
    
    def list2LinkedListFoldrImpPb(nums):
      ret = {0:lambda x:x}
      i = 0  
      for num in nums:
        ret[i+1] = lambda rs: ret[i](Node(num, rs))#---- i NOT captured !!
        i = i+1
      return ret[i](None)
    
    def list2LinkedListFoldrImp(nums):
      ret = {0:lambda x:x}
      i = 0
      def setf(ret, i, num):
          ret[i+1] = lambda rs: ret[i](Node(num, rs))
      for num in nums:
        setf(ret, i, num) #---- i captured !!
        i = i+1
      return ret[i](None)
    
    
    print(list2LinkedListFoldrImpPb([5,4,1])) # maximum recursion depth exceeded  !!!
    print(list2LinkedListFoldrImp([5,4,1])) # works 

Решение

Для справки, решение, как указано в дублирующей ссылке, состоит в том, чтобы убедиться, что вы перечислили все переменные, которые вы собираетесь захватывать, в качестве локального параметра.

Внутри тела НЕТ захвата, области/окружения — часть замыкания — создаются только при вызове функций (и аргументы по умолчанию — просматриваются как часть звонка, я думаю - захвачены)

class Node(object):
  def __init__(self, value, next=None):
    self.value = value
    self.next = next

  def __str__(self):
    return str(self.value) + ',' + str(self.next)

# Creating a function and calling it works
def list2LinkedListFoldrOK(nums):
  ret = {0:lambda x:x}
  i = 0
  def setf(ret, i, num):
      ret[i+1] = lambda rs: ret[i](Node(num, rs))
  for num in nums:
    setf(ret, i, num)
    i = i+1
  return ret[i](None)

#Pb : The i in each lambdas refers to the *last* value that i had in the scope it came from, i.e., 3
def list2LinkedListFoldrImpKO(nums):
  ret = {0:lambda x:x}
  i = 0  
  for num in nums:
    ret[i+1] = lambda rs: ret[i](Node(num, rs))
    i = i+1
  return ret[i](None)

#Solution : List all captured variables as locals via default
def list2LinkedListFoldrImpOK2(nums):
  ret = {0:lambda x:x}
  i = 0  
  for num in nums:
    ret[i+1] = lambda rs, i=i, num=num: ret[i](Node(num, rs))
    i = i+1
  return ret[i](None)

#Solution : or make an actual call 
def list2LinkedListFoldrImpOK3(nums):
  ret = {0:lambda x:x}
  i = 0  
  for num in nums:
    ret[i+1] = (lambda i,num: lambda rs: ret[i](Node(num, rs)))(i,num)
    i = i+1
  return ret[i](None)



print(list2LinkedListFoldrImpOK2([5,4,1]))
print(list2LinkedListFoldrImpOK3([5,4,1]))
print(list2LinkedListFoldrImp([5,4,1]))