Go slog.GroupAttrs 怎么避免空日志分组

使用 slog.GroupAttrs 动态组装日志时，要避免空分组，最稳的做法是在调用端先收集有效 slog.Attr，只有切片非空时才追加组。与此同时也要知道：符合 slog.Handler 契约的处理器本来就必须忽略没有有效属性的组，标准库的 TextHandler 和 JSONHandler 会遵守这条规则。

官方文档：https://pkg.go.dev/log/slog

如果标准库 Handler 的输出里没有空组，换成自定义 Handler 后却出现 "request":{}，问题通常不在 GroupAttrs，而在自定义编码逻辑没有过滤零 Attr、空键组或过滤后为空的组。

问题现场：动态字段最后一个都没留下

我第一次遇到这个问题，是在请求结束日志里按条件添加 method、path 和 trace_id。开发环境字段齐全，看起来很正常；到了某些后台任务，三个值都为空，代码却仍然无条件创建了 request 组。

attrs := make([]slog.Attr, 0, 3)

if method != "" {
	// 只记录实际存在的请求方法
	attrs = append(attrs, slog.String("method", method))
}
if path != "" {
	// 空路径不进入结构化日志
	attrs = append(attrs, slog.String("path", path))
}
if traceID != "" {
	// 有链路标识时才加入请求分组
	attrs = append(attrs, slog.String("trace_id", traceID))
}

logger.Info("request finished", slog.GroupAttrs("request", attrs...))

当 attrs 长度为零时，GroupAttrs 仍然可以构造一个组 Attr。关键在于后续如何处理它。Go 官方对 Handler 的输出规则写得很明确：键和值都为零值的 Attr 要忽略；空键组要把子属性内联；没有 Attr 的组即使键非空也要忽略。

空组到底在哪一层被处理

GroupAttrs 从 Go 1.25 加入标准库。它返回一个由给定 Attr 组成的组 Attr，是只接收 slog.Attr 的高效版本；与接受 ...any 的 slog.Group 相比，更适合已经在切片里构造好属性的场景。

这里有三个容易混淆的层次：

所以，使用标准库 Handler 时，无条件构造空组通常不会形成 JSON 空对象。不过从调用端就不追加空组仍然更清楚：代码明确表达“这次事件没有 request 维度”，也减少自定义 Handler、包装 Handler 和第三方后端之间的歧义。

修复方案：只追加非空 GroupAttrs

把“是否创建分组”封装成一个小函数，调用点就不会反复写长度判断：

package requestlog

import (
	"context"
	"log/slog"
)

type RequestMeta struct {
	Method  string
	Path    string
	TraceID string
}

func appendRequestGroup(dst []slog.Attr, meta RequestMeta) []slog.Attr {
	requestAttrs := make([]slog.Attr, 0, 3)

	if meta.Method != "" {
		// 方法存在时才记录，避免空字符串占据日志字段
		requestAttrs = append(requestAttrs, slog.String("method", meta.Method))
	}
	if meta.Path != "" {
		// 路径是请求维度的一部分
		requestAttrs = append(requestAttrs, slog.String("path", meta.Path))
	}
	if meta.TraceID != "" {
		// 链路标识可选，不存在时不生成占位字段
		requestAttrs = append(requestAttrs, slog.String("trace_id", meta.TraceID))
	}

	if len(requestAttrs) == 0 {
		// 没有有效子属性时，连组 Attr 都不追加
		return dst
	}

	return append(dst, slog.GroupAttrs("request", requestAttrs...))
}

func LogFinished(ctx context.Context, logger *slog.Logger, meta RequestMeta, status int) {
	attrs := []slog.Attr{
		// 状态码属于事件顶层，不受 request 分组是否存在影响
		slog.Int("status", status),
	}
	attrs = appendRequestGroup(attrs, meta)

	// LogAttrs 只接受 Attr，适合已经结构化的动态切片
	logger.LogAttrs(ctx, slog.LevelInfo, "request finished", attrs...)
}

这段代码同时解决了两件事：没有请求字段时不创建 request 组；顶层 status 仍然保留。相比返回一个 slog.Attr{} 当占位，直接返回原切片更容易看懂，也不会把“零 Attr 是否被后端忽略”交给未知实现。

切片长度非零，也可能是语义上的空组

只判断 len(attrs) 还不够覆盖所有封装场景。例如上游可能添加了 slog.Attr{}，或者放入一个子属性也为空的嵌套组。此时切片长度大于零，但经过 Handler 规则过滤后仍没有可输出字段。

如果你的项目有多层日志构建器，可以在公共边界做递归判断：

