以不变应万变：final关键字和不变形

• 以不变应万变：final关键字和不变形
• 什么是不变形（Immutable）
• final的作用
• 3种用法：修饰变量、方法、类
  • 赋值时机
• 注意点
  • final修饰方法
  • final修饰类
  • 总结
• 不变性和final的关系
  • 总结出，满足以下条件时，对象才是不可变的
• 把变量写在线程内部——栈封闭

什么是不变形（Immutable）

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

  • 例如：person对象，age和name都不能再变
  • 具备不变性的对象一定是线程安全的，我们不需要对其采取任何额外的安全措施，也能保证线程安全。

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

}

在其他类中，只可以读取，而不可以赋值。

/**
 * 测试final能否被修改
 */
public class TestFinal {
    public static void main(String[] args) {
        Person person = new Person();
        person.age = 178;
    }
}

final的作用

3种用法：修饰变量、方法、类

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

赋值时机

public class FinalVariableDemo {
    private final int a;

    /**
     * 构造函数中赋值
     * @param a
     */
    public FinalVariableDemo(int a){
        this.a = a;
    }
	
    // 代码块中赋值
    {
        a=7;
    }
    
}

public class FinalVariableDemo {
    // 第一种，等号后面赋值
    private static final int a;

 
	// 第二种：静态代码块赋值
    static {
        a=7;
    }

}

public class FinalVariableDemo {
//    private static final int a;


    void testFinal(){
        final  int b;
        b = 5;
        int c = b;
    }



}

注意点

final修饰方法

• 构造函数不 允许final修饰

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

• 引申：static方法不能被重写

final修饰类

• final修饰类不可被继承，例如典型的String类就是final的

总结

• final修饰对象的时候，只是对象的引用不可变，而对象本身的属性是可以变化的
• final使用原则:良好的编程习惯

不变性和final的关系

• 不变形并不意味着，简单地用final修饰是不可变。
  • 对于基本数据类型，
• 如何利用final实现对象不可变？<不对>

总结出，满足以下条件时，对象才是不可变的

• 对象创建后，其状态就不能改变
• 所有属性都是final修饰的
• 对象创建过程中没有发生溢出

把变量写在线程内部——栈封闭

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