为何Python允许编译传入多参数的list调用及下标式写法？其差异与文档依据是什么？
嘿，这个问题其实戳中了Python里编译阶段和运行阶段的核心区别，还有语法规则与内置类型实际行为的差异，咱们一步步拆解清楚：
一、为什么list(1,2,3,4,5)能通过编译？
要知道，Python的compile函数只负责语法合法性检查和生成字节码，根本不会去验证代码的运行时逻辑！
从语法上来说，函数名(参数1, 参数2, ...)是完全合法的Python函数调用格式——只要参数是用逗号分隔的有效表达式，编译阶段就会放行。list在这里只是一个普通的名称（对应内置的列表构造函数），编译时只会确认这是一个符合调用语法的语句，不会去查这个函数实际能接受几个参数。
只有当你执行这段编译后的字节码时，Python才会去检查list构造函数的参数签名，这时才会抛出TypeError: list() takes at most 1 argument (5 given)的错误。
看你给出的字节码，CALL_FUNCTION 5就是告诉解释器：调用这个函数，传入5个位置参数——这完全符合调用语法，所以编译毫无压力。
二、为什么list[1,2,3,4,5]能通过编译？
这同样是语法层面的合规性：Python的下标运算符[]支持跟任意表达式，而1,2,3,4,5在这个上下文里会被视为一个隐式元组（等价于list[(1,2,3,4,5)]），这是完全合法的下标访问语法。
编译阶段只会确认这个写法符合名称[表达式]的语法结构，不会去管list这个类对象本身支不支持用元组做下标。等运行时，Python才会发现list类型（注意是类，不是列表实例）不支持下标访问，抛出TypeError: 'type' object is not subscriptable的错误（Python 3.9+里支持泛型下标如list[int]，但元组依然不行）。
对应的字节码里BINARY_SUBSCR就是执行下标访问的指令，先加载list这个类对象，再加载元组常量，然后执行下标操作——语法合法，所以编译通过。
三、文档里的依据是什么？
关于
compile函数：该函数的作用是将源码编译为字节码，仅处理语法分析和编译流程，不执行代码。只要源码符合Python的语法规则，就能生成字节码，不会验证运行时的语义（比如函数参数数量、对象是否支持某操作）。
关于函数调用语法：
Python语法规范里，函数调用的参数列表允许零或多个用逗号分隔的表达式，编译阶段只校验这个格式是否正确，不关联目标函数的实际签名。关于下标语法：
下标运算符[]的语法规则允许跟随任意合法表达式，编译阶段仅检查结构合规性，运行时才会通过__getitem__方法（或类型检查）验证操作是否可行。
简单总结：编译看语法，运行看逻辑——这两段代码都是语法合法但运行时非法的典型例子，compile只负责过语法这一关～
备注：内容来源于stack exchange，提问作者haferfleks
