C#代码示范里氏代换原则

在C#中，里氏替换原则（Liskov Substitution Principle，简称LSP）是面向对象设计的一个重要原则，它指出子类必须能够替换掉它们的基类而不会影响程序的正确运行。换句话说，如果你有一个基类类型的引用，并且期待它可以调用某种行为，那么无论这个引用实际指向的是基类还是它的某个子类，这种行为都应该有效。

下面是一个简单的示例：

// 假设我们有一个Animal基类
public abstract class Animal
{
    public virtual void Speak()
    {
        Console.WriteLine("动物叫声");
    }
}

// 子类Dog继承Animal并重写Speak方法
public class Dog : Animal
{
    public override void Speak()
    {
        Console.WriteLine("汪汪");
    }
}

// 使用Animal类型的地方
public void AnimalTalk(Animal animal)
{
    animal.Speak(); // 这里期望Speak方法的行为是通用的
}

// 调用
AnimalTalk(new Dog()); // 输出"汪汪"
AnimalTalk(new Animal()); // 输出"动物叫声"，因为默认调用基类的Speak方法

在这个例子中，`Dog`可以替换`Animal`而不引起预期之外的问题，这就是里氏替换原则的体现。