Техника
- Для каждой проверки вставьте граничный оператор. Граничный оператор осуществляет возврат или возбуждает исключительную ситуацию.
- Выполняйте компиляцию и тестирование после каждой замены проверки граничным оператором. Если все граничные операторы, возвращают одинаковый результат, примените «Консолидацию условных выражений» (Consolidate Conditional Expression).
2.6.7. Замена условного оператора полиморфизмом (Replace Conditional with Polymorphism)
Есть условный оператор, поведение которого зависит от типа объекта.
Переместите каждую ветвь условного оператора в перегруженный метод подкласса. Сделайте исходный метод абстрактным.
Исходный код:
double getSpeed() {
switch (_type) {
case EUROPEAN:
return getBaseSpeed();
case AFRICAN:
return getBaseSpeed() -getLoadFactor()*_numberOfCoconuts;
case NORWEGIAN_BLUE:
return (_isNailed) ? 0 : getBaseSpeed(_voltage); I
throw new RuntimeException ("Should be unreachable”);
}
Диаграмма классов после проведения рефакторинга:
Рисунок 2.10 – Замена условного оператора полиморфизмом
Мотивация
Одним из наиболее внушительно звучащих слов из жаргона объектного программирования является полиморфизм. Сущность полиморфизма состоит в том, что он позволяет избежать написания явных условных операторов, когда есть объекты, поведение которых различно в зависимости от их типа.
В результате оказывается, что операторы switch, выполняющие переключение в зависимости от кода типа, или операторы if-then-else, выполняющие переключение в зависимости от строки типа, в объектно-ориентированных программах встречаются значительно реже.
Полиморфизм дает многие преимущества. Наибольшая отдача имеет место тогда, когда один и тот же набор условий появляется во многих местах программы. Если необходимо ввести новый тип, то приходится отыскивать и изменять все условные операторы. Но при использовании подклассов достаточно создать новый подкласс и обеспечить в нем соответствующие методы. Клиентам класса не надо знать о подклассах, благодаря чему сокращается количество зависимостей в системе и упрощается ее модификация.
Техника
Прежде чем применять «Замену условного оператора полиморфизмом» (Replace Conditional with Polymorphism), следует создать необходимую иерархию наследования. Такая иерархия может уже иметься как результат ранее проведенного рефакторинга. Если этой иерархии нет, ее надо создать.
Создать иерархию наследования можно двумя способами: «Заменой кода типа подклассами» (Replace Type Code with Subclasses) и «Заменой кода типа состоянием/стратегией» (Replace Type Code with State/Strategy). Более простым вариантом является создание подклассов, поэтому по возможности следует выбирать его. Однако если код типа изменяется после того, как создан объект, применять создание подклассов нельзя, и необходимо применять паттерн «состояния/стратегии». Паттерн «состояния/стратегии» должен использоваться и тогда, когда подклассы данного класса уже создаются по другим причинам. Если несколько операторов case выполняют переключение по одному и тому же коду типа, для этого кода типа нужно создать лишь одну иерархию наследования.
После этого можно перейти к рефакторингу условного оператора. Это может быть оператор switch (case) или оператор if.
- Если условный оператор является частью более крупного метода, разделите условный оператор на части и примените «Выделение метода» (Extract Method).
- При необходимости воспользуйтесь перемещением метода, чтобы поместить условный оператор в вершину иерархии наследования.
- Выберите один из подклассов. Создайте метод подкласса, перегружающий метод условного оператора. Скопируйте тело этой ветви условного оператора в метод подкласса и настройте его по месту. Для этого может потребоваться сделать некоторые закрытые члены надкласса защищенными.
- Выполните компиляцию и тестирование.
- Удалите скопированную ветвь из условного оператора.
- Выполните компиляцию и тестирование.
- Повторяйте эти действия с каждой ветвью условного оператора, пока все они не будут превращены в методы подкласса.
- Сделайте метод родительского класса абстрактным.