LogValuer: отложенные и «опасные» значения

Интерфейс помещается в одну строку: type LogValuer interface { LogValue() slog.Value }. Разбор slog logvaluer начинается с момента вызова: метод срабатывает не там, где создан атрибут slog.Any("key", v), а внутри обработчика, когда запись уже прошла проверку уровня. Оборачивает его функция slog.ResolveValue: она получает Value, видит внутри тип с LogValue и подставляет результат, повторяя раскрытие, пока не останется обычное значение; от зацикленных цепочек защита встроена в стандартную библиотеку. Для вашего кода это значит: дорогой дамп, посчитанный в LogValue, расходуется только на записи, которые реально напечатались. Атрибут для такого типа создают через slog.Any — типизированные конструкторы вроде String не оставляют интерфейсу шанса сыграть, потому что закрывают значение строкой заранее. Ошибку внутри LogValue тоже можно вернуть честно: метод вправе вернуть slog.StringValue с пометкой о сбое, и запись не развалится — панику в методе обработчик превращает в строку-заглушку, но лучше до этого не доводить.

Второе применение ценнее первого: тип-обёртка вокруг секрета становится единственной точкой, где секрет встречается с логом. Достаточно, чтобы токен существовал в коде как тип Token, а не сырая строка: тогда метод LogValue этого типа печатает звёздочки той же длины, хэш или первые символы, и никакой вызов Info не сможет напечатать значение целиком, не обёртывая его намеренно. Это надёжнее дисциплины «не логируй токен»: договорённости забываются в спешке инцидента, а тип проверяет компилятор. Подробный разбор того, что вообще нельзя выводить и как это соотносится с требованиями к персональным данным, ждёт в девятнадцатом уроке; здесь — механика. Полезно сочетать маскирование и ленивость: обёртка срабатывает на записи, прошедшей уровень, значит дешёвые отброшенные Debug не тратят время на преобразование. Для записей, которые всё же уйдут, цена — одна конкатенация строк, несравнимая с ценой ротации утечённых ключей и разбора инцидента по тикету, в который дамп кто-то приложил целиком.

Механика раскрытия стоит одной страницы понимания. Когда обработчик собирается писать атрибут, он вызывает slog.ResolveValue: для обычных значений возвращается то же Value, для типа с LogValue — результат метода, при необходимости с продолжением, если внутри снова прячется LogValuer. Глубина цепочки ограничена внутренней защитой от зацикливания, поэтому взаимно ссылающиеся обёртки не повесят процесс — в записи окажется заглушка. Отсюда две границы. Первая: ленивость начинается с Any — атрибуты, созданные через String или Int, уже содержат готовое значение, и LogValue у них не спросит. Вторая: LogValue не отменяет стоимость создания самого атрибута — slog.Any("key", st) обёртывает указатель или структуру мгновенно и дёшево, но если вы для него предварительно считаете готовую строку, ленивость уже потеряна по дороге в вызов. Правило простое: в Any уходит сам объект с методом, а вся тяжёлая работа переезжает внутрь LogValue. На горячем пути это сочетается с Enabled из четырнадцатого урока: проверка уровня до сборки полей экономит ещё больше.

Честная граница: обёртки пишут для значений с поведением — дорого посчитать, опасно показать или неудобно сериализовать. Для обычных полей интерфейс лишний: slog.Int("port", 8080) короче и читается без прыжка в определение типа. Не нужен он и там, где значение уже готово и безопасно: длительность, счётчик, код ответа. Есть и цена у самого приёма: читатель вызова Info больше не видит, что именно напечатается, — за значением надо идти к типу; методы со скрытым поведением хуже методов с явными аргументами, и злоупотреблять этим не стоит. Разумная конвенция проекта: типы с LogValue заводят для секретов, больших дампах и значениях с мьютексом, а список таких типов держат коротким — это документируется рядом со схемой полей. Всё остальное остаётся обычными атрибутами из четвёртого урока: типизированные конструкторы, Any для случаев «вне списка» и группы для вложенности.