Перейти к основному содержимому

Циклы

ОБЯЗАТЕЛЬНОДЛЯ НОВИЧКОВНЕ ДЛЯ НОВИЧКОВВ РАЗРАБОТКЕ

Разработчику Аналитику Тестировщику
Архитектору Инженеру

Циклы​

Что такое цикл?​

★ Циклы – повторяемый блок кода. Это не метод, и не функция, это конструкция, которая позволяет выполнять блок кода несколько раз подряд.

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

Типы циклов:

  • Цикл с фиксированным числом повторений - выполняется заранее известное количество раз (к примеру, вывести числа от 1 до 10);
  • Цикл с условием - выполняется до тех пор, пока условие истинно (продолжать вывод данных, пока пользователь не введёт стоп);
  • Цикл для обработки коллекций - проходит по всем элементам списка, массива или другой структуры данных (например, найти сумму всех чисел в списке).

Циклы могут быть и вложенными, то есть один цикл может содержать себя внутри другой.

Аналогично - методы и функции. Функция может вызывать другие функции. Именно такой подход и упрощает написание кода, особенно когда логика становится большой и сложной.

Устройство и классификация циклов​

Циклические конструкции реализуют итеративный вычислительный процесс. Формально цикл определяется тройкой:

  1. Инициализация — установка начального состояния итератора;
  2. Условие продолжения — предикат, проверяемый перед (или после) каждой итерации;
  3. Шаг итерации — изменение состояния итератора.

В зависимости от того, когда происходит проверка условия, различают:

  • Циклы с предусловием (while, for в большинстве языков): проверка выполняется до тела цикла;
  • Циклы с постусловием (do...while в C-подобных языках): тело выполняется как минимум один раз, проверка — после.

Отдельно выделяются итераторные циклы высокого уровня (for...of, foreach, for-in, Java for-each, Python for), которые абстрагируют детали управления итератором и работают с интерфейсами перечисления (IEnumerable, Iterable, Iterator, Symbol.iterator и т.п.). Такие циклы неявно управляют состоянием итератора и корректно завершаются при исчерпании последовательности.

Цикл for​

Итераторный цикл с предусловием for в разных языках программирования выглядит следующим образом:

Цикл for:

  • Объединяет инициализацию, проверку условия и изменение счётчика в одной конструкции
  • Подходит для ситуаций с известным количеством итераций
  • Тело цикла может не выполниться ни разу, если условие изначально ложно

Цикл while​

Цикл с предусловием while в разных языках программирования можно изобразить так:

Цикл while:

  • Проверяет условие перед каждой итерацией
  • Подходит для ситуаций с неизвестным количеством итераций
  • Тело цикла может не выполниться ни разу, если условие изначально ложно

Цикл do-while​

Цикл с постусловием do...while выглядит так:

Цикл do-while:

  • Выполняет тело цикла как минимум один раз
  • Проверяет условие после выполнения тела цикла
  • Подходит для ситуаций, когда нужно гарантированно выполнить действие хотя бы один раз

Итерация​

Итерация — это однократное выполнение тела цикла или повторяющегося блока кода. Каждый проход цикла представляет собой отдельную итерацию. Итерация является базовой единицей повторяющегося вычислительного процесса.

Процесс итерации состоит из трёх последовательных этапов:

  • Проверка условия продолжения выполнения
  • Выполнение тела итерации
  • Обновление состояния для следующей итерации
# Python — три итерации цикла
for i in range(3):
    print(f"Итерация номер {i}")
// Java — три итерации цикла
for (int i = 0; i < 3; i++) {
    System.out.println("Итерация номер " + i);
}
// C# — три итерации цикла
for (int i = 0; i < 3; i++)
{
    Console.WriteLine($"Итерация номер {i}");
}

В приведённых примерах цикл выполняет ровно три итерации, или, если проще, код выполняется три раза. На каждой итерации переменная i принимает новое значение (0, 1, 2), и выполняется вывод сообщения. После третьей итерации условие i < 3 становится ложным, и цикл завершается.

Итератор — это объект или механизм, который последовательно предоставляет доступ к элементам коллекции или последовательности. Итератор инкапсулирует логику перемещения по структуре данных и отслеживания текущей позиции.

Итератор реализует два основных действия:

  • Получение текущего элемента
  • Переход к следующему элементу

Не путайте с итерацией и циклами! Это другое!

Итератор выглядит так:

Итератор обеспечивает унифицированный интерфейс для обхода различных структур данных: массивов, списков, деревьев, графов. Это позволяет писать универсальный код, не зависящий от внутренней реализации коллекции.

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

Итеративная разработка предполагает создание продукта через последовательные циклы улучшений. Каждая итерация добавляет новую функциональность или улучшает существующую на основе полученной обратной связи.

Этапы итеративной разработки:

  • Планирование содержания итерации
  • Реализация запланированных функций
  • Тестирование и интеграция
  • Получение обратной связи от пользователей
  • Анализ результатов и планирование следующей итерации

