应将继承改为组合，即Dog类内含Animal成员变量并手动暴露必要接口，同时显式处理构造、析构、拷贝、移动及资源生命周期；典型信号是调用方频繁dynamic_cast或容器中多数操作需downcast，表明建模错误——Dog不是Animal的一种，只是使用其部分行为。
直接改：把 class Dog : public Animal 换成 Dog 里加一个 Animal 类型的成员变量，再手动暴露需要的功能接口——但不能只改语法，否则会漏掉构造、析构、拷贝、移动、资源生命周期这些隐性依赖点。
先确认是不是真该改成组合
继承错用的典型信号不是“编译不过”，而是“调用方总得知道它是啥”。比如你写 void feed(Animal& a)，结果每次都要 dynamic_cast<Dog*>(&a) 才敢喂狗粮；或者 std::vector<std::unique_ptr<Animal>> 里塞进去的对象，90% 的操作都得 downcast 到具体子类才能干活。这时候不是多态没写好，是建模错了——Dog 不是 Animal 的一种，只是“用到了 Animal 的某些行为或数据”。
常见误用场景包括：
- 基类里塞了大量仅被某几个子类用到的字段（比如
Animal::teatCount只对哺乳类有意义） - 子类重写了大部分虚函数，只剩一两个留着“为了能塞进容器”
- 你不得不在子类里加
static_assert(std::is_base_of_v<Animal, Dog>)来堵编译器警告
改组合时怎么处理构造与初始化
继承下子类自动调父类构造，组合后这个链断了，必须显式接管。最容易出错的是参数传递不匹配和默认值丢失。
立即学习“C++免费学习笔记（深入）”；
实操建议：
- 如果原
Animal有带参构造（比如Animal(std::string name, int age)），新Dog构造函数必须在初始化列表中显式调用：Dog(std::string n, int a) : animal_(n, a) { } - 若
Animal构造函数参数有默认值（如Animal(std::string n = "unknown")），组合后这些默认值不会自动继承，得在Dog构造函数签名里重新声明 - 避免裸指针持有
Animal；优先用std::unique_ptr<Animal>或直接值语义（Animal animal_），除非你需要运行时多态切换实现
接口转发别硬抄，按需裁剪
继承时子类自动获得所有 public 成员，组合后你要决定“哪些该透出、哪些该屏蔽、哪些该改名”。盲目写一堆 auto bark() { return animal_.makeSound(); } 只会让接口膨胀且语义混乱。
关键判断点：
- 只转发真正属于“
Dog对外承诺的行为”，比如fetch()或bark()；别把Animal::getSpecies()直接搬过来，Dog自己就能返回"Canis lupus familiaris" - 如果原基类有虚函数但子类从不 override，组合后直接删掉对应转发——说明那根本不是
Dog的契约 - 涉及资源管理的函数（如
open()/close()）要检查是否需要加锁或状态校验，组合后不再有虚表调度保护
析构、拷贝、移动这些隐性契约最容易崩
继承时编译器自动生成的特殊成员函数会自动调用基类版本；组合后全靠你手写，漏一个就可能内存泄漏或 double-free。
必须检查的点：
- 如果
Animal有虚析构，组合后Dog的析构函数不需要加virtual，但要确保animal_被正确销毁（值语义下自动完成，指针下需手动delete或交由智能指针） - 若
Animal不可拷贝（比如含std::mutex），Dog也得显式删除拷贝构造/赋值；别依赖编译器默认生成的版本 - 移动语义容易被忽略：若
Animal支持移动，Dog的移动构造函数里记得用std::move(animal_)转移，而不是复制
最常被跳过的一步是测试所有权转移边界：把 Dog 对象 move 进容器、再 move 出来，看 animal_ 是否仍有效——这里出问题往往不报错，只在后续访问时崩溃。
