A.局部变量标识符不能与任何全局变量的标识符相同
B.在模块顶层的if语句内赋值时，只要该分支执行，绑定的名称仍属于模块全局命名空间
C.在函数内部重新绑定数字类型全局变量时，必须使用global声明该名称
D.在函数内部读取组合类型全局变量时，可以不使用global声明
