如何有效地处理具有联合约束的通用类型 T？

来到golang学习网的大家，相信都是编程学习爱好者，希望在这里学习Golang相关编程知识。下面本篇文章就来带大家聊聊《如何有效地处理具有联合约束的通用类型 T？》，介绍一下，希望对大家的知识积累有所帮助，助力实战开发！

换句话说，如何为联合类型集中的不同类型实现特定于类型的解决方案？

给出以下代码...

type fieldtype interface {
    string | int
}

type field[t fieldtype] struct {
    name         string
    defaultvalue t
}

func newfield[t fieldtype](name string, defaultvalue t) *field[t] {
    return &field[t]{
        name:         name,
        defaultvalue: defaultvalue,
    }
}

func (f *field[t]) name() string {
    return f.name
}

func (f *field[t]) get() (t, error) {
    value, ok := os.lookupenv(f.name)
    if !ok {
        return f.defaultvalue, nil
    }
    return value, nil
}

编译器显示错误：

field.go:37:9: cannot use value (variable of type string) as type t in return statement

有没有办法为所有可能的 fieldtypes 提供实现？

喜欢...

func (f *Field[string]) Get() (string, error) {
    value, ok := os.LookupEnv(f.name)
    if !ok {
        return f.defaultValue, nil
    }
    return value, nil
}

func (f *Field[int]) Get() (int, error) {
    raw, ok := os.LookupEnv(f.name)
    if !ok {
        return f.defaultValue, nil
    }
    value, err := strconv.ParseInt(raw, 10, 64)
    if err != nil {
        return *new(T), err
    }
    return int(value), nil
}

欢迎任何提示。

正确答案

发生该错误的原因是涉及类型参数的操作（包括赋值和返回）必须对其类型集中的所有类型都有效。 如果是 string | int，没有通用的操作来从字符串初始化它们的值。

但是您仍然有几个选择：

t 上的类型切换

您在类型开关中使用通用类型 t 的字段，并临时将具体类型的值设置到 接口{}/any 中。然后将接口键入断言回 t 以返回它。请注意，此断言未经检查，因此如果由于某种原因 ret 持有不属于 t 类型集中的内容，则可能会出现恐慌。当然你可以用逗号-ok检查它，但它仍然是一个运行时断言：

func (f *field[t]) get() (t, error) {
    value, ok := os.lookupenv(f.name)
    if !ok {
        return f.defaultvalue, nil
    }
    var ret any
    switch any(f.defaultvalue).(type) {
    case string:
        ret = value

    case int:
        // don't actually ignore errors
        i, _ := strconv.parseint(value, 10, 64)
        ret = int(i)
    }
    return ret.(t), nil
}

*t 上的类型切换

您可以进一步简化上面的代码并摆脱空接口。在本例中，您获取 t 类型变量的地址并打开指针类型。 这在编译时进行了完全类型检查：

func (f *Field[T]) Get() (T, error) {
    value, ok := env[f.name]
    if !ok {
        return f.defaultValue, nil
    }

    var ret T
    switch p := any(&ret).(type) {
    case *string:
        *p = value

    case *int:
        i, _ := strconv.ParseInt(value, 10, 64)
        *p = int(i)
    }
    // ret has the zero value if no case matches
    return ret, nil
}

请注意，在这两种情况下，您都必须将 t 值转换为 interface{}/any 才能在类型开关中使用它。您无法直接在 t 上进行类型切换。

带有模拟 os.lookupenv 地图的游乐场：https://go.dev/play/p/jvbezwcxrmw

本篇关于《如何有效地处理具有联合约束的通用类型 T？》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！