為什麼「comma ok」模式僅適用於從 Go 函數傳回多個值時的賦值上下文？

Go 函數傳回值：破解「逗號Ok」模式

在Go 中，一個函數可以傳回多個值，這很有用在某些情況下。但是，並非所有多值返回都有效。以下程式碼片段示範了一個有效的情況：

func FindUserInfo(id string) (Info, bool) {
    it, present := all[id]
    return it, present
}

相反，此程式碼無效：

func FindUserInfo(id string) (Info, bool) {
    return all[id]
}

為什麼第一個範例有效且第二個範例無效？要理解這一點需要深入研究一種稱為「comma ok」模式的技術。

「Comma Ok」習語：解鎖遺失的鍵和零值

「comma ok」習語用於區分映射中缺少的條目與零值。此模式在存取地圖鍵時尤其普遍。考慮以下內容：

var seconds int
var ok bool
seconds, ok = timeZone[tz]

如果 tz 鍵存在於 timeZone 映射中，則秒將被分配相應的值，並且 ok 將被設為 true。否則，秒將被設定為 0，ok 將被設定為 false。

實作細節：深入 Go 的原始碼

為了尋求澄清，我們轉向 Go 的原始碼原始碼。 unpack 方法負責處理多值賦值和回傳。它根據以下條件決定特定表達式是否符合「逗號正常」情況：

• 索引地圖
• 從通道擷取值
• 執行型別斷言

在多值賦值的情況下，allowCommaOk 參數必須設為true 以啟用「comma ok」模式。然而，在 Go 編譯器中，此參數始終設定為 false。

多值回傳的後果

此行為表示「comma ok」模式可以只能在賦值上下文中使用。要從函數中檢索多個值，需要賦值左側的變數。

深入範例

為了說明這一點，我們檢查檢查器.initVars() 方法：

var x operand
if commaOk {
    var a [2]Type
    for i := range a {
        get(&x, i)
        a[i] = check.initVar(lhs[i], &x, returnPos.IsValid())
    }
    check.recordCommaOkTypes(rhs[0], a)
    return
}

在此程式碼中，僅當賦值左側的變數數量與函數傳回值的數量相符時，才啟動逗號標誌。因此，有必要為每個需要檢索的值聲明變數。

結論

Go 中的「comma ok」模式是一個有價值的區分工具。缺失的映射條目和零值之間。然而，它的適用性僅限於賦值上下文，需要使用變數來儲存回傳值。了解這些約束可以確保 Go 程式碼中正確、有效率地實現多值回傳。

以上是為什麼「comma ok」模式僅適用於從 Go 函數傳回多個值時的賦值上下文？的詳細內容。更多資訊請關注PHP中文網其他相關文章！