类型基础表达