java中final关键字怎么使用、有哪些作用

什么是不变性

如果对象在被创建以后，状态就不能被修改，那么它就是不可变的

创建Person类，设置age和name属性，并且用final修饰

public class Person {
    final int age = 18;
    final String name ="Alice";
}

测试显示：

如果Person类中有一个属性可变，意味着该对象不具备不可变性

具有不变性的对象一定是线程安全的，我们不需要对其采取任何额外的安全措施，也能保证线程安全（final修饰的属性不能改但是可并发读取）

final的作用

1.早期的java版本中，会将final方法转为内嵌调用

2.现在：

① 类防止被继承、方法防止被重写、变量防止被修改

② 天生是线程安全的，而不需要额外的同步开销

final 3种用法

1.final修饰变量

被final修饰的变量，意味着值不能被修改。如果变量是对象，那么对象的引用不能变，但是对象自身的内容依然可以变化

Person类

public class Person {
    String bag = "computer";
}

测试类TestFinal

public class TestFinal {
    public static void main(String[] args) {
       final Person person = new Person();
       person.bag ="book";
    }
}

赋值时机

为什么要规定赋值时机，如果初始化不赋值，后续赋值，就是从null变成你的赋值，这违反了final不变的原则

属性被声明为final后，该变量只能被赋值一次。且一旦被赋值，final的变量就不能再改变，无论如何也不会变

① final instance variable(类中的 final 属性)

• 第一种是在声明变量的等号右边直接赋值

• 第二种就是构造函数中赋值

• 第三种就是在类的初始代码块中赋值（不常用）

• 如果不采用第一种赋值方法，那么就必须在第二、三种挑一种来赋值，而不能不赋值，这是final语法所规定的

public class FinalVariableDemo {
//  private final int a =6;
    private final int a;

//    public FinalVariableDemo(int a) {
//        this.a = a;
//    }
    {
        a = 6;
    }
}

② final static variable(类中的 static final 属性)

• 两个赋值时机:除了在声明变量的等号右边直接赋值外，static final变量还可以用static初始代码块赋值，但是不能用普通的初始代码块赋值

public class FinalVariableDemo {
//    private static final int a = 6;
    private static final int a;
    static {
        a=6;
    }
}

③ final local variable(方法中的 final 变量)

• 和前面两种不同，由于这里的变量是在方法里的，所以没有构造函数，也不存在初始代码块

• final local variable不规定赋值时机，只要求在使用前必须赋值，这和方法中的非final变量的要求也是一样的

public class FinalVariableDemo {
    public void testFinal() {
        //final int a =7;
        final int a;
        a = 6;
        int b = a;
    }
}

2.final修饰方法

• 构造方法不允许用final修饰

• 不可被重写，即不能被override,即便是子类有同样名字的方法，那也不是override，这个和static是一个道理

• 引申：static方法不能被重写（子类可以写与父类同命的静态方法属于子类方法，与父类没有绑定关系）

3.final修饰类

• 不可被继承

• 例如典型的String类就是final修饰的，我们从未见过哪个类是继承String类的

不变性和final的关系

1.不变性并不意味着，简单的用final修饰就是不可变

① 对于基本数据类型，确实被final修饰后就具有不变性

② 但是对于对象类型，需要该对象保证自身被创建后，状态永远不会变才可以

2.如何利用final实现对象不可变

• 当把所有属性都声明为final修饰时，如果存在对象类型里面包含属性是可变的，则对象依然不具备不可变性

Person类

public class Person {
    final int age = 18;
    final String name = "Alice";
    final TestFinal testFinal = new TestFinal();
}

TestFinal类

public class TestFinal {
    String test; 
    public static void main(String[] args) {
        final Person person = new Person();
        person.testFinal.test = "12g";
        System.out.println(person.testFinal.test);
        person.testFinal.test = "15g";
        System.out.println(person.testFinal.test);
    }
}

结果显示：

• 属性是对象类型的做到不可变的实例

/**
 * 一个属性是对象，但是整体不可变，其他类无法修改set里面的数据
 * 不可变在于不局限是基本数据类型还是对象，取决于内容永远不会被修改
 * 只要ImmutableDemo完成初始化后，内部的students就再也不会更改了，ImmutableDemo所有属性就不可更改
 */
public class ImmutableDemo {
    private final Set<String> students = new HashSet<>();//private 属性外面的类访问不到

    public ImmutableDemo() { //在构造函数添加后，没有机会对students数值进行修改了
        students.add("张三");
        students.add("李四");
        students.add("王五");
    }

    public boolean isStudent(String name){ //所有方法都是对students读取
        return students.contains(name);
    }
}

3.对象不可变需要满足的条件

① 对象创建后，其状态就不能修改

② 所有属性都是final修饰的

③ 对象创建过程中，没有发生逸出

4.栈封闭，把变量写在线程内部

在方法里面新建的局部变量，实际上是存储在每个线程私有的栈空间，而每个栈的栈空间是不能被其他线程所访问的，所以不会有线程安全问题。这就是著名的"栈封闭"技术，是"线程封闭"技术的一种情况

/**
 * 演示栈封闭的两种情况，基本变量和对象
 * 先演示线程争抢带来错误结果，然后把变量放到方法类，情况就变了
 */
public class StackConfinement implements Runnable {
    int index = 0;

    public void inThread() {
        int neverGoOut = 0;
        for (int i = 0; i < 10000; i++) {
            neverGoOut++;
        }
        System.out.println("栈内保护的数字是线程安全的" + neverGoOut);
    }

    @Override
    public void run() {
        for (int i = 0; i < 10000; i++) {
            index++;
        }
        inThread();
    }

    public static void main(String[] args) throws InterruptedException {
        StackConfinement r = new StackConfinement();
        Thread thread1 = new Thread(r);
        Thread thread2 = new Thread(r);
        Thread thread3 = new Thread(r);
        thread1.start();
        thread2.start();
        thread3.start();
        thread1.join();
        thread2.join();
        thread3.join();
        System.out.println(r.index);
    }
}

5.练习

案例①：

public class FinalPractice {
    public static void main(String[] args) {
        String a = "wukong2";
        final String b = "wukong";
        String d = "wukong";
        String c = b + 2;
        String e = d + 2;
        System.out.println(a == c);
        System.out.println(a == e);
    }
}

案例②：

public class FinalPractice2 {
    public static void main(String[] args) {
        String a = "wukong2";
        final String b = getValue();
        String c = b + 2;
        System.out.println(a == c);
    }

    public static String getValue() {
        return "wukong";
    }
}