静态类型与动态类型