java泛型

Posted 2023-05-12

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了java泛型相关的知识，希望对你有一定的参考价值。

import java.util.*;
public class Example
public void addStrings(List<? super String> list)
list.add("foo");
list.add("bar");

第三行为什么用? super String 而不用? extends String

java泛型是1.5引进的一个新概念.
本题对于"? super T"和"? extends T",我从书上摘个经典的例子给你看看,如果不能理解,那么你就参考以下书籍慢慢体会,循序渐进!

"? super T"和"? extends T",都是java泛型通配符,而用法又有区别,
还有super 和extends 不是java类关系中的超类和继承的意思,他是通配符的下限和上限限制.

下面看一个通配符得高级用法:
在这一部分，我们来考虑一些通配符得高级用法。我们已经看到了上限通配符在从一个数据结构中进行读取的几个例子。现在考虑相反的情况，一个只写的数据结构。

接口Sink是这种情况的一个简单例子。

interface Sink<T>

void flush(T t);

我们可以想象他被如下面的代码一样使用。方法writeAll() 被设计来把集合coll的所有元素flush到sink snk，并且返回最后一个flush的元素。

public static <T> T writeAll(Collection<T> coll, Sink<T> snk)

T last = null;

for (T t : coll)

last = t;

snk.flush(last);

return last;

Sink<Object> s;

Collection<String> cs;

String str = writeAll(cs, s); // 非法的调用!!

像上面所写，writeAll() 的调用是非法的，因为没有有效的类型参数可以被推断出来。String 或 Object都不是T的合适的类型，因为Collection的元素和 Sink的元素必须是同样的类型。

我们可以解决这个问题，通过使用通配符来修改writeAll()的方法签名，如下：

<T> T writeAll(Collection<? extends T> coll, Sink<T> snk) …

String str = writeAll(cs, s); //可以调用但是返回值类型错误

这个调用现在是合法的，但是赋值产生错误，因为推断出的返回值类型是 Object因为T 匹配了Sink的类型，Object。

解决方案是使用一种我们还没有见过的有限制的通配符：有下限的通配符。语法 ? super T 表示T的一个未知的父类（或者是T自己）。这跟我们用? extends T 表示T的一个未知的子类是对应的。

<T> T writeAll(Collection<T> coll, Sink<? super T> snk) …

String str = writeAll(cs, s); // YES!!!

使用这个语法，这个调用是合法的，推断出来的T是String，正是我们想要的。

现在让我们看一个更现实的例子。一个 java.util.TreeSet<E> 代表一个有序的元素是E类型的树。创建一个TreeSet的一个方法是传递一个 Comparator 对象给构造函数。这个Comparator将会用来按照需要对TreeSet进行排序。

TreeSet(Comparator<E> c)

Comparator 接口是核心：

interface Comparator<T> int compare(T fst, T snd);

假定我们要创建一个 TreeSet<String> 并传递一个合适的 Comparator，我们需要传一个能比较String的Comparator。这可以是一个 Comparator<String>，也可以是一个 Comparator<Object>。然而我们不能用Comparator<Object>来调用上面的构造函数。我们可以使用一个有下限的通配符来得到我们需要的灵活性：

TreeSet(Comparator<? super E> c)

这允许任何可用的Comparator被传递进去。

作为使用下限通配符最终的例子，让我们来看看方法 Collections.max()，它返回一个集合中的最大的元素。

现在，为了让max()能工作，传进来的集合中的所有元素必须实现 Comparatable接口。而且，他们必须都能够被彼此比较（all be comparable to each other）。第一个尝试是：

public static <T extends Comparable<T>> T max(Collection<T> coll)

就是说，方法的参数是某一个能和自己进行比较的T的集合。这限制太严格了。

为什么？考虑一个能和任何对象进行比较的类型：

class Foo implements Comparable<Object> ... ...

Collection<Foo> cf = ...;

Collections.max(cf); // 应该能工作

cf 中的每个元素都可以和每个cf中的其他元素进行比较，因为每个这样的元素都是一个Foo,它可以和任意的对象进行比较，也可以和另一个Foo进行比较。

但是，使用上面的方法签名，我们发现这个调用被拒绝。推断出来的类型必须是Foo，但是Foo没有实现接口 Comparable<Foo>。

T 精确的(exactly)和自己能比较是不需要的。所需要的是 T能够和它的父类中的一个进行比较，这导出：（注：Collections.max()的实际方法签名更复杂，我们在第10部分再讨论。）

