C++里氏替换原则是什么

Liskov替换原则（Liskov Substitution Principle，LSP）是面向对象编程中的一个原则，它是由Barbara Liskov提出的。该原则是指如果S是T的子类型，那么在所有T类型的程序中，用S类型的对象替换T类型的对象，程序的行为不应该发生变化。

换句话说，子类对象应该能够替代父类对象，并且能够在不破坏原有程序结构的情况下进行扩展。这意味着，子类应该能够实现父类的所有方法，并且方法的行为与父类一致，不得修改原有的行为，也不得抛出新的异常。如果子类需要修改或扩展父类的方法，应该通过重写父类的方法来实现。

LSP的目的是保证程序的健壮性和可扩展性，使得程序的代码能够更加灵活地应对需求变化，并且能够更好地复用父类的代码。遵守LSP可以提高代码的可维护性和可扩展性，并且能够更好地支持多态性。