面试必问：static 和 final 关键字

一、static 关键字

  1) 静态变量与实例变量
  静态变量：即类变量，该变量是属于类的，类的所有实例都共享该静态变量，可以通过类名.静态变量名来访问。此外，静态变量在内存中只存在一份。
  实例变量：每创建一个实例就会产生一个实例变量，该实例变量的生命周期与实例相同。

  2) 静态方法
  静态方法在类加载前就已经存在，它不依赖于任何实例，且必须有方法体，即 static 和 abstract 不能同时使用。此外，静态方法只能访问所属类的静态变量和静态方法，静态方法中也不能存在 this 和 super 关键字，因为这两个关键字是与具体的对象相关联。

  3) 静态语句块
  静态语句块在类初始化的时候仅执行一次。

public class A {

    static {
        System.out.println("静态代码块");
    }


    public static void main(String[] args) {
        A a1 = new A();
        A a2 = new A();
    }
}

// 输出结果
静态代码块

  4) 静态内部类
  非静态内部类依赖于外部类的实例，即需要先实例化外部类，进而才能得到非静态内部类的实例。而静态内部类不依赖于外部类，但其不能访问外部类的非静态的变量和方法。

public class OuterClass {

    class InnerClass {
    }

    static class StaticInnerClass {
    }

    public static void main(String[] args) {
        // InnerClass innerClass = new InnerClass(); // 'OuterClass.this' cannot be referenced from a static context
        OuterClass outerClass = new OuterClass();
        InnerClass innerClass = outerClass.new InnerClass();
        StaticInnerClass staticInnerClass = new StaticInnerClass();
    }
}

  5) 初始化顺序
  静态变量和静态语句块优先初始化于实例变量和普通语句块，而静态变量和静态语句块的初始化顺序取决于它们的声明顺序。

public class Base {

    static {
        System.out.println("我是父类的静态语句块~~");
    }

    {
        System.out.println("我是父类的普通语句块~~");
    }

    public Base(){
        System.out.println("我是父类的构造函数~~");
    }
}

public class Sub extends Base{

    static {
        System.out.println("我是子类的静态语句块~~");
    }

    {
        System.out.println("我是子类的普通语句块~~");
    }

    public Sub(){
        System.out.println("我是子类的构造函数");
    }

    public static void main(String[] args){
        new Sub();
    }
}

  结果如下：

  综上，存在类继承关系的情况下，初始化顺序如下：

• 父类静态变量、静态语句块
• 子类静态变量、静态语句块
• 父类实例变量、普通语句块
• 父类构造函数
• 子类实例变量、普通语句块
• 子类构造函数

二、final 关键字

  1) 数据
  声明数据为常量，则可以是编译时常量，也可以是运行时被初始化后不能改变的常量。

• 若为基本数据类型，final 使其数值不可变。
• 若为引用数据类型，final 使其引用的指向不可变，即不能引用其他的对象，但被引用的对象本身是可被修改的。

final int x = 1;
// x = 2;  // cannot assign value to final variable 'x'
final A y = new A();
y.a = 1;

  2) 方法
  final 修饰的方法不能被子类重写。
  此外，private 方法隐式地指定其为 final 修饰。若在子类中定义的方法和基类中的一个 private 方法的签名相同，此时子类的该方法不是重写基类的方法，而是在子类中重新定义了一个新的方法。

  3) 类
  final 关键字修饰类，说明该类无法被继承。

三、参考资料

• https://github.com/CyC2018/CS-Notes