Scala生成的字节代码如何删除检查的异常？

Question

如果可以为应该提出检查例外的方法编写字节代码？

例如，除非该方法声明其抛出了选中的例外：否则以下Java类不会编译：

public class CheckedExceptionJava {
  public Class<?> testChecked(String s) throws ClassNotFoundException {
    return Class.forName(s);
  }
}

虽然以下scala等效确实（因为Scala没有检查过异常）：

class CheckedException { 
    def testChecked( s : String )  = Class.forName( s ) 
}

即使生成的字节码几乎相同：

Compiled from "CheckedExceptionJava.java"
public class CheckedExceptionJava extends java.lang.Object{
public CheckedExceptionJava();
  Code:
   0:   aload_0
   1:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   4:   return

public java.lang.Class testChecked(java.lang.String)   throws java.lang.ClassNotFoundException;
  Code:
   0:   aload_1
   1:   invokestatic    #2; //Method java/lang/Class.forName:(Ljava/lang/String;)Ljava/lang/Class;
   4:   areturn

}

Compiled from "CheckedException.scala"
public class CheckedException extends java.lang.Object implements scala.ScalaObject{
public CheckedException();
  Code:
   0:   aload_0
   1:   invokespecial   #24; //Method java/lang/Object."<init>":()V
   4:   return

public java.lang.Class testChecked(java.lang.String);
  Code:
   0:   aload_1
   1:   invokestatic    #11; //Method java/lang/Class.forName:(Ljava/lang/String;)Ljava/lang/Class;
   4:   areturn

}

问题：是否有可能（以及如何）生成字节码为此并不标记它会引发检查的异常，即使该方法中的代码无法处理？

Answer 1

简单的。虽然JVM字节码包含有关方法的检查异常规格，但在任何字节码被专门执行之前运行的字节码验证程序并未检查该方法实际上符合异常规格。您可以编写一个程序，该程序采用了现有的JVM字节码并删除了所有异常规格，并且所得字节码将完全有效，并且与原始的（禁止反射）相同。