首先你可能想要一个完整的通用Class
Class<Callable<Integer>> classCI = ...;
那么java类型系统就没有问题了
Class<? extends Callable<Integer>> clazz =
Class.forName(options.valueOf(className))
.asSubclass(classCI);
我们怎样才能得到classCI?我们可以通过未经检查的演员来作弊
Class<Callable<Integer>> classCI = (Class<Callable<Integer>>)Callable.class;
这本质上是不安全的。必须有外力来确保className 真的是Callable<Integer>。例如,如果它是Callable<String>,则程序运行所有的演员表都没有任何问题,并且它只是在很晚才调用Integer call() 时才爆炸,并且错误消息将非常具有误导性。
如果无法静态分析强制转换成功也没关系:
Object o = ...;
String s1 = (String)o; // may fail, no javac warning
String s2 = String.class.cast(o); // may fail, no javac warning
只要在运行时强制转换失败时立即抛出异常。
为了类型安全,我们必须主动检查className的泛型类型
@SuppressWarning( "unchecked" )
Class<? Callable<Integer>> getClass(String className)
{
Class clazz = Class.forName(className);
via reflection, check generic super interfaces of clazz
if there's no Callable<Integer> super interface
throw "className is not a Callable<Integer>"
// we have *checked*, the following cast is safe
return (Class<? Callable<Integer>>)clazz;
}
我们有理由在这里禁止“未检查”,因为实现检查以确保如果className 并不真正表示实现Callable<Integer> 的类,它会立即抛出异常在那里。我们的演员表是“检查”的,程序是类型安全的。