多态的核心是“什么时候必须用”，即当一组对象行为不同但调用方式需统一时（如FileLogger、DbLogger等共用Log方法）才必须使用；否则易因未标记virtual/abstract、访问修饰符缺失或签名不一致导致多态失效。
多态的核心不是“怎么写”，是“什么时候必须用”
多态在 C# 里不是炫技手段，而是当你有一组对象，它们行为不同但调用方式要统一时的刚需。比如日志记录器：FileLogger、DbLogger、ConsoleLogger 都该有 Log(string message)，但具体怎么存，由各自决定——这时你就绕不开多态。
常见错误现象：new 出来子类对象却用父类变量接收，但没声明虚方法或没重写，结果调的还是父类空实现；或者接口方法写了 public void DoWork()，却忘了在实现类里加 public（C# 要求显式访问修饰符），编译直接报错：'DoWork' in explicit interface implementation must have a public access modifier。
- 必须用
virtual标记父类方法，子类才能用override；abstract更狠，强制子类实现 - 接口方法默认就是
public，实现类里必须写public，不能省略 - 如果父类方法没标
virtual或abstract，子类用new是隐藏而非重写，多态失效
interface vs abstract class：选哪个不看概念，看约束力
接口适合定义“能做什么”，抽象类适合定义“是什么+能做什么”。比如你有一堆设备：Printer、Scanner、Camera，都支持 PowerOn() 和 GetStatus()，但启动逻辑完全不同——用 IHardware 接口最干净；但如果所有设备共用一个序列号生成规则和固件版本字段，那就得上 abstract class HardwareBase。
性能影响几乎可忽略，但兼容性要注意：.NET 8 开始支持接口默认实现（default interface methods），但老项目若跑在 .NET Framework 4.8 或早期 .NET Core 上，接口里写实现体就编译不过。
- 接口不能有字段、构造函数、非 public 成员；抽象类可以
- 一个类只能继承一个抽象类，但能实现多个接口
- 如果未来可能要加新方法且不想改所有实现类，接口 + 默认实现比抽象类更安全（只要新方法有默认体）
override 的三个硬条件缺一不可
写 override 不是光把父类方法抄一遍就行，C# 编译器会严格校验三件事：签名一致、可访问性不降级、基类方法确实标记了 virtual / abstract / override。漏一个就报错，比如：'Child.Log()' cannot override inherited member 'Parent.Log()' because it is not marked virtual, abstract, or override。
容易踩的坑：重写 ToString() 或 Equals(object) 时，忘了父类方法是 virtual（它们确实是），但自己写成了 public string ToString(string format) —— 签名变了，变成重载，不是重写，多态调不到。
- 参数类型、数量、顺序必须和基类方法完全一致（包括
ref/out） - 返回类型必须相同（协变只适用于引用类型，且仅限于某些泛型接口，别乱试）
- 不能改
virtual方法的sealed状态：父类用sealed override，子类就再也不能重写了
多态失效的典型现场：var、new、静态类型
你以为用了多态，其实只是表面像。比如：var logger = new FileLogger(); logger.Log("test"); —— 这里 logger 的静态类型是 FileLogger，根本没走多态，哪怕你把它赋给 ILogger 变量才真正启用多态调度。
另一个高频翻车点：反射创建对象后直接调用，没转成接口或基类引用。例如：Activator.CreateInstance(typeof(FileLogger)).Log("test") 会报错，因为返回的是 object，而 object 没有 Log 方法。
-
var推导的是实际类型，不是接口/基类类型 - 用
new创建子类实例时，务必显式转型：(ILogger)new FileLogger()或直接声明为接口类型：ILogger logger = new FileLogger(); - 泛型方法里如果只约束
T : class，但没约束T : ILogger，那T实例也无法调用Log
多态真正的复杂点不在语法，而在设计初期就要想清楚：哪些行为必须统一入口，哪些状态必须共享，哪些扩展必须零修改原代码。一旦在基类里塞了具体实现又没留钩子，后面加新子类就只能复制粘贴或用 if-else 判断类型——那多态就彻底退化成 if 多态了。
