Как измерить coupling?

Измерение связанности (Coupling) в программировании

Coupling (связанность или зацепление) — это метрика, оценивающая степень взаимозависимости между модулями системы. Низкая связанность — ключевой принцип SOLID и хорошей архитектуры, так как она упрощает поддержку, тестирование и модификацию кода. Для её измерения используются качественные и количественные методы.

Ключевые методы измерения связанности

1. Качественная оценка по Ч. Стивенсу

Классификация связанности от худшей к лучшей:

• Content coupling: Модуль обращается к внутренним данным другого модуля (напр., изменяет приватные поля).
• Common coupling: Модули используют общие глобальные данные (частая проблема с глобальными переменными).
• External coupling: Модули зависят от внешних систем (БД, API), но это может быть оправдано. Проблема — при изменении контрактов требуется обновление многих модулей.
• Control coupling: Один модуль передаёт другому данные, явно управляющие его логикой (флаги, команды).
• Stamp coupling: Модули передают сложные структуры данных (объекты, массивы), но используют только часть полей.
• Data coupling: Модули обмениваются минимальными данными через параметры, каждый элемент необходим — это идеальный случай.

Пример плохой связанности (control coupling):

// Плохо: флаг управляет логикой, повышая связанность
class OrderProcessor {
    public function process(Order $order, bool $isExpress) {
        if ($isExpress) {
            $this->applyExpressShipping($order);
        } else {
            $this->applyStandardShipping($order);
        }
    }
}

2. Количественные метрики

• Coupling Between Objects (CBO): Количество классов, с которыми данный класс связан (через вызовы, поля, параметры). Высокий CBO (>7-10) — тревожный знак.
• Afferent Coupling (Ca): Число входящих зависимостей (кто использует модуль). Высокое Ca указывает на критический модуль. 0Efferent Coupling (Ce): Число исходящих зависимостей (что использует модуль). Высокое Ce усложняет тестирование.
• Instability Index: I = Ce / (Ca + Ce). Диапазон 0 (абсолютно стабильный) до 1 (нестабильный). Оптимально ~0.5.

Пример расчёта для класса:

// Высокое Ce (4 зависимости), низкое Ca (редко используется другими)
class ReportGenerator {
    private Database $db;       // Зависимость 1
    private Formatter $format;  // Зависимость 2
    private Validator $validator; // Зависимость 3
    private Cache $cache;       // Зависимость 4
    
    public function generate() {
        $data = $this->db->query();
        $this->validator->validate($data);
        $result = $this->format->apply($data);
        $this->cache->set($result);
        return $result;
    }
}
// Ce = 4, Ca = 1 (если только контроллер использует), I = 4/(1+4)=0.8 — нестабильный класс

3. Практические критерии для PHP Backend

• Анализ зависимостей через DI-контейнер: Подсчёт inject-зависимостей в конструкторе. Более 5-7 зависимостей сигнализирует о нарушении SRP.
• Использование статических анализаторов:
  • PHPMD с правилом CouplingBetweenObjects.
  • PhpMetrics для визуализации графа зависимостей и расчёта метрик.
• Проверка типа зависимостей:

  // Плохо: зависимость от конкретной реализации
  class PaymentService {
      private StripeGateway $gateway; // Жёсткая связанность
  }
  
  // Хорошо: зависимость от абстракции
  class PaymentService {
      private PaymentGatewayInterface $gateway; // Слабая связанность
  }
  

• Анализ цепочки вызовов: Глубокие цепочки ($a->getB()->getC()->execute()) указывают на нарушение Закона Деметры и высокую связанность.
• Оценка сценариев изменений: Если изменение одного класса требует правок в многих других — связанность явно высока.

Инструменты для измерения

• PHPStan / Psalm: Обнаруживают сильные связи через анализ типов.
• Deptrac: Визуализирует слои архитектуры и выявляет нежелательные зависимости между ними (например, доступ Infrastructure к Domain).

# Пример правила Deptrac для контроля связанности слоёв
layers:
  - name: Domain
    collectors:
      - type: className
        regex: App\\Domain\\.*
  - name: Infrastructure
    collectors:
      - type: className
        regex: App\\Infrastructure\\.*
ruleset:
  Infrastructure:
    - Domain  # Инфраструктура может зависеть от Domain
  Domain:
    - Infrastructure  # Запретить Domain зависеть от Infrastructure

Рекомендации для снижения связанности в PHP

1. Внедрение абстракций через интерфейсы.
2. Использование DDD и гексагональной архитектуры для чётких границ контекстов.
3. Применение событий (event-driven) для асинхронной связи модулей.
4. Лимитирование публичного API классов.
5. Регулярный рефакторинг по результатам метрик.

Связанность — не абсолютное зло: нулевая связанность невозможна в реальных системах. Задача — минимизировать её до разумного уровня, выделяя стабильные ядра (низкая нестабильность) и изолируя изменчивые части (высокая нестабильность). Измерение должно быть регулярным, так как связанность имеет свойство нарастать со временем.