Python中if何时构成语句？复合if语句相关概念疑问

• 首先明确Python语句的两类核心划分：
  • 简单语句：单行即可构成完整逻辑、不嵌套其他语句的类型，pass、print(1)、变量赋值都属于这一类，单独存在时就是独立的语句。
  • 复合语句：本身由「头部关键字+表达式+冒号」加内部嵌套的代码块构成，会包含其他语句，if就是典型的复合语句类型。
• 针对if True: pass的属性判定：
  这段代码整体是if语句，pass只是该if语句内部嵌套的简单语句，不是独立存在的语句——它的执行完全受if条件的控制，属于if语句的组成部分。你提到的「if子句」单指if <表达式>:这部分头部结构，不是完整的if语句。
• 关于子句的认知纠正：
  你之前的理解有偏差，不是只有elif、else才算子句：if <表达式>:本身就是if复合语句的第一个子句。官方文档提到「复合语句由一个或多个子句组成」，意思就是哪怕只有一个if子句，没有后续的elif、else，只要后面跟了合法的代码块，它就是完整的复合if语句。
• 关于pass作为占位符的差异：
  没有本质区别，pass和其他简单语句（比如print(1)）的语法地位完全一致，只要if头部后面跟了任意合法的语句（不管是简单语句还是另一个嵌套的复合语句），整个结构就是合法的if语句。pass的作用仅仅是占住语法要求必须存在的代码块位置，本身不执行任何逻辑，不会影响if结构的语句属性。

内容的提问来源于stack exchange，提问作者Klein -_0