如何将unique_ptr<Apple>移入vector<unique_ptr<Fruit>>？C++技术问询

报错原因 #

你判断的完全正确——核心问题就是无法将unique_ptr<VariantMemberType>直接转换为unique_ptr<VariantType>。

Fruit是variant<Apple, Tomato>的别名，它和Apple是完全独立的类型，不存在继承关系。unique_ptr<Apple>指向的是Apple对象，而unique_ptr<Fruit>需要指向variant<Apple, Tomato>对象，这两种指针指向的是不同的内存布局和类型，C++不允许这种跨类型的指针转换，所以你的代码会编译失败。

正确实现方式 #

要解决这个问题，你需要先将Apple对象放入variant<Apple, Tomato>中，再把这个variant对象交给unique_ptr<Fruit>管理，具体有两种常见写法：

方式1：从已有的unique_ptr<Apple>转移对象到variant #

#include <variant>
#include <memory>
#include <vector>

using namespace std;

struct Apple {};
struct Tomato {};

using Fruit = variant<Apple, Tomato>;

int main() {
    vector<unique_ptr<Fruit>> fruits;
    unique_ptr<Apple> apple = make_unique<Apple>();
    
    // 将Apple对象移动到variant中，再包装为unique_ptr<Fruit>
    fruits.push_back(make_unique<Fruit>(move(*apple)));
    // 注意：此时apple指针已变为空，因为*apple的所有权已经转移到variant里
}

方式2：直接构造包含Apple的variant（更简洁） #

如果不需要提前创建unique_ptr<Apple>，可以直接构造包含Apple的variant并包装：

#include <variant>
#include <memory>
#include <vector>

using namespace std;

struct Apple {};
struct Tomato {};

using Fruit = variant<Apple, Tomato>;

int main() {
    vector<unique_ptr<Fruit>> fruits;
    
    // 直接构造Apple并放入variant
    fruits.emplace_back(make_unique<Fruit>(Apple{}));
    
    // 或者用in_place_index明确指定构造variant的第0个类型（Apple），避免类型推导歧义
    fruits.emplace_back(make_unique<Fruit>(in_place_index<0>));
}

关键逻辑说明 #

unique_ptr管理的是对象的所有权，而variant是一个能容纳多种类型的容器。你需要把Apple对象放入variant中，而不是试图转换指针类型——因为指针本身指向的对象类型必须和unique_ptr的模板参数完全匹配，除非是基类到派生类的向上转型（但这里不存在继承关系）。

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