为什么Java的orElseThrow()方法参数是Supplier而非Exception？

首先我们先明确该方法的核心设计逻辑：

此处的核心逻辑是，传入方法引用（或函数）可以实现懒加载：如果不需要抛出异常，就无需创建Exception对象，仅在需要时才创建。

针对你提到的「为什么直接传入Exception就无法实现对象的懒加载」的疑问，核心原因来自Java的方法参数传递规则：

• Java方法执行前会提前完成所有入参的求值计算：如果你直接传入new XxxException()作为orElseThrow的参数，无论对应的Optional是否存在有效值，new XxxException()的初始化逻辑都会在orElseThrow方法调用前执行，异常对象已经被实例化，完全不存在「延迟创建」的空间。
• 而Supplier<Exception>本质是传递一段「异常创建的逻辑」，而非已经创建好的异常实例：只有当Optional判断自身为空、确实需要抛出异常时，才会触发Supplier.get()方法执行异常初始化的逻辑，不需要抛出异常时这段逻辑永远不会被执行，自然实现了懒加载。

额外补充：异常对象的初始化需要填充整个调用栈轨迹，本身是开销很高的操作，高并发场景下如果大量无意义的异常被提前创建，会造成非常可观的性能浪费，使用Supplier的设计可以完全避免这部分冗余开销。

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