Error Prone IntFloatConversion 检查器：捕获 int 隐式转 float 的精度丢失问题

• 静态分析
• 代码质量
• 开发工具

本文介绍 Error Prone 内置检查器IntFloatConversion：当int参数隐式转换为float参与重载方法调用、而结果却按double语义使用时，它会在编译期给出警告并自动修复。读完本文，你将理解该问题的成因、检查器触发条件、自动修复原理，以及如何在构建中启用与验证。

问题背景：int → float 隐式转换的精度丢失

Java 中int（32 位整数）隐式拓宽（widening）为float（32 位 IEEE 754 单精度浮点数）是合法的，但float只有 24 位有效尾数，无法精确表示全部 32 位整数。当int数值较大时，int→float的转换会丢失低位精度。

单独看一次转换，int→float造成的精度损失往往可接受。真正隐蔽的问题出现在方法重载（overload）选择上：当被调用的方法同时提供float与double两个重载，而你传入int实参时，编译器会优先选择float重载（因为int→float是合法的拓宽转换，重载解析按最具体匹配优先）；但如果该调用的结果随后被用作double，你本期望的是双精度结果，实际得到的却是先被压成float再拓宽成double的值——精度已在源头丢失，且这种丢失难以从调用处直接察觉。

典型示例：Math.scalb

关联文档 docs/bugpattern/IntFloatConversion.md 以java.lang.Math.scalb为例：

• Math.scalb(float, int)：将float乘以 2 的整数次幂
• Math.scalb(double, int)：将double乘以 2 的整数次幂

当第一个参数传int时：

int x = ...; int y = ...; double f = Math.scalb((double) x, 2);

如果不加(double)强转，Math.scalb(x, 2)会解析到Math.scalb(float, int)，x先被隐式转成float，结果再赋值给double变量，中间环节已发生精度损失。显式写成(double) x即可强制走Math.scalb(double, int)重载。

检查器触发条件与匹配逻辑

IntFloatConversion的源码位于 core/src/main/java/com/google/errorprone/bugpatterns/IntFloatConversion.java，它实现MethodInvocationTreeMatcher，只在方法调用树节点上匹配。其触发条件由三部分组成：

1. 调用形态匹配：必须是对java.lang.Math.scalb的静态方法调用，且签名精确为scalb(float, int)——这正是文档所述"同时存在 float/double 重载"时的浮点重载：

private static final Matcher<ExpressionTree> MATCHER = MethodMatchers.staticMethod() .onClass("java.lang.Math") .named("scalb") .withParameters("float", "int");

2. 实参类型为 int：检查第一个实参的静态类型是否带TypeTag.INT标记，不是int则不告警。
3. 目标类型为 double：调用表达式所处的上下文目标类型必须是double。这意味着检查器只关心"结果被当作 double 使用"的调用点。

三条条件同时满足时，检查器才会命中（matchMethodInvocation返回匹配描述），否则返回NO_MATCH静默通过。

目标类型（TargetType）判定

第 3 步使用了com.google.errorprone.util.TargetType.targetType(state)，实现在 check_api/src/main/java/com/google/errorprone/util/TargetType.java。该工具计算"表达式被使用处的目标类型"，其设计目标是：表达式值被使用处的目标类型，是你能强转过去仍能通过编译的最高父类型（见该文件 javadoc）。常见目标类型包括：

• 赋值语句的变量类型（如double f = ...中的double）
• return语句所在方法的返回类型（TargetTypeVisitor.visitReturn）
• 方法调用参数对应的形参类型（visitMethodInvocationOrNewClass按参数下标取对应形参类型）
• 二元运算经二元数值提升（binary numeric promotion）后的类型（如int + float→float）

IntFloatConversion通过targetType.type().hasTag(TypeTag.DOUBLE)判断上下文是否为double。也就是说，同一个Math.scalb(x, 2)调用：

• 赋值给float变量或作为float参数使用时（目标类型为float），不告警；
• 赋值给double变量、作为double实参或出现在按double运算的上下文中时，才告警。

