008: Introduction to Test Driven Development (TDD) creating a Stack - Abstract Data Type (Golang)

Содержание

• Краткое резюме
• Введение в тестирование в Go и TDD
• Реализация стека с нуля
  • Проверка пустоты стека
  • Добавление элемента и проверка не пустоты
• Определение размера стека
  • Рефакторинг
• Реализация метода pop
  • Извлечение одного элемента
  • Извлечение нескольких элементов
• Итоги и выводы
• Заключение

Краткое резюме

• В видео показан процесс разработки стека на языке Go с использованием принципов TDD (Test-Driven Development) по правилам Uncle Bob.
• Рассматривается работа с базовым фреймворком тестирования Go, без дополнительных библиотек для assert.
• Пошагово реализуются основные методы стека: проверка пустоты, добавление элементов, определение размера, извлечение элементов (pop) с постоянной проверкой работоспособности через тесты.
• На каждом шаге применяется цикл TDD: red (пишем падающий тест), green (реализуем минимум, чтобы пройти тест), refactor (улучшаем код без изменения интерфейса).
• В финале реализован полноценный стек с внутренним срезом для хранения элементов.
• Обсуждаются потенциальные улучшения, эти вопросы будут рассмотрены в следующих видео.

---

Введение в тестирование в Go и TDD

Mark Bradley начинает с объяснения, что язык Go содержит встроенный фреймворк для тестирования, который мы будем использовать без сторонних библиотек. Основой для разработки служат три правила TDD от Uncle Bob:

«Пиши только такой продакшен-код, который нужен для прохождения теста.»

Правила вкратце:

1. Не пиши продакшен-код, пока не написан тест, который не проходит.
2. Пиши минимальный тест, просто чтобы зафиксировать ошибку (включая ошибки компиляции).
3. Пиши минимальный код, чтобы пройти тест.

---

Реализация стека с нуля

Проверка пустоты стека

• Сначала создаётся тест empty, который проверяет, что при создании новый стек пуст (empty возвращает true).
• Для компиляции создаётся пустая структура stack и функция newStack().
• Метод empty() на стеке пока возвращает false, чтобы потом перейти к разным вариантам реализации.
• Тест падает, как и ожидалось.
• Чтобы пройти тест, метод empty() меняется на возврат true.
• Тест теперь успешно проходит.

Добавление элемента и проверка не пустоты

• Создаётся тест not empty, который проверяет, что после добавления элемента стек уже не пуст.
• Добавляется метод add(string).
• Реализация меняется: в структуру добавляется булев флаг isEmpty bool. Новая логика — при добавлении элемент isEmpty меняется на false.
• Тесты empty и not empty проходят успешно.

---

Определение размера стека

• Пишется тест size zero — пустой стек должен иметь размер 0.
• Добавляется метод size() int.
• Сначала возвращается заглушка, например -1, чтобы тест падал с понятной ошибкой.
• Вернув 0 — тест проходит.
• Пишется тест size one — после добавления одного элемента размер должен быть 1.
• Логика меняется: к структуре добавляется поле size int, увеличиваемое при добавлении.
• Тесты проходят.
• Добавляется тест для трёх элементов (size three) — после добавления трёх конкретных строк размер должен быть 3.
• Реализация исправляется с учётом инкремента size при добавлении.
• Тесты зеленеют.

Рефакторинг

• Понимают, что isEmpty избыточен — можно вычислять пустоту по size == 0.
• isEmpty удаляется.
• Все тесты успешно проходят.

---

Реализация метода pop

Извлечение одного элемента

• Тест one проверяет, что при одном элементе pop возвращает этот элемент и выкидывает из стека (размер становится 0).
• Создаётся метод pop() string.
• Изначально возвращается пустая строка.
• Для прохождения теста возвращают конкретно Bob.
• Добавляется проверка после попа, что размер стал 0 (или стек пуст).
• Для прохождения теста размер уменьшают при попе.

Извлечение нескольких элементов

• Тест pop two — после добавления двух элементов, вызов pop должен вернуть последний добавленный (Alice), а следующий вызов — первый (Bob).
• Изначальная реализация сохраняет только последний элемент, поэтому тест падает.
• Решение: вместо хранения одного элемента, используется срез values []string для хранения всех значений.
• Добавляются логика добавления в срез и правильный pop с уменьшением размера и возвратом последнего элемента.
• Все тесты проходят.

---

Итоги и выводы

• Видео демонстрирует классический цикл TDD (красный-зелёный-рефакторинг) на примере стека в Go.
• Используется только стандартная библиотека, без внешних assertion-библиотек, поэтому проверки сделаны через простые if с вызовом t.Error.
• Важно писать минимальный код для прохождения теста, постепенно усложняя реализацию.
• В финальной версии стек хранит элементы в срезе и корректно поддерживает размер, добавление и удаление.
• Обсуждается, что можно ещё улучшить (например, обрабатывать ошибки при pop из пустого стека) в будущих видео.

«Написание долгих тестов из-за отсутствия assert-библиотеки — это нормально, зато код получается чистым и понятным.»

---

Заключение

Видео отлично показывает подход к разработке через тесты в Go, используя встроенный модуль тестирования и внимательно следуя правилам TDD. На примере простой структуры данных — стека — демонстрируется, как создавать минимальный работоспособный код, сопровождаемый проверками, и улучшать его без потери функциональности. Такой подход минимизирует ошибки и даёт уверенность в правильности кода.