Go slog.Group 空组为什么可能被忽略

用 slog.Group 组织结构化日志时，最容易误判的一点是：代码确实创建了一个组，但输出里没有看到组名。通常不是 slog 丢数据，而是这个组没有任何有效的 Attr。Handler 按约定会忽略空组；如果组名为空，则会把组内字段直接放到当前层级。这两个规则要先分开。

先把空组、空键和非空组放在一起看

下面的示例只用于观察日志结构，不依赖某个具体业务。第一组没有字段，第二组有字段但组名为空，第三组有字段且组名为 request。三者传给 Handler 的 Attr 类型都合法，最终形态却不同。

package main

import (
    "log/slog"
    "os"
)

func main() {
    logger := slog.New(slog.NewJSONHandler(os.Stdout, nil))

    // 空组没有任何子 Attr，不能用来表示一个“空对象”业务状态。
    empty := slog.Group("request")
    // 空 key 会把下面的字段内联到当前记录，而不是增加一层 request。
    inline := slog.Group("", slog.String("method", "GET"))
    // 非空组同时拥有组名和字段，才会形成 request 对象。
    filled := slog.Group("request", slog.String("method", "GET"))

    logger.Info("inspect groups", empty, inline, filled)
}

示例输出中，method 会直接位于记录顶层，带字段的 request 才会形成嵌套对象；empty 不会贡献一个空的 request:{}。这正是“空组可能被忽略”的来源。

为什么 slog.Group 空组会被忽略

slog.Group 的职责是把剩余参数转换成一组 Attr，再把它们装进 Group Value。它并不承诺“只要传了组名就一定输出组节点”。在记录追加 Attr 和 Handler 处理记录时，空组都可以被省略。这样做能避免日志中出现大量没有信息量的空对象，也让组的存在与实际字段保持一致。

还要留意另一个常见混淆：slog.Group("", attrs...) 不是空组。它是一个空 key 的组，规则是把子 Attr 内联。也就是说，判断是否会被忽略，先看组里是否有 Attr；判断是否会出现组名，再看 key 是否为空。

TextHandler 和 JSONHandler 只是展示方式不同

非空组没有消失，只是不同 Handler 用不同格式表达。TextHandler 使用点号拼接组名和字段名，例如 request.method=GET；JSONHandler 则把组名作为 key，输出类似 "request":{"method":"GET"}。如果只盯着文本日志找 request={}，很容易把格式差异当成字段丢失。

动态字段为空时应该怎么修复

如果字段来自可选配置、查询结果或请求上下文，不要把“组是否出现”作为状态机。更稳妥的办法是先判断数据，再决定是否加入组；若确实要记录缺失原因，输出明确的布尔值、计数或错误码。

func logRequest(logger *slog.Logger, method string, traceID string) {
    attrs := make([]slog.Attr, 0, 2)
    if method != "" {
        // 只有存在有效值时才加入 request 组的子字段。
        attrs = append(attrs, slog.String("method", method))
    }
    if traceID != "" {
        // trace_id 与 method 都属于 request 这一个结构域。
        attrs = append(attrs, slog.String("trace_id", traceID))
    }

    if len(attrs) == 0 {
        // 用显式状态表达“没有请求上下文”，不要依赖空对象。
        logger.Info("request context unavailable", slog.Bool("request_context_missing", true))
        return
    }
    logger.Info("request handled", slog.GroupAttrs("request", attrs...))
}

这里的关键是把“没有上下文”和“上下文存在但字段为空”区分开。前者用状态字段表达，后者按实际 Attr 组织。生产日志接收端如果依赖固定 schema，也应事先约定缺省字段的处理方式。

自定义 Handler 要遵守同一套边界

如果自己实现 Handler，不能因为想保留结构就擅自把空组序列化成空对象，否则同一条记录在 TextHandler、JSONHandler 和自定义后端会出现不一致。官方 Handler 接口的约定包括：空 key 的组内联 Attr，没有 Attr 的组忽略。嵌套组也要递归应用这两个判断。

排查时可以按这张清单走：先确认 Group 是否真的包含 Attr；再确认 key 是否为空；随后确认 Handler 类型和输出格式；最后检查自定义 Handler 是否在遍历 Record.Attrs 时错误地跳过了非空 Group。不要先改日志级别，因为空组被忽略与级别过滤是两件事。

常见问题

slog.Group 传入 nil 会不会自动输出空对象？

不会。没有有效子 Attr 的组仍属于空组，内置 Handler 会忽略它。需要表达缺失状态时，请使用明确的状态字段。

为什么 TextHandler 里看不到大括号？

TextHandler 使用点号限定组内字段，不采用 JSON 的大括号形式；看到 request.method 说明组已经生效。

WithGroup 和 slog.Group 是一回事吗？

它们都用于限定字段名，但前者作用在 Logger 或 Handler 的后续属性范围，后者是当前记录中的一个 Attr。两者都不应依赖空组来表达业务状态。

判断这类问题时，先看 Attr 数量，再看 key 是否为空，最后看 Handler 的编码方式。只要把这三个层次分开，slog.Group “被忽略”的现象就能从日志格式问题还原成明确的结构规则。