Liskov Substitution Principle Quiz

1. What does the Liskov Substitution Principle (LSP) state?

Objects of a superclass should be replaceable with objects of its subclasses without altering program correctness

All classes must inherit from a single base class

Subclasses must override all methods of their parent class

Inheritance should be avoided in favor of composition

The Liskov Substitution Principle (LSP) emphasizes that if a program uses a superclass, it should function correctly when instances of its subclasses are substituted for the superclass. This principle ensures that subclass objects maintain the expected behavior and integrity of the program, promoting code reusability and flexibility in object-oriented design.

Explanation

The Liskov Substitution Principle (LSP) emphasizes that if a program uses a superclass, it should function correctly when instances of its subclasses are substituted for the superclass. This principle ensures that subclass objects maintain the expected behavior and integrity of the program, promoting code reusability and flexibility in object-oriented design.

2. Which of the following violates the Liskov Substitution Principle?

A Rectangle class with width and height properties

A Square subclass of Rectangle that enforces equal width and height

A Bird base class with a fly() method

A Dog class implementing a Pet interface

A Square subclass of Rectangle violates the Liskov Substitution Principle because it restricts the behavior expected from the Rectangle class. While a Rectangle can have varying width and height, a Square enforces equal dimensions, leading to unexpected behavior when substituting a Square for a Rectangle in code that assumes the flexibility of the Rectangle's properties.

Explanation

A Square subclass of Rectangle violates the Liskov Substitution Principle because it restricts the behavior expected from the Rectangle class. While a Rectangle can have varying width and height, a Square enforces equal dimensions, leading to unexpected behavior when substituting a Square for a Rectangle in code that assumes the flexibility of the Rectangle's properties.

3. In LSP, what is a behavioral contract?

A written agreement between developers

The set of preconditions, postconditions, and invariants a method must satisfy

A design pattern that enforces encapsulation

A version control system for managing code

In Liskov Substitution Principle (LSP), a behavioral contract refers to the specific conditions that a method must meet to ensure correct behavior when substituting objects. This includes preconditions that must hold before execution, postconditions that must hold after execution, and invariants that remain true throughout the method's execution, ensuring reliable and predictable behavior.

Explanation

In Liskov Substitution Principle (LSP), a behavioral contract refers to the specific conditions that a method must meet to ensure correct behavior when substituting objects. This includes preconditions that must hold before execution, postconditions that must hold after execution, and invariants that remain true throughout the method's execution, ensuring reliable and predictable behavior.

4. A subclass should not _____ the preconditions of a parent class method.

A subclass should not strengthen the preconditions of a parent class method because doing so would limit the applicability of the method. It could lead to unexpected behavior, as the subclass would impose stricter requirements than the parent class, violating the principle of substitutability in object-oriented design.

Explanation

A subclass should not strengthen the preconditions of a parent class method because doing so would limit the applicability of the method. It could lead to unexpected behavior, as the subclass would impose stricter requirements than the parent class, violating the principle of substitutability in object-oriented design.

Submit

5. Which scenario best demonstrates LSP compliance?

A PaymentProcessor subclass that requires additional authentication steps

A DataRepository subclass that implements the same interface contract as its parent

An Employee subclass that removes salary calculation methods from the parent

A Logger subclass that throws exceptions instead of logging

A DataRepository subclass that adheres to the same interface contract as its parent exemplifies Liskov Substitution Principle (LSP) compliance. This principle states that objects of a superclass should be replaceable with objects of a subclass without affecting the program's correctness. By maintaining the same interface, the subclass ensures consistent behavior expected by the client code.

Explanation

A DataRepository subclass that adheres to the same interface contract as its parent exemplifies Liskov Substitution Principle (LSP) compliance. This principle states that objects of a superclass should be replaceable with objects of a subclass without affecting the program's correctness. By maintaining the same interface, the subclass ensures consistent behavior expected by the client code.

6. What is a postcondition violation in the context of LSP?

The subclass guarantees less than the parent class promised

The subclass requires more input parameters

The subclass inherits from multiple classes

The subclass uses private instead of protected members

A postcondition violation occurs when a subclass fails to fulfill the expectations set by its parent class. This means that the subclass does not provide the same level of guarantees or functionality that the parent class promises, leading to potential issues in code reliability and behavior when the subclass is used in place of the parent class.

