类型转换

复习

　　类型检查要求类型匹配。可现实中，不同类型难免要相遇，比如 1 + 2.5——一个整数加一个浮点数，怎么办？这就需要类型转换（type conversion）。

　　有些转换，编译器会自动替我们完成，这叫隐式转换。

　　比如 1 + 2.5，编译器通常会把整数 1 提升成浮点数 1.0，再做浮点加法，结果是 3.5。这个过程是自动的，程序员不用管。

　　但隐式转换必须有章可循。编译器不是随便乱转，而是遵循一套预先定好的规则（通常叫类型提升规则）。而且，它只会自动做那些“安全”的转换——所谓安全，是指转换不会丢失信息，一定有确定的结果。

　　另一些转换，需要程序员明确写下，这叫显式转换（也叫强制类型转换），比如把浮点数强制取整：

(int) 3.7   →   3

　　这种转换由程序员主动要求，编译器照办。之所以要“强制”，往往是因为这种转换有风险或不精确。

　　判断一个转换危不危险，关键看信息会不会丢失：

　　这正是为什么“浮点转整数”“大转小”这类，语言往往要求你显式写出来：不是不让你转，而是提醒你“这里可能丢东西，你想清楚了吗？” 用一点点书写成本，换你对潜在风险的注意。

　　这又回到那个熟悉的观念：类型系统不只是拦错误，也是在替你标出“这里要小心”。

思考题 1

　　隐式类型转换和显式类型转换，分别由谁决定？

思考题 2

　　为什么“浮点数转整数”通常是一种需要谨慎的转换？

　　隐式转换由编译器根据预设规则自动决定；显式转换由程序员在代码中明确写出，表示“我确实要这样转”。前者只做安全的转换，后者允许有风险的转换。

　　因为它会直接丢弃小数部分，把 3.7 变成 3，造成精度损失。这种转换不是“值相等”的，需要程序员明确知道并接受这种损失，因此通常要求显式写出。

设计师 | 南国微雪