Java™ 教程（有界类型参数）

spacewander 发布于2019-08-16 14:19 / 2973人阅读

有界类型参数

有时你可能希望限制可用作参数化类型中的类型参数的类型，例如，对数字进行操作的方法可能只想接受Number或其子类的实例，这是有界类型参数的用途。

要声明有界类型参数，请列出类型参数的名称，然后是extends关键字，后跟其上限，在此示例中为Number，请注意，在此上下文中，extends在一般意义上用于表示“extends”（如在类中）或“implements”（如在接口中）。

public class Box {

    private T t;          

    public void set(T t) {
        this.t = t;
    }

    public T get() {
        return t;
    }

    public  void inspect(U u){
        System.out.println("T: " + t.getClass().getName());
        System.out.println("U: " + u.getClass().getName());
    }

    public static void main(String[] args) {
        Box integerBox = new Box();
        integerBox.set(new Integer(10));
        integerBox.inspect("some text"); // error: this is still String!
    }
}

通过修改我们的泛型方法来包含这个有界类型参数，编译现在将失败，因为我们的inspect调用仍然包含一个String：

Box.java:21: inspect(U) in Box cannot
  be applied to (java.lang.String)
                        integerBox.inspect("10");
                                  ^
1 error

除了限制可用于实例化泛型类型的类型之外，有界类型参数还允许你调用边界中定义的方法：

public class NaturalNumber {

    private T n;

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

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

    // ...
}

isEven方法通过n调用Integer类中定义的intValue方法。

多个边界

前面的示例说明了使用带有单个边界的类型参数，但是类型参数可以有多个边界：

具有多个边界的类型变量是边界中列出的所有类型的子类型，如果其中一个边界是类，则必须首先指定它，例如：

Class A { /* ... */ }
interface B { /* ... */ }
interface C { /* ... */ }

class D  { /* ... */ }

如果未首先指定边界A，则会出现编译时错误：

class D  { /* ... */ }  // compile-time error

泛型方法和有界类型参数

有界类型参数是通用算法实现的关键，请考虑以下方法，该方法计算数组T[]中大于指定元素elem的元素数。

public static  int countGreaterThan(T[] anArray, T elem) {
    int count = 0;
    for (T e : anArray)
        if (e > elem)  // compiler error
            ++count;
    return count;
}

该方法的实现很简单，但它不能编译，因为大于运算符（>）仅适用于基本类型，如short、int、double、long、float、byte和char，你不能使用>运算符来比较对象，要解决此问题，请使用由Comparable接口限定的类型参数：

public interface Comparable {
    public int compareTo(T o);
}

生成的代码将是：

public static > int countGreaterThan(T[] anArray, T elem) {
    int count = 0;
    for (T e : anArray)
        if (e.compareTo(elem) > 0)
            ++count;
    return count;
}

上一篇：泛型方法 下一篇：泛型、继承和子类型

GPU云服务器云服务器类型参数 java java不定参数类型 python参数类型 data参数类型

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/72923.html

Java™ 教程（类型擦除）

类型擦除泛型被引入到Java语言中，以便在编译时提供更严格的类型检查并支持通用编程，为了实现泛型，Java编译器将类型擦除应用于：如果类型参数是无界的，则用它们的边界或Object替换泛型类型中的所有类型参数，因此，生成的字节码仅包含普通的类、接口和方法。如有必要，插入类型转换以保持类型安全。生成桥接方法以保留扩展泛型类型中的多态性。类型擦除确保不为参数化类型创建新类，因此，泛型不会...

zsy888 2019-08-16 14:22 评论0 收藏0
Java™ 教程（Queue接口）

Queue接口 Queue是在处理之前保存元素的集合，除了基本的Collection操作外，队列还提供额外的插入、删除和检查操作，Queue接口如下。 public interface Queue extends Collection { E element(); boolean offer(E e); E peek(); E poll(); E remov...

RayKr 2019-08-16 15:16 评论0 收藏0
Java™ 教程（泛型、继承和子类型）

泛型、继承和子类型如你所知，只要类型兼容，就可以将一种类型的对象分配给另一种类型的对象，例如，你可以将Integer分配给Object，因为Object是Integer的超类型之一： Object someObject = new Object(); Integer someInteger = new Integer(10); someObject = someInteger; // OK ...

AaronYuan 2019-08-16 14:19 评论0 收藏0
Java™ 教程（泛型方法）

泛型方法泛型方法是引入其自己的类型参数的方法，这类似于声明泛型类型，但类型参数的范围仅限于声明它的方法，允许使用静态和非静态泛型方法，以及泛型类构造函数。泛型方法的语法包括类型参数列表，在尖括号内，它出现在方法的返回类型之前，对于静态泛型方法，类型参数部分必须出现在方法的返回类型之前。 Util类包含一个泛型方法compare，它比较两个Pair对象： public class Util { ...

PingCAP 2019-08-16 14:19 评论0 收藏0
Java 泛型之上界下界通配符

摘要：泛型之上界下界通配符本教程是为编写的。这是在使用泛型编程时一个常见的误解，也是一个需要学习的重要概念。通配符使用指南学习使用泛型编程时，更令人困惑的一个方面是确定何时使用上限有界通配符以及何时使用下限有界通配符。 Java 泛型之上界下界通配符本Java教程是为JDK 8编写的。本页描述的示例和实践没有利用后续版本中引入的改进。泛型，继承和子类如你所知，只要类型兼容，就可以将一种...

shiyang6017 2019-08-19 11:45 评论0 收藏0