9.3.1 在编译时对数据类型进行静态检查