То, что подразумевается под абстракциями, не должно зависеть от деталей. Детали должны зависеть от абстракций в смысле принципа инверсии зависимостей [DIP]?

Давайте разберем эту часть B дальше.

Абстракции не должны зависеть от деталей. Это может означать, что ваше объявление интерфейса (ваша абстракция) не должно включать конкретные типы. Подумайте о разнице между distance(int X1, int Y1, int X2, int Y2) и distance(Point A, Point B). Что делать, если у вас есть координаты, измеренные в системе с плавающей запятой, широте/долготе или полярной системе координат? Что, если вы перейдете в трехмерное пространство? Вам придется заново реализовать каждую подпрограмму, использующую вашу функцию расстояния.

Детали должны зависеть от абстракций. Насколько это возможно, продолжайте использовать уровень абстракции, чтобы избежать зависимостей от конкретных типов.

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

Этот вопрос действительно лежит в основе того, почему ООП полезен и почему абстракции так важны для информатики. По сути, мы используем абстракции, когда хотим скрыть сложность (детали) от пользователей нашего программного обеспечения.

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

Это требует, чтобы мы оба договорились об определенной абстракции, которая никогда не изменится. Я предоставляю вам методы для доступа к функциям моего кода и обещаю вам, что вызов этих методов всегда будет давать вам одинаковые результаты, даже несмотря на то, что «детали» моей реализации могут меняться со временем.

Итак, возвращаясь к первоначальным вопросам:

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

• Путем «абстрагирования» функций, содержащихся в низкоуровневом модуле (Калькулятор бонусов), вы сможете относительно легко переключиться на чей-то еще калькулятор бонусов, если посчитаете мой сервис бесполезным.
• Это потому, что вы защитили себя от «деталей» моего кода с помощью абстракции.

B. Абстракции не должны зависеть от деталей. Детали должны зависеть от абстракций.

• Если бы ваша абстракция зависела от деталей моего кода, вам пришлось бы все переписать, чтобы переключиться на новый калькулятор бонусов! Это разрушило бы цель.

Пример кода (javascript):

• Скажем, у нас есть абстракция под названием «сумма», которая просто вычисляет сумму двух чисел. Вы являетесь потребителем этой функции и хотите использовать ее следующим образом: sum(2,2) = 4.

• Теперь скажем, что есть два разных модуля (функции), которые вычисляют сумму.

  1. function sum(a, b) { return a + b }
  2. function sum(b, a) { return b + a }

• Очевидно, что эти функции совершенно одинаковы, но представьте, если бы это было сложное вычисление с множеством различных способов получения результата, каждый из которых имел бы очень разную производительность во время выполнения. Вы могли бы свободно проверить, какая функция работает лучше для вас, используя тот же интерфейс: просто вызывая sum(). Абстракция не зависит от деталей.

• Сделав это так, ваш высокоуровневый модуль также больше не зависит от низкоуровневого модуля, поскольку вы можете относительно легко попробовать другой низкоуровневый модуль.

Извините, этот ответ немного беспорядочный. Надеюсь это поможет!