预期触发PreconditionError却得到NullPointerException问题咨询

嘿，这种情况我之前也碰到过——明明给Natural类的构造方法加了requires前置条件，测试null输入场景时，却先抛出了NullPointerException，完全没触发预期的前置条件违例。这通常是因为前置条件的检查逻辑没有优先执行，或者前置条件本身的实现有漏洞，咱们一步步来排查：

最常见的原因：前置条件检查晚于null值的使用 #

很多开发者会在构造方法里先做依赖传入参数的操作（比如调用参数的方法、赋值字段时做处理），之后才执行前置条件检查。举个反例：

public class Natural {
    private final String value;

    public Natural(String input) {
        this.value = input.trim(); // input为null时，这里直接抛NPE
        Requires.notNull(input, "input cannot be null"); // 这行根本没机会执行
    }
}

修复方式：把前置条件检查放在构造方法的第一行，确保在任何依赖参数的操作之前执行：

public class Natural {
    private final String value;

    public Natural(String input) {
        Requires.notNull(input, "input cannot be null"); // 先做前置检查
        this.value = input.trim(); // 再安全处理参数
    }
}

第二个可能：前置条件工具类的实现有问题 #

如果你的Requires.notNull方法本身写得有漏洞，也会导致NPE提前抛出。比如错误的实现：

public class Requires {
    public static void notNull(Object obj, String msg) {
        if (obj.toString() == null) { // obj为null时，调用toString()直接抛NPE
            throw new IllegalArgumentException(msg);
        }
    }
}

正确的实现应该先判断对象是否为null，再做后续操作：

public class Requires {
    public static void notNull(Object obj, String msg) {
        if (obj == null) {
            throw new IllegalArgumentException(msg); // 触发预期的前置条件违例
        }
    }
}

如果是注解式前置条件：检查切面是否生效 #

如果你用的是注解形式的@Requires（比如通过AOP实现的前置条件），要确认AOP配置是否拦截了构造方法。有些AOP框架默认不会处理构造方法，需要手动调整切点表达式，确保构造方法被正确拦截，前置条件逻辑在构造方法执行前触发。

最后验证 #

修改完成后重新运行测试用例：当传入null时，应该抛出你预期的前置条件违例（比如IllegalArgumentException），而不是NullPointerException。

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