Go JSONPatch 数组元素移动时为什么会改变后续索引

JSONPatch 的 move 不会把元素锁定在“原数组坐标”后再瞬移。它的语义是先从 from 取出值并删除源位置，再把这个值按删除后的文档应用到 path。所以当元素从较小索引移向较大索引时，源位置后面的元素会先左移一格，原来记下的目标索引就可能已经变了。

官方地址：https://github.com/evanphx/json-patch

先把 JSONPatch 的 move 看成删除再插入

假设数组是 [A, B, C, D]，希望把 B 放到 D 前面。不要直接把原数组中的目标位置写成 /items/3，先把动作拆开：

1. 从 /items/1 取出 B。
2. 删除 /items/1，数组变成 [A, C, D]。
3. 在删除后的数组中使用 /items/2 插入，结果是 [A, C, B, D]。

仓库当前 v5 实现的 move 代码先读取 from 对应的节点，调用源容器的 remove，之后重新查找 path 并调用 add。这也是为什么必须以“删除后的文档”解释目标索引。

从小索引移向大索引时，目标 path 为什么通常要减一

add 对数组的含义是把值插入到当前索引位置，原位置及其后元素向右移动。关键在于这个“当前”数组已经少了源元素：

因此，如果原目标是“原数组索引 3 的 D 之前”，源索引 1 被删除后，D 已经从索引 3 左移到索引 2，应该使用 /items/2。如果误用 /items/3，插入点已经位于 D 后面，结果会变成 [A,C,D,B]。

用 Go 应用补丁并检查最终数组顺序

下面的示例使用 github.com/evanphx/json-patch/v5。补丁文本中把 from 和 path 都写成数组路径，应用后直接打印最终 JSON：

package main

import (
    "fmt"

    jsonpatch "github.com/evanphx/json-patch/v5"
)

func main() {
    // 数组索引从 0 开始，B 位于 1，D 位于 3。
    document := []byte(`{"items":["A","B","C","D"]}`)
    patchJSON := []byte(`[
        {"op":"move","from":"/items/1","path":"/items/2"}
    ]`)

    // DecodePatch 先解析操作，Apply 按补丁顺序生成新文档。
    patch, err := jsonpatch.DecodePatch(patchJSON)
    if err != nil {
        // 解析失败时不要继续把原文档当成已更新结果。
        panic(err)
    }
    modified, err := patch.Apply(document)
    if err != nil {
        // 路径不存在或索引不适用时，保留错误便于定位补丁。
        panic(err)
    }

    fmt.Println(string(modified))
}

{"items":["A","C","B","D"]}

示例中的 /items/2 是删除 B 后的当前索引。若你的业务规则是“无论数组怎么变化都插到末尾”，可以使用 /items/-；它表达的是追加，不依赖末尾元素的数字索引。

连续操作与边界情况怎么处理

一条补丁数组中的操作是有顺序的。第一条 move 完成后，第二条操作看到的是新的文档，因此第二条的 from、path 不能继续引用最初数组的坐标。建议把每条操作的“当前数组”写在测试数据旁边，尤其是在一个补丁中连续移动多个元素时。

• 同一位置移动：从 /items/1 移到 /items/1，删除后再插回同一槽位，通常仍保持原顺序，但不应把它当成跨位置移动的通用模板。
• 移动到末尾：使用 /items/- 表示追加；数字索引则必须依据删除后的长度判断。
• 路径编码：对象键中的 ~ 和 / 需要按 JSON Pointer 规则编码，不能直接把业务键拼到路径里。
• 先保护再移动：如果必须确认源位置仍是预期元素，可在前面放置 test 操作；测试失败时停止应用，避免旧索引误伤新数组。

常见问题

为什么 path 不能一直使用原数组中的目标索引？

因为 move 的源元素先被删除，源位置后面的元素会重新编号。path 解释的是删除之后的当前文档，而不是操作开始前的快照。

from 比 path 小时一定要减一吗？

如果两者位于同一个数组，且目标是原数组中源元素之后的位置，通常要把目标插入索引减一；如果是不同数组、移动到末尾，或目标本来就在源位置之前，需按删除后的当前容器重新判断。