Go语言中能否基于一个类型参数约束另一个类型参数？

你的问题核心在于原代码中R是独立的类型参数，和T没有绑定关系，编译器无法从T的类型推导出R的具体类型，导致字面量转R时类型不明确，编译报错。

要实现R的类型由T决定的需求，可以通过类型别名关联T与R的映射关系，利用Go泛型的类型推断特性来解决，具体实现如下：

// 定义泛型接口，约束返回值只能是int或bool类型
type ResultType[T any] interface {
    int | bool
}

// 显式绑定T类型到对应的ResultType：string对应int，int对应bool
type _ ResultType[string] = int
type _ ResultType[int] = bool

func genericsTest[T string | int](val T) ResultType[T] {
    switch any(val).(type) {
    case string:
        // 此时编译器已推断ResultType[T]为int，转换合法
        return ResultType[T](1)
    case int:
        // 此时编译器已推断ResultType[T]为bool，转换合法
        return ResultType[T](true)
    }
    // 根据T的约束（只能是string或int），不会执行到此处
    panic("unsupported type")
}

代码说明 #

1. 泛型接口约束：ResultType[T]定义了返回值的类型范围（int或bool），同时作为泛型类型关联T和最终返回类型。
2. 类型别名绑定：通过type _ ResultType[string] = int这类语句，明确指定T为string时返回int，T为int时返回bool，让编译器能准确推断返回值类型。
3. 类型安全保证：由于T的约束是string | int，switch分支会覆盖所有合法情况，不会出现类型不匹配的问题。

如果不需要严格的具体类型返回，也可以直接返回any类型（但调用方需要自行类型断言），示例如下：

func genericsTest[T string | int](val T) any {
    switch val.(type) {
    case string:
        return 1
    case int:
        return true
    }
    panic("unsupported type")
}

内容的提问来源于stack exchange，提问作者astonius