ThreadLocal：为什么一个线程所做的更改在另一个线程中可见

Question

考虑以下代码：

public static void main(String args[]) {
        
        
        Set<Integer> set=new HashSet<>();
       set.add(1);
        
        ThreadLocal<Set> var1=new ThreadLocal<>();
        
        //THREAD1
        Runnable r=()->{
                    
            var1.set(set);

            for(int i=1;i<=10;i++)
             System.out.println("Thread ID:"+Thread.currentThread()+":  "+var1.get());
            };

        Thread th=new Thread(r);
        th.start();
        
        //THREAD2
        Thread th1=new Thread(()-> {
                
            var1.set(set);
            
            var1.get().remove(1); //removing 1 from this thread copy of set.
            var1.get().add(2);    //adding 2 to this thread copy of set 
            
            for(int i=1;i<=10;i++)
             System.out.println("Thread ID:"+Thread.currentThread()+":  "+var1.get());
             
        });
        th1.start();
        
        
    }

输出：

Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-0,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]
Thread ID:Thread[Thread-1,5,main]:  [2]

为什么 Thread2 所做的更改（即删除 1 和添加 2）对 thread1 也是可见的？这里的理想用例是什么？

Answer 1

在学习编程时，您可能听说过变量是一个带有名称的盒子的比喻，您可以在其中存储一些东西。如果你以后想看那个东西，你可以找到正确名称的盒子并往里面看。

本地线程就像一个魔盒。它的内容取决于谁在看。每个线程都可以将不同的东西放在同一个盒子里，以后再访问它。

在您的示例中，您有两个线程，每个线程都有自己对您命名为var1 的魔术盒的视图。但是，这些线程中的每一个都将同一个对象放入盒子中——恰如其分地命名为set对象。

因为两个线程只使用一个集合实例，所以每个线程的动作相互干扰。以这种方式使用本地线程是没有意义的；相当于每个线程直接访问变量set。

ThreadLocal 的一个更有用的应用程序会为每个线程中的本地线程分配不同的值。在您的示例中，这意味着在每个 Runnable 中创建另一个 HashSet 实例。这保持了每个值与一个线程的隔离，并避免了代码中的并发错误。

在底层，ThreadLocal 本质上是一个映射，其中键是线程，值是分配给该线程中引用的值。

我不确定ThreadLocal 是否有“理想”用例；当无法实现理想时，我将其视为解决方法的工具。我认为它们是必要的邪恶，最后的手段。但是，例如，当无法作为方法参数传递时，您可以使用 ThreadLocal 在堆栈上下传递额外数据。