php小编鱼仔为大家带来了一篇关于如何分配或返回受联合约束的通用T的文章。在编写PHP代码时，有时候我们需要定义一种数据类型，该类型可以是多个不同类型的结合。这就是联合类型。然而，当我们尝试分配或返回这种受联合约束的通用T时，可能会遇到一些困惑。本文将为您详细解答如何处理这个问题，让您更好地应用联合类型的通用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://www.php.cn/link/498bce62bd2bda584246701fa0166482
