Java异常处理机制与自定义异常设计指南

1. Java异常继承体系的核心设计逻辑

Java异常处理机制本质上是对程序非正常状态的分类管理策略。整个体系以Throwable为根基，向下分化出Exception和Error两大分支。在实际开发中，我们需要特别关注Exception及其子类RuntimeException的区别：

• Checked Exception（编译时异常）：继承自Exception的非RuntimeException子类
• Unchecked Exception（运行时异常）：RuntimeException及其子类

这种分类不是随意设计的，而是基于Java语言的安全哲学。当年James Gosling团队在设计Java时，强制要求处理可能发生的异常（比如文件不存在、网络中断），以此提高程序健壮性。但有些异常（如空指针、数组越界）属于编码错误，强制处理反而会降低代码可读性。

2. 自定义异常的类型选择标准

2.1 何时继承Exception

当满足以下条件时，你的自定义异常应该直接继承Exception：

1. 表示业务逻辑中可预见的异常情况（如订单金额不足）
2. 调用方必须处理该异常才能保证业务连续性
3. 异常情况属于正常业务流程的一部分

典型场景示例：

java复制// 支付业务异常
public class PaymentException extends Exception {
    public PaymentException(String message) {
        super(message);
    }
}

// 使用时必须处理
try {
    processPayment();
} catch (PaymentException e) {
    showErrorToast("支付失败: " + e.getMessage());
}

2.2 何时继承RuntimeException

选择继承RuntimeException的情况包括：

1. 表示程序错误而非业务异常（如参数校验失败）
2. 异常无法通过合理手段恢复（如数据库连接丢失）
3. 需要保持代码简洁性的工具类方法

开发框架中常见案例：

java复制// 参数校验异常
public class InvalidParamException extends RuntimeException {
    public InvalidParamException(String fieldName) {
        super("参数" + fieldName + "不合法");
    }
}

// 使用时无需声明
void validateUser(User user) {
    if(user.getName() == null) {
        throw new InvalidParamException("name");
    }
}

3. 面试中的高频陷阱题解析

3.1 经典面试题变体分析

题目：以下代码有什么问题？

java复制class MyException extends RuntimeException {
    // 空实现
}

void process() throws MyException {
    throw new MyException();
}

陷阱点：

1. 虽然RuntimeException不需要声明，但方法签名中声明throws是合法的
2. 面试官可能考察对throws关键字作用域的完整理解
3. 实际开发中这种写法会导致混淆（声明运行时异常）

3.2 继承层次设计考题

题目：设计一个文件处理系统的异常体系，要求：

• 区分文件格式错误和IO错误
• 支持获取错误文件路径
• 格式错误属于业务异常，IO错误属于系统异常

参考答案：

java复制// 基础异常
abstract class FileSystemException extends Exception {
    private final String filePath;
    
    public FileSystemException(String message, String filePath) {
        super(message);
        this.filePath = filePath;
    }
    
    public String getFilePath() {
        return filePath;
    }
}

// 业务异常
class FileFormatException extends FileSystemException {
    public FileFormatException(String filePath, String detail) {
        super("文件格式错误: " + detail, filePath);
    }
}

// 系统异常
class FileIOException extends RuntimeException {
    private final String filePath;
    
    public FileIOException(String filePath, Throwable cause) {
        super("文件操作失败: " + filePath, cause);
        this.filePath = filePath;
    }
}

4. 实际项目中的最佳实践

4.1 异常包装模式

在分层架构中，推荐使用异常包装模式保持各层异常纯净：

java复制// DAO层
public User findUser(String id) throws DataAccessException {
    try {
        return jdbcTemplate.queryForObject(...);
    } catch (SQLException e) {
        throw new DataAccessException("查询用户失败", e);
    }
}

// Service层
public User getUser(String id) throws BusinessException {
    try {
        return userDao.findUser(id);
    } catch (DataAccessException e) {
        throw new BusinessException("获取用户信息失败", e);
    }
}

4.2 异常日志记录规范

1. 在系统边界处记录完整异常链：

java复制try {
    paymentService.charge(order);
} catch (PaymentException e) {
    log.error("支付失败 | orderId={} | error={}", order.getId(), 
        ExceptionUtils.getStackTrace(e));
    throw e;
}

2. 避免重复记录：

• Controller层统一记录业务异常
• 使用AOP记录未捕获异常
• 相同异常在不同层级不要重复记录

5. 性能优化注意事项

5.1 异常构造开销

异常实例化比普通对象创建慢10-100倍，因为：

1. 需要填充线程栈轨迹（调用fillInStackTrace()）
2. 同步操作栈信息

优化方案：

