里氏替换原则是面向对象编程中的一个基本概念，确保派生类可以替代其基类使用，而不会改变程序的正确性。
The Liskov Substitution Principle is a fundamental concept in object-oriented programming, ensuring that derived classes can be used in place of their base classes without altering the correctness of the program.