func hasEffectiveAttr(attr slog.Attr) bool {
	if attr.Equal(slog.Attr{}) {
		// 键和值都为零值的 Attr 按 Handler 契约应被忽略
		return false
	}

	value := attr.Value.Resolve()
	if value.Kind() != slog.KindGroup {
		// 普通属性只要不是零 Attr 就有效
		return true
	}

	for _, child := range value.Group() {
		if hasEffectiveAttr(child) {
			// 组内至少有一个有效子属性，组才有输出意义
			return true
		}
	}
	return false
}

func compactAttrs(attrs []slog.Attr) []slog.Attr {
	result := attrs[:0]
	for _, attr := range attrs {
		if hasEffectiveAttr(attr) {
			// 原地保留有效属性，避免额外分配新切片
			result = append(result, attr)
		}
	}
	return result
}

这类过滤器适合放在你自己的属性构建层，而不是每个日志调用都执行。标准库 Handler 已经遵守空组规则，不必为了“保险”再给所有日志增加重复遍历。

空键组不是空组，它会把子属性内联

slog.GroupAttrs("", attrs...) 的键为空，但只要组内存在有效属性，它就不是“空组”。Handler 契约要求把这些子属性内联到当前层。这个特性可用于让某个 LogValuer 返回多个并列字段，但不适合用来掩盖错误的组名。

三种情况要分开：

• 组名非空、子属性为空：整组忽略；
• 组名为空、子属性有效：子属性内联到当前层；
• 组名为空、子属性也为空：没有任何输出。

另外，Logger.WithGroup("") 和 Handler.WithGroup("") 的官方语义是返回接收者本身，不会创建一个匿名嵌套层。

如果仍看到空对象，检查自定义 Handler

内置 Handler 正常，而自定义 JSON Handler 输出 {} 时，优先检查它是不是直接遍历 Value.Group() 后无条件写入组键。一个合规的 Handler 至少要处理以下规则：

1. 先调用 Attr.Value.Resolve()；
2. 忽略与 slog.Attr{} 相等的零 Attr；
3. 组键为空时把有效子属性内联；
4. 递归过滤后没有子属性时，不写组键和空对象。

如果自定义 Handler 还实现了 WithAttrs，也要对预格式化或缓存的属性执行同样规则。Handler 的方法可能被并发调用，因此不要用没有同步保护的共享缓冲区保存临时组状态。

ReplaceAttr 删除字段后，也要看最终组是否为空

HandlerOptions.ReplaceAttr 可以通过返回 slog.Attr{} 删除属性。比如把敏感字段全部移除后，原本非空的 auth 组可能变成空组。标准库 Handler 会按规则省略它；自定义包装 Handler 若先写组框架、再执行字段替换，就可能留下空对象。

正确的思路是先解析和过滤全部子属性，确认组内仍有字段，再交给编码器输出组名。不要在还不知道最终子属性数量时提前写入 "auth":{。

一套实用的复查顺序

1. 看调用端切片。确认是否在长度为零时仍无条件追加 GroupAttrs。
2. 找零 Attr。检查辅助函数和 ReplaceAttr 是否返回 slog.Attr{}。
3. 看嵌套组。长度非零不代表存在有效叶子字段。
4. 对比 Handler。标准库正常、自定义异常，重点审查 Handler 契约。
5. 分别观察格式。JSONHandler 使用嵌套对象，TextHandler 使用点分键，别把两者外观差异当成组丢失。

相关问题

GroupAttrs 在哪个 Go 版本可用？

官方文档标记为 Go 1.25 加入。更早版本可以使用 slog.Group，但它接收的是 ...any。

直接传 slog.GroupAttrs("request") 会输出空对象吗？

符合 slog.Handler 契约的处理器应忽略没有 Attr 的组。调用端仍建议不要追加这个组，以便明确表达日志结构。

返回 slog.Attr{} 能删除字段吗？

可以用于 ReplaceAttr 等过滤场景。Handler 应忽略键和值都为零值的 Attr。

为什么 JSONHandler 和 TextHandler 的分组看起来不同？

JSONHandler 把组表示为嵌套对象，TextHandler 则用点号连接组名和属性名，这是官方定义的格式差异。

空字符串值会让属性被忽略吗？

不会。slog.String("path", "") 仍是有效 Attr。是否省略空业务值，需要调用端主动判断或通过 ReplaceAttr 过滤。

避免空日志分组的核心并不复杂：调用端只创建有有效子属性的组，Handler 端遵守零 Attr、空键内联和空组省略三条规则。这样无论输出 JSON 还是文本，日志结构都不会留下没有信息量的外壳。