静态检查（Static Checking）

在程序运行之前由编译器基于源代码结构推断安全性的检查方式，优势是零运行时成本与确定性性能，代价是对代码表达形式施加更多约束