Java Primitive Patterns 怎么处理数值窄化失败

Java Primitive Patterns 处理“数值窄化失败”时，关键不是捕获异常，而是先判断转换是否精确。以 int 转 byte 为例，值在 -128 到 127 内时可以安全匹配；超出范围时，模式通常走失败分支。直接强转则可能静默丢失高位，所以生产代码应把“安全转换”和“强制截断”分开。

一、先分清窄化转换与模式不匹配

Java 的窄化基本类型转换允许信息减少。int 转 byte 可能改变数值的范围和符号，但这类显式强转本身不会因为溢出抛出 ClassCastException。Primitive Patterns 关注的是另一件事：这次测试转换能不能在不丢信息的前提下成立。

因此，下面两个值的结果不同：

int safe = 42;
// 只有能无损转换时才进入成功分支
if (safe instanceof byte b) {
    System.out.println("safe byte=" + b);
}

int lossy = 2345323;
// 该值超出 byte 范围，模式不会把截断后的结果当成安全匹配
if (lossy instanceof byte b) {
    System.out.println("unexpected=" + b);
} else {
    System.out.println("narrowing would lose information");
}

// 显式强转是另一种语义：可能得到截断后的值，而不是安全转换
byte truncated = (byte) lossy;

这里的“失败”不是编译器拒绝语法，也不是自动抛异常，而是测试转换不精确，运行时结果为 false。这正是它适合做边界判断的原因。

二、用 Primitive Pattern 接住安全值

如果业务只接受不丢精度的窄化结果，可以把模式当成一个带值域保护的入口。成功时，b 已经是 byte；失败时，不要继续使用一个猜测性的强转结果。

static String normalizeCount(int value) {
    // 成功分支只处理能精确落入 byte 的值
    if (value instanceof byte b) {
        return "byte=" + b;
    }

    // 失败分支保留原始 int，避免静默截断业务计数
    return "int=" + value + ", requires wider type";
}

这个判断也比手写多个边界常量更容易表达意图。不过要注意，Primitive Types in Patterns 在相关 Java 文档中仍属于预览能力；项目构建必须显式开启预览，并且编译与运行使用相同的目标版本。

三、为 switch 和旧 JDK 保留边界方案

把原始类型模式放进 switch 时，编译器还要检查覆盖性。一个可能丢信息的转换不能被当作覆盖全部输入，例如任意 float 并不都能安全转成 int。这时应补充其他模式或默认分支，而不是用强转掩盖边界。

如果线上仍是没有该预览能力的 JDK，等价写法是先检查范围，再转换：

static Byte toByteOrNull(int value) {
    // 旧 JDK 用明确值域表达“无损转换”的前置条件
    if (value  Byte.MAX_VALUE) {
        return null;
    }
    // 经过范围检查后，强转不会改变业务数值
    return (byte) value;
}

选择方案时可以按三项检查：目标 JDK 是否允许预览特性；失败时是返回原值、返回空值还是报告业务错误；强转后的截断值是否真的符合协议。只要最后一项答不上来，就不要直接写 (byte) value。

相关问题

窄化失败会抛异常吗？

Primitive Pattern 通常以不匹配表示信息损失；显式基本类型强转也不会因为数值溢出抛 ClassCastException，但可能得到错误的截断值。

什么时候仍然应该使用显式范围检查？

当项目不能启用预览特性、公共方法需要兼容旧 JDK，或团队希望把接受范围写成可复用的校验函数时，显式检查更稳妥。