Go sort.SliceStable 会不会复制原切片中的元素

不少开发Go项目的工程师在做稳定排序时，都会好奇标准库的sort.SliceStable操作会不会复制原切片里的元素，产生意料之外的内存占用。

sort.SliceStable 运行过程中不会复制原切片里的实际元素，只会对切片的下标索引做拷贝排序，排序完成后直接通过下标映射修改原切片内元素的位置顺序。

我在给一组带重复排序键的记录排顺序时，最容易误判的不是“稳不稳定”，而是以为 sort.SliceStable 会先复制一份切片。结论很明确：它直接在传入的切片上调整元素位置，不会返回一个新的切片，也不会自动深拷贝元素。相等键的记录只是在交换时保持原来的相对顺序。

sort.SliceStable 会改动原切片，但不会先复制整份元素

官方文档对它的承诺是“保持相等元素的原顺序”，不是“保留输入不变”。下面这个例子里，alias 与 records 共享同一个底层数组，所以排序后两个变量看到的是同一组新位置。

package main

import (
	"fmt"
	"sort"
)

type Record struct {
	Name  string
	Score int
}

func main() {
	records := []Record{
		{Name: "甲", Score: 2},
		{Name: "乙", Score: 1},
		{Name: "丙", Score: 2},
	}
	alias := records // 注释：alias 只是同一底层数组的另一种切片视图。

	// 注释：稳定排序只比较 Score；Score 相同的甲、丙仍按原顺序排列。
	sort.SliceStable(records, func(i, j int) bool {
		return records[i].Score 

这里的“复制”要拆成两层理解：排序过程中确实会把一个元素值交换到另一个槽位，但那是排序算法完成位置调整的动作，不是先创建一份完整输入副本。当前标准库实现通过交换和稳定合并完成工作；API 层真正保证的是稳定性与原地修改带来的结果。

值类型、指针和嵌套数据分别复制什么

如果切片元素是结构体，交换时会复制结构体值的字段；如果元素是 *Record，交换的是指针本身。指针指向的对象不会因为排序自动生成一份新对象，这也是很多“我明明排序了副本，为什么修改还会互相影响”问题的来源。

因此，不能把“稳定”理解成“安全副本”。稳定只描述比较结果相等时的顺序；它不负责隔离别名，也不负责保护被引用的数据。

想保留原顺序，先做一份浅拷贝

如果原始顺序还要用于审计、回显或第二种排序，先复制切片的槽位，再只对副本排序。常见写法是 append；容量也随之独立，后续排序不会改变原切片的元素顺序。

original := []Record{
	{Name: "甲", Score: 2},
	{Name: "乙", Score: 1},
	{Name: "丙", Score: 2},
}

// 注释：复制切片槽位，避免排序改动 original 的元素顺序。
sorted := append([]Record(nil), original...)

// 注释：只在副本上排序；相同 Score 仍保持甲在丙之前。
sort.SliceStable(sorted, func(i, j int) bool {
	return sorted[i].Score 

这仍然是浅拷贝。如果 Record 里有 *Meta、[]string 或 map[string]string，两份结构体会继续共享这些引用。需要完全隔离时，应按字段复制底层数组、map 和指向对象，不要把“复制 slice”误当成通用深拷贝。

稳定排序还要看 less 是否写对

SliceStable 只能保留“比较器认为相等”的元素顺序。如果你把多个字段都写进比较器，那么只有这些字段全部相等才会保留原顺序；如果比较器不满足严格弱序，稳定性也不能替你修复不一致的结果。

sort.SliceStable(sorted, func(i, j int) bool {
	// 注释：只按 Score 排序，Score 相等时返回 false，让稳定性保留输入顺序。
	return sorted[i].Score 

我的判断是：只关心原顺序时使用稳定排序；既要可重复的最终顺序，就显式增加第二排序键；既要保留输入，又要排序副本，就先做浅拷贝。三个需求不要混成一个“会不会复制”的问题。

相关问题

sort.SliceStable 会返回新的 slice 吗？

不会。它没有返回值，直接改动传入的切片元素位置。

排序指针切片会复制指向的结构体吗？

不会。排序只调整指针槽位，指针指向的对象仍由原来的引用共享。

怎么在排序后保留原始顺序？

先用 append([]T(nil), src...) 复制切片槽位，再对副本调用 sort.SliceStable；如果元素内部有引用字段，再额外做深拷贝。