含虚成员函数的对象是否应始终在堆上实例化，工厂函数需返回智能指针？

答案是否定的——没有必要“始终”这么做，最佳实践取决于对象的生命周期和使用场景。

先明确你提到的三种指针选项的适用场景：

• 选项1（栈对象+基类裸指针）：完全合理，甚至在很多场景下是最优选择。当对象的生命周期被当前作用域（或包含它的对象）完全控制，且不需要将这个多态对象传递到作用域外时，栈分配的开销远低于堆分配，而且不需要手动或智能指针管理内存。比如在函数内创建一个D对象，用B*指向它完成局部多态操作，函数结束后对象自动销毁，完全没有问题，虚函数的作用也能正常发挥。
• 选项2（堆对象+基类裸指针）：确实不推荐。裸指针无法自动管理堆对象的生命周期，一旦出现异常或代码路径遗漏delete，就会导致内存泄漏，风险极高。
• 选项3（堆对象+基类智能指针）：这是需要跨作用域传递多态对象时的首选方案。unique_ptr可以明确所有权转移，shared_ptr适用于需要共享所有权的场景，两者都能自动管理对象生命周期，避免内存泄漏。

为什么不能“始终”堆实例化+返回智能指针？ #

1. 不必要的性能开销：栈分配是直接在栈帧上分配内存，速度远快于堆分配；智能指针也会带来额外的内存开销（比如shared_ptr的引用计数）和运行时开销。对于小型对象、生命周期明确的场景，堆分配+智能指针纯属冗余。
2. 灵活性受限：如果多态对象的生命周期和某个容器对象完全绑定，直接将其作为容器的栈成员嵌入（而非智能指针成员）会更简单高效。比如一个Manager类需要持有一个D对象并通过B接口操作它，直接在Manager里声明D d;，再用B* ptr = &d;做局部多态，比用std::unique_ptr<B>成员更简洁，也避免了堆分配的开销。
3. 过度设计风险：强行统一用堆实例化+智能指针，会让简单场景变得复杂，增加代码的维护成本。

总结实用原则 #

• 优先栈分配+非拥有式裸指针：当对象生命周期被当前作用域/容器对象完全控制，且不需要跨作用域传递时，这是最高效简洁的方案。
• 用智能指针（优先unique_ptr）：当需要跨作用域传递多态对象，或对象生命周期需要动态管理时，工厂函数返回智能指针是良好实践。
• 绝对避免堆对象+拥有式裸指针：除非你在写极其底层的代码，且能100%保证手动内存管理的安全性（不推荐）。

内容的提问来源于stack exchange，提问作者Quappas