Запитання з тегом «liskov-substitution»

Скажімо, у нас є список суб'єктів Завдання та ProjectTaskпідтип. Завдання можуть бути закриті в будь-який час, за винятком випадків, ProjectTasksколи вони не можуть бути закриті, коли вони мають статус Почато. Користувальницький інтерфейс повинен гарантувати, що можливість закрити розпочатий доступ ProjectTaskніколи не доступна, однак у домені є деякі гарантії: public class …

132 design  object-oriented-design  solid  liskov-substitution 

Я намагаюся зрозуміти тверді принципи ООП і дійшов висновку, що LSP і OCP мають деякі подібності (якщо не сказати більше). принцип відкритого / закритого типу визначає, що "програмні об'єкти (класи, модулі, функції тощо) повинні бути відкритими для розширення, але закритими для модифікації". LSP простими словами зазначає, що будь-який примірник Fooможе …

48 object-oriented  inheritance  solid  open-close  liskov-substitution 

Відповідь на це запитання щодо принципу заміни Ліскова має найвищі оцінки для розмежування термінів підтип та підклас . Це також вказує на те, що деякі мови поєднують ці дві, тоді як інші - ні. Для об'єктно-орієнтованих мов, які мені найбільше знайомі (Python, C ++), "type" і "class" є синонімічними поняттями. …

44 object-oriented  c++  theory  liskov-substitution 

Відомий недолік традиційних ієрархій класів полягає в тому, що вони погані, коли йдеться про моделювання реального світу. Як приклад, намагаючись представити види тварин класами. У цьому насправді є кілька проблем, але одна, яку я ніколи не бачив, це рішення, коли підклас «втрачає» поведінку або властивість, визначені в суперкласі, як пінгвін, …

28 design-patterns  liskov-substitution 

Я слідкував за цим високоголосним питанням щодо можливого порушення принципу заміни Ліскова. Я знаю, що таке принцип заміни Ліскова, але все ще не ясно в моєму розумінні, що може піти не так, якщо я як розробник не замислююся над принципом під час написання об'єктно-орієнтованого коду.

27 object-oriented  object-oriented-design  solid  design-principles  liskov-substitution 

Скажімо, у мене є інтерфейс FooInterfaceіз таким підписом: interface FooInterface { public function doSomething(SomethingInterface something); } І конкретний клас, ConcreteFooякий реалізує цей інтерфейс: class ConcreteFoo implements FooInterface { public function doSomething(SomethingInterface something) { } } Я хотів би ConcreteFoo::doSomething()зробити щось унікальне, якщо він передається спеціальному типу SomethingInterfaceоб'єкта (скажімо, він називається …

20 object-oriented  solid  liskov-substitution 

Я читав, що принцип заміни Ліскова порушується, якщо: Передумови посилюються, або Послідовності ослаблені Але я ще не розумію, як ці два пункти порушили б принцип заміни Ліскова. Може хтось, будь-ласка, поясніть на прикладі. Зокрема, як будь-яка з перерахованих вище умов спричинить ситуацію, коли об'єкт підкласу не може бути замінений об’єктом …

19 object-oriented  inheritance  abstraction  liskov-substitution 

Певний збій OOP показаний із класом Square, що успадковується від Rectangle, де логічно Square є спеціалізацією прямокутника, і тому слід успадковувати його, але все розпадається при спробі змінити довжину або ширину квадрата. Чи є конкретний термін для опису того, що йде в цьому випадку не так?

18 object-oriented  inheritance  liskov-substitution 

Це зображення взято із застосування дизайну та шаблонів, керованих доменом: із прикладами в C # та .NET Це діаграма класів для шаблону стану, в якій SalesOrderможе мати різні стани протягом свого життя. Дозволені лише певні переходи між різними станами. Тепер OrderStateклас - це abstractклас, і всі його методи успадковуються підкласам. …

17 java  c#  design-patterns  object-oriented-design  liskov-substitution 

LSP заявляє, що класи повинні бути замінними для їх базових класів, тобто похідні та базові класи повинні бути семантично еквівалентними. Але чи застосовується також LSP для класів, що реалізують інтерфейс? Іншими словами, якщо метод інтерфейсу, реалізований класом, семантично відрізняється від того, що очікує, що це буде користувач, чи вважатиметься це …

17 design-patterns  design-principles  liskov-substitution 

Передумови: я розробляю рамки для обміну повідомленнями. Ця рамка дозволить: відправлення повідомлень через службову шину підписавшись на черги на шині повідомлень передплатити теми на шині повідомлень Наразі ми використовуємо RabbitMQ, але я знаю, що ми найближчим часом перейдемо до службової шини Microsoft (у приміщенні). Я планую створити набір інтерфейсів та …

14 solid  liskov-substitution 

Скажіть, у мене є: interface Thing { GetThing(); } class FastThing : Thing { public int GetThing() { return 1; } } class SlowThing : Thing { public int GetThing() { return GetThingFromDatabase(); } } Це порушення принципу заміни Ліскова?

14 performance  liskov-substitution 

Натхненний цією відповіддю: Принцип заміщення Ліскова вимагає цього Передумови не можна посилити в підтипі. Послідовності не можуть бути ослаблені в підтипі. Інваріанти супертипу повинні зберігатися в підтипі. Обмеження історії ("правило історії"). Об'єкти вважаються модифікованими лише завдяки їх методам (інкапсуляція). Оскільки підтипи можуть вводити методи, відсутні в супертипі, то введення цих …

14 object-oriented  inheritance  solid  design-principles  liskov-substitution 

Клас LinkedList існує з такими функціями, як add_first (), add_last (), add_after (), remove_first (), remove_last () та remove () Тепер існує клас Stack, який забезпечує такі функції, як push (), pop (), peek () або top (), і для реалізації цих методів він розширює методи класу LinkedList. Це порушення …

13 design  object-oriented  object-oriented-design  solid  liskov-substitution 

Маючи CircleсягатиEllipse перерв в Ліски Substition принципі , тому що вона змінює постусловіем , а саме: ви можете встановити X і Y незалежно один від одного , щоб намалювати еліпс, але X завжди має дорівнювати Y для кіл. Але хіба тут проблема не спричинена тим, що Circle є підтипом Еліпса? …

13 object-oriented  solid  liskov-substitution