Как вернуть общий тип в go

При работе с дженериками, особенно в go, все становится сложнее. Нам нужно осторожно обращаться со сложными ограничениями типов. В вашем случае проблема, похоже, связана с ограничениями типов и возвращаемыми значениями функции. Вот как вы можете справиться с этим:

package main

import (
    "fmt"
    "strings"
)


type GenericIface[M ~map[string]T, T any] interface {
    GetSubTypes() M
}


type t1 struct {
    subTypes r1
}

type r1 map[string]r1

type t2 struct {
    subTypes r2
}

type r2 map[string]t2


var mapFirst = make(map[string]GenericIface[r1, r1])
var mapSecond = make(map[string]GenericIface[r2, t2])

GenericIface[r2, t2] based on the input type.
func GetGenericIfaceVal[M ~map[string]T, T any](cType string) GenericIface[M, T] {
    if strings.HasPrefix(cType, "$") {
        return mapFirst[cType].(GenericIface[M, T])
    }
    return mapSecond[cType].(GenericIface[M, T])
}

interface.
func (t *t1) GetSubTypes() r1 {
    return t.subTypes
}

func (t *t2) GetSubTypes() r2 {
    return t.subTypes
}

func main() {

    mapFirst["$example"] = &t1{subTypes: make(r1)}
    mapSecond["example"] = &t2{subTypes: make(r2)}


    val1 := GetGenericIfaceVal[r1, r1]("$example")
    fmt.Printf("val1: %T\n", val1)


    val2 := GetGenericIfaceVal[r2, t2]("example")
    fmt.Printf("val2: %T\n", val2)
}

Причина:

Вам не хватало утверждения типа. Это связано с тем, как Go обрабатывает параметры типов и интерфейсы, особенно с дженериками.

• Когда вы определяете интерфейс (вместе с дженериками) как GenericIface[M, T], вы говорите, что методы интерфейса будут работать с типами (определяемыми во время компиляции). Но на самом деле структуры данных (например, MapFirst и MapSecond) представляют собой просто карты с общими интерфейсами.
• Когда вы получаете элемент, компилятор Go знает только, что он имеет тип GenericIface[_, _]. Недостаточно информации, чтобы сделать вывод, что он соответствует конкретному GenericIface[M, T], который вы хотите вернуть. Таким образом, невозможно гарантировать, что возвращаемый элемент имеет точный тип GenericIface[M, T] во время выполнения.
• Утверждая тип, вы, как программист, гарантируете компилятору, что определенное значение соответствует определенному типу.

Вы можете узнать больше об этом здесь:

https://www.freecodecamp.org/news/generics-in-golang/

https://callistaenterprise.se/blogg/teknik/2022/05/30/go-generics-in-functional-style/

https://programmingpercy.tech/blog/learning-generics-in-go/

https://thewikihow.com/video_Eor1w37tVNw