静态的类型