Java数据结构基础——泛型、通配符_java通配符和泛型

    MyArray<String> myArray1 = new MyArray<String>();
    myArray1.setVal(0,"hello");
    myArray1.setVal(1,"world");
    String b = myArray1.getPos(0);//不用强转
    System.out.println(b);
}

}

![](https://img-blog.csdnimg.cn/5405c1ea079f4ad38e338209ac27becb.png)


**泛型的主要目的：就是指定当前的容器，要持有什么类型的对象。让编译器去做检查。此时，就需要把类型作为参数传递。需要什么类型，就传入什么类型**



> 
> 泛型存在的意义：
> 
> 
> **1.在存放类型的时候会进行类型的检查**
> 
> 
> **2.取出元素的时候会自动强制类型转换**
> 
> 
> 注意：泛型时在编译的时候的一种机制，在运行时是没有泛型的概念的
> 
> 
> 


## 3. 泛型的使用



> 
> 泛型类<类型实参> 变量名; // 定义一个泛型类引用  
>  new 泛型类<类型实参>(构造方法实参); // 实例化一个泛型类对象
> 
> 
> 

MyArray list = new MyArray();

### 类型推导(Type Inference)

public class Test {
public static void main(String[] args) {

    MyArray<Integer> myArray = new MyArray<>();

    myArray.setVal(0,10);
    int a = myArray.getPos(0);//不用强转
    System.out.println(a);

    MyArray<String> myArray1 = new MyArray<>();

    myArray1.setVal(0,"hello");
    myArray1.setVal(1,"world");
    String b = myArray1.getPos(0);//不用强转
    System.out.println(b);
}

}

编译器可以根据上下文推导出类型实参时，可以省略类型实参的填写

MyArray<Integer> myArray = new MyArray<>();

MyArray<String> myArray1 = new MyArray<>();

### 裸类型(Raw Type)


裸类型是一个泛型类型，但是没有实参，取值是还是要强转


![](https://img-blog.csdnimg.cn/4f1af3f834ae4f0fa09d19323456f4ca.png)


注意： 我们不要自己去使用裸类型，裸类型是为了兼容老版本的 API 保留的机制


## 4. 泛型的擦除机制


**编译的过程当中，将所有的T替换为Object这种机制**，我们称为：**擦除机制**


![](https://img-blog.csdnimg.cn/074b90b019564830a199766b1c9cc4cf.png)


getPos中返回值为T，被替换为Object，setVal中返回值为空，即V，val参数类型被替换为Object


先根据你制定了类型进行检查和转换，在编译的时候把T都擦除成了Object


因此，Java的泛型机制是在编译级别实现的。编译器生成的字节码在运行期间并不包含泛型的类型信息


## 5. 泛型的上界


在定义泛型类时，有时需要**对传入的类型变量做一定的约束**，可以通过类型边界来约束


语法

class 泛型类名称<类型形参 extends 类型边界> {
//…
}

示例

public class MyArray {
//…
}

只接受 Number 的子类型作为 E 的类型，实参没有指定类型边界 E，可以视为 E extends Object

public class Test {
public static void main(String[] args) {
MyArray myArray = new MyArray<>();
MyArray myArray1 = new MyArray<>();
MyArray myArray2 = new MyArray<>();
}
}
class MyArray {
}

## 6. 泛型方法


静态的泛型方法 需要在static后用<>声明泛型类型参数

class Util {
public static void swap(E[] array, int i, int j) {
E t = array[i];
array[i] = array[j];
array[j] = t;
}
}

<E>是泛型的形参，void是返回值，可以直接通过类名.来调用，不用new 


![](https://img-blog.csdnimg.cn/91299a6c82304d62ada53dc13a5be1ac.png)


 非静态


![](https://img-blog.csdnimg.cn/47801eb1ba224ada97f3131a81a160ab.png)


## 7. 通配符


看一个例子：

class Message {
private T message ;
public T getMessage() {
return message;
}
public void setMessage(T message) {
this.message = message;
}
}
public class TestDemo {
public static void main(String[] args) {
Message message = new Message() ;
message.setMessage(“hello”);
fun(message);
Message message1 = new Message() ;
message1.setMessage(10);
fun(message1);//报错
}
public static void fun(Message temp){
System.out.println(temp.getMessage());
}
}

报错原因是fun方法只能接收Message<String>类型的参数，而传入的是Message<Integer>类型的参数



> 
> 接下来我们体会通配符的作用
> 
> 
> 

public static void fun(Message<?> temp){
System.out.println(temp.getMessage());
}

此时不再报错


通配符可以接收所有的泛型类型，但是又不能够让用户随意修改

public class TestDemo {
public static void main(String[] args) {
Message message = new Message() ;
message.setMessage(55);
fun(message);
}
// 此时使用通配符"?"描述的是它可以接收任意类型，但是由于不确定类型，所以无法修改
public static void fun(Message<?> temp){
temp.setMessage(100); //无法修改！
System.out.println(temp.getMessage());
}
}

### 通配符上界

<? extends 上界> <? extends Number>//可以传入的实参类型是Number或者Number的子类 ``` ``` class Food { } class Fruit extends Food { } class Apple extends Fruit { } class Banana extends Fruit { } class Message { // 设置泛型上限 private T message ; public T getMessage() { return message; } public void setMessage(T message) { this.message = message; } } public class TestDemo { public static void main(String[] args) { Message message = new Message<>() ; message.setMessage(new Apple()); fun(message); Message message2 = new Message<>() ; message2.setMessage(new Banana()); fun(message2); } // 此时使用通配符"?"描述的是它可以接收任意类型，但是由于不确定类型，所以无法修改 public static void fun(Message<? extends Fruit> temp){ //temp.setMessage(new Banana()); //无法修改！ //temp.setMessage(new Apple()); //无法修改！ System.out.println(temp.getMessage()); } } ``` 此时无法在fun函数中对temp进行添加元素，因为temp接收的是Fruit和他的子类，此时存储的元素应该是哪个子类无法确定。所以添加会报错，但是可以获取元素 ``` public static void fun(Message<? extends Fruit> temp){ //temp.setMessage(new Banana()); //无法修改！ //temp.setMessage(new Apple()); //无法修改！ Fruit b = temp.getMessage(); System.out.println(b); } ``` 通配符的上界，不能进行写入数据，只能进行读取数据  ### 通配符下界 ``` <? super 下界> <? super Integer>//代表 可以传入的实参的类型是Integer或者Integer的父类类型 ``` 看一个例子 ``` class Food { } class Fruit extends Food { } class Apple extends Fruit { } class Message { private T message ; public T getMessage() { return message; } public void setMessage(T message) { this.message = message; } } public class TestDemo { public static void main(String[] args) { Message message = new Message<>() ; message.setMessage(new Fruit()); fun(message); Message message2 = new Message<>() ; message2.setMessage(new Food()); fun(message2); Message message1 = new Message<>(); fun(message1);//报错 } //temp 接收Fruit及其子类的一个Message public static void fun(Message<? super Fruit> temp){ // 此时可以修改 添加的是Fruit 或者Fruit的子类 temp.setMessage(new Apple());//这个是Fruit的子类 temp.setMessage(new Fruit());//这个是Fruit的本身 //Fruit fruit = temp.getMessage(); 不能接收，这里无法确定是哪个父类 System.out.println(temp.getMessage());//只能直接输出 } } ```   **网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。** **[需要这份系统化资料的朋友，可以戳这里获取](https://bbs.csdn.net/topics/618545628)** **一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！** ystem.out.println(temp.getMessage());//只能直接输出 } } ``` [外链图片转存中...(img-3uXtOm1u-1714155437482)] [外链图片转存中...(img-Rzs15HoW-1714155437483)] **网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。** **[需要这份系统化资料的朋友，可以戳这里获取](https://bbs.csdn.net/topics/618545628)** **一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！**