Go MarshalJSON 递归调用的别名类型实现方法

给结构体实现 MarshalJSON 后，如果方法内部再次执行 json.Marshal(v)，而 v 仍是原类型，就会重新进入同一个方法。稳定的处理方式是声明一个不带方法的新定义类型，把接收者转换过去，再编码这个辅助值；不要使用带等号的真别名。

MarshalJSON 的递归入口来自哪里

encoding/json 发现值实现了 json.Marshaler 后，会调用它的 MarshalJSON。因此下面这种写法不是“重新走默认编码”，而是把调用送回自己：

func (i Invoice) MarshalJSON() ([]byte, error) {
    // i 仍是 Invoice，json.Marshal 会再次发现 MarshalJSON。
    return json.Marshal(i)
}

真实项目里通常表现为栈不断增长，或最终得到递归相关错误。关键不是把 json.Marshal 换成 MarshalIndent，而是让第二次编码看到一个没有自定义方法的类型。

用新定义类型切断方法集

下面的 plain 与 Invoice 具有相同的底层结构，因此字段和 JSON 标签仍可被默认编码器读取，但它不是原类型的方法集。转换只发生在方法内部，不改变对外 API：

package main

import "encoding/json"

type Invoice struct {
    ID     string `json:"id"`
    Amount int64  `json:"amount"`
}

func (i Invoice) MarshalJSON() ([]byte, error) {
    // 新定义类型不继承 Invoice 的方法，避免再次进入 MarshalJSON。
    type plain Invoice
    return json.Marshal(plain(i))
}

这里必须写成 type plain Invoice。如果写成 type plain = Invoice，plain(i) 仍然拥有原来的 MarshalJSON，递归链条保持不变。

追加字段时让 wire 结构承担输出

自定义输出往往还要添加计算字段。可以先把接收者转换成 plain，再嵌入一个局部 wire 结构。这样默认编码只处理普通字段，扩展字段由外层结构处理：

func (i Invoice) MarshalJSON() ([]byte, error) {
    type plain Invoice
    type wire struct {
        plain
        Currency string `json:"currency"`
    }

    // 先切断方法集，再一次性编码基础字段和扩展字段。
    return json.Marshal(wire{
        plain:    plain(i),
        Currency: "CNY",
    })
}

如果 Currency 来自配置或业务计算，仍应在组装 wire 前完成校验。json.Marshal 返回的错误不能被静默吞掉，否则调用方无法区分编码失败和成功结果。

三个边界要在代码评审中检查

另外，辅助类型只解决“方法再次调用自己”的递归问题。它不会自动处理循环引用、非法浮点值或业务字段校验；这些错误仍要沿用 encoding/json 的返回路径。

相关问题

辅助类型会丢失 JSON 标签吗

不会。新定义类型保留底层结构和字段标签，默认编码仍按标签、导出性和零值规则处理。

为什么不能直接调用一个“默认 Marshal”函数

标准库没有绕过当前类型方法的独立默认入口。把值转换为无自定义方法的新类型，是最小且可读的切断方式。

指针接收者应该改成值接收者吗

不应机械修改。若方法不需要修改接收者且值复制成本可接受，可以使用值接收者；否则让调用方传入可寻址指针，并把这个约束写进接口使用处。

记住一个判断：递归发生在“再次编码原类型”，修复发生在“先转换为没有该方法的新定义类型”。扩展字段则放进 wire，让一次默认编码完成组合输出。