如何返回 const std::vector？

Question

我有一个以容器（包含指针）作为成员的类：

MyClass{
private:
   std::vector<MyObject*> _VecMyObjs;
public:
   const std::vector<MyObject* const> GetVecMyObj();
}

现在我尝试实现 GetVecMyObj()。这是我想到的......

const vector<MyObject *const> ACI_CALL MyClass::GetVecMyObjs()
{
   const vector<MyObject *const> VecMyObjs;
   VecMyObjs.assign( _VecMyObjs.begin(), _VecMyObjs.end());
   return VecMyObjs;
}

但是编译器当然警告我，我在 const 对象上使用了分配函数。有更好的方法吗？我的意思是，我当然不希望 VecMyObjs 在类之外更改 VecMyObj。如何在没有编译器警告的情况下实现这一目标？

编辑： 好的。谢谢大家。现在是这样的：

const vector<MyObject *const> ACI_CALL MyClass::GetVecMyObjs()
{
   const vector<MyObject *const> VecMyObjs;
   VecMyObjs.assign( _VecMyObjs.begin(), _VecMyObjs.end());
   return VecMyObjs;
}

但是，我无法绕过分配函数，对吧？例如，如果我希望“一切”保持不变，则铸造“原始”是行不通的。

Answer 1

我不确定 std::vector （常量指针向量）是否真的是您想要的：我相信您的意思是 std::vector （指向常量对象的指针向量）。

1. 常量的“第一级”（指针常量）自然是通过返回向量上的常量引用来实现的。只有 const_iterator 可以从 const 向量中获取，因此您可以保证指针不会被修改（但pointees可以）。

2. “第二级”常量（pointee常量）更难获得。要么返回一个新的向量实例，正如其他人已经指出的那样：

   return std::vector(_VecMyObjs.begin(), _VecMyObjs.end());
   

   或者，如果适用，请尝试查看 Boost Pointer Container 库（最值得注意的是 ptr_vector ）它提供了正确的常量传播等功能：

   <块引用>

   传播常量，使得
   无法通过a修改对象
   常量迭代器。

您必须了解，返回向量上的 const 引用可以保证它不能被修改（不能插入、删除或修改其值）。因此，在大多数情况下，返回 const std::vector& 是正确的方法，因为 if 不涉及任何复制。这里的问题实际上是指针容器特有的，其中值的常量性并不提供被指针的常量性。

Answer 2

如果您想返回一个新的向量，请勿将其设置为const。将 const 关键字放在 * 之前。

std::vector<MyObject const*> MyClass::GetVecMyObj()
{
    return std::vector<MyObject const*>(_VecMyObjs.begin(), _VecMyObjs.end());
}

我省略了到 TRoadSgmt 的转换，因为您没有指定此类的继承。

Answer 3

假设非常量指针的向量在整个生命周期中驻留在某个地方，您将使用 const 版本，因此您不需要副本，并且如果有很多指针，则您不想复制向量，你最好返回某种定制的包装对象，只为用户提供 const 访问权限。

向量的第一个元素的地址将是 T** 并且您不能将其转换为 const T** （正确），也不能将其转换为 const T*const * （这将是安全的，但语言不允许）。

如果您被允许转换后者，那么它将非常适合创建只读视图。

Answer 4

除了更改签名以从向量中删除const（因为它是向量的副本）之外，我假设您不希望外部的人修改结果，内容生成一个 const 指针，即

vector<const MyObject *> ACI_CALL MyClass::GetVecMyObjs()
{
   return vector<const MyObject *>(_VecMyObjs.begin(), _VecMyObjs.end());
}

现在返回的向量是一个副本，其中包含 const 指针（这意味着您无法通过此指针修改指向的对象） - 好吧，那就是根据协议，没有什么可以阻止某人通过 const_cast 删除它（无论如何使用它都是 UB！）

如果您确实想防止修改，请在向量中返回一个副本（或每个对象的克隆）。

Answer 5

const vector<const MyObject *> MyClass::GetVecMyObjs() const
{
   return vector<const MyObject *>(_VecMyObjs.begin(), _VecMyObjs.end());
}

这对我来说似乎是解决方案。感谢我收到的所有不同的帖子，我现在可以知道了。
谢谢大家！祝你过得愉快...
（或者如果我仍然在某个地方错了，请告诉我。）