Go token.File.Lines 返回的切片为什么不能直接修改

token.File.Lines() 返回的行偏移表必须按只读数据使用。Go 的切片类型没有只读限定，能写出赋值语句并不代表接口允许这样做。需要排序、筛选或转换成展示坐标时，先复制到独立切片；需要改变 File 的行信息时，使用对应方法，并遵守传入数据的所有权约定。

官方文档：https://pkg.go.dev/go/token#File.Lines

把行偏移表当作只读借用

做源码索引或诊断位置展示时，容易把 lines := f.Lines() 当成已经拿到了一份可编辑副本。实际上，切片赋值只复制切片描述信息，不能据此推断底层数组已复制。接口明确要求调用方不要修改返回值，业务代码应遵守这一约定，而不依赖某个实现版本是否共享数组。

行表记录的是每一行开头相对于文件起点的字节偏移，它与源码字节位置之间有对应关系。把偏移加一后写回、原地倒序，或者用原切片作为筛选结果的存储区，都会越过只读约定。问题常在后续位置换算中才暴露，不能以赋值时没有报错作为正确依据。

复制后再做调用方的变换

下面的独立示例将每个零基偏移转换成一基展示数值。它只演示借用与复制的区别，展示数值不是新的源码行表，也不是字符列号。中文等多字节文本不能用字节偏移直接冒充字符位置。

package main

import (
    "fmt"
    "go/token"
)

func main() {
    src := []byte("cat\ndog\nbird")
    f := token.NewFileSet().AddFile("sample.txt", -1, len(src))
    f.SetLinesForContent(src)

    // 新建独立数组，派生展示坐标时不触碰 File 的行表。
    offsets := f.Lines()
    display := make([]int, len(offsets))
    copy(display, offsets)
    for i := range display {
        display[i]++ // 仅供界面展示，从零基字节偏移转成一基数值。
    }
    fmt.Println("原始偏移", f.Lines())
    fmt.Println("展示数值", display)
}

这个示例的源码各行起始字节可按内容推算为 0、4、8，派生展示值则为 1、5、9；这是示例数据的解释，并非本机执行记录。使用 make 和 copy 后，修改 display 的已有元素不会写到原行表。

不要用 work := offsets 代替复制，也不要认为 offsets[:len(offsets):len(offsets)] 能保护已有元素。三下标切片可以约束容量，但索引赋值仍可能触碰同一数组。先复制再交给会原地改写参数的工具函数，所有权才清楚。

需要更新 File 时交付独立切片

如果任务确实需要安装新的行表，复制仍然必要，但复制的方向变成“调用方输入到 File”。下面的辅助函数让调用方在函数返回后仍可编辑 proposed，而 File 获得一份不会再被这段业务代码修改的 owned。

package linecache

import (
    "fmt"
    "go/token"
)

// InstallLines 把调用方数据复制后交给 File；调用结束后不得再改 owned。
func InstallLines(f *token.File, proposed []int) error {
    if f == nil {
        return fmt.Errorf("缺少 token.File")
    }
    owned := make([]int, len(proposed))
    copy(owned, proposed)
    if !f.SetLines(owned) {
        return fmt.Errorf("行偏移表不符合文件大小或递增约束")
    }
    return nil
}

这里保留 SetLines 的失败结果，交给上层决定是否结束当前文件任务；不要忽略错误后继续把预期行表当成安装成功。行表与文件大小、偏移递增关系必须一致，人工变换展示数据之后不能直接把它当成有效源码坐标写回。具体输入约束以 SetLines 官方说明为准。

放进源码分析任务时约束所有权

在批量分析任务里，我更倾向把这类参数明确分成“借用只读”和“自有可写”两类。这里的取舍是设计建议，不是性能测试结论：复制有额外分配与复制成本，但可以把变换逻辑限制在调用方数据中。只读遍历通常无需为修改目的额外复制；保存到可变缓存、传给行为不明的回调时，则应先建立独立存储。

如果还有其他 goroutine 或组件会更新 File 的行表，应在应用层明确读取、复制和更新之间的同步策略。一次复制不会自动把一组跨方法调用变成原子快照，也不能修复已有的并发访问冲突。任务报错时记录文件标识与失败原因即可，不要通过修改只读切片来“补救”行表。

常见疑问

给返回切片换一个变量名就能修改吗？

不能。变量名不改变存储关系，也不改变 API 的只读契约。对已有元素的改写应放在独立副本上。

只 append 一个元素是否可靠？

不要依赖返回切片的容量。append 是否分配新数组取决于容量等条件；明确复制到自有存储，代码才不依赖这类实现细节。

复制之后可以随便 SetLines 吗？

复制只解决存储所有权，不保证偏移语义正确。展示坐标与源文件字节偏移是不同数据；安装新行表仍要满足接口要求，并且在交付后停止修改那份数据。