我试图理解有界类型,而不是完全掌握它们的要点。
有一个提供此用例的有限泛型示例:
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
在的实例上调用的方法T
。Number
不幸的是,它本身是一个通常无用的基类(由于精度方面的考虑),但是它可能会让我们做一些有趣的事情,例如:
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甚至闭包,但是在缺少泛型的静态类型系统中,我该如何编写泛型高