基于返回类型的Java泛型转换？

Question

下面的代码来自一个名为ButterKnife的Android库。我正在弄清楚它是怎么工作的。

@SuppressWarnings("unchecked") // That's the point.
  public <T> T castParam(Object value, String from, int fromPosition, String to, int toPosition) {
    try {
      return (T) value;
    } catch (ClassCastException e) {
      throw new IllegalStateException("Parameter #"
          + (fromPosition + 1)
          + " of method '"
          + from
          + "' was of the wrong type for parameter #"
          + (toPosition + 1)
          + " of method '"
          + to
          + "'. See cause for more info.", e);
    }
  }

我试图重新创建此函数的行为：

  @SuppressWarnings("unchecked")
    public static <T> T cast(Object o){
        try {
            return (T) o;
        } catch (ClassCastException e){
            throw new AssertionError("Error");
        }
    }

和用法：

Object o = new String("test");
Double d = cast(o);

但是异常并非永远不会被捕获，而是在调用方法时在行中抛出。为什么？

还有，这到底是如何工作的？该方法如何知道要转换到什么？

Answer 1

正如SJuan67所解释的，您不能像Java编译器那样对泛型类型使用强制转换

如果类型参数是无界的，则用其边界或对象替换泛型类型中的所有类型参数。因此，生成的字节码仅包含普通类、接口和方法。

这里有更多关于所有泛型限制的信息。

所以ButterKnife代码看起来像这样:

  public Object castParam(Object paramObject, String paramString1, int paramInt1, String paramString2, int paramInt2)
  {
    return paramObject;
  }

因此，对于您的问题：

问：但是异常并不是永远不会被捕获，它会在调用方法时被抛出。为什么？

答：嗯，它甚至不在字节码中。

问:还有，这到底是怎么工作的？方法如何知道要转换成什么？

A： 没有。至少不像你想的那样。在实践中，它将抛出ClassCastException而不是您观察到的非法状态异常或断言错误。您甚至可以使用ButterKnife示例应用程序尝试，并将已知的TextView绑定到复选框：

@Bind(R.id.title) CheckBox title;

问:那么图书馆是如何工作的呢？

答：好吧，IllegalStateException只是从未调用过，而且您有ClassCastException。为什么会这样，我不太确定。但是，当ButterKnife生成代码时，这可能是为了防止编译错误。

例如：

public interface Some {
}

public static void weWantSome(Some d) {
}

public static void test() {
    String o = "test";
    weWantSome((Some)o); //<-- compile error
    weWantSome(Main.<Some>cast(o)); //<-- runtime error
} 

这就是为什么在前面的示例中，代码会编译但不会运行。

Answer 2

由于类型擦除，泛型类型仅在编译时检查。这样做是因为在Java5中没有办法在运行时引入泛型，而不会破坏向后兼容性并强制重新编译所有已经存在的库。

长历史短，当您定义“泛型”类或方法时，实际代码将编译为＜code＞对象＜/code＞而不是绑定方法的类型。所有类型检查都在编译时完成。

因此，您的方法代码实际上并没有在＜code＞return）分配给＜code＞对象