PHP多态靠接口/抽象类+类型声明+运行时动态绑定实现；type-hint校验对象是否属该类型，通过后自动调用实际类中方法，无需if判断，是Zend Engine原生支持机制。
PHP 实现多态不靠魔法，靠的是接口或抽象类 + 类型声明 + 运行时动态绑定。只要类型约束写对、方法签名一致、子类真正实现了对应行为，调用时自然走子类逻辑——不是“模拟”，是 PHP 引擎原生支持的机制。
为什么 type-hint 写 Animal 却能调用 Dog::makeSound()
因为 PHP 的类型提示（type hint）在运行时只校验对象是否“属于该类型”：即是否实现该接口、或是否是该抽象类/类的实例（含继承链）。它不关心你 new 的是哪个具体类，只看能不能过类型检查。
- 接口类型提示（如
function foo(Animal $a)）要求传入对象必须implements Animal - 抽象类类型提示（如
function bar(OrderProcessor $p)）要求传入对象必须是该抽象类的子类实例 - 如果传入对象不满足，PHP 会直接抛出
Fatal error: Argument 1 passed to foo() must be an instance of Animal - 一旦通过检查，
$a->makeSound()就会调用该对象实际所属类中定义的版本，无需if判断
implements 和 extends 在多态中的分工差异
接口更适合定义“能做什么”，抽象类更适合定义“是什么 + 基础共性”。选错会影响扩展性和语义清晰度。
- 用
interface PaymentMethod：强调“所有支付方式都必须提供pay()”，但不规定怎么存日志、怎么验签——适合异构系统集成（支付宝、微信、银联底层完全不同） - 用
abstract class NotificationChannel：可预置protected function log($msg)或final public function send(...)封装模板逻辑，子类只专注doSend()——适合同源服务变体（如不同邮件服务商的 SMTP 封装） - 别让一个类既
extends又implements太多东西；PHP 不支持多继承，但一个类可以implements多个接口，这是解耦关键 - 接口不能有属性，抽象类可以有 protected 属性供子类复用——比如
abstract class DiscountStrategy { protected $config; }
工厂返回对象后，为什么 IDE 还报 “Call to undefined method”？
这是静态分析局限导致的误报，不是运行时错误。IDE（如 PhpStorm）依赖代码字面量推断类型，而工厂函数返回值往往是动态的，它看不到 getPaymentMethod($code) 实际返回的是 Alipay 还是 WeChatPay。
立即学习“PHP免费学习笔记（深入）”；
- 解决办法一：在工厂函数返回处加 PHPDoc 注释，例如
/** @return Alipay|WeChatPay|UnionPay */ - 解决办法二：用
@var注释变量，例如/** @var PaymentMethod $method */ $method = getPaymentMethod($code); - 解决办法三：启用 PHPStan 或 Psalm 并配置 stubs，它们比 IDE 更懂运行时类型流动
- 注意：不要为绕过 IDE 报错而把参数类型改成
object或去掉 type hint——这等于放弃多态最核心的安全保障
多态失效的典型现场：方法名拼错、可见性不对、没加 public
看似写了多态结构，但运行时还是走父类逻辑或直接报错，90% 是这几个低级但难察觉的问题。
- 子类方法名和父类声明不完全一致：比如接口写
send(string $to, string $body)，子类写成sendMsg()或send(string $to, string $content)（参数名不同不影响，但参数数量/类型必须匹配） - 子类方法不是
public：PHP 多态要求重写方法的可见性 ≥ 父类声明（接口方法默认 public，抽象方法也默认 public），若子类写protected function pay()，调用时会报Fatal error: Call to protected method - 忘了在子类里写
implements X或extends Y：类定义看起来像实现，但没显式声明继承关系，PHP 就当它是独立类 - 使用了
self::而非$this->：在抽象类里用self::doSomething()会固定调用当前类的方法，破坏多态；应统一用$this->doSomething()
真正容易被忽略的，是类型约束和运行时行为之间的“信任间隙”：你写了 NotificationService $svc，就默认它一定实现了完整契约；但若某个新写的 SmsService 忘了实现 isAvailable(): bool，而调度器又恰好调用了这个方法——错误直到上线发短信失败才暴露。所以，接口要小而专，测试要覆盖所有实现类，别只测 happy path。
