4

Сейчас читаю книгу ЧИстый код на небольшой главе про закон Деметры. До этого с ним сталкивалась в паттернах от O'reilly (HeadFirst) и там было немного и понятно. После чистого кода - в голове кавардак. Есть пара вопросов:

1) Мартин делит объекты на объекты и структуры данных. Что тут подразумевается под структурой? Struct (в c# к примеру) или в целом объект класса в котором кроме открытых полей (или свойств) нету больше ничего (методов, например)?

2) Из первого вопроса вытекает непонимание того, что подразумевается под гибридом (наполовину объект, наполовина структура данных), который лучше не писать. Считается ли гибридом, например, объект класса "Машина", где можно и цвет ее посмотреть, и колеса даже поменять, и поведение у нее тоже есть?

3) Этот вопрос поднимала на устное обсуждение в другими разрабами (мы не джуны, но и не "крутыши") и также возникло непонимание самой сути этого закона, зачем его соблюдать, что является главной причиной: или база для дальнейших легковносимых изменений, или сокрытие внутренней структуры объекта, или даже легкое предотвращение и обработка NullReferenceException? Все понимают по разному.

4) Нарушается ли закон при разделении методов "плохих" на много маленьких?

Было

public class Class1
{
    public String DoSmth()
    {
        //Вроде как закон нарушен, потому что вызываем метод у вернувшегося значения
        return MethodClass1().DoSmth();
    }

    public Class2 MethodClass1()
    {
        return new Class2();
    }
}

public class Class2
{
    public String DoSmth()
    {
        String res2 = this.MethodClass2();
        return res2;
    }

    public String MethodClass2()
    {
        return "test";
    }
}

Стало

public class Class1
{
    public String DoSmth()
    {
        //теперь тут вызываются только методы того же класса
        Class2 res1 = MethodClass1();
        return this.MethodClass1_2(res1);
    }

    public Class2 MethodClass1()
    {
        return new Class2();
    }

    public String MethodClass1_2(Class2 val)
    {
        return val.DoSmth();
    }
}

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

1
  • 2
    «Закон Деметры» звучит слишком категорично. Я бы назвал это утверждение «иногда полезное правило Деметры».
    – VladD
    17 мая 2016 в 7:50

3 ответа 3

4

В книге "Программист-прагматик" (Хант, Томас) закон Деметера (такой кривой перевод) сведён к короткому высказыванию:

Минимизируйте связывание между модулями

Пример из книги на C++

class Demeter
{
    private:
        A* a;
        int func();
    public:
        void example(B& b);
}

void Demeter::example(B& b)
{
    int f = func(); // 1

    b.invert();     // 2

    a = new A();
    a->setActive(); // 3

    C c;
    c.print();      // 4
}

Закон Деметры для функций гласит, что любой метод некоторого объекта может обращаться только к методам принадлежащим:

  1. самим себе
  2. любым параметрам, переданным в метод
  3. любым создаваемым им объектам
  4. любым непосредственно содержащимся объектам компонентов

Исходя из этого можно дать ответ на ваш вопрос №3: уменьшение связанности облегчает модификацию и сопровождение кода, облегчает написание тестов.

На практике это означает, что придётся создавать большое количество методов-оболочек, которые просто направляют запрос далее к делегату. Эти методы-оболочки влекут за собой расходы, ухудшая производительность и занимая память.

Обращая закон Деметры и плотно связывая несколько модулей, можно получить выигрыш в производительности.

2
  • Хорошо, так а если у нас примерно такой код, как я привела в 4ом вопросе. И мы его меняем так, чтобы он удовлетворял правилу (судя по одному из комментариев (Вашему, кстати), мой "удовлетворительный" вариант действительно такой). Как такие методы оболочки в одном классе могут уменьшить связность?
    – user2216
    17 мая 2016 в 13:18
  • 1
    @user2216 - Метод MethodClass1_2 мало связан с другим кодом, что облегчает юнит-тестирование: в него можно передать мок (заглушку), вместо настоящего экземпляра Class2. 17 мая 2016 в 20:03
2

1) Про структуру он там явно пишет:

С другой стороны, если ctxt, Options и ScratchDir представляют собой обычные структуры данных, не обладающие поведением, то они естественным образом раскрывают свою внутреннюю структуру, а закон Деметры на них не распространяется.

