Go - обеспечить, чтобы интерфейс удовлетворялся только типами с получателем указателя на метод?

Я экспериментирую с параметрами типа, чтобы придумать общий способ подключения структур, которые генерируют ответ на 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)
}

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

я так не думаю

Paul Hankin 17.11.2022 16:41

Нет, если у типа есть метод, у него есть этот метод. Интерфейс не может определить, неправильно ли реализован метод, а неправильный тип приемника — это лишь один из бесчисленных способов реализовать что-то неправильно. Приемник значения мог бы работать так же хорошо во многих случаях, если бы он содержал необходимые внутренние указатели.

JimB 17.11.2022 16:50

Также обратите внимание, что в этом случае статический анализ может обнаружить ineffective assignment to field BadPing.Params.

JimB 17.11.2022 17:08

@JimB Спасибо. Хороший улов на статическом анализе. Я не видел этого, так как VSCode был настроен для запуска golang-ci-lint с параметром --fast. statticcheck теперь показывает неэффективное назначение, о котором вы упомянули.

Mark Chambers 17.11.2022 17:43
Создание API ввода вопросов на разных языках программирования (Python, PHP, Go и Node.js)
Создание API ввода вопросов на разных языках программирования (Python, PHP, Go и Node.js)
API ввода вопросов - это полезный инструмент для интеграции моделей машинного обучения, таких как ChatGPT, в приложения, требующие обработки...
1
4
60
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Вы не можете этого сделать.

Когда в вашем коде вы делаете это:

var m T = new(M)

даже если набор типов T включает только *M в качестве термина типа, набор методов *M включает методы, объявленные в M. Компилятор не может проверить за вас, как метод попадает в набор методов *M.

При объявлении метода SetParam на BadPing вы несете ответственность за то, чтобы метод не пытался безрезультатно изменить получателя.

Другие вопросы по теме