post-conditions

7Nhiệt

5Trả lời

Không thể làm suy yếu điều kiện tiên quyết và tăng cường điều kiện cũng vi phạm Nguyên tắc thay thế Liskov?

điều kiện tiên quyết thực tế của một subtype được tạo ra bằng cách kết hợp (sử dụng logic OR) điều kiện tiên quyết của một loại cơ sở và điều kiện tiên quyết của một subtype, mà làm điều kiện tiên quy

inheritance lsp preconditions post-conditions 2013-05-08

---