C++中如何直接传递派生类指针向量为函数参数？及方案合理性疑问

当前方案的核心问题 #

首先得明确，你这套Wrapper方案存在致命的悬垂指针问题，比拷贝问题严重得多：

• Wrapper是临时对象，std::vector<Base*>构造完成后，这些Wrapper临时对象就会被销毁，而你存在vector里的&element是指向Wrapper内部栈上Derived对象的指针，Wrapper一销毁，这些指针就成了野指针，后续访问必然触发未定义行为。
• 至于你担心的拷贝：Wrapper构造时确实会拷贝一次Derived对象（element(number)是拷贝构造），但这根本不是当前方案的首要问题，悬垂指针才是必须解决的致命缺陷。

更优实现方案 #

针对你“一行代码传递、无需预先声明vector”的需求，分两种场景给出可行方案：

场景1：需要长期持有对象指针（推荐，无悬垂风险） #

如果Foo需要保留这些对象的指针，或者想彻底避免悬垂指针问题，用智能指针是最优解，直接通过初始化列表就能一行完成传递：

#include <memory>
#include <vector>

class Base 
{
public:
    virtual ~Base() = default; // 基类必须加虚析构，否则智能指针无法正确销毁派生类对象
};

class Derived1 : public Base 
{
public:
    Derived1(int number){}
};

class Derived2 : public Base 
{
public:
    Derived2(const char* string){}
};

void Foo(const std::vector<std::unique_ptr<Base>>& list)
{
    // 在这里处理对象
}

int main()
{
    Foo({std::make_unique<Derived1>(1), std::make_unique<Derived2>("name")});
    return 0;
}

• 优点：完全规避悬垂指针，智能指针自动管理内存，不用手动释放；一行代码搞定，符合你的需求；没有多余拷贝（std::make_unique直接在堆上构造对象，无拷贝操作）。

场景2：仅在Foo调用期间使用指针（栈对象，无动态分配） #

如果Foo只是在函数执行过程中使用这些指针，不需要长期持有，那可以利用C++临时对象的生命周期（临时对象会在整个表达式执行完再销毁，包括Foo的整个调用过程），直接传临时对象的地址：

#include <vector>

class Base 
{
public:
    virtual ~Base() = default;
};

class Derived1 : public Base 
{
public:
    Derived1(int number){}
};

class Derived2 : public Base 
{
public:
    Derived2(const char* string){}
};

// 换成initializer_list参数更高效，避免额外构造vector
void Foo(std::initializer_list<const Base*> list)
{
    // 处理对象，但绝对不能把list里的指针保存到函数外部
}

int main()
{
    Foo({&Derived1(1), &Derived2("name")});
    return 0;
}

• 注意：如果一定要用vector<Base*>作为参数，也可以写成Foo(std::vector<Base*>{&Derived1(1), &Derived2("name")})，但必须保证Foo不会把这些指针保存到外部——临时对象在Foo返回后就会销毁，指针直接变成野指针。
• 优点：无动态分配，性能更高；一行代码完成传递；没有多余拷贝（临时对象直接构造，无拷贝操作）。

总结 #

你的Wrapper方案不可行，核心问题是悬垂指针。根据实际需求选择上面两种方案，既能满足“一行代码传递”的要求，又能避免未定义行为。

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