用户交换 基本数据类型 基本运算符 格式化输出