Я экспериментирую с параметрами типа, чтобы придумать общий способ подключения структур, которые генерируют ответ на HTTP-запросы JSON.
Интерфейс 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)
}
Нет, если у типа есть метод, у него есть этот метод. Интерфейс не может определить, неправильно ли реализован метод, а неправильный тип приемника — это лишь один из бесчисленных способов реализовать что-то неправильно. Приемник значения мог бы работать так же хорошо во многих случаях, если бы он содержал необходимые внутренние указатели.
Также обратите внимание, что в этом случае статический анализ может обнаружить ineffective assignment to field BadPing.Params
.
@JimB Спасибо. Хороший улов на статическом анализе. Я не видел этого, так как VSCode был настроен для запуска golang-ci-lint с параметром --fast. statticcheck теперь показывает неэффективное назначение, о котором вы упомянули.
Вы не можете этого сделать.
Когда в вашем коде вы делаете это:
var m T = new(M)
даже если набор типов T
включает только *M
в качестве термина типа, набор методов *M
включает методы, объявленные в M
. Компилятор не может проверить за вас, как метод попадает в набор методов *M
.
При объявлении метода SetParam
на BadPing
вы несете ответственность за то, чтобы метод не пытался безрезультатно изменить получателя.
я так не думаю