这正是"float 与 double 重载并存、结果却期望 double 精度"这一特定风险的精确刻画。

自动修复：前缀强转 (double)

命中后，检查器给出的修复策略不是替换整个方法调用，而是只对第一个实参做前缀插入强转：

return describeMatch(arg, prefixWith(arg, "(double) "));

即把Math.scalb(x, 2)修复为Math.scalb((double) x, 2)，与文档中的建议写法完全一致。借助SuggestedFix.prefixWith，修复不改变Math.scalb的选择，而是把实参类型从int变为double，从而使重载解析落到scalb(double, int)。该检查器的@BugPattern注解声明了 severity 为WARNING，summary 为：

"Conversion from int to float may lose precision; use an explicit cast to float if this was intentional"

在 Error Prone 中，WARNING级别的诊断默认在编译时报告但不阻塞构建（除非配合严格的构建配置提升为 error）。

测试用例：正反样例验证

测试位于 core/src/test/java/com/google/errorprone/bugpatterns/IntFloatConversionTest.java，通过CompilationTestHelper驱动真实编译，验证两条路径：

正例（应告警）——int实参 +double返回类型：

class Test { double f(int x) { // BUG: Diagnostic contains: return Math.scalb(x, 2); } }

测试在return Math.scalb(x, 2);处断言产生了诊断。

负例（不应告警）——同样的调用，但方法返回类型是float：

class Test { float f(int x) { return Math.scalb(x, 2); } }

此处目标类型为float，即使int → float有精度损失也符合预期（调用者明确要float精度），因此不告警。这一正/负样例设计直观地刻画了检查器的边界：问题不在于 int→float 本身，而在于"期望 double 却被 float 重载截胡"。

启用与使用方式

IntFloatConversion已被注册进 Error Prone 的默认启用检查器集合，见 core/src/main/java/com/google/errorprone/scanner/BuiltInCheckerSuppliers.java（IntFloatConversion.class位于默认启用的 checker 列表中）。因此：

• 在 Maven 构建中配置-Xep:参数启用 Error Prone 编译插件后，该检查器开箱即用，无需额外指定；
• 如需将其诊断提升为编译错误以强制修复，可配置-Xep:IntFloatConversion:ERROR；
• 如需临时关闭，可配置-Xep:IntFloatConversion:OFF（不推荐长期关闭）。

Error Prone 通过-Xep:系列编译参数统一控制各检查器的级别，IntFloatConversion遵循同样的开关机制。

边界与注意事项

• 仅针对 Math.scalb：从实现看，当前匹配器只覆盖java.lang.Math.scalb(float, int)这一组重载。其他"float/double 重载并存 + int 实参"的 API（例如Math.pow的(double, double)无 float 版本，或Math.min/max各类型版本）不在该检查器范围内；不过仓库内另有IntLongMath、FloatingPointLiteralPrecision等相关检查器处理浮点与整数算术的其他精度问题。
• 区分相邻检查器：与IntLiteralCast（提示对int字面量改用目标类型字面量，如(float) 5→5.0f）不同，IntFloatConversion关注的是方法调用处 int 实参的重载选择导致的双精度丢失，两者互补而非重叠。
• docgen 一致性：该检查器的公开文档由@BugPattern注解驱动生成（见 docgen_processor 模块），因此本文所述行为与 docs/bugpattern/IntFloatConversion.md 及源码、测试三方一致。

小结

IntFloatConversion是 Error Prone 中一个"小而精准"的编译期检查器：它把"int 隐式转 float 可能丢精度"这一宽泛话题，收敛为"Math.scalb的 int 实参在 double 目标类型下被 float 重载截胡"这一具体可自动修复的缺陷。理解它的触发三条件（调用形态、int 实参、double 目标类型）与TargetType目标类型推导机制，既能帮助你写出无精度损失的浮点调用，也能作为阅读 Error Prone 检查器实现与编写CompilationTestHelper测试的入门样例。

• 静态分析
• 代码质量
• 开发工具