9.2.3 静态类型