数据结构与算法java学习#day1

一、学习了递归函数的简单含义：递归的最基本法则：

1.基准情形（base case）：不用递归，即给出解；

2.不断推进（making process）：对于那些要递归求解的情形，递归调用必须朝着一个基准情形推进；

3.设计原则（design rule）：假设所有的递归调用都能运行

二、泛型

声明方式 

/**
class Test<T>{
    private T test;
    ...
    ...
}
*/
public class GenuricMemoryCell<T> {
    private T storeValue;
    public T read(){
        return storeValue;
    }
    public void write(T x){
        this.storeValue=x;
    }
}

2.数组兼容性，数组的协变性，如果类A是类B的父类，那么类A的数组 A[]也是兼容B的数组B[]的。泛型不具有协变性：如果Shape时Circle的父类，但是Collection<Shape>不是Collection<Circle>的父类，也即是说Collection<Shape>变量不能兼容Collection<Circle>的值；

3.泛型的通配符解决泛型父类与子类不可协变的问题，如Collection<? extends Shape>,那么Collection<? extends Shape>声明的变量即可以兼容Collection<Shape>的值又可以兼容Collection<Circle>的值，？extends Shape 在编译时就告诉了系统，泛型可以是Shape的子类。

3.菱形运算符，简化泛型的代码

4.装箱与拆箱，基本数据类型与大数字类之间根据情形会在编译时的进行自动转换。

5.泛型限界。类A实现了接口Comparable<A>,所以A是接口Comparable<A>的子类，B继承了A，所以B类 is a A类，综合传递，B is a Comparable<A>,在某些地方对泛型做接口要求的时候，又要考虑继承关系，泛型的写法是<T extends 【接口名】Comparable<? super T>> viod sort（<T extends 【接口名】Comparable<? super T>>）

6.类型擦除与类型检测

package com.study.chapter01;

public class TestMemoryCell3 {
    public static void main(String args[]){
        GenuricMemoryCell<Integer> cell1=new GenuricMemoryCell<>();
        cell1.write(3);
        Object cell=cell1;
        GenuricMemoryCell<String> cell2=(GenuricMemoryCell<String>) cell;  //类型擦除，泛型参数编译时被擦除，全部是GenuricMemorycell类
        String a=cell2.read();//但是内部的成员是按照泛型声明的，这时类型就要注意了，会进行instanceof检测
    }
}

泛型类的static方法和static代码块不可引用类型变量，类型擦除后类型变量就不存在了，只存在一个原始类，static代码块是诸多泛型类之间共享的。

package com.study.chapter01;

public class GenuricMemoryCell<T> {
    private T storeValue;
    public T read(){
        return storeValue;
    }
/**
    public GenuricMemoryCell(T storeValue) {
        this.storeValue = storeValue;
    }
*/
    static void test(T x){//因为static方法是诸多泛型类公用的方法，如果这个地方引用了泛型，首先这个泛型会被擦除，然后它又是公用的代码块，那就发生矛盾了
    System.out.print(x);
}
    public void write(T x){
        this.storeValue=x;
    }
}

泛型类 不能被实例化也不能创建泛型类对象数组