为何list(map(..))搭配list.reverse返回None列表？map执行时机解析

场景复现 #

L = [[1,2,3],[4,5,6]]
f = lambda x: x.reverse()
K = map(f,L)
# 期望得到 [[3,2,1],[6,5,4]]

此时打印K和L的结果：

print(K) # 输出 <map object at 0x...>
print(L) # 输出 [[1,2,3],[4,5,6]]

执行list(K)后：

print(list(K)) # 输出 [None,None]
print(L)       # 输出 [[3,2,1],[6,5,4]]

核心原理拆解 #

1. map对象是惰性求值的 #

map(f, L)创建的不是已计算完成的结果列表，而是一个迭代器对象。它不会立刻执行传入的函数f，只有当你主动遍历它时（比如用list()强制转换、用for循环迭代），才会逐个对L中的元素调用f。

所以刚创建K时，f一次都没执行过，L自然不会有任何变化。

2. list.reverse()的原地操作与返回值 #

list.reverse()是原地修改列表的方法：它直接改变原列表的顺序，但不会返回修改后的列表，而是返回None。

你的lambda函数lambda x: x.reverse()本质就是调用x.reverse()，然后返回它的返回值——也就是None。所以当map迭代执行时，每个元素调用f后得到的结果都是None，转成列表后自然就是[None, None]。

而L最终被修改，是因为f操作的是L中子列表的引用：L里存的是子列表的内存地址，x.reverse()直接修改了这个地址指向的列表内容，所以当map被遍历执行后，原L的子列表就被反转了。

优化方案（可选） #

如果想让map返回反转后的子列表且不修改原L，可以用切片生成新列表代替reverse()：

L = [[1,2,3],[4,5,6]]
f = lambda x: x[::-1]
K = map(f, L)
print(list(K)) # 输出 [[3,2,1],[6,5,4]]
print(L)       # 输出 [[1,2,3],[4,5,6]] 原列表不受影响

如果就是要原地修改原列表，但不想看到[None, None]，可以直接遍历map对象而不转成列表：

L = [[1,2,3],[4,5,6]]
K = map(lambda x: x.reverse(), L)
# 遍历迭代器触发执行
for _ in K:
    pass
print(L) # 输出 [[3,2,1],[6,5,4]]

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