Java泛型通配符解决了泛型的许多诟病(如不能重载)

刺骨的言语ヽ痛彻心扉 2022-08-08 00:46 58阅读 0赞

泛型：

package Java基础增强;
    
    import java.util.ArrayList;
    import java.util.List;
    
    import org.junit.Test;
    
    public class Test2 {
    
    	@Test
    	public void fun1(){
    		Object[] objects = new Object[10];
    		List list = new ArrayList();
    		
    		String[] strings = new String[10];
    		List<String> list2 = new ArrayList<String>();
    		
    		Object[] objects2 = new String[10];
    		//下面这句编译不报错，但是运行包存储异常错误
    		objects2[0]=new Integer(100);//java.lang.ArrayStoreException: java.lang.Integer
    		//下面这句编译报错
    //		List<Object> objects3 = new ArrayList<String>();
    
    		/*
    		 * 泛型引用和创建两端，给出的泛型变量必须一致
    		 * 虚拟机根本就不检查泛型存不存在
    		 */
    	}
    	public void fun2(){
    		List<Integer> list = new ArrayList<Integer>();
    		this.print1(list);//1.print1方法只能是存储Integer不能使Object
    		
    		//==========================
    		List<Integer> list2 = new ArrayList<Integer>();
    		print(list2);
    		List<String> list3 = new ArrayList<String>();
    		print(list3);
    	}
    	
    	//2.泛型的方法不能重载，因为泛型擦出后是一样的方法,也就是如果一个方法里的形参的泛
    	//型的，则不能重载这个方法，即：即使方法名相同，参数不同也不行，但是普通方法可以重载(同名不同参)
    	public void print1(List<Integer> objects){
    		
    	}
    	public void print2(List<String> strings){
    		
    	}
    	
    	//但是后来聪明的程序员使用通配符解决了这个泛型不能重载的问题
    	public void print(List<? extends Object> list){
    		
    	}
    	
    	
    	//但是下面两个普通方法可以重载
    	public void a(String s){
    		
    	}
    	public void a(int i){
    		
    	}
    }

泛型的方法不能重载，因为泛型擦出后是一样的方法,也就是如果一个方法里的形参的泛  
型的，则不能重载这个方法，即：即使方法名相同，参数不同也不行，但是普通方法可以重载(同名不同参)

那个HTML本来打算过渡到XML的，且中间有个XHTML，但是迁移了10年还没过渡成功，结果HTML升级了，为HTML5,最终宣告迁移失败，还是用HTML吧。

其实在JDK1.5以后加入泛型，虽然可以在编译器检查，但是也引入了许多诟病的，其实在编译后，已经擦出了泛型，也就是说Java虚拟机不认识泛型的。