我已經(jīng)閱讀了一些關(guān)于來自多個線程的 Java 數(shù)組元素可見性的問題和答案，但我仍然無法真正理解某些情況。為了演示我遇到的問題，我提出了一個簡單的場景：假設(shè)我有一個簡單的集合，通過將元素散列到一個存儲桶中，將元素添加到其中一個存儲桶中（存儲桶就像某種列表） 。并且每個桶都是單獨同步的。例如：private final Object[] locks = new Object[10];private final Bucket[] buckets = new Bucket[10];這里有一個水桶i應(yīng)該由 來守護(hù)lock[i]。添加元素代碼如下所示：public void add(Object element) {        int bucketNum = calculateBucket(element); //hashes element into a bucket        synchronized (locks[bucketNum]) {            buckets[bucketNum].add(element);        }    }由于“桶”是最終的，因此即使沒有同步，也不會有任何可見性問題。我的猜測是，通過同步，如果沒有最終結(jié)果，也不會有任何可見性問題，這是正確的嗎？最后，有點棘手的部分。假設(shè)我想從任意線程復(fù)制并合并所有存儲桶的內(nèi)容并清空整個數(shù)據(jù)結(jié)構(gòu)，如下所示：public List<Bucket> clear() {    List<Bucket> allBuckets = new List<>();    for(int bucketNum = 0; bucketNum < buckets.length; bucketNum++) {        synchronized (locks[bucketNum]) {            allBuckets.add(buckets[bucketNum]);            buckets[bucketNum] = new Bucket();        }        }    return allBuckets;}我基本上用新創(chuàng)建的存儲桶交換舊存儲桶，然后返回舊存儲桶。這種情況與前一種情況不同add()，因為我們沒有修改數(shù)組中引用引用的對象，而是直接更改數(shù)組/引用。請注意，當(dāng)我持有存儲桶 1 的鎖時，我不關(guān)心存儲桶 2 是否被修改，我不需要結(jié)構(gòu)完全同步和一致，只需可見性和接近一致性就足夠了。因此，假設(shè) everybucket[i]只在 下修改過lock[i]，你會說這段代碼有效嗎？我希望能夠了解原因和原因，并更好地掌握可見性，謝謝。