常量与类型转换