4.1 基本运算的类型