不变性Final

• 不变性(Immutable)：
  • 如果对象在被创建后，状态就不能被修改，那么它就是不可变的
  • 例子：person对象，它的所有属性 age和name都是不可变的，它就是不可变的。
  • 具有不变性的对象一定是线程安全的，我们无需对其采用额外安全措施。
• final：
  • 类防止被继承、方法防止被重写、变量防止被修改。
  • 天生是线程安全的，从而不需要额外的同步开销。
• final三种用法：
  • final修饰变量
  • final修饰方法
  • final修饰类
• final修饰变量
  • 被final修饰的变量，意味着值不能被修改。如果变量是对象，那么对象的引用不能变，但是对象自身的内容（属性）依然可以变化。
  • final变量又分为三种：
    1. final instance variable(类中的final属性)
    2. final static variable(类中的static final属性)
    3. final local variable(方法中的final属性)
• final修饰变量赋值时机：
  • 属性被声明为final后，该变量则只能被赋值一次，且一旦被赋值，final的变量就不能再被改变，无论如何也不会变。
  • final instance variable（类里的final属性）
    • 第一类是在声明变量的等号右边直接赋值
    • 第二种就是在构造函数中赋值
    • 第三种是在类的初始化代码块中赋值
    • 必须采用以上某个方式赋值，不赋值是不行的 ，这是final语法规定的。
  • final static variable（类中static final属性）
    • 两个赋值时机：除了在声明变量等号右边直接赋值外，static final变量还可以在static初始化代码块里赋值，但不能用普通的初始化代码块赋值。
  • final local variable（方法中的final变量）
    • 和前面两个不同，由于这里得变量时在方法里，所以没有构造函数，也不存在初始代码块。
    • final local variable不规定赋值时机，只要求在使用前必须赋值，这个方法中非final变量的要求也是一样的。
• final修饰方法：
  • 构造方法不允许被修饰。
  • 不可被重写，也就是不能被override。
  • 引申：static方法不能被重写。
• final修饰类：
  • 不可被继承。
  • 例如典型的String类就是final的。
• final 注意点：
  • final修饰对象时，只是对象的引用不可变，而对象本身的属性是可以变化的。
  • final使用规则：良好的编程习惯。
• 对象不可变
  • 对象创建后，其状态就不能修改。
  • 所有属性都是final修饰的。
  • 对象创建过程中没有发生逸出。