Перебор элементов коллекции​

И как раз-таки итерация отлично подходит для перебора в циклах.

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

Перебор позволяет обрабатывать все элементы коллекции без необходимости обращаться к каждому элементу индивидуально по индексу или ключу. Это делает код более универсальным и компактным.

Перебор элементов коллекции решает следующие задачи:

  • Применение одинаковой операции ко всем элементам
  • Поиск элементов по определённым критериям
  • Фильтрация и преобразование данных
  • Агрегация данных (суммирование, подсчёт и т.д.)
  • Вывод информации на экран или в файл

Последовательный перебор проходит по элементам коллекции в том порядке, в котором они хранятся.

# Python — последовательный перебор списка
numbers = [1, 2, 3, 4, 5]
for number in numbers:
    print(f"Элемент: {number}")
// Java — последовательный перебор массива
int[] numbers = {1, 2, 3, 4, 5};
for (int number : numbers) {
    System.out.println("Элемент: " + number);
}
// C# — последовательный перебор списка
List<int> numbers = new List<int> {1, 2, 3, 4, 5};
foreach (int number in numbers)
{
    Console.WriteLine($"Элемент: {number}");
}

Перебор с индексами позволяет одновременно получать доступ к элементу и его позиции в коллекции.

# Python — перебор с индексами
fruits = ["яблоко", "банан", "апельсин"]
for index, fruit in enumerate(fruits):
    print(f"Индекс {index}: {fruit}")
// Java — перебор с индексами
String[] fruits = {"яблоко", "банан", "апельсин"};
for (int i = 0; i < fruits.length; i++) {
    System.out.println("Индекс " + i + ": " + fruits[i]);
}
// C# — перебор с индексами
string[] fruits = {"яблоко", "банан", "апельсин"};
for (int i = 0; i < fruits.Length; i++)
{
    Console.WriteLine($"Индекс {i}: {fruits[i]}");
}

Современные языки программирования предоставляют функциональные методы для перебора коллекций.

Map (преобразование)​

# Python — преобразование всех элементов
numbers = [1, 2, 3, 4, 5]
squared = list(map(lambda x: x ** 2, numbers))
print(squared)  # [1, 4, 9, 16, 25]

# Или с использованием спискового включения
squared = [x ** 2 for x in numbers]
// JavaScript — преобразование массива
const numbers = [1, 2, 3, 4, 5];
const squared = numbers.map(x => x ** 2);
console.log(squared);  // [1, 4, 9, 16, 25]

Filter (фильтрация)​

# Python — фильтрация элементов
numbers = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
even_numbers = list(filter(lambda x: x % 2 == 0, numbers))
print(even_numbers)  # [2, 4, 6, 8, 10]
// JavaScript — фильтрация массива
const numbers = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
const evenNumbers = numbers.filter(x => x % 2 === 0);
console.log(evenNumbers);  // [2, 4, 6, 8, 10]

Reduce (свёртка)​

# Python — свёртка коллекции
from functools import reduce
numbers = [1, 2, 3, 4, 5]
total = reduce(lambda x, y: x + y, numbers)
print(total)  # 15
// JavaScript — свёртка массива
const numbers = [1, 2, 3, 4, 5];
const total = numbers.reduce((acc, curr) => acc + curr, 0);
console.log(total);  // 15

Инвариант цикла​

Для анализа корректности важно определять инвариант цикла — утверждение, истинное перед входом в цикл, сохраняющееся после каждой итерации и обеспечивающее правильность результата по завершении. Инвариант применяется в доказательствах корректности (например, при сортировке, поиске, вычислении суммы/произведения).

Пример инварианта для суммы элементов массива a[0..n-1]:

После k-й итерации переменная sum содержит сумму a[0] + a[1] + … + a[k-1].

Ресурсные аспекты​

  • Временная сложность цикла определяется произведением числа итераций на сложность тела.
  • Пространственная сложность — обычно O(1), если в теле не создаются структуры линейного размера.
  • При вложенных циклах сложность перемножается: два вложенных цикла по n итераций → O(n²).

Важно: в функциональных стилях (например, map, reduce, filter) итерация реализуется через рекурсию (хвостовую — в оптимизируемых случаях) или скрытые циклы в runtime. Это не устраняет циклическую природу вычислений, но переносит ответственность за управление итерацией в библиотеку.

Безопасность и корректность​

  • Выход за границы — типичная ошибка при ручном управлении индексом (off-by-one). Итераторные циклы снижают риск.
  • Бесконечный цикл возникает, если условие никогда не становится ложным (например, при ошибке в шаге итерации или некорректном предусловии).
  • В многопоточных сценариях тело цикла, модифицирующее разделяемое состояние, требует синхронизации (мьютексы, атомарные операции, immutable-подход).
Освоение главы0%