Go - 强制接口仅由方法上具有指针接收器的类型满足？

Question

我正在对类型参数进行一些实验，以提出一种通用的方法来连接生成对 JSON HTTP 请求的响应的结构。Method结构必须实现的接口有一个方法SetParams。只要实现使用指针接收器，这就会按预期工作。SetParams我的问题：如果有值接收者，有什么方法可以使它成为编译时错误？SetParams下面是一个示例，它演示了具有值接收者的问题：package mainimport (    "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    }}https://go.dev/play/p/Eii8ADkmDxE

Answer 1

你不能那样做。

在您的代码中执行此操作时：

var m T = new(M)

即使T的类型集仅*M作为类型术语包含，*M的方法集也包含声明在 上的方法M。编译器无法为您检查该方法如何*M在 的方法集中结束。

SetParam在声明该方法时，您有责任BadPing确保该方法不会尝试无效地修改接收器。