Go 中的不可變字串是否需要同步並發寫入？

字串的不變性和並發性

問題：

我們應該同步對字串的寫入嗎？既然字串是不可變的，那麼我們不是可以保證多執行緒讀寫之間的狀態一致嗎？

答案：

Go 中的字串值確實是不可變的，這意味著它們的內容一旦創建就無法修改。但是，這種不變性僅適用於字串值本身，不適用於保存字串的變數。

變數是可變的，並且可以隨著時間的推移指向不同的字串值。如果多個 goroutine 同時存取一個字串變量，並且至少有一個 goroutine 寫入該變量，則需要同步。這可確保按順序執行對變數的寫入，從而防止並發存取字串的變量，而不是其值。

範例：

考慮以下程式碼：

<code class="go">var s string = "hello"

func writeToString(s string) {
    s = "goodbye"
}

func main() {
    wg := sync.WaitGroup{}
    const num = 10
    for i := 0; i < num; i++ {
        wg.Add(1)
        go func(i int) {
            defer wg.Done()
            writeToString(s)
        }(i)
    }
    wg.Wait()
    fmt.Println(s)
}</code>

如果沒有同步，此程式碼將導致資料競爭，因為多個goroutine 正在寫多個入保存字串的變數。因此，s 的最終值可以是“hello”或“goodbye”，這取決於哪個 goroutine 最後訪問了該變數。

透過使用同步，例如sync.Mutex，我們確保只有一個 goroutine 可以一次寫入變量，從而保留預期的行為。

以上是Go 中的不可變字串是否需要同步並發寫入？的詳細內容。更多資訊請關注PHP中文網其他相關文章！