List初始化语法[]内支持执行的语句类型有哪些

首先要明确：你提到的[if(True), for(;;)]这类写法本身是语法错误，Python的方括号创建列表分两种完全独立的语法场景，二者支持的内容边界非常清晰，不能随意混写语句。

场景1：普通列表字面量 #

也就是直接按顺序写元素值的写法，比如[1, "abc", func()]。
这个场景下，方括号内的每一项都必须是有返回值的合法Python表达式，项与项之间用逗号分隔，不支持任何独立语句（比如单独的if判断、for循环、普通变量赋值语句都不能直接写）。
支持的表达式类型包括：

• 基础字面量：数字、字符串、布尔值、None、其他容器字面量等
• 各类运算表达式：算术运算、逻辑运算、位运算、成员运算等
• 三元条件表达式：注意Python的三元语法是返回值1 if 条件 else 返回值2，不是C系语言的条件?返回值1:返回值2，这个是合法表达式，可以直接作为列表元素
• 函数、方法调用表达式
• 其他合法的有返回值的表达式，比如lambda表达式、推导式本身（可以作为列表的嵌套元素）

举个合法例子：

a = 3
# 合法，三元表达式作为元素，输出[1]
res = [1 if a > 0 else -1]

场景2：列表推导式（列表生成式） #

这是Python提供的快速生成列表的语法糖，只有严格符合推导式的语法结构时，才能在方括号内写for、if关键字，它不是允许任意写语句，只是固定语法结构里包含这两个关键字的子句。
列表推导式的固定语法规则为：

[ 输出表达式 for 迭代变量 in 可迭代对象 [if 过滤条件表达式]* [for 迭代变量 in 可迭代对象 [if 过滤条件表达式]*]* ]

这个结构里允许写的内容有严格限制：

1. 最开头必须是输出表达式：和普通列表字面量支持的表达式规则完全一致，用来生成最终存入列表的元素值，这里可以用三元表达式，不能写独立语句。Python3.8+支持海象运算符:=在表达式内完成赋值，本质还是表达式，不是独立赋值语句。
2. 后面可以跟1到多个for 迭代变量 in 可迭代对象子句，对应多层嵌套循环的逻辑，注意这里的for是子句，不是带冒号和代码块的完整for循环语句，不能写自定义循环体。
3. 每个for子句后面可以跟0到多个if 过滤条件表达式子句，对应循环内的过滤逻辑，只有满足条件的迭代值才会传入输出表达式生成元素。这里的if后面只能跟条件表达式，不能加elif、else分支，也不能写if对应的代码块。

合法/非法写法示例 #

✅ 合法写法：

# 单循环+条件过滤，输出[0,2,4,6,8]
[i*2 for i in range(10) if i % 2 == 0]
# 双层循环+多条件过滤，输出[2,3,4]
[x+y for x in range(3) for y in range(3) if x > 0 if y > 0]
# 输出位置用三元表达式，输出[1,-1,1,-1,1]
[1 if i%2 ==0 else -1 for i in range(5)]

❌ 非法写法：

# 不符合任何语法规则，直接报语法错
[if True, for i in range(10)]
# if过滤子句不能带else
[i for i in range(10) if i%2 ==0 else 0]
# 输出位置不能写独立赋值语句
[i=1 for i in range(10)]
# 不能写带冒号和代码块的完整for循环
[for i in range(10): print(i)]

如果需要在列表初始化时执行更复杂的逻辑（比如多分支判断、循环内执行多步操作），不要尝试把语句硬塞进方括号，可以先写普通for循环通过append方法添加元素，或者把复杂逻辑封装成函数，在推导式/字面量里调用该函数即可。

内容的提问来源于stack exchange，提问作者gitman-2021