對(duì) volatile 字段的寫入和讀取分別防止在 volatile 字段之前和之后重新排序讀/寫。寫入 volatile 變量之前的變量讀/寫不能重新排序在它之后發(fā)生，而從 volatile 變量讀取之后的讀/寫不能重新排序在它之前發(fā)生。但這項(xiàng)禁令的范圍是什么？據(jù)我了解， volatile 變量只能防止在使用它的塊內(nèi)重新排序，對(duì)嗎？為了清楚起見，讓我舉一個(gè)具體的例子。假設(shè)我們有這樣的代碼：int i,j,k;volatile int l;boolean flag = true;void someMethod() {    int i = 1;    if (flag) {        j = 2;    }    if (flag) {        k = 3;        l = 4;    }}顯然，write tol將阻止 write tok重新排序，但它會(huì)阻止重新排序?qū)懭雐和j關(guān)于l? 換句話說，可以寫入i并j在寫入之后發(fā)生l嗎？更新 1感謝大家花時(shí)間回答我的問題 - 我很感激。問題是你回答了錯(cuò)誤的問題。我的問題是關(guān)于范圍，而不是關(guān)于基本概念。問題基本上是編譯器在代碼中保證“發(fā)生在之前”與 volatile 字段的關(guān)系有多遠(yuǎn)。顯然編譯器可以保證在同一個(gè)代碼塊內(nèi)，但是封閉塊和對(duì)等塊呢 - 這就是我的問題。@Stephen C 說，volatile 保證發(fā)生在整個(gè)方法主體內(nèi)部的行為之前，即使在封閉塊中，但我找不到任何確認(rèn)。他說得對(duì)嗎，有什么地方可以確認(rèn)嗎？讓我再舉一個(gè)關(guān)于范圍界定的具體例子來澄清事情：setVolatile() {   l = 5;} callTheSet() {   i = 6;   setVolatile();}i在這種情況下，編譯器會(huì)禁止重新排序?qū)懭雴幔炕蛘呔幾g器不能/沒有被編程來跟蹤在 volatile 情況下其他方法中發(fā)生的事情，并且i可以重新排序?qū)懭胫鞍l(fā)生setVolatile()？或者編譯器根本不重新排序方法調(diào)用？我的意思是在某處必須有一個(gè)點(diǎn)，當(dāng)編譯器將無法跟蹤某些代碼是否應(yīng)該在某些 volatile 字段寫入之前發(fā)生時(shí)。否則，一個(gè)易失性字段寫入/讀取可能會(huì)影響一半程序的排序，如果不是更多的話。這是一種罕見的情況，但它是可能的。此外，看看這個(gè)報(bào)價(jià)在新的內(nèi)存模型下，volatile 變量不能相互重新排序仍然是正確的。不同之處在于現(xiàn)在不再那么容易對(duì)它們周圍的正常字段訪問重新排序?！霸谒麄兣赃叀?。這句話暗示，有一個(gè)范圍，其中 volatile 字段可以防止重新排序。