Неправильная абстракция

Неправильная абстракция рождается, когда ты сливаешь две вещи, которые были похожи лишь случайно. У двух функций были похожие тела, поэтому кто-то вынес общий метод. Но похожий код — не то же самое, что общий смысл. Двум вызывающим сегодня случайно понадобились одни и те же шаги; они никогда не были одной концепцией. Вынос связывает два требования, у которых нет причин меняться вместе, — и теперь они вынуждены.

// Day 1: these looked identical, so they got merged.
function renderItem(item: Item) {
  return `<li>${item.name}: ${item.price}</li>`;
}
// "invoiceLine looks the same!" → extract a shared formatter.

Ошибка — принимать структурное сходство за свидетельство общей абстракции. Это не так. Единственное настоящее свидетельство — что две вещи меняются вместе по одной и той же причине, — а этого ты обычно не можешь знать в первый день.

Затем абстракция гниёт от обрастания: булев (или enum) параметр на каждого нового вызывающего. Третьему вызывающему нужно почти то же самое — но с поправкой. Путь наименьшего сопротивления — добавить параметр и if. Потом четвёртый. Каждое добавление локально разумно и глобально катастрофично: ветки функции множатся, её смысл размывается, а сигнатура превращается в чек-лист несвязанных флагов.

// Each new requirement bolts on a flag instead of forking.
function render(
  item: Item,
  forEmail: boolean,
  isPreview: boolean,
  legacyMode: boolean,
  skipPrice: boolean,
) {
  if (legacyMode) return renderLegacy(item);
  const price = skipPrice ? "" : `: ${item.price}`;
  if (forEmail) return `<tr><td>${item.name}${price}</td></tr>`;
  if (isPreview) return `<li class="preview">${item.name}${price}</li>`;
  return `<li>${item.name}${price}</li>`;
}

Булев параметр, выбирающий между двумя поведениями, — надёжный сигнал: функция делает две работы. Четыре таких параметра — четыре работы под одним именем. Флаги — это годовые кольца неправильной абстракции.

«Дублирование намного дешевле неправильной абстракции». DRY служит изменяемости — а не наоборот. Правило Сэнди Метц — эвристика, разрешающая центральное напряжение этого юнита. У дублирования известная, ограниченная стоимость: если правило меняется, ты правишь его в N местах, и худший случай — что одно пропустишь. У неправильной абстракции неограниченная, нарастающая стоимость: каждый вызывающий теперь связан с краевыми случаями каждого другого вызывающего, каждое изменение рискует всеми шестью местами вызова, а клубок становится хуже с каждым «маленьким» добавлением.

DRY — не самоцель. Это средство для настоящей цели — дешёвого изменения. Когда «DRY»-абстракция делает изменение дороже, чем было бы дублирование, DRY применён против собственного предназначения. Senior-прочтение DRY таково: убирай дублирование знания, которое меняется вместе. Код, который лишь выглядит одинаково, но меняется по разным причинам, — не то дублирование, о котором говорит DRY.

Лечение — встроить абстракцию обратно в каждого вызывающего (намеренно продублировать заново), а затем заново вывести настоящую абстракцию из различий, которые ты теперь видишь. Ты не можешь найти правильный шов, пока неправильный прячет данные. Поэтому ты обращаешь вынос вспять: копируешь нужную ветку общей функции в каждого вызывающего, удаляешь флаг, который её выбирал, и даёшь каждому месту вызова снова стать маленькой, честной, самостоятельной функцией.

// Step A — inline back. Each caller gets just its own branch.
function renderListItem(item: Item) {
  return `<li>${item.name}: ${item.price}</li>`;
}
function renderEmailRow(item: Item) {
  return `<tr><td>${item.name}: ${item.price}</td></tr>`;
}
function renderPreview(item: Item) {
  return `<li class="preview">${item.name}: ${item.price}</li>`;
}

Теперь дублирование видимо и локально. Когда все три рядом, проявляется подлинная общая концепция: все они форматируют ${name}: ${price} и оборачивают это по-разному. Вот это — внутренняя строка «имя + цена» — и есть настоящая абстракция; обёртка же законно варьируется.

// Step B — re-derive the TRUE shared concept (the inner content, not the wrapper).
function nameAndPrice(item: Item) {
  return `${item.name}: ${item.price}`;
}
const renderListItem  = (i: Item) => `<li>${nameAndPrice(i)}</li>`;
const renderEmailRow  = (i: Item) => `<tr><td>${nameAndPrice(i)}</td></tr>`;
const renderPreview   = (i: Item) => `<li class="preview">${nameAndPrice(i)}</li>`;

Новая абстракция мала, без флагов, и каждый вызывающий читается сам по себе. Ты не «сдался на DRY» — ты нашёл дублирование, которое действительно разделяет смысл, и вынес только его.

Будь готов удалить абстракцию. Невозвратные затраты — не причина держать неправильную, а «удалить её ощущается как нарушение DRY» — тот режим отказа, который нужно назвать и побороть. Цена, уже уплаченная за создание плохой абстракции, потеряна, оставишь ты её или нет; единственный вопрос — стоимость отсюда и далее. Если абстракция делает каждое будущее изменение дороже, держать её из верности прошлым усилиям значит платить эту цену вечно.

Конкретная ловушка завязана на идентичности: инженеры усваивают «DRY = хорошо», поэтому встраивание включает рефлекс «это ощущается неправильно» даже там, где оно очевидно верно. Заметь это чувство и переосмысли: ты не отказываешься от DRY, ты служишь той цели, ради которой DRY существует. Когда НЕ встраивать: если абстракция действительно правильна (вызывающие реально меняются вместе по одной причине) и лишь неуклюжа, чини её на месте — не сноси несущий шов из-за того, что у него плохое имя. Навык — отличать случайное слияние от настоящего; признак — меняются ли требования вызывающих вместе.