Explanation

A postcondition violation occurs when a subclass fails to fulfill the expectations set by its parent class. This means that the subclass does not provide the same level of guarantees or functionality that the parent class promises, leading to potential issues in code reliability and behavior when the subclass is used in place of the parent class.

7. A subclass should not weaken the _____ of a parent class method.

A subclass should maintain the integrity of a parent class method's postconditions, which are the conditions that must hold true after the method execution. Weakening these postconditions can lead to unexpected behavior, violating the expectations set by the parent class and potentially causing errors in the overall system functionality.

Explanation

A subclass should maintain the integrity of a parent class method's postconditions, which are the conditions that must hold true after the method execution. Weakening these postconditions can lead to unexpected behavior, violating the expectations set by the parent class and potentially causing errors in the overall system functionality.

Submit

8. How does LSP relate to polymorphism?

It prevents polymorphic behavior

It ensures polymorphic substitution works correctly and safely

It requires all classes to be polymorphic

It is unrelated to polymorphism

Liskov Substitution Principle (LSP) states that objects of a superclass should be replaceable with objects of a subclass without affecting the correctness of the program. This ensures that polymorphic behavior operates safely, allowing subclasses to extend functionality while maintaining expected behavior, thus preserving the integrity of polymorphism in object-oriented design.

Explanation

Liskov Substitution Principle (LSP) states that objects of a superclass should be replaceable with objects of a subclass without affecting the correctness of the program. This ensures that polymorphic behavior operates safely, allowing subclasses to extend functionality while maintaining expected behavior, thus preserving the integrity of polymorphism in object-oriented design.

9. Which of the following is an invariant in LSP?

A property that must remain true before and after method execution

A method that cannot be overridden

A class that cannot be subclassed

A variable that must be private

In the Liskov Substitution Principle (LSP), invariants are conditions that should hold true for a class and its subclasses. This ensures that any derived class can replace its base class without affecting the correctness of the program, meaning certain properties must remain consistent before and after method execution.

Explanation

In the Liskov Substitution Principle (LSP), invariants are conditions that should hold true for a class and its subclasses. This ensures that any derived class can replace its base class without affecting the correctness of the program, meaning certain properties must remain consistent before and after method execution.

10. A Penguin subclass of Bird that cannot fly() violates LSP because:

Penguins don't exist in real life

The subclass weakens the contract that Bird's fly() method should work

Penguins are not properly documented

The class name is too specific

In object-oriented programming, the Liskov Substitution Principle (LSP) states that objects of a superclass should be replaceable with objects of a subclass without affecting the correctness of the program. Since penguins cannot fly, their subclass violates this principle by weakening the expectation that all Bird subclasses should implement the fly() method.

Explanation

In object-oriented programming, the Liskov Substitution Principle (LSP) states that objects of a superclass should be replaceable with objects of a subclass without affecting the correctness of the program. Since penguins cannot fly, their subclass violates this principle by weakening the expectation that all Bird subclasses should implement the fly() method.

11. LSP violations often lead to which type of programming problem?

Increased code size

Runtime exceptions and unexpected behavior

Slower compilation

Higher memory usage

Liskov Substitution Principle (LSP) violations occur when subclasses do not behave as expected when substituted for their parent classes. This can lead to runtime exceptions and unexpected behavior, as the derived class may not fulfill the contract established by the base class, causing errors during program execution when assumptions about object behavior are violated.

Explanation

Liskov Substitution Principle (LSP) violations occur when subclasses do not behave as expected when substituted for their parent classes. This can lead to runtime exceptions and unexpected behavior, as the derived class may not fulfill the contract established by the base class, causing errors during program execution when assumptions about object behavior are violated.

12. A function that accepts a base class parameter should be able to accept any _____ without breaking.

A function designed to accept a base class parameter should also accept any subclass because of polymorphism. This principle allows objects of a subclass to be treated as objects of the base class, ensuring that the function can operate on a wider range of types without compromising functionality or causing errors.

Explanation

A function designed to accept a base class parameter should also accept any subclass because of polymorphism. This principle allows objects of a subclass to be treated as objects of the base class, ensuring that the function can operate on a wider range of types without compromising functionality or causing errors.

Submit