Совокупный класс, расширяющий базовый класс - Нарушение LSP?

Question

Liskov Substitution Principle (LSP) в Википедии

---

Скажем, у меня есть Alien класс с атрибутом numFingers *. Иногда мне нужно вытащить сумму из numFingers из базы данных, сгруппированной по другим значениям поля. В этих случаях мне не нужно манипулировать каждой записью по отдельности, но мне нужен доступ ко многим их функциям - иметь возможность получать атрибуты, выполнять на них основную логику и т. Д. Это может включать данные, суммированные из тысяч записей, поэтому имеет смысл создавать тысячи объектов Alien, когда запрос базы данных может выполнять работу по суммированию для меня.

Я хотел бы создать класс расширения, называемый AlienAggregate, атрибуты которого заданы из сгруппированного запроса &. Этот класс позволил бы мне вызвать любой из методов Alien. Только разница между функциональностью двух классов, составляет GetID(). У агрегатного класса нет идентификатора, так как его данные были получены из любого количества записей. Из-за этого вызов GetID() на AlienAggregate вызывает исключение.

Является ли это нарушением Принципа замены Лискова? Есть ли лучший способ обработки звонка на GetID()? Есть ли лучший способ разработать отношения между классами Alien и AlienAggregate?

_{* Фактические имена могут быть изменены только потому, что я могу.}

Answer 1

Я не думаю, что вы нарушая LSP поскольку принцип применяется только тогда, когда Alien является подтипом AlienAggregate (или наоборот). Здесь нет отношения is a (более агрегирования Alien, как вы их правильно назвали).

Вместо этого это звучит как Alien, так и AlienAggregate, вероятно, реализует интерфейс . Класс Alien имеет дополнительный метод, GetID().

... просто остерегайтесь гнусного метода BeginInvasion на AlienAggregate.