Отличается ли шаблон Service Locator от шаблона Abstract Factory?

Я наткнулся на тот же вопрос, исследуя эти закономерности. Я думаю, что основные различия можно найти между Service Locator и Factory (абстрактно это или нет):

Поиск услуг

• «Обнаруживает» существующую зависимость (службу). Хотя услуга может быть создана во время разрешения проблемы, она не имеет значения для Клиента, потому что:
• Клиент локатора служб НЕ принимает права собственности на зависимость.

Фабрика

• Создает новый экземпляр зависимости.
• Клиент фабрики становится владельцем зависимости.

Абстрактная фабрика

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

Из того, что я прочитал до сих пор, я думаю, разница в следующем:

Шаблон Service Locator

• Явно поддерживает регистрацию того, какие конкретные объекты должны быть созданы / возвращены
• Обычно имеет общий интерфейс, позволяющий пользователю запрашивать любой абстрактный тип, а не конкретные типы.
• Сам может быть конкретным

Шаблон "Абстрактная фабрика"

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

На самом деле между этими двумя паттернами есть четкое разделение. Общеизвестно, что оба шаблона используются, чтобы избежать зависимости от конкретных типов.

Однако после прочтения

• Гибкая разработка программного обеспечения, принципы, шаблоны и практики [книга] Робера К. Мартина
• Инверсия управляющих контейнеров и шаблон внедрения зависимостей [статья] Мартина Фаулера на http://martinfowler.com/articles/injection.html
• Распознавание образов: абстрактная фабрика или локатор услуг? [статья] Марка Зеемана на http://blog.ploeh.dk/2010/11/01/PatternRecognitionAbstractFactoryorServiceLocator/
• Шаблон дизайна [книга] Эриха Гаммы и др.

Возникают серьезные противоречия:

Земанн сказал: «Абстрактная фабрика - это универсальный тип, и тип возвращаемого значения метода Create определяется типом самой фабрики. Другими словами, сконструированный тип может возвращать только экземпляры одного типа».

В то время как Робер К. Мартин ничего не упомянул об общих типах и, более того, пример фабрики в своей книге позволяет создавать экземпляры более одного типа объектов, различать их, используя ключевую строку в качестве параметра в Factory.Make ().

Гамма сказал, что цель Abstract Factory состоит в том, чтобы «предоставить интерфейс для создания семейств связанных или зависимых объектов без указания их конкретных классов». Стоит упомянуть, что пример Gamma Abstract Factory нарушает принцип разделения интерфейса (ISP), заявленный Мартином. ISP и SOLID в целом являются более современными принципами или, возможно, для простоты они опущены.

Работы Гаммы и Мартина предшествуют работам Симана, поэтому я думаю, что он должен следовать уже данному определению.

В то время как Фаулер предлагает Service Locator как способ реализации инверсии зависимостей, Зееманн рассматривает его как анти-шаблон. Ни Гамма, ни Мартин не упоминают Service Locator.

Однако Земанн и Фаулер согласились с тем, что локатору служб требуется этап конфигурации для регистрации экземпляра конкретного класса, этот экземпляр будет возвращен позже, когда будет запрошен объект такого типа. Этот шаг настройки не упоминается Мартином или Гаммой в их определении Abstract Factory. Шаблон «Абстрактная фабрика» предполагает, что новый объект создается каждый раз, когда запрашивается объект такого типа.

Заключение

Основное различие между Service Locator и Abstract Factory состоит в том, что Abstract Factory предполагает, что новый объект создается и возвращается при каждом запросе, а Service Locator должен быть настроен с экземпляром объекта, и каждый раз будет возвращаться один и тот же экземпляр.

От: http://blog.ploeh.dk/2010/11/01/PatternRecognitionAbstractFactoryorServiceLocator/

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

С другой стороны, Service Locator - это неуниверсальный интерфейс с универсальным методом. Метод Create одного локатора сервисов может возвращать экземпляры бесконечного числа типов.