Java 原始和参数化之间的差异调用orElseGet时可选(供应商)

不同之处在于Java中使用了原始类型.OrElseThrow的方法签名为:

public <X extends Throwable> T orElseThrow(Supplier<? extends X> exceptionSupplier) throws X

因此，对于第2行和第5行的情况，您具有:

Optional empty1 = Optional.empty(); // line 2
empty1.orElseThrow(() -> new Exception("Empty optional")); // line 5

在orElseThrow以上的签名 case 中，编译器没有提供T类型，即使它有X类型，也会生成原始调用.它将用可抛的上界替换X，T将是Object.结果是:

public Object orElseThrow(Supplier exceptionSupplier) throws Throwable
                                                             ^^^^^^^^^

因此，编译器报告:

error: unreported exception Throwable

以下情况:

Optional.empty().orElseThrow(() -> new Exception("Empty optional")); // line 4

更有趣的是，这里没有指定显式类型，但是编译器报告抛出错误Exception.所以这与之前的情况不同.您必须再次查看所用函数的签名，在本例中为Optional.Empty():

public static<T> Optional<T> empty()
             ^^^ ~~~ type inference

重要的部分是<T>，这表明它将从所附的上下文中推断其类型T.在line 4中，编译器无法推断类型，而使用Object类型.我相信JLS，它是这样说的:

https://docs.oracle.com/javase/specs/jls/se10/html/jls-18.html#jls-18.1.3个

如果PL没有类型边界，则绑定的αL<；:对象将出现在集合中.

在甲骨文教程中也有:

https://docs.oracle.com/javase/tutorial/java/generics/genTypeInference.html个

编译器需要类型参数T的值，因此它启动 使用值对象.因此，调用 Collections.emptyList返回List<；Object>；类型的值.

重要的是，在line 4中处理的不是第2行和第5行那样的原始类型，而是泛型类型(泛型类型T是Object)，因此当调用orElseThrow时，其签名是

public Object orElseThrow(Supplier exceptionSupplier) throws Exception

这两种泛型类型T和X都是已知的，因此会生成泛型函数调用，这最终会在您的示例中导致以下编译器错误:

错误:未上报异常异常；

现在，第3行和第6行显式使用泛型类型对象，这使得orElseThrow的签名与前面一样:

public Object orElseThrow(Supplier exceptionSupplier) throws Exception

这给出了相同的错误:

错误:未上报异常异常；