类型注解

类型注解是一种在编程语言中为变量、函数参数和返回值显式声明数据类型的语法。主要用途是提高代码可读性、辅助静态类型检查，并在支持类型推断的语言中减少运行时错误。核心特点包括：非强制性的可选项（如Python、TypeScript），支持泛型与联合类型等复杂结构，以及部分语言（如Java、C++）的强制编译期检查。沿革可追溯至1970年代Pascal等早期语言，2010年代后，Python（PEP 484，2014年）、TypeScript（2012年）等动态语言逐步引入，成为主流实践。