Поведение никак не скрыто, если вызывающий код обращается напрямую к данным, а не через get/set (это и есть простая структура, как в Си, например). В то же время, если обращение идёт через get/set ещё не значит, что там скрыто какое-то поведение (оно может быть там скрыто, но не факт) и поэтому:

Применение функций доступа затрудняет ситуацию.

2) И про гибриды, вроде доступно:

Гибриды содержат как функции для выполнения важных операций, так и открытые переменные или открытые методы чтения/записи, которые во всех отношениях делают приватные переменные открытыми.

По-моему, сокрытие поведения и является ключевым фактором. Если есть какое-то поведение и оно скрыто, то это объект, если поведения нету, а просто открытые данные, то это структура, а если есть и скрытое поведение и открытые данные - вот вам и гибрид.

4
  • Спасибо! Вот смотрите, мне рвет мозг такая проблема. В ооп объект это какая то сущность, которая и поведение имеет, и состояние какое-то (тость поля). И выхоидт так, что если (как я приводила пример) есть машина, то она вроде как гибрид, потому что и параметры нам ее открыты (не все, но много), и поведение у нее есть. И по моим наблюдениям, классы они часто именно такие - включают и данные, и поведение. Так вот, тут появляется Мартин, который говорит, что гибрид - это плохо. И что тогда он предлагает? По-моему, по определению объект - это гибрид.
    – user2216
    17 мая 2016 в 13:28
  • Да и вообще, раз в программировании призывают думать абстракциями, и опираться на понятия бизнес-логики, то по факту - объекты реального мира в большинстве своем и параметры имеют, и поведение. Ну и наверное, я просто усложняю, но не понимаю, что именно
    – user2216
    17 мая 2016 в 13:32
  • 1
    youtu.be/otrfSgeK3JI?t=5518
    – zed
    17 мая 2016 в 15:10
  • 1
    Гибрид это скорее структура, которой зачем-то добавили немного поведения из бизнес-логики. Дальше по тексту, про Активные структуры он пишет: "К сожалению, разработчики часто пытаются интерпретировать такие структуры данных, как объекты, и включают в них методы, реализующие бизнес-логику. Однако такой подход нежелателен, так как он создает гибрид между структурой данных и объектом."
    – zed
    17 мая 2016 в 15:31
1

Отвечу на 4-ый вопрос. Если "Было" и "Стало" оставить такими, в каком виде они у вас, то закон нарушается в обоих случаях. Какие тут есть "нарушения":

  • Class1 по сути является оберткой для Class2 (по крайней мере из того кода, что вы предоставили) - такое поведение должно достигаться наследованием;
  • Class1 очень сильно зависит от Class2 (Почему Class1, который не является фабрикой, занимается созданием экземпляра Class2?).

Должно "Стать" так:

public class Class2
{
    public RETURN_TYPE DoSmth()
    {
        // Что-то там делается
    }
}

public class Class1
{
    public RETURN_TYPE DoSmth(Class2 val)
    {
        /*
        Тут должна быть какая-то логика, но не тупой возврат, вроде:
        return val.DoSmth();
        */
    }
}

А ещё лучше будет, если экземпляр класса Class2 передать в конструктор класса Class1 и обращаться в методах к объекту класса Class2 через свойство класса Class1 - кстати, этого и требует в данном контексте "закон Деметры". При этом как зависимость надо передавать не сам класс, а интерфейс, который будет реализовывать Class2.

На 3-ий вопрос вы сами же отчасти и ответили - код становится легче в сопровождении, поддержке, написании тестов, код становится менее сложным ля понимания, больше возможностей при повторном использовании кода (иначе код будет дублироваться), снижается зависимость классов друг от друга.

3
  • Насчет четвертого вопроса. Понятно, что это быдлокод, но это просто пример, чтобы показать, что из кода, который точно нарушает закон, можно сделать тот, который по Мартиновского определению (albertroom.ru/posts/18 читать со второго абзаца) его вроде как не нарушает, и значит ли это, что он нормальный?
    – user2216
    17 мая 2016 в 8:56
  • 1
    @user2216 - Да, именно так: он нормальный. Чтобы строго следовать закону Деметры, приходится писать такие методы-оболочки. 17 мая 2016 в 11:08
  • @user2216, вы привели такой пример разделения "плохого" метода, что создали не два "маленьких", а просто два "плохих" метода. Разумеется при таком подходе Мартин "не прав". По этой же ссылке чуть ниже дается уточнение что считать нарушением закона Деметры, а что к нему не относится.
    – uorypm
    17 мая 2016 в 12:19

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.