C++通过工厂模式创建栈分配对象的可行性及相关疑问

你给出的工厂实现存在典型的对象切片（Object Slicing）问题，写法完全错误，你关心的两个问题答案均为否定。 #

1. Factory内部的栈对象不会被完整拷贝到main作用域 #

• 你定义的Factory函数返回值是值类型的IInterface基类，而非基类指针或引用。当你return栈上创建的Bus或Car对象时，只会拷贝派生类实例中属于IInterface基类的那部分内存，派生类独有的成员（比如Bus::x、Car::x、派生类对应的虚表条目）会被直接截断丢弃。
• 函数内部定义的Bus/Car栈对象，会在return执行完成、Factory函数退出作用域时立刻析构。你运行现有代码就能观察到：调用Factory(1)时会先打印Bus Created with Value 9，紧接着就会打印Bus Destructed，生命周期根本不会延续到main作用域。
• 最终main里的变量I只是一个纯粹的IInterface基类实例，内存大小、类型信息都和完整的Bus/Car对象无关。

注意：C++的运行时多态只能通过基类的指针或引用触发，值传递/值返回基类对象的场景下必然发生对象切片，完全无法实现多态行为。

2. 无法通过dynamic_cast转换为派生类访问成员 #

dynamic_cast能安全完成向下转型的核心前提，是待转换对象的动态类型和目标派生类匹配。但你代码中main作用域的I动态类型就是IInterface本身，不存在任何派生类的内存布局和类型信息：

• 写dynamic_cast<Bus*>(&I)会直接返回空指针
• 写dynamic_cast<Bus&>(I)会直接抛出std::bad_cast异常
• 强行用C风格强制转换访问派生类成员会触发未定义行为，大概率读到垃圾值或直接崩溃。

传统基于虚函数的运行时多态工厂，通常返回堆上分配的智能指针（比如std::unique_ptr<IInterface>）——因为栈上对象的内存大小必须在编译期确定，不同派生类大小不一致，直接返回基类值必然触发切片。如果一定要实现返回栈分配对象的工厂，有两种成熟可行的方案：

• 编译期静态工厂（零运行时开销）：通过模板参数指定要创建的产品类型，直接返回对应类型的栈对象，不需要依赖基类多态：

template<class TProduct>
TProduct Factory() {
    return TProduct{};
}
// 调用示例：auto car = Factory<Car>(); 得到栈上的完整Car对象

• 基于std::variant的栈上运行时工厂（C++17及以上支持）：在返回值类型中枚举所有可能的产品类型，std::variant会在栈上预留足够容纳所有产品的内存空间，无堆分配、不会触发切片，通过std::visit即可安全访问对象：

#include <variant>
using Product = std::variant<Car, Bus>;

Product Factory(int random = 0) {
    if (random == 1) return Bus{};
    return Car{};
}

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