`sort.Slice` 顺序是不确定的

php小编草莓将为您介绍关于`sort.Slice`函数的一些重要信息。在Go语言中，`sort.Slice`函数用于对切片进行排序，但其排序结果的顺序是不确定的。也就是说，对于相同的输入切片，每次排序的结果可能会有所不同。这是因为`sort.Slice`函数使用了一种快速且高效的排序算法，但排序的具体顺序是基于输入数据的特定条件而定的。因此，在使用`sort.Slice`函数时，我们应该注意到排序结果的不确定性，以避免在依赖特定排序顺序的场景中出现问题。

问题内容

我正在尝试使用 go 标准库中的 sort.slice 对字符串切片进行排序。我希望它们按字母顺序排序，除了我希望空字符串出现在所有其他字符串之后（因此我不能只使用 sort.strings）。

对于 less 函数，我认为这会起作用：

func(i, j int) bool {
    return s[j] == "" || s[i] < s[j]
}

但是，根据输入顺序，我似乎得到了随机答案。这是 mwe：

package main

import (
    "fmt"
    "math/rand"
    "sort"
    "time"
)

func main() {
    s := []string{"", "foo", "bar", "baz"}

    rand.seed(time.now().unix())
    rand.shuffle(len(s), func(i, j int) {
        s[i], s[j] = s[j], s[i]
    })
    fmt.printf("%q\n", s)

    sort.slice(s, func(i, j int) bool {
        return s[j] == "" || s[i] < s[j]
    })
    fmt.printf("%q\n", s)
}

这是运行几次的输出：

$ go run ./z
["" "foo" "baz" "bar"]
["bar" "baz" "foo" ""]
$ go run ./z
["baz" "" "foo" "bar"]
["bar" "" "baz" "foo"]
$ go run ./z
["bar" "foo" "" "baz"]
["" "bar" "baz" "foo"]
$ go run ./z
["bar" "foo" "baz" ""]
["" "bar" "baz" "foo"]

解决方法

这是因为您的 less() 函数没有说出您想要的内容。

您说您希望将空字符串排序在所有非空字符串之后。你的逻辑：

return s[j] == "" || s[i] < s[j]

这确实告诉我们第二个是否是 ""，那么第一个就更少。这或多或少是正确的（除非两者都是空的，“is-less”并不是真的：它们是相等的）。但是，如果第一个是 "" 而第二个不是怎么办？那么你的函数应该返回 false 但它返回 s[i] < s[j]。如果第二个不为空，则为 true，告诉 "" 小于另一个，与你想要的正好相反。

正确的“is-less”关系是这样的：

sort.slice(s, func(i, j int) bool {
    if s[j] == "" && s[i] != "" {
        return true
    }
    if s[i] == "" && s[j] != "" {
        return false
    }
    return s[i] < s[j]
})

如果只有第二个是 ""，则您希望第一个更少。如果只有第一个是空的，您希望它“不少于”。否则使用正常顺序（按字节）。

在 go playground 上尝试一下。

请注意，如果第一个和第二个值都为空，则此函数将返回 false，因为 "" 不小于 "" （它们相等）。这是要返回的正确值，尽管在此处返回 true 仍会导致正确的顺序（交换空元素将导致相同的结果），但这可能会导致更少的交换。

使用 xor 转换逻辑

请注意，在自定义逻辑中，如果只有一个字符串为空，则会偏离正常顺序。这是逻辑异或（异或）关系： a xor b 是 true 如果只有 a 或只有 b 是 true。在 go 中，没有逻辑 xor 运算符，但 a xor b 相当于 a != b。

如果“检测到”一个空字符串，如果第二个空字符串为空，则结果为 true（否则为 false）。因此我们可以将这种身份转换应用到我们的逻辑中：

sort.Slice(s, func(i, j int) bool {
    // Move empty elements to the end:
    if (s[i] == "") != (s[j] == "") { // If only one is empty
        return s[j] == ""
    }
    return s[i] < s[j]
})

这更短并且可能更高效，但正如您所看到的，它更难理解。仅当性能很重要时才使用此选项。在 go playground 上尝试一下这个。

以上就是`sort.Slice` 顺序是不确定的的详细内容，更多请关注编程网其它相关文章！