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 
};

但是我不喜欢通过向量中的智能指针进行这种附加的间接访问，并且我认为它不能表达我想要的语义。
我认为向量应该拥有表达式，而不是拥有表达式的智能指针。

但是我有一个问题，就是总是在智能指针中创建表达式（或者至少在原始指针中创建）：

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不得在复制时进行复制。

然后继续前进，假设一切正常：

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

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

Expr可以是基类

在这种情况下，您需要std::vector<std::unique_ptr<Expr>>。

Answer 2

简而言之，假设您的Expr是多态的，甚至是抽象的基类：否。 std::vector适用于具体类型，如果在其中存储普通指针，则将立即遵循n，n> 3的规则。您需要手动delete Expr s，目前std::unique_ptr为您服务。而且，制作一个自动化程度更高的抽象类型的容器几乎不值得付出任何努力。

顺便说一句，std::unique_ptr不拥有任何东西。它的主要目的之一是让类拥有自己的成员，由于某种原因，这些成员不能立即按值保留；作为一个抽象的基础是这种原因的合理实例。记住：您拥有自己的对象，而不是指针；这样做的目的是使您摆脱不必要的对象基础管理负担。

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

2 个答案: