Python 3.8中语句`x:5`无报错原因及具体作用是什么？

语句作用 #

你写的x:5是Python 3.6及以上版本支持的变量注解语法，作用是给变量绑定自定义元信息：

• 常规用法是标注变量的预期类型，例如x:int用于告诉静态类型检查工具（如mypy）该变量应当为整型，帮助提前排查类型不匹配的代码问题，Python运行时本身不会强制校验该类型约束。
• 你示例中的5属于自定义注解内容，执行后该信息会被存储到当前作用域的__annotations__字典中，你可以通过读取__annotations__['x']拿到值5，可以用来存储变量的默认值说明、校验规则等自定义元数据。

不报错的原因 #

• 变量注解语法本身的设计就不要求变量预先定义，也不会执行赋值操作，所以不会触发「变量未定义」的运行时错误。
• 这条语句执行后只会修改__annotations__字典，不会在当前作用域创建实际的x变量，你如果后续直接打印x还是会报NameError。
• 如果需要同时完成类型标注和变量赋值，可以写成x:int = 5，此时才会真正给x变量分配值。

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