如何为两个原始类型和定义类型定义类型约束？

Question

我有一个用例，我希望能够比较两个值并查看一个更大的值，但是我也希望能够通过实现接口来参与复合类型。

类似的东西

type Ordered interface {
  ~int | ~float32 | ~string // ...
}

type OrderedValue[T Ordered] interface {
   Value() T
}

我希望我的比较函数能够接受两个有序的参数并返回结果，或两个orderedValues并调用value（）进行比较的方法。 类似：

func doCompare[T Ordered](a, b T) int {
  if a > b {
    return 1
  } else if a < b {
    return -1
  }
  return 0
}

func Compare[U Ordered, V OrderedValue[U], T U | V](a, b T) int {
  var i interface{} = a
  if _, ok := i.(OrderedValue[U]); ok {
    return doCompare(a.Value(), b.Value())
  }
  return doCompare(a, b)
}

对于比较函数，我会收到错误消息

不能嵌入类型参数

，并且在接口情况下调用DOCOMPARE时，我会得到

a.Value undewined（T型没有字段或方法值）

b.Value不确定（T型没有字段或方法值）

我在这里看到了一个问题，暗示这可能是不可能的，但是这个问题如何迭代以通用功能通过的切片结合？ （t没有核心类型）让我希望有一种聪明的方法，我只是没有看到。

我希望避免为内置类型定义框实现以支持这一点。任何指导将不胜感激。

这是一个Go Playground 它具有更完整的示例

Answer 1

你不能（很棒）。

您想要的约束可以总结为“有序的原始方法或提供有序原始的方法”。这不能用GO 1.18表示，因为

• 您不能在工会中有其他类型的参数，
• 您不能与工会中的方法具有接口

，可以烹饪一些编译的东西，但是它会非常怪异，它不会利用类型推理。

我相信目前最干净的解决方案只是原始类型和定义类型的两个不同的功能：

// import "golang.org/x/exp/constraints"

type Orderable[T constraints.Ordered] interface {
   Value() T
}

func ComparePrimitive[T constraints.Ordered](a, b T) int {
    return doCompare(a, b)
}

// type inference works only if a and b concrete types are instantiations of Orderable
// otherwise you have to instantiate T explicitly
func CompareValuer[T constraints.Ordered](a, b Orderable[T]) int {
    return doCompare(a.Value(), b.Value())
}

如果未来释放放宽了非基础接口和约束的限制，例如允许非基础接口，例如constraints.ordered.sorderseds. /code>在类型开关中，或允许工会中仅使用方法的接口，那么这可能具有更好的解决方案。

从GO 1.18开始，您应该坚持使用类型参数的行为完全相同的事物。