为什么在 Go 泛型中不能同时使用可比较约束和顺序运算符？

学习知识要善于思考，思考，再思考！今天golang学习网小编就给大家带来《为什么在 Go 泛型中不能同时使用可比较约束和顺序运算符？》，以下内容主要包含等知识点，如果你正在学习或准备学习Golang，就都不要错过本文啦~让我们一起来看看吧，能帮助到你就更好了！

我正在探索 go generics（1.18 beta），并且有与比较两个数值相关的问题（一种接受两个值并返回更大数字的简单方法）。

为此，我正在创建一个涵盖此类型集的自定义数字类型（在函数 getbiggernumber 中）：

int | int8 | int16 | int32 | int64 | float32 | float64

但是，又添加了一个函数，但这一次没有使用自定义类型，而是使用了 comparable 内置约束（在函数 getbiggernumberwithcomparable 中）。

但是下面的代码给出了此方法的错误

“无效操作：无法比较 t1 > t2（t 上未定义运算符 >）”？

知道为什么 > 操作不适用于内置的可比类型吗？

package main

import "fmt"

type numbers interface {
    int | int8 | int16 | int32 | int64 | float32 | float64
}

func getBiggerNumber[T numbers](t1, t2 T) T {
    if t1 > t2 {
        return t1
    }
    return t2
}

func getBiggerNumberWithComparable[T comparable](t1, t2 T) T {
    if t1 > t2 { // ./generics-sample.go:17:5: invalid operation: cannot compare t1 > t2 (operator > not defined on T)
        return t1
    }
    return t2
}

func main() {
    fmt.Println(getBiggerNumber(2.5, -4.0)) 
    fmt.Println(getBiggerNumberWithComparable(2.5, -4.0))
}

正确答案

comparable 是支持相等运算符 == 和 != 的类型的约束。语言规范在 Type constraints 中对此进行了定义。

值得注意的是，这包括任何可以用作映射键的东西，包括具有可比较字段的数组和结构。 （比较在运行时可能会发生混乱的类型，例如接口，are excluded until Go 1.20）。

确实，在 go 语言规范中，comparison operators 包含顺序运算符（<、>、<=、>=）。这种术语的选择可能会让您感到困惑。然而，规格也消除了歧义：

相等运算符 == 和 != 适用于可比较的操作数。排序运算符 <、<=、> 和 >= 适用于有序的操作数。

转到1.21

使用标准库中的 cmp.Ordered。

新的 cmp 包定义了类型约束 ordered 和两个新的通用函数 less 和 compare，它们对于有序类型很有用。

从 1.18 到 1.20

在 go 1.18 中，支持 > 和 < 等顺序运算符的可用约束为 constraints.Ordered¹：

type Ordered interface {
    Integer | Float | ~string
}

^{1：请注意，包 golang.org/x/exp 是实验性的。它的内容不保证与新的 go 版本向后兼容，但您始终可以将所需的定义复制粘贴到您自己的代码中}

今天关于《为什么在 Go 泛型中不能同时使用可比较约束和顺序运算符？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！