问题 Java Generics，支持“专业化”？与C ++模板的概念相似之处？

不，Java中的泛型不能以这种方式工作。

使用泛型，如果没有泛型，你就无法做任何事情 - 你只需要避免编写大量的强制转换，并且编译器确保一切都是类型安全的（只要你没有得到一些警告或抑制那些） 。

因此，对于每个类型变量，您只能调用其边界中定义的方法（没有鸭子类型）。

此外，没有代码生成（除了为了实现泛型类型而委托给具有其他参数类型的方法的一些适配器方法）。假设你有类似的东西

/**
 * interface for objects who allow adding some other objects
 */
interface Addable<T> {
   /** returns the sum of this object and another object. */
   T plus(T summand);
}

然后我们可以创建我们的 sum 有两个参数的方法：

public static <T extends Addable<T>> T sum(T first, T second) {
    return first.plus(second);
}

静态方法被编译为相同的字节码（注释中包含其他类型信息）：

public static Addable sum(Addable first, Addable second) {
    return first.plus(second);
}

这就是所谓的 类型擦除。

现在可以为可添加类型的每两对元素调用此方法，如下所示：

public class Integer implements Addable<Integer> {
    public Integer plus(Integer that) {
       return new Integer(this.value + that.value);
    }

     // private implementation details omitted
}

这里发生的是编译器创建一个额外的合成方法，如下所示：

public Object plus(Object that) {
    return this.plus((Integer)that);
}

这个方法只能由具有正确类型的通用代码调用，这保证了编译器，假设你没有在某处做一些不安全的转换 - 那么 (Integer) 在这里施放将捕获错误（并抛出ClassCastException）。

该 sum 方法吧 总是 打电话给 plus 第一个对象的方法，没有办法解决这个问题。没有为每个类型参数生成代码（这个 是 Java泛型和C ++模板之间的关键区别），因此我们不能简单地用专门的方法替换生成的方法之一。

当然，你可以创建第二个 sum 方法如 irreputable 建议（带有重载），但只有在使用时才会选择此选项 MyX 直接在源代码中输入，而不是在调用时 sum 来自其他一些通用代码的方法恰好用MyX进行参数化，如下所示：

public static <T extends Addable<T>> product (int times, T factor) {
    T result = factor;
    while(n > 1) {
        result = sum(result, factor);
    }
    return result;
}

现在 product(5, new MyX(...)) 会打电话给我们 sum(T,T) 方法（反过来调用 plus 方法），没有任何重载 sum(MyX, MyX) 方法。

（JDK 7增加了一个新的 dynamic 方法调度模式允许在运行时通过每个参数进行特化，但Java语言不使用它，仅用于其他基于JVM的语言。）

不，Java中的泛型不能以这种方式工作。

使用泛型，如果没有泛型，你就无法做任何事情 - 你只需要避免编写大量的强制转换，并且编译器确保一切都是类型安全的（只要你没有得到一些警告或抑制那些） 。

因此，对于每个类型变量，您只能调用其边界中定义的方法（没有鸭子类型）。

此外，没有代码生成（除了为了实现泛型类型而委托给具有其他参数类型的方法的一些适配器方法）。假设你有类似的东西

/**
 * interface for objects who allow adding some other objects
 */
interface Addable<T> {
   /** returns the sum of this object and another object. */
   T plus(T summand);
}

然后我们可以创建我们的 sum 有两个参数的方法：

public static <T extends Addable<T>> T sum(T first, T second) {
    return first.plus(second);
}

静态方法被编译为相同的字节码（注释中包含其他类型信息）：

public static Addable sum(Addable first, Addable second) {
    return first.plus(second);
}

这就是所谓的 类型擦除。

现在可以为可添加类型的每两对元素调用此方法，如下所示：

public class Integer implements Addable<Integer> {
    public Integer plus(Integer that) {
       return new Integer(this.value + that.value);
    }

     // private implementation details omitted
}

这里发生的是编译器创建一个额外的合成方法，如下所示：

public Object plus(Object that) {
    return this.plus((Integer)that);
}

这个方法只能由具有正确类型的通用代码调用，这保证了编译器，假设你没有在某处做一些不安全的转换 - 那么 (Integer) 在这里施放将捕获错误（并抛出ClassCastException）。

该 sum 方法吧 总是 打电话给 plus 第一个对象的方法，没有办法解决这个问题。没有为每个类型参数生成代码（这个 是 Java泛型和C ++模板之间的关键区别），因此我们不能简单地用专门的方法替换生成的方法之一。

当然，你可以创建第二个 sum 方法如 irreputable 建议（带有重载），但只有在使用时才会选择此选项 MyX 直接在源代码中输入，而不是在调用时 sum 来自其他一些通用代码的方法恰好用MyX进行参数化，如下所示：

public static <T extends Addable<T>> product (int times, T factor) {
    T result = factor;
    while(n > 1) {
        result = sum(result, factor);
    }
    return result;
}

现在 product(5, new MyX(...)) 会打电话给我们 sum(T,T) 方法（反过来调用 plus 方法），没有任何重载 sum(MyX, MyX) 方法。

（JDK 7增加了一个新的 dynamic 方法调度模式允许在运行时通过每个参数进行特化，但Java语言不使用它，仅用于其他基于JVM的语言。）