Что такое branch?

Branch: определение и типы

Branch (ветвление) — это фундаментальный концепт в программировании, означающий разделение потока выполнения программы на две или более альтернативные пути в зависимости от условия. На низком уровне branch — это изменение счётчика инструкций процессора (program counter).

Типы ветвлений в C/C++

Условные переходы (conditional branches):

• if...else — выполнение одного из двух блоков кода
• switch...case — множественный выбор на основе значения
• Тернарный оператор ? : — компактное условное выражение

// Условное ветвление
if (value > 10) {
    processLarge(value);
} else {
    processSmall(value);
}

// Switch (более эффективный для множественного выбора)
switch (type) {
    case Type::A: handleA(); break;
    case Type::B: handleB(); break;
    default: handleDefault();
}

Циклы как форма ветвления

Циклы содержат неявное ветвление — проверка условия и возврат назад:

// While содержит ветвление: продолжить цикл или выйти?
while (ptr != nullptr) {
    process(ptr);
    ptr = ptr->next;
}

// For loop с явным условием
for (int i = 0; i < n; i++) {
    // Проверка i < n — это ветвление
}

Branch prediction на уровне CPU

Современные процессоры используют branch predictors для оптимизации:

• CPU предсказывает, какой путь выберет программа
• Если предсказание верно — конвейер работает на полной мощности
• Если неверно — происходит branch misprediction penalty (потеря циклов)

// Плохой case для branch predictor — случайный порядок
std::vector<int> data = {random values};
for (int i = 0; i < data.size(); i++) {
    if (data[i] > 128) sum += data[i];  // Непредсказуемо!
}

// Лучший case — отсортированные данные
std::sort(data.begin(), data.end());
for (int i = 0; i < data.size(); i++) {
    if (data[i] > 128) sum += data[i];  // Предсказуемо!
}

Branch в контексте дизайна кода

• Минимизация веток: проще код с меньшим числом условий
• Cyclomatic complexity: количество ветвлений влияет на сложность и тестируемость
• Early returns: выход из функции раньше снижает вложенность

// Плохо: глубокая вложенность
if (condition1) {
    if (condition2) {
        if (condition3) {
            doWork();
        }
    }
}

// Хорошо: early returns
if (!condition1) return;
if (!condition2) return;
if (!condition3) return;
doWork();

Performance considerations

Branch misprediction — один из главных источников потери производительности. В high-performance приложениях это критично.