1.5.7--1.5.8类型擦除、泛型的限制和类变量、实例变量、局部变量的区别

1.5.7 类型擦除

        泛型类可以由编译器通过所谓的类型擦除过程而转变成非泛型类。这样，编译器就生成一种与泛型类同名的原始类，但是类型参数都被删去了。类型变量由它们的类型限界来代替，当一个具有擦除返回类型的泛型方法被调用的时候，一些特性被自动的插入。如果使用一个泛型类而不带类型参数，那么使用的是原始类。

        类型擦除的重要推论：所生成的代码与程序员在泛型之前所写的代码并没有太多的差异，而且事实上运行的也不快。优点在于程序员不必把一些类型转换放到代码中，编译器将进行重要的类型检验。

1.5.8 对于泛型的限制

①基本类型不能用做类型参数

   GenericMemoryCell<int> 是非法的，必须使用包装类。

②instanceof检测

   instanceof检测和类型转换工作只对原始类型进行。

public class GenericMemoryCell<AnyType>{
    public AnyType read(){
    	return storedValue;
    }
    public void write(AnyType x) {
		storedValue = x;
	}
    private AnyType storedValue;
}

public class Justtest {
	public static void main(String[] args) {
		GenericMemoryCell<Integer> m = new GenericMemoryCell<>();
		m.write(37);
		int val = m.read();
		System.out.println("val:"+val);
		
		GenericMemoryCell<Integer> Cell = new GenericMemoryCell<>();
		Cell.write(4);
		Object cell = Cell;
		GenericMemoryCell<String> Cell2 = (GenericMemoryCell<String>)cell;
		
		String s = Cell2.read();
	}
}

代码解释：前面的类型转换都成功了，到最后Cell2.read()要返回一个String类型才失败。因为到最后类型转换的类变成了Object，而不是 原始类 GenericMemoryCell。

报错：

java.lang.Integer cannot be cast to java.lang.String

③static语境

    在一个泛型类中，static方法和static域均不可引用类的类型变量，因为在类型擦除后类型变量就不存在了。另外由于只存在一个原始类，所以static域在该类的泛型实例之间是共享的。

④泛型类型的实例化

  

T obj = new T(); //如果T是一个类型变量，那么右边就是非法的

代码解释：T由它的限界代替，这可能是Object或者抽象类，因此对new的调用没有意义。

⑤泛型数组对象

T[] arr = new T[10]; //如果T是一个类型变量，那么右边就是非法的

代码解释：T由它的限界代替，这可能是Object T，于是由类型擦除产生的对T[]的类型转换将无法进行，因为Object[] IS-NOT-A T[]。由于我们不能创建泛型对象的数组，因此一般必须创建一个擦除类型的数组，然后使用类型转换。这种类型转换会产生一个关于未检验的类型转换的编译警告。

⑥参数化类型的数组

参数化类型的数组的实例化是非法的。

public class GenericMemoryCell<AnyType>{
    public AnyType read(){
    	return storedValue;
    }
    public void write(AnyType x) {
		storedValue = x;
	}
    private AnyType storedValue;
}

