Python如何用带for循环的单行列表推导式自定义预设列表首元素

核心思路是不依赖迭代器返回的具体值，通过遍历的顺序特征定位首项，从根本上适配迭代值动态变化、首值完全未知的场景，全程保持带for循环的单行结构。

最通用可靠的方案：结合enumerate做顺序索引判断 #

enumerate是Python内置的惰性迭代工具，会自动为可迭代对象的每一个元素绑定从0开始的顺序索引——这个索引只和遍历的先后顺序有关，和元素本身的取值没有任何关联，哪怕迭代器是生成器、动态接口返回的序列、文件逐行读取的内容等完全不可预知首值的来源，也能100%准确识别第一次遍历的元素（也就是列表推导式最终生成的首项）。
enumerate是Python内置的C实现惰性迭代器，性能开销极低，哪怕是处理十万级别的长序列，也不会带来可感知的性能损耗，完全适合生产场景使用。
示例代码：

# 模拟动态来源的可迭代对象，完全不提前预知生成的元素值
dynamic_iter = (x for x in range(5))
# 单行列表推导式：索引为0的迭代结果替换为100，其余元素保留原迭代值
a = [100 if idx == 0 else val for idx, val in enumerate(dynamic_iter)]

运行后得到的结果就是[100, 1, 2, 3, 4]，和原推导式生成的列表长度完全一致，不存在额外插入元素的问题。

之前尝试编写a = [100, i for i in range(1, 5)]语法非法的原因：列表推导式的语法规则里，for关键字前面的部分是每轮迭代都会执行的单值表达式，不支持用逗号分隔的多值序列（这种写法会被解析为元组结构），语法层面根本无法识别“100作为固定首项、其余元素从迭代器取值”的意图。

为什么不推荐靠值匹配判断首项 #

常规写法[100 if i == 0 else i for i in range(5)]的局限性非常明显：

• 完全依赖提前知道迭代器的初始值，一旦数据源变化、迭代器首值不是固定数字0，判断逻辑就会失效
• 如果迭代器的元素类型不是数字（比如字符串、字典、自定义对象），根本无法定义可靠的“匹配值”来识别首项
• 如果迭代序列中存在和预设匹配值相同的非首项元素，会出现误替换的问题

而基于enumerate的索引判断逻辑，完全不受上述场景限制。

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