当前位置: 首页 > 面试题库 >

了解Java中的有限泛型。有什么意义?

农波涛
2023-03-14
问题内容

我试图理解有界类型,而不是完全掌握它们的要点。

有一个提供此用例的有限泛型示例:

public class NaturalNumber<T extends Integer> {

    private T n;

    public NaturalNumber(T n)  { this.n = n; }

    public boolean isEven() {
        return n.intValue() % 2 == 0;
    }

    // ...
}

如果要限制可以作为参数化类型的类,为什么不将所有参数化全部忘掉而拥有:

public class NaturalNumber {

    private Integer n;

    public NaturalNumber(Integer n)  { this.n = n; }

    public boolean isEven() {
        return n.intValue() % 2 == 0;
    }

    // ...
}

然后,任何扩展/实现的类Integer都可以与此类一起使用。

还有一个附带的问题:当Java 类是final 时,如何T扩展Integer第一个示例Integer


问题答案:

当Java Integer类为final时,T在第一个示例中如何扩展Integer?

T只能是Integer,因此这里的“扩展”纯粹是象征性的。(我从旁注开始,因为,实际上,这是一个泛型无用的示例。我真的不知道为什么本教程认为这是一个有用的演示。不是。)

假设相反T extends Number

class Example<T extends Number> {
    private T num;

    void setNum(T num) { this.num = num; }
    T    getNum()      { return num;     }
}

因此,泛型的要点通常是可以执行以下操作:

Example<Integer> e = new Example<>();
e.setNum( Integer.valueOf(10) );
// returning num as Integer
Integer i = e.getNum();
// and this won't compile
e.setNum( Double.valueOf(10.0) );

泛型是参数多态的一种形式,从本质上讲,泛型使我们可以对所涉及的类型进行通用性的代码重用。

那么界限的意义何在?

这里的bound表示T必须为Number或的子类Number,因此我们可以Number在的实例上调用的方法TNumber不幸的是,它本身是一个通常无用的基类(由于精度方面的考虑),但是它可能会让我们做一些有趣的事情,例如:

class Example<T extends Number> extends Number {
//                              ^^^^^^^^^^^^^^
    ...
    @Override
    public int intValue() {
        return num.intValue();
    }
    // and so on
}

例如,更常见的是查找T extends Comparable<T>使我们能够使用进行更有意义的操作T。我们可能会有类似的内容:

// T must be a subclass of Number
// AND implement Comparable
Example<T extends Number & Comparable<T>>
        implements Comparable<Example<T>> {
    ...
    @Override
    public int compareTo(Example<T> that) {
        return this.num.compareTo(that.num);
    }
}

现在我们的Example班级有了自然的秩序。即使我们不知道T类体内的实际内容,也可以对其进行排序。

如果我们结合这些概念,那:

  • 泛型允许“外部世界”指定实际类型,并且
  • 范围允许“内部世界”使用通用性,

我们可以构建如下结构:

static <T extends Comparable<T>> T min(T a, T b) {
    return (a.compareTo(b) < 0) ? a : b;
}

{
    // returns "x"
    String s = min("x", "z");
    // returns -1
    Integer i = min(1, -1);
}


 类似资料:
  • 问题内容: 我真的很难理解通配符参数。我对此有一些疑问。 作为类型参数只能在方法中使用。例如:我不能使用类型参数定义类。 我了解上限。 表示:“ 如果有实现该 接口的 对象, 则将打印。 ” 我对有点问题。表示:“ 如果具有 或扩展的任何类 (的后代 ), 则将打印。 ” 纠正我哪里出错了。 简而言之,只有或或或或可用作定义泛型类的类型参数。只能用于方法 更新1: 根据Ivor Horton的书,

  • 问题内容: 我有一个通用类,说: 在此类的方法内部,我想测试T的类型,例如: 我怎样才能做到这一点 ? 谢谢你的帮助 问题答案: 通常,由于类型擦除,您不能这样做。有关更多详细信息,请参见Angelika Langer的Java泛型常见问题解答 。 您 可以 做的是将a传递给构造函数,然后检查: 请注意,尽管如此,Java仍不允许将原语用于类型参数,因此实在不行。

  • 问题内容: 这是什么意思,仅表示未指定类型的对象列表吗? 搜寻该字符串不会返回任何有用的信息(: 问题答案: 您需要获取更多信息的关键字是通配符

  • 本文向大家介绍泛型有什么作用?相关面试题,主要包含被问及泛型有什么作用?时的应答技巧和注意事项,需要的朋友参考一下 泛型有什么作用? 作者:rottenpen

  • 问题内容: 免责声明:我现在只和Go玩了一天,所以我很有可能错过了很多。 有谁知道为什么Go中没有对泛型/模板/ whatsInAName的真正支持?因此,有一个通用的,但这是由编译器提供的,而Go程序员无法编写自己的实现。关于如何使Go尽可能正交的所有讨论,为什么我可以使用通用类型而不创建新类型? 尤其是在函数式编程方面,有lambda甚至闭包,但是在缺少泛型的静态类型系统中,我该如何编写泛型高