public static <T extends Comparable<? super T>> T max(Collection<T> coll)

这个推论对大多数想让 Comparable 对任意类型生效的用法中都有效：你总是应该使用 Comparable<? super T>。

总之，如果你有一个只使用类型参数T作为参数的API，它的使用应该利用下限通配符( ? super T )的好处。相反的，如果API只返回T，你应该使用上限通配符( ? extends T )来给你的客户端更大的灵活性。

（原文：This reasoning applies to almost any usage of Comparable that is intended to work for arbitrary types: You always want to use Comparable<? super T>.

In general, if you have an API that only uses a type parameter T as an argument, its uses should take advantage of lower bounded wildcards (? super T). Conversely, if the API only returns T, you'll give your clients more flexibility by using upper bounded wildcards (? extends T). ）。

如果你想比较深刻的了解java泛型那么
建议你看看<Java1.5泛型指南>
中文链接地址:http://blog.csdn.net/explorers/archive/2005/08/15/454837.aspx#_Toc111865968
英文pdf格式地址:http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf 参考技术A super是用来调用父类的方法和属性的不能用到方法的参数里面
，extends是用来实现继承的，第三行当然不能用super了要用extends了参考技术B super 和extends都是继承的意思
super用于继承父类的方法
extends用于继承类
泛型就是强行转化的意思
不知道能不能帮到你参考技术C 编译能通过，不过不理解啊！
我试了一下好像和List<String>没什么区别啊！参考技术D 应该就是? extends String吧,我没见过? super String,编译难道能通过?

Java 泛型泛型简介 ( 泛型类 | 泛型方法 | 静态方法的泛型 | 泛型类与泛型方法完整示例 )

一、泛型简介

泛型可以简单理解为参数化类型 , 主要作用在类 , 方法 , 接口上 ;

java 泛型与 C++ 模板 : Java 中的泛型 , 是仿照 C++ 中的模板开发的 , 目的是让开发者可以写出通用 , 灵活的代码 ;

伪泛型 : Java 中的泛型 , 是伪泛型 , Java 泛型开发好之后 , 在编译阶段就将泛型相关的信息消除了 , 不会泛型留到运行时 ;

泛型类型 :

泛型方法 : 方法有参数 , 方法的参数可以指定成一些泛型 ;
泛型类 : 类也可以有参数 , 将类型作为参数传入类中 ;
泛型接口 : 接口的参数 , 也可以是泛型 ;

将类型传入泛型方法 , 泛型类 , 泛型接口中 , 可以动态地指定一些类型 ;

泛型的作用 :

安全检查 : 在编译阶段 , 就可以进行代码检查 , 将更少的错误带到运行时 ;
避免强转 : 避免类型的强转导致不必要的安全问题 ;
提高性能 : 使用泛型可以提高 Java 的性能 ;

二、泛型类

泛型类 : 在类名后面使用 <T> 声明泛型 , 则在该类中 , 可以使用该泛型类型 T 类型 ;

特别注意 , 该类中的如下 $2$ 个方法不是泛型方法 ; 其中的参数 , 返回值类型是 T , 但这个 T 是作为一个正常的类型使用的 , 并不是声明在方法中的泛型 ;

如果类 , 接口 , 方法是泛型类 , 泛型接口 , 泛型方法 , 则该类 , 接口 , 方法必须由 <T> 修饰 , 有个带尖括号的 T ;

    public T getData() {
        return data;
    }

    public void setData(T data) {
        this.data = data;
    }

泛型类完整代码示例 :

/**
 * 泛型类
 *  该 T 类型作为参数使用
 *  T 是参数化类型 , 可以由外部传入
 *
 * @param <T>
 */
public class Student<T> {

    private String name;
    private int age;
    /**
     * 该数据的类型未知
     *  使用泛型表示 , 运行时确定该类型
     */
    private T data;

    public Student(String name, int age, T data) {
        this.name = name;
        this.age = age;
        this.data = data;
    }

    /**
     * 该方法不是泛型方法
     *  该方法是普通方法 , 返回值类型是 T 类型
     * @return
     */
    public T getData() {
        return data;
    }

    public void setData(T data) {
        this.data = data;
    }
}

三、泛型方法

泛型方法 : 在方法的返回值前 , 使用 <T> 声明泛型的方法 , 是泛型方法 ; 将某个类型作为参数传入 ;

泛型个数 : 该方法是泛型方法 , 且指定了 $2$ 个泛型 , 泛型的个数可以有很多个 , 多个泛型之间 , 使用逗号隔开 ;

