He venido a Java desde C ++. En el mundo de C ++, prestamos atención a la seguridad de las excepciones y observamos que los mutadores pueden proporcionar diferentes garantías frente a las excepciones lanzadas por el propio mutador o un método al que delega (mínimo, fuerte, sin lanzamiento). Implementar un método que tenga una fuerte garantía de excepción requiere que algunas operaciones básicas estén garantizadas para nunca lanzar una excepción. El JLS hace declaraciones sobre qué operaciones pueden lanzar qué tipos de excepciones, pero elVirtualMachineError error presenta un problema. Quoth the JLS:

un error interno o limitación de recursos impide que la máquina virtual Java implemente la semántica del lenguaje de programación Java; en este caso, una instancia de una subclase deVirtualMachineError es aventado

The JLS no dice más sobreVirtualMachineError. Un "error interno" significa un error en la JVM, por lo que no estoy interesado en ese caso: frente a los errores en la JVM, todas las apuestas están desactivadas. Pero, ¿qué pasa con el caso de "limitación de recursos"? ¿Hay operaciones que garanticen que nunca fallarán debido a una limitación de recursos?