C++ 编写模板函数将variant类对象存入vector及编译问题解决

当前代码中的模板函数存在两个核心问题，直接触发了C2664编译错误，同时会导致逻辑失效：

• 模板函数的第一个参数T1 v采用值传递接收目标vector：函数内部拿到的是原vector的独立临时拷贝，哪怕追加元素的逻辑能正常运行，修改的也只是这个临时副本，完全不会影响调用时传入的v3；且vector存储的是不可拷贝的std::unique_ptr，按值传参本身就会触发拷贝构造失败。
• 函数内部调用v.emplace_back(line_or_circle)时未做右值转换：line_or_circle作为函数局部参数是左值，而std::unique_ptr已经删除了拷贝构造，仅支持通过右值触发转移构造。当匹配构造函数失败时，编译器会把可接受std::nullptr_t的重载构造函数列为候选，最终抛出“参数无法转换为nullptr_t类型”的错误提示。

基础修正版（适配现有传参逻辑） #

针对当前已经手动构造unique_ptr的使用场景，调整模板函数的参数传递逻辑即可正常运行：

// T1: 基类类型（这里是segment），T2: 派生类类型（Line/circle）
template<typename T1, typename T2>
void add_segment(std::vector<std::unique_ptr<T1>>& target_vec, std::unique_ptr<T2>&& elem)
{
    // 对传入的智能指针做转移，触发unique_ptr的转移构造
    target_vec.emplace_back(std::move(elem));
}

修正后原main函数中的调用可以正常编译：

std::vector<std::unique_ptr<segment>> v3;
auto myLine2 = std::make_unique<Line>(start, end);
add_segment(v3, std::move(myLine2)); // 正常将Line对象追加到v3中

优化版（适配后续文件驱动场景） #

考虑到后续需要从配置文件动态解析元素类型与参数，无需每次手动调用make_unique构造临时对象，可以实现支持完美转发的通用版本，直接传递派生类的构造参数即可完成元素追加：

template<typename BaseT, typename DerivedT, typename... Args>
void add_segment(std::vector<std::unique_ptr<BaseT>>& target_vec, Args&&... args)
{
    // 就地构造派生类实例，通过完美转发传递所有构造参数
    target_vec.push_back(std::make_unique<DerivedT>(std::forward<Args>(args)...));
}

这个版本的调用方式更简洁，也更适配配置文件解析的流程：

std::vector<std::unique_ptr<segment>> v3;
// 直接传递Line的构造参数，无需手动创建临时智能指针
add_segment<segment, Line>(v3, start, end);
// 直接传递circle的构造参数
add_segment<segment, circle>(v3, 9.0, c);

• 不要尝试为标准库的vector添加自定义成员方法，可单独封装SegmentContainer类，内部持有目标vector的成员变量，将add_segment、序列化、反序列化的逻辑收拢到这个类中，更易维护。
• 注意std::unique_ptr的转移语义：一旦元素被move进vector，原临时智能指针会变为空值，不可再访问。

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