Java8源码解析-常用关键字理解

Static

因为是静态的、全局的,一旦被修饰,说明被修饰的东西在一定范围内是共享的,谁都可以访问,所以需要注意并发读写的问题。

修饰类变量

如果该变量是 public 的话,表示该变量任何类都可以直接访问,而且无需初始化类,直接使用 类名.static 变量 这种形式访问即可。

当多个线程同时对共享变量进行读写时,很有可能会出现并发问题,需要考虑保证线程安全

public static List<String> list = new ArrayList();这样的共享变量。这个 list 如果同时被多个线程访问的话,就有线程安全的问题,这时候一般有两个解决办法:

  1. 把线程不安全的 ArrayList 换成 线程安全的 CopyOnWriteArrayList;
  2. 每次访问时,手动加锁。

修饰方法

如果该方法是 public 的话,代表该方法和当前类是无关的,任意类都可以直接访问。该方法内部只能调用同样被 static 修饰的方法,不能调用普通方法,常用的 util 类里面的各种方法,比较喜欢用 static 修饰方法,好处就是调用特别方便。

static 方法内部的变量在执行时是没有线程安全问题的。方法执行时,数据运行在栈里面,栈的数据每个线程都是隔离开的,所以不会有线程安全的问题,所以 util 类的各个 static 方法,是可以放心使用的。

修饰方法块

也叫静态块,静态块常常用于在类启动之前,初始化一些值,比如:

public static List<String> list = new ArrayList();
// 进行一些初始化的工作
static {
    list.add("1");
}

静态块只能调用同样被 static 修饰的变量,并且 static 的变量需要写在静态块的前面,不然编译也会报错。

初始化顺序

  1. 父类的静态变量和静态块比子类优先初始化;
  2. 静态变量和静态块比类构造器优先初始化。
  3. static 修饰的方法,在类初始化的时候并不会初始化,只有被调用时,才会被执行。

final

  1. 被 final 修饰的类,表明该类是无法继承的;
  2. 被 final 修饰的方法,表明该方法是无法覆写的;
  3. 被 final 修饰的变量,说明该变量在声明的时候,就必须初始化完成,而且以后也不能修改其内存地址。

try、catch、finally

这个代码demo演示了在 try、catch 中都遇到了异常

public void testCatchFinally() {
  try {
    log.info("try is run");
    if (true) {
      throw new RuntimeException("try exception");
    }
  } catch (Exception e) {
    log.info("catch is run");
    if (true) {
      throw new RuntimeException("catch exception");
    }
  } finally {
    log.info("finally is run");
  }
}

代码的执行顺序为:try -> catch -> finally,输出的结果如下:

  1. finally 先执行后,再抛出 catch 的异常;

  2. 最终捕获的异常是 catch 的异常,try 抛出来的异常已经被 catch 吃掉了,所以当我们遇见 catch 也有可能会抛出异常时,我们可以先打印出 try 的异常,这样 try 的异常在日志中就会有所体现。

volatile

它的意思是可见的,常用来修饰某个共享变量,意思是当共享变量的值被修改后,会及时通知到其它线程上,其它线程就能知道当前共享变量的值已经被修改了。

在多核 CPU 下,为了提高效率,线程在拿值时,是直接和 CPU 缓存打交道的,而不是内存。主要是因为 CPU 缓存执行速度更快,比如线程要拿值 C,会直接从 CPU 缓存中拿, CPU 缓存中没有,就会从内存中拿,所以线程读的操作永远都是拿 CPU 缓存的值。

这时候会产生一个问题,CPU 缓存中的值和内存中的值可能并不是时刻都同步,导致线程计算的值可能不是最新的,共享变量的值有可能已经被其它线程所修改了,但此时修改是机器内存的值,CPU 缓存的值还是老的,导致计算会出现问题。

这时候有个机制,就是内存会主动通知 CPU 缓存。当前共享变量的值已经失效了,你需要重新来拉取一份,CPU 缓存就会重新从内存中拿取一份最新的值。

volatile 关键字就会触发这种机制,加了 volatile 关键字的变量,就会被识别成共享变量,内存中值被修改后,会通知到各个 CPU 缓存,使 CPU 缓存中的值也对应被修改,从而保证线程从 CPU 缓存中拿取出来的值是最新的。

从图中我们可以看到,线程 1 和线程 2 一开始都读取了 C 值,CPU 1 和 CPU 2 缓存中也都有了 C 值,然后线程 1 把 C 值修改了,这时候内存的值和 CPU 2 缓存中的 C 值就不等了,内存这时发现 C 值被 volatile 关键字修饰,发现其是共享变量,就会使 CPU 2 缓存中的 C 值状态置为无效,CPU 2 会从内存中重新拉取最新的值,这时候线程 2 再来读取 C 值时,读取的已经是内存中最新的值了。

default

一般会用在接口的方法上,意思是对于该接口,子类是无需强制实现的,但自己必须有默认实现

posted @ 2021-08-30 13:00  请务必优秀  阅读(34)  评论(0编辑  收藏  举报