Как известно, дьявол обитает в мелочах, а главная мелочь повседневной жизни разработчика это реализация решений в коде. В рамках нашей встречи мы обсудим, какого рода формальности при написании классов позволяют ощутить всю мощь ООП. Узнаем, как перестать защищаться от своего же кода и уменьшить время на решение задач. Снова SOLID, DRY, KISS или может TDD? Нет! Мы будем говорить о Design by Contract или программировании с использованием контрактов. Коротко коснёмся истории этого подхода и принципов его применения. Рассмотрим примеры решения реальных задач, в которых помогает определение контрактов. Обозначим границы применимости и связи с другими концепциями обеспечения качества. А главное, вынесем с собой несколько полезных подходов, которые позволят засыпать с уверенностью в качестве кода и которые можно начать применять прямо сейчас.

1. Контракт с
дьяволом
Олег Блохин
SmartStepGroup

2. SmartStepGroup
Внедряем инженерные практики XP
Ставим процессы

4. Предположения – источник
ошибок в коде

12. Утверждения
while( thereIsEnemyUnitsAround() )
{
gameContext.SelectUnit(killingStrategy);
var unit = gameContext.GetSelectedUnit();
unit.Kill()
}

13. Утверждения
while( thereIsEnemyUnitsAround() )
{
gameContext.SelectUnit(killingStrategy);
var unit = gameContext.GetSelectedUnit();
if (unit != null) {
unit.Kill()
}
}

14. Утверждения
while( thereIsEnemyUnitsAround() )
{
gameContext.SelectUnit(killingStrategy);
var unit = gameContext.GetSelectedUnit();
if (unit == null) {
throw new BusinessException(“…”);
}
unit.Kill()
}

15. Утверждения
while( thereIsEnemyUnitsAround() )
{
gameContext.SelectUnit(killingStrategy);
var unit = gameContext.GetSelectedUnit();
Assert.NotNull(unit);
unit.Kill()
}

16. Контракты ≠ Assert

18. Корректность не существует
без спецификации

20. Контракты методов
метод(параметры):
Условия применимости (параметры, состояние)
Тело метода
Гарантии

22. Контракты методов
public void MoveUnit(player, unit, destination)
Require {
playerCanMove(player);
unitIsOnBoard(unit);
} { /* код вашего метода */ }
Ensure {
getDestination(unit) == destination;
}

23. Контракты методов
public void MoveUnit(player, unit, destination)
Require {
playerCanMove(player);
unitIsOnBoard(unit);
unitIsAbleToMove(player, unit);
destinationIsAchievable(unit, destination);
} { //… }
Ensure {
!playerCanMove(player);
getDestination(unit) == destination;
}

24. Контракты – не защитное
программирование

27. Инварианты классов
class Board {
private Player player1;
private Player player2;
private Player currentPlayer;
Board(player1, player2) {
this.player1 = player1;
this.player2 = player2;
this.currentPlayer = player1;
}
public MakeTurn(...){...}
Invariant {
CurrentPlayerAlwaysGameParticipant:
currentPlayer == player1 || currentPlayer == player2
}
}

28. Документация, исполняемая
вместе с кодом
–
не устаревает

29. Преимущества
Неустаревающая спецификация
Корректность
Осознанность решений
Уменьшение страха
Отказ от защитного программирования

30. Недостатки
Надо больше думать
Поддержка корректности спецификации
Надо явно обеспечить надёжность
Требует внедрения

31. Как применить?
Контракты есть для вашего языка
Если нет – вы всё равно можете их
использовать
Если боитесь – выберите ту часть, которая
вам кажется безопасной

32. Уровни срабатывания
Машина разработчика
Сборка для тестирования
Продакшн

33. Итог
Корректность не существует без
спецификации
Контракт – исполняемая спецификация в
коде
Уровни контрактов:
Реализация - утверждения (Assert)
Интерфейс - контракты метода

34. Ссылки
Бертран Мейер, Основы ООП
Hunt & Thomas, Pragmatic Programmer
Тепляков Сергей, «Проектирование по
контракту»

35. Контакты
Олег
oleg.blohin@smartstepgroup.com
FB, VK, twitter, instagram, linkedin