调用泛型抛出方法：显式指定泛型参数为何触发编译错误？

我们拆解两个调用的核心差异：

1. 显式指定泛型参数：Test.<Exception>doThrow0(e); #

当你显式把泛型参数E指定为Exception时，doThrow0的方法签名等价于void doThrow0(Exception e) throws Exception——这里抛出的Exception是受检异常（Java中除RuntimeException、Error及其子类外的异常都属于受检异常）。

根据Java异常处理规则：调用抛出受检异常的方法时，必须要么在方法的throws声明中列出该异常，要么用try-catch块捕获它。因此编译器会强制要求doThrow方法添加throws Exception声明，或者将该调用包裹在try-catch中。

2. 隐式推断泛型参数：Test.doThrow0(e); #

当不指定泛型参数时，编译器会自动推断E的类型，且会优先选择让代码合法的类型——这里它会把E推断为未受检异常的子类（比如RuntimeException）。未受检异常不需要显式声明throws或捕获，因此doThrow0的签名等价于void doThrow0(Exception e) throws RuntimeException，调用这类方法无需额外异常处理声明，代码自然能正常编译。

简单总结 #

• 显式指定E=Exception时，抛出受检异常，必须按规则处理；
• 隐式推断时，编译器自动选择未受检异常作为E的类型，跳过了受检异常的强制处理要求。

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