public class Justtest {
	public static void main(String[] args) {
		GenericMemoryCell<String>[] arr1 = new GenericMemoryCell<>[10];
		GenericMemoryCell<Double> cell = new GenericMemoryCell<>();
		cell.write(4.5);
		Object[] arr2 = arr1;  //不会发生Arraystoreexception，因为类型擦除了
		                       //<Double>变成了GenericMemoryCell[]
		arr2[0] =cell;
		String string = arr1[0].read(); //这里报Classcastexception
	}

另附类变量和实例变量、局部变量的区别：

部分代码来源：https://www.cnblogs.com/scf141592/p/5726347.html

实例变量：定义在类中但在任何方法之外。（New出来的均有初始化）

如： public class Sample{   private int a=1; //实例变量

public void b(){ int a=2;  //局部变量 

       在类的声明中，属性是用变量来表示的。这种变量就称为实例变量，是在类声明的内部但是在类的其他成员方法之外声明的。类的每个对象维护它自己的一份实例变量的副本。

①当一个对象被实例化之后，每个实例变量的值就跟着确定；

②实例变量在对象创建的时候创建，在对象被销毁的时候销毁；

③实例变量的值应该至少被一个方法、构造方法或者语句块引用，使得外部能够通过这些方式获取实例变量信息；

④实例变量可以声明在使用前或者使用后；

⑤访问修饰符可以修饰实例变量；

⑥实例变量对于类中的方法、构造方法或者语句块是可见的。一般情况下应该把实例变量设为私有。通过使用访问修饰符可以使实例变量对子类可见；

⑦实例变量具有默认值。数值型变量的默认值是0，布尔型变量的默认值是false，引用类型变量的默认值是null。变量的值可以在声明时指定，也可以在构造方法中指定；

⑧实例变量可以直接通过变量名访问。但在静态方法以及其他类中，就应该使用完全限定名：ObjectReference.VariableName。

与局部变量的异同

如： public class Sample{   private int a=1; //实例变量

public void b(){ int a=2;  //局部变量 }

局部变量：定义在方法之中的变量。

1. 局部变量要先赋值，再进行运算，而实例变量均已经赋初值。（这是局部变量和实例变量的一大区别）

2. 实例变量的对象赋值为null。

3. 局部变量不允许范围内定义两个同名变量。实例变量的作用域在本类中完全有效，当被其他的类调用的时候也可能有效。

4. 实例变量和局部变量允许命名冲突。

例子

public class Sample
    {
        private int a=1; //实例变量
        public void b()
     {
       int a=2; //局部变量
       System.out.println("局部变量:a="+a);
       System.out.println("实例变
       量:a="+this.a);//局部变量的作用域内引
       用实例变量:this.变量名
      }
     public static void main(String[] args)
     {
       new Sample().b();
      }
}
运行输出：
局部变量：2
实例变量；1

类变量（静态变量）：在java中，类变量（也叫静态变量）是类中独立于方法之外的变量，用static 修饰。（static表示“全局的”、“静态的”，用来修饰成员变量和成员方法，或静态代码块（静态代码块独立于类成员，jvm加载类时会执行静态代码块，每个代码块只执行一次，按顺序执行））。

如： 

class TiXing{
       TiXing(float x,float y,float z){
          up=x;
          height=y;
          down=z;
       }
    }

1. 类变量也称为静态变量，在类中以static关键字声明，但必须在构造方法和语句块之外。
2. 无论一个类创建了多少个对象，类只拥有类变量的一份拷贝。
3. 静态变量除了被声明为常量外很少使用。常量是指声明为public/private，final和static类型的变量。常量初始化后不可改变。
4. 静态变量储存在静态存储区。经常被声明为常量，很少单独使用static声明变量。
5. 静态变量在程序开始时创建，在程序结束时销毁。
6. 与实例变量具有相似的可见性。但为了对类的使用者可见，大多数静态变量声明为public类型。
7. 默认值和实例变量相似。数值型变量默认值是0，布尔型默认值是false，引用类型默认值是null。变量的值可以在声明的时候指定，也可以在构造方法中指定。此外，静态变量还可以在静态语句块中初始化。
8. 静态变量可以通过：ClassName.VariableName的方式访问。
9. 类变量被声明为public static final类型时，类变量名称必须使用大写字母。如果静态变量不是public和final类型，其命名方式与实例变量以及局部变量的命名方式一致。

class TiXing{
    float up,height;
    static float down;
    
    TiXing(float x,float y,float z){
        up=x;
        height=y;
        down=z;
    }
}

public class ep3_9{
    public static void main(String args[]){
        TiXing one=new TiXing(1,2,3);
        System.out.println("one's down is:"+one.down);
        TiXing two=new TiXing(4,5,6);
        System.out.println("one's down is:"+one.down);
        System.out.println("two's down is:"+two.down);
    
        System.out.println("TiXing's down is:"+TiXing.down);
    }
}

 

 

 

实例方法和类方法对实例变量和类变量的访问

实例方法可以对当前对象的实例变量进行操作，也可以对类变量进行操作。实例方法由实例对象调用。

类方法不能访问实例变量，只能访问类变量。类方法由类名或者实例对象调用。类方法中不能出现this或者super关键字

class TiXing{
     private float up,height;
     private static float down;
    
    TiXing(float x,float y,float z){
        up=x;
        height=y;
        down=z;
    }
    public void display(){
        System.out.println("up is:"+up+"height is:"+height+"down is:"+down);
    }
    public static void change(float number){
        down=number;
        //System.out.println("height:"+height);//出错
    }
}

public class ep3_9{
    public static void main(String args[]){
        TiXing one=new TiXing(1,2,3);
        one.display();
        TiXing two=new TiXing(4,5,6);
        one.display();
        two.display();
    
        //TiXing.display();//出错
        one.change(101);
        one.display();
        two.change(102);
        two.display();    
    }
}