使用final关键字创建一个线程安全的类

「爱情、让人受尽委屈。」 2022-01-30 07:17 155阅读 0赞

final关键字是java中的一个很重要的关键字，但是经常被我们忽略。  
final可以类，方法，变量。  
使用final显示的声明变量是一个非常良好的编码习惯，因为java会对final修饰的变量进行内联，提高代码的性能。  
最近正在看<**Java** Concurrenty in Practice> 这本书，里面有一张是讲解的利用final关键字构建一个线程安全的类，在此记录  
示例代码如下:

public class OneValueCache {
        private final BigInteger lastNumber;
        private final BigInteger[] lastFactors;
    
        public OneValueCache(BigInteger lastNumber, BigInteger[] lastFactors) {
            this.lastNumber = lastNumber;
            this.lastFactors = lastFactors;
        }
    
        public BigInteger[] getFactors(BigInteger i) {
            if(i == null || !lastNumber.equals(i)){
                return null;
            }else{
                return Arrays.copyOf(lastFactors,lastFactors.length);
            }
        }

public class VoliatileCachedFactorizer implements Servlet{
        private volatile OneValueCache cache = new OneValueCache(null,null);
        @Override
        public void service(ServletRequest req, ServletResponse resp) throws ServletException, IOException {
            //从请求中获取因数
            BigInteger i = extractFromRequest(req);
            //查看缓存中是否有因数分解的结果
            BigInteger[] factors = cache.getFactors(i);
            if(factors == null){
                //因数分解
                factors = factor(i);
                //创建因数分解缓存对象
                cache = new OneValueCache(i,factors);
            }
            return encodeIntoResponse(resp,factors);
        }
    }

因为OneValueCache对象中的两个成员变量，lastNumber和lastFactors都是final修饰，所以OneValueCache对象是不可变的。这就保证了，如果线程A创建了OneValueCache对象，线程B对象无法修改线程A的OneValueCache对象中的两个变量。线程B只能自己新建一个OneValueCache对象，同时OneValueCache对象使用了voliatile关键字修饰。所以线程B创建的OneValueCache对象的赋值操作可以立即对其他线程可见。