静态类型检测