Java中如何在不使用反射的情况下为Throwable添加感叹号后缀？

好问题！你遇到的核心问题其实有两个：一是Java泛型的擦除机制导致无法直接用new T(...)实例化具体子类；二是Throwable本身是不可变的，没法直接修改现有实例的消息。下面给你两种无需反射的简单方案：

1. 针对已知异常类型做针对性处理 #

如果你的业务场景只需要处理有限几种Throwable子类，直接逐个判断类型并实例化新对象是最直接的方式：

public static <T extends Throwable> T withExclamationMark(T error) {
    String newMessage = error.getMessage() != null ? error.getMessage() + "!" : "!";
    
    if (error instanceof RuntimeException) {
        return (T) new RuntimeException(newMessage, error);
    } else if (error instanceof IOException) {
        return (T) new IOException(newMessage, error);
    } else if (error instanceof IllegalArgumentException) {
        return (T) new IllegalArgumentException(newMessage, error);
    }
    // 可以继续添加你需要支持的异常类型
    throw new IllegalArgumentException("Unsupported exception type: " + error.getClass().getSimpleName());
}

这个方案的优点是零额外依赖、性能好，完全符合你“无需反射”的要求。唯一的局限是不够通用，只能处理你提前定义好的异常类型。

2. 让调用方提供构造器函数（通用方案） #

如果需要支持任意Throwable子类，又不想用反射，最优雅的方式是把“创建新实例”的逻辑交给调用方——毕竟调用方清楚自己要处理的异常有哪些构造方法：

重载1：仅传递新消息的构造器 #

public static <T extends Throwable> T withExclamationMark(T error, Function<String, T> constructor) {
    String newMessage = error.getMessage() != null ? error.getMessage() + "!" : "!";
    T newError = constructor.apply(newMessage);
    newError.initCause(error); // 保留原异常的调用栈和原因链
    return newError;
}

调用示例：

RuntimeException originalEx = new RuntimeException("Something went wrong");
RuntimeException updatedEx = withExclamationMark(originalEx, RuntimeException::new);

重载2：支持同时传递消息和原因的构造器 #

有些异常类提供了(String, Throwable)的构造方法，直接用这个更简洁：

public static <T extends Throwable> T withExclamationMark(T error, BiFunction<String, Throwable, T> constructor) {
    String newMessage = error.getMessage() != null ? error.getMessage() + "!" : "!";
    return constructor.apply(newMessage, error);
}

调用示例：

IOException originalEx = new IOException("File missing");
IOException updatedEx = withExclamationMark(originalEx, IOException::new);

这个方案完全通用，而且避免了反射，把实例化的责任交给调用者，既灵活又安全。

为什么你的原始代码行不通？ #

补充一下：Java的泛型是类型擦除实现的，编译后T会被替换成Throwable，所以new T(...)本质上是尝试创建Throwable实例，而不是你传入的具体子类。另外，编译器也无法保证所有T extends Throwable的类都有(String, Throwable)这样的构造方法，所以直接写new T(...)会编译报错。

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