c++ - 将智能指针所有权转移到容器

Question

我的数据结构通常通过 std::unique_ptr 管理，例如 AST 中的表达式。

struct BinExpr {
 std::unique_ptr<Expr> left;    // Left owns the expression
 std::unique_ptr<Expr> right;   // Right owns the expression
};

在大多数情况下效果很好。

但有时我没有固定数量的表达式可以拥有，例如在列表中

struct ListExpr {
  std::vector<std::unique_ptr<Expr>> exprs; // Exprs owns pointers which each own an expression 
};

但我不喜欢通过 vector 中的智能指针这种额外的间接寻址，我认为它没有表达我想要的语义。
我认为 vector 应该拥有表达式，而不是智能指针拥有表达式。

但我有一个问题，表达式总是在智能指针(或至少作为原始指针)中创建:

std::unique_ptr<Expr> parse_expr() { ... }

有没有一种优雅的方式可以从 parse_expr 转移所有权？调用(类型为 std::unique_ptr<Expr> 到 std::vector<Expr> ？当然，在执行此操作时不得复制 Expr。有点像

std::vector<Expr> exprs;
exprs.push_back(move_from_ptr_to_vec(parse_expr()));

所以基本上，目前我是这样使用它们的

std::vector<std::unique_ptr<Expr>> exprs;
exprs.push_back(std::move(parse_expr()));
return std::unique_ptr<ListExpr>(exprs);   // List has a std::vector<std::unique_ptr<Expr>>

但我想要这样

std::vector<Expr> exprs;
exprs.push_back(parse_expr());
return std::unique_ptr<ListExpr>(exprs);   // List has a std::vector<Expr>

Answer 1

std::vector<Expr> exprs;
exprs.push_back(parse_expr());

不起作用，因为 parse_expr()返回一个智能指针。您必须通过指针间接获取指向的对象:

exprs.push_back(*parse_expr());

Expr must not be copied while doing so.

然后移动，假设没问题:

exprs.push_back(std::move(*parse_expr()));

---

但是，首先要考虑为什么它们的表达式是动态分配的。据推测，它们是指向多态基础子对象的指针。在这种情况下，从基移出可能对您没有用，基对象数组的整个概念可能是错误的。

Expr can be a base class

在这种情况下 std::vector<std::unique_ptr<Expr>>正是您所需要的。