首页文章列表标签墙返回找工具啦

静态检查共 2 篇文章

Python 类型注解：typing 模块的详细使用

2026-04-10 11:18:29

Python 类型注解：typing 模块的详细使用理解 Python 类型注解是Python 3.5引入的功能，允许开发者在代码中显式声明变量、函数参数和返回值的预期数据类型。安装 Python 3.9及以上版本已内置typing模块，无需额外安装。为什么需要类型注解提高代码可读性：类型

Python类型注解 typing模块类型提示

ST语言枚举类型赋值超出范围导致的未定义行为检查

2026-03-17 11:31:12

ST语言（Structured Text）是IEC 611313标准定义的五大PLC编程语言之一，广泛用于工业自动化控制系统中。其语法接近Pascal，支持结构化、可读性强的逻辑编写，尤其适合复杂算法与状态机实现。在实际工程中，枚举类型（ENUM）因其语义清晰、便于维护，常被用于表示设备状态（如

ST语言枚举类型赋值检查