泛型方法与泛型类中的泛型 :

泛型不同 : 泛型方法指定的泛型 T 与类中的泛型 T 没有任何关系 , 这两个 T 可以是不同的类型 ;
泛型相同 : 泛型方法中定义的泛型 T , 与参数类型的 T , 返回值类型的 T , 方法内部的 T , 都是同一个类型 ;

/**
 * 泛型类
 *  该 T 类型作为参数使用
 *  T 是参数化类型 , 可以由外部传入
 *
 * @param <T>
 */
public class Student<T> {

    private String name;
    private int age;
    /**
     * 该数据的类型未知
     *  使用泛型表示 , 运行时确定该类型
     */
    private T data;

    public Student(String name, int age, T data) {
        this.name = name;
        this.age = age;
        this.data = data;
    }

    /**
     * 泛型方法 , 是将某个类型作为参数传入
     *      方法指定泛型 , 写法如下
     *
     * 该方法是泛型方法
     *      方法指定了 2 个泛型
     *      泛型个数 , 泛型的个数可以有很多个
     *      多个泛型之间 , 使用逗号隔开
     *
     * 为方法指定的泛型 T 与类中的泛型 T 没有任何关系
     *      这两个 T 可以是不同的类型
     *
     * 泛型方法中定义的泛型 T
     *      与参数类型的 T
     *      返回值类型的 T
     *      方法内部的 T
     *      都是同一个类型
     *
     * 与泛型类中的 T 完全没有关系
     *
     * @param <T>
     * @param <A>
     * @return
     */
    public <T, A> T getData2(T arg){
        T data = arg;
        return data;
    }
}

四、静态方法的泛型

静态方法泛型 : 如果静态方法中使用了类中的泛型 T , 作为参数或返回值 , 这种使用时错误的 ;

如果必须在静态方法中使用泛型 T , 则该泛型 T 必须是静态方法的泛型 , 不能是类的泛型 ;

错误用法 :

正确用法 :

五、泛型类与泛型方法完整示例

/**
 * 泛型类
 *  该 T 类型作为参数使用
 *  T 是参数化类型 , 可以由外部传入
 *
 * @param <T>
 */
public class Student<T> {

    private String name;
    private int age;
    /**
     * 该数据的类型未知
     *  使用泛型表示 , 运行时确定该类型
     */
    private T data;

    public Student(String name, int age, T data) {
        this.name = name;
        this.age = age;
        this.data = data;
    }

    /**
     * 该方法不是泛型方法
     *  该方法是普通方法 , 返回值类型是 T 类型
     * @return
     */
    public T getData() {
        return data;
    }

    public void setData(T data) {
        this.data = data;
    }

    /**
     * 泛型方法 , 是将某个类型作为参数传入
     *      方法指定泛型 , 写法如下 ;
     *
     * 该方法是泛型方法
     *      方法指定了 2 个泛型
     *      泛型个数 , 泛型的个数可以有很多个
     *      多个泛型之间 , 使用逗号隔开
     *
     * 泛型方法指定的泛型 T 与类中的泛型 T 没有任何关系
     *      这两个 T 可以是不同的类型
     *
     * 泛型方法中定义的泛型 T
     *      与参数类型的 T
     *      返回值类型的 T
     *      方法内部的 T
     *      都是同一个类型
     *
     * 与泛型类中的 T 完全没有关系
     *
     * @param <T>
     * @param <A>
     * @return
     */
    public <T, A> T getData2(T arg){
        T data = arg;
        return data;
    }

    /**
     * 如果静态方法中使用类 类中的泛型
     *      这种使用时错误的
     *
     * 如果必须在 静态方法 中使用泛型 T
     *      则该泛型 T 必须是静态方法的泛型
     *      不能是类的泛型
     *
     * @param arg
     * @return
     */
    public static <T> T getData3(T arg){
        T data = arg;
        return data;
    }
}

以上是关于java泛型的主要内容，如果未能解决你的问题，请参考以下文章

Java泛型 VS C#泛型（伪泛型 VS 真泛型）

java中啥叫泛型??

java中啥是泛型，怎么用泛型？

Java——泛型

java泛型的一些知识点：Java泛型--泛型应用--泛型接口泛型方法泛型数组泛型嵌套

Java 泛型泛型简介 ( 泛型类 | 泛型方法 | 静态方法的泛型 | 泛型类与泛型方法完整示例 )