Go - 強制介面僅由方法上帶有指標接收器的類型滿足？

php小編百草為您介紹Go語言中的強制介面規則，即只有方法上帶有指標接收器的類型才能滿足介面的要求。 Go語言是一門靜態類型的程式語言，它透過介面來實現多態性。在定義介面時，可以指定方法的接收器類型，可以是值類型或指標類型。但是，當我們使用強制介面規則時，只有方法上帶有指標接收器的類型才能滿足介面的要求，這是因為指標類型可以修改值的內容，而值類型不能。這個規則保證了介面的方法在操作值時不會引起不可預測的行為。透過了解這個規則，我們可以更理解Go語言中介面的使用和設計。

問題內容

我正在對類型參數進行一些實驗，以提出連接結構的通用方法，以產生對 json http 請求的回應。

結構必須實作的 method 介面有一個 setparams 方法。只要實現使用指標接收器，這就會按預期工作。

我的問題：如果 setparams 有值接收器，有什麼方法可以使其成為編譯時錯誤嗎？

以下範例示範了具有值接收器的 setparams 的問題：

package main

import (
    "encoding/json"
    "fmt"
    "log"
)

type PingParams struct {
    Name string
}

type PingResponse struct {
    Message string
}

func (p PingParams) Greeting() string {
    if p.Name != "" {
        return fmt.Sprintf("Hello, %s", p.Name)
    }

    return fmt.Sprintf("Hello, nobody!")
}

type GoodPing struct {
    Params PingParams
}

// SetParams has a pointer receiver.
func (m *GoodPing) SetParams(p PingParams) {
    fmt.Printf("assign %v with pointer receiver, Good!\n", p)
    m.Params = p
}
func (m GoodPing) Run() (*PingResponse, error) {
    return &PingResponse{Message: fmt.Sprintf("%T %s", m, m.Params.Greeting())}, nil
}

type BadPing struct {
    Params PingParams
}

// SetParams has a value receiver.
func (m BadPing) SetParams(p PingParams) {
    fmt.Printf("assign %v with value receiver, Bad!\n", p)
    m.Params = p
}
func (m BadPing) Run() (*PingResponse, error) {
    return &PingResponse{Message: fmt.Sprintf("%T %s", m, m.Params.Greeting())}, nil
}

type Method[M, RQ, RS any] interface {
    // Run builds the RPC result.
    Run() (*RS, error)
    // SetParams is intended to set the request parameters in the struct implementing the RPC method.
    // This then allows the request parameters to be easily available to all methods of the Method struct.
    // The method MUST have a pointer receiver. This is NOT enforced at compile time.
    SetParams(p RQ)
    // The following line requires the implementing type is a pointer to M.
    *M
    // https://stackoverflow.com/a/72090807
}

func HandlerMethod[M, RQ, RS any, T Method[M, RQ, RS]](in json.RawMessage) (*RS, error) {
    // A real implementation of this would return a func for wiring into a request router

    var req RQ

    err := json.Unmarshal(in, &req)

    if err != nil {
        return nil, err
    }

    var m T = new(M)

    m.SetParams(req)

    return m.Run()
}

func main() {

    payload := []byte(`{"Name": "Mark"}`)

    bad, err := HandlerMethod[BadPing, PingParams, PingResponse](payload)

    if err != nil {
        log.Fatal(err)
    }

    fmt.Println(bad.Message)

    good, err := HandlerMethod[GoodPing, PingParams, PingResponse](payload)

    if err != nil {
        log.Fatal(err)
    }

    fmt.Println(good.Message)
}

https://go.dev/play/p/eii8adkmdxe

解決方法

你不能這麼做。

當您在程式碼中執行以下操作時：

var m T = new(M)

即使t的型別集只包含*m作為型別項，*m的方法集也包含在m上聲明的方法。編譯器無法檢查該方法如何出現在 *m 的方法集中。

在 badping 上宣告方法 setparam 時，您有責任確保方法不會嘗試徒勞地修改接收者。

以上是Go - 強制介面僅由方法上帶有指標接收器的類型滿足？的詳細內容。更多資訊請關注PHP中文網其他相關文章！