Liskov thay nguyên tắc - phương pháp trọng dụ

Question

phép nói rằng chúng tôi có điều này các lớp học thực sự tầm thường:

class A 
{ 
    virtual int Function(int number) 
    { 
     return number; 
    } 
} 

class B : A 
{ 
    override int Function(int number) 
    { 
     return number + 1; 
    } 
} 

class UseExample 
{ 
    void Foo(A obj) 
    { 
     A.Function(1); 
    } 
} 

Sẽ là ví dụ này vi phạm các LSP ?. Nếu vậy, bạn có thể cho tôi một ví dụ không phá vỡ nguyên tắc và sử dụng một triển khai khác không?

gì về điều này một:

class B : A 
{ 
    int variable; 

    override int Function(int number) 
    { 
     return number + variable; 
    } 
} 

Theo như tôi hiểu việc sử dụng các biến "biến" gây ra một điều kiện tiên quyết mạnh mẽ hơn và do đó nó vi phạm các LSP. Nhưng tôi không hoàn toàn chắc chắn làm thế nào để làm theo LSP khi sử dụng Đa hình.

Answer 1

Đó là hợp lệ, trong cả hai trường hợp không phá vỡ nguyên tắc. B có thể được thay thế cho A. Nó chỉ có chức năng khác nhau.

một cách đơn giản để phá vỡ hợp đồng sẽ được ném một ngoại lệ trong Bs ghi đè nếu số == 23 hoặc một cái gì đó :)

Answer 2

Từ sự hiểu biết của tôi về nó, tôi sẽ nói rằng cả hai ví dụ của bạn vi phạm LSP như subclass không thể được thay thế bởi superclass của nó. Hãy xem xét những điều sau:

class UseExample { 
    void Foo(A& obj, int number) { 
     int retNumber = obj.Function(number); 
     assert(retNumber==number); 
    } 
} 

Nếu bạn chuyển một tham chiếu đến đối tượng B vào Foo, xác nhận sẽ không thành công. B.Function đang thay đổi poscondition của A.Function. Mã khách hàng Foo không cần phải biết về các kiểu con có thể phá vỡ mã của chúng.