泛型到静态方法

Question

例子很简单。 我想要的写出来了。 问题在评论里。

import java.util.*;

class Main
{
  private static class X<T> {
    public static T get() { return new T(); }
  }
  public static void main(String[] args)
  {
    System.out.println(X<Interger>.get()); // illegal start of type 
    // commenting out above yields:
    // error: non-static type variable T cannot be referenced from a static context
  }
}

对我来说真正的混淆是error: non-static type variable T cannot be referenced from a static context 。 错误似乎很清楚：类和方法是静态的，但类型变量不是。 我可以让类型变量在这个静态上下文中工作吗？

此外，在编写示例时，我不明白为什么我会得到illegal start of type错误的illegal start of type没有其他任何内容。 这是因为非静态类型变量的错误被隐藏了吗？

Answer 1

你不能做new T() 。 一方面，不能保证T具有可访问的无参数构造函数。 与此处相关， Integer没有无参数构造函数。

静态方法以及实例方法和构造函数都可以具有类型参数。

public static <T> T get() {
    // Can only legally return null or throw.
    ...
} 
...
System.out.println(X.<Integer>get());

用什么代替？ 可能是某种抽象工厂，可能是java.util.function.Supplier 。

Answer 2

虽然类型X是泛型的，但类X不是。 在 Java 中，没有“泛型类”（只有泛型类型）。 最有可能的意图是静态方法上的泛型参数：

private static class X<T> {
    public static <T> T get() {
        return ...;
    }
}

此外，由于泛型被擦除，不能实例化T （因此上面代码中的三个点）。

人们会像这样调用该方法：

...
X.<SomeConcreteType>get();

Answer 3

我认为 Supplier 可能比 static X<T>.get更适合你：

public static class aClass {}

public static <T> aMethodWantToUseX(Supplier<T> x) {
    T t = x.get();
}

aMethodWantToUseX(aClass::new)