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 時，您有責任確保該方法不會嘗試徒勞地修改接收者。
