Go语言排序分组函数返回值数量多于输入值的问题排查

你遇到的问题核心是：Go在遍历结构体切片时，每次拿到的是结构体的副本，而非原切片中元素的引用。所以你修改message1.Grouped = true或message2.Grouped = true时，只是改动了副本的字段，原切片里的元素完全没变化——这就导致外层循环的if !message1.Grouped条件永远成立，每个元素都会被重复处理，最终返回的分组总数远超输入的N。

把遍历过程中对副本的操作改成通过索引访问原切片元素，这样修改Grouped字段才能真正标记原元素为已分组。修改后的代码如下：

package main
import (
    "fmt"
    "math/rand"
)

type (
    BoolInt struct {
        Val     int
        Grouped bool
    }
)

func sort_chunk_no_p(chunk []BoolInt) [][]BoolInt {
    COSINE_THRESHOLD := 0.90
    allGroups := [][]BoolInt{}
    // 遍历索引，直接操作原切片元素
    for i := range chunk {
        message1 := &chunk[i] // 取原元素的指针
        if !message1.Grouped {
            message1.Grouped = true
            tempGroup := []BoolInt{*message1}
            // 内层循环同样通过索引访问原元素
            for j := i + 1; j < len(chunk); j++ {
                message2 := &chunk[j]
                if !message2.Grouped {
                    if rand.Float64() >= COSINE_THRESHOLD {
                        message2.Grouped = true
                        tempGroup = append(tempGroup, *message2)
                    }
                }
            }
            allGroups = append(allGroups, tempGroup)
        }
    }
    return allGroups
}

func main() {
    lo, hi := 1, 100
    allMessages := make([]BoolInt, hi-lo+1)
    for i := range allMessages {
        allMessages[i].Val = i + lo
        allMessages[i].Grouped = false
    }

    sorted_chunk := sort_chunk_no_p(allMessages)

    sum := 0
    for _, res := range sorted_chunk {
        sum += len(res)
    }
    fmt.Println("总元素数：", sum) // 现在会等于100
}

• 外层循环改为遍历索引，通过&chunk[i]获取原元素的指针，确保修改Grouped字段直接作用于原切片元素。
• 内层循环同样用索引遍历，避免值拷贝导致的修改无效问题。
• 把元素加入tempGroup时，解引用指针（*message1）得到结构体值存入切片，不影响原元素的标记状态。

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