Java算术溢出校验优化：寻求便捷的checked算术实现方案

Great question! I totally feel your pain—checked overflow checks are negligible in most codebases, but Java's Math.addExact()/Math.multiplyExact() and similar methods are just so verbose to write. Who wouldn't want to use clean operators like + or * for checked arithmetic, while having an easy way to opt into unchecked behavior for performance-sensitive sections?

Here are your best options, split into library-based and IDE-based solutions:

Library Solutions (The Real Fix for Your Operator Wish) #

1. Checker Framework Overflow Checker #

This is exactly what you're looking for. The Checker Framework's Overflow Checker lets you use standard arithmetic operators normally, but automatically enforces checked overflow behavior (throwing ArithmeticException on overflow) by default.

For performance-sensitive code where you want to skip checks, just add a simple annotation to disable the check for that section:

// Default: checked arithmetic with standard operators
public int safeAdd(int a, int b) {
    return a + b; // Behaves exactly like Math.addExact(a, b)
}

// Opt out for performance-critical code
@SuppressWarnings("overflow")
public int fastUncheckedAdd(int a, int b) {
    return a + b; // Behaves like regular unchecked Java arithmetic
}

No need to rewrite your code with clunky method calls—keep using the operators you know, and control check behavior with annotations.

2. Honorable Mention: Eclipse Collections #

Eclipse Collections has CheckedIntMath, CheckedLongMath, etc., with methods like checkedAdd(), but these still require method calls (just slightly cleaner than Java's built-ins). It's not as seamless as the Checker Framework, but an option if you're already using the library.

IDE Workarounds (If You Don't Want to Add Dependencies) #

If you're not ready to bring in a third-party library, your IDE can help reduce the pain of writing Java's verbose checked methods:

IntelliJ IDEA #

• Quick Intentions: When you write a + b, press Alt+Enter and select "Replace with Math.addExact()" to instantly swap to the checked method. Reverse the process by selecting "Replace with regular arithmetic" for unchecked behavior.
• Live Templates: Create a custom template (e.g., ca for "checked add") that expands to Math.addExact($A$, $B$). Just type ca, tab through the arguments, and you're done—way faster than typing the full method name every time.

Eclipse #

• Quick Fix: Highlight a regular arithmetic operation, press Ctrl+1, and choose "Replace with Math.addExact()" (or equivalent) to switch to checked arithmetic.
• Code Templates: Define a template for checked arithmetic methods to avoid typing the full method signature repeatedly.

Final Recommendation #

The Checker Framework is the perfect fit for your requirement—it lets you keep using standard operators for checked arithmetic, with a simple annotation to opt out for performance-sensitive code. It's clean, maintainable, and exactly solves the verbosity problem you're facing.

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