java复制// 重用无栈轨迹异常
class OptimizedException extends RuntimeException {
    @Override
    public synchronized Throwable fillInStackTrace() {
        return this; // 跳过栈收集
    }
}

5.2 异常处理对JIT的影响

过度使用异常会干扰JIT优化：

1. 包含try-catch块的方法内联限制更多
2. 异常路径被视为冷代码（cold path）
3. 可能阻止循环展开等优化

建议：

• 将异常处理移到循环体外
• 用状态码代替异常处理高频错误
• 避免在性能关键路径使用检查异常

6. 现代Java版本的改进

6.1 try-with-resources的增强

Java 9开始支持effectively final变量：

java复制// 旧版
try (InputStream is = new FileInputStream("file")) {
    // ...
}

// 新版
InputStream is = new FileInputStream("file");
try (is) { // 自动关闭
    // ...
}

6.2 模式匹配简化catch块

Java 16引入的模式匹配：

java复制try {
    // ...
} catch (FileNotFoundException | SQLException e) {
    if (e instanceof FileNotFoundException fnfe) {
        handleFileNotFound(fnfe);
    } else {
        handleSQLException((SQLException)e);
    }
}

7. 常见反模式警示

7.1 异常吞噬问题

错误示范：

java复制try {
    process();
} catch (Exception e) {
    // 没有任何处理
}

正确做法至少包含：

1. 日志记录
2. 上下文信息补充
3. 适当的上抛或转换

7.2 过度检查异常

不良设计：

java复制interface UserService {
    User findUser(String id) throws 
        NetworkException, 
        DatabaseException,
        CacheException,
        ValidationException;
}

改进方案：

1. 使用RuntimeException包装技术异常
2. 定义业务异常基类
3. 使用异常聚合模式

8. 框架集成注意事项

8.1 Spring的异常转换

Spring通过@ExceptionHandler实现异常统一处理：

java复制@RestControllerAdvice
public class GlobalExceptionHandler {
    
    @ExceptionHandler(BusinessException.class)
    public ResponseEntity<ErrorResult> handleBusinessException(
            BusinessException e) {
        return ResponseEntity.status(400)
            .body(new ErrorResult(e.getCode(), e.getMessage()));
    }
    
    @ExceptionHandler(Exception.class)
    public ResponseEntity<ErrorResult> handleSystemException(
            Exception e) {
        log.error("系统异常", e);
        return ResponseEntity.status(500)
            .body(new ErrorResult("SYSTEM_ERROR", "系统繁忙"));
    }
}

8.2 事务边界处理

Spring事务回滚规则：

1. 默认对RuntimeException和Error回滚
2. 检查异常不会导致回滚
3. 可通过@Transactional注解修改：

java复制@Transactional(rollbackFor = {Exception.class})
public void updateOrder() throws Exception {
    // ...
}

9. 测试策略建议

9.1 异常测试的完整写法

JUnit 5最佳实践：

java复制@Test
void whenInvalidInput_thenThrowsException() {
    // 准备
    UserService service = new UserService();
    
    // 断言异常
    BusinessException exception = assertThrows(
        BusinessException.class,
        () -> service.register(null));
        
    // 验证异常内容
    assertEquals("USER_INVALID", exception.getCode());
    assertTrue(exception.getMessage().contains("不能为空"));
}

9.2 异常测试覆盖率

使用Jacoco确保异常分支覆盖：

1. 为每个catch块编写测试用例
2. 覆盖自定义异常的构造方法
3. 验证异常转换逻辑

配置示例：

xml复制<plugin>
    <groupId>org.jacoco</groupId>
    <artifactId>jacoco-maven-plugin</artifactId>
    <configuration>
        <excludes>
            <exclude>**/model/*</exclude> <!-- 排除DTO -->
        </excludes>
    </configuration>
</plugin>

10. 架构层面的异常设计

10.1 微服务异常规范

跨服务调用的异常处理原则：

1. 定义统一的错误码枚举
2. 服务间传递简化异常信息
3. 网关层做最终异常转换

示例错误响应体：

json复制{
  "code": "PAYMENT_FAILED",
  "message": "余额不足",
  "timestamp": "2023-08-20T10:00:00Z",
  "path": "/api/payments",
  "detail": {
    "orderId": "12345",
    "requiredAmount": 100.00,
    "currentBalance": 80.00
  }
}

10.2 领域驱动设计中的异常

DDD中的异常使用建议：

1. 聚合根内抛出IllegalStateException保护不变性
2. 领域服务使用自定义业务异常
3. 基础设施异常转换为领域异常

典型模式：

java复制class Order {
    private OrderStatus status;
    
    public void cancel() {
        if (status == OrderStatus.COMPLETED) {
            throw new IllegalStateException("已完成订单不可取消");
        }
        // ...
    }
}