Java中float显式强制转换为byte的规则及运行结果疑问

Java语言规范中明确规定了浮点数窄化转换为整数类型的规则，float转byte分两步执行：

1. 第一步先将float转换为int类型，规则如下：
   • 若float为NaN，转换结果为0
   • 若float为正无穷，或值大于等于Integer.MAX_VALUE(2147483647)，转换结果为Integer.MAX_VALUE
   • 若float为负无穷，或值小于等于Integer.MIN_VALUE(-2147483648)，转换结果为Integer.MIN_VALUE
   • 其余情况将float向0取整，得到对应的整数
2. 第二步将第一步得到的int值转换为byte，直接保留int的低8位，将这8位作为有符号补码解析为byte值。

代码运行结果解释 #

测试代码如下：

public class Typecasts {
    public static void main(String[] args) {
        float f = 12345.0f;
        byte b = (byte) f;
        System.out.println(b); // output: 57
        b = (byte) (f + 1);
        System.out.println(b); // output: 58
        f = 12345678987654321.0f;
        b = (byte) f;
        System.out.println(b); // output: -1
        b = (byte) (f + 1);
        System.out.println(b); // output: -1
    }
}

前两次输出57、58的原因 #

12345.0f和12346.0f都在int的取值范围内，第一步转int分别得到12345和12346，第二步取低8位时，12345 % 256 = 57、12346 % 256 = 58，和普通int转byte的溢出逻辑一致。

最后两次输出-1的原因 #

你预想输出0大概率是误以为超大float转int时会做模2^32运算，但实际Java对超范围的浮点数转int用的是饱和转换规则：

1. 12345678987654321.0f远大于Integer.MAX_VALUE，所以第一步转int直接返回Integer.MAX_VALUE，对应二进制为0x7FFFFFFF，它的低8位是0xFF，有符号byte解析0xFF的结果就是-1。
2. float只有23位尾数，最多只能精确表示2^24（16777216）以内的整数，你用的数值远超出float的精度范围，所以f + 1的结果和原f值完全相等，转换流程和结果和前一次完全一致，所以输出还是-1。

内容的提问来源于stack exchange，提问作者tintinnabulum