类型常量