public <T> void run(T object){}是什么意思？

Question

我正在阅读泛型,并尝试编写以下代码.没有编译错误.

import java.util.*;

public class JavaApplication14 {

    public<T>  void run (T obj ) {
        //Do Something
    }

  public static void main(String[] args) {     
      JavaApplication14  m= new JavaApplication14();
      m.run(new ArrayList<>());  
      m.run(new Interger(5);
      m.run(5);
     }
}

如果功能是

 public<T extends Number>  void run (T obj) {
            //Do Something
        }

这是有道理的,因为我们可以将此函数的参数限制为Number及其子类型.但非常混淆功能"运行"没有任何约束意味着什么？它现在可以将任何对象作为参数吗？在什么情况下我需要使用泛型这样的函数？

Answer 1

你的一部分困惑可能源于这样一个事实,即run在这种情况下没有必要成为通用方法.通常使用类型参数来创建两个参数类型之间和/或参数类型和返回类型之间的关系.在您的示例中,run也可以声明为需要Object参数(没有声明绑定的类型参数实际上具有Object其绑定).

我知道有一种情况可以在单个参数类型中使用类型参数:当您希望能够以不依赖于元素类型但需要插入元素的方式操作集合时进入收藏.例如,考虑一个假设的"反向列表"方法:

<T> void reverse(List<T> list)
{
    List<T> reversed = new ArrayList<T>();
    for (int i = list.size(); i > 0; i--) {
        reversed.add(list.get(i - 1));
    }
    list.clear();
    list.addAll(reversed);
}

以不需要类型参数的方式编写它是很困难的,即采用List<?>参数.没有强制转换的唯一方法是:

void reverse2(List<?> list)
{
    reverse(list);  // call reverse as defined above!
}

但同样,这不适用于您讨论的示例.

总结如下:

没有显式绑定的类型参数有效地具有Object绑定.

方法可能需要类型参数(有或没有显式绑定)有两个原因:

• 指定参数类型和/或返回类型之间的关系
• 捕获潜在的通配符作为类型参数,以允许其他方式无法执行的操作(如reverse示例中所示).

您讨论的示例方法:

public<T>  void run (T obj )

...没有这些,所以类型参数是没有意义的.该方法可能也被声明为public void run(Object obj).