C++，返回对 std::set 项的 const 和非 const 引用

Question

类 A 包含两个重载方法 getItems();

typedef std::vector <int> TItems;

template <typename T>
class A 
{
private:
    T a;
    TItems items;

public:
    A(){}
    A ( const T a_, const TItems & items_) : a(a_) , items (items_) {}
    bool operator () ( const A <T> &aa ) {return a < aa.a;}
    TItems const & getItems() const {return items}
    TItems & getItems() {return items}
};

和 A 对象集

template <typename T>
struct TSet {typedef std::set <A <T> > Type;};

我想返回 const 引用/对 TItems 的引用，但只有第二种方法有效，

int main ()
{
TSet <double> ::Type t;
TSet <double> ::Type::iterator it = t.begin();
t.insert (A <double>( 5, TItems(10,10)));

const TItems *items = &(it->getItems()); //OK
TItems *items = &(it->getItems()); //Error  
}

Error   1   error C2440: 'initializing' : cannot convert from 'const TItems *' to 'TItems *

这是否是非常量引用能够修改 A 对象导致该集潜在重新排列的原因？但集合中的项目不是按 A.items 排列的，而是按 a.items 排列的。

有没有办法使用非常量引用来修改 A.items？

Answer 1

这是否是非常量引用能够修改 A 对象导致集合潜在重新排列的原因？

确切地。 std::set 的元素（以及顺便说一句 std::map 的键）是不可变的，该结构只会为您提供 const 限定的元素。 您可以选择

• 将结构更改为 std::map 并将您的 a 作为键，将 items 作为数据
• 因此，如果您完全确定， 不会通过 items 操作来破坏排序，您可以 const_cast （或者声明 items mutable 如果适合的话你）。

Answer 2

如果允许更改集合元素，则可能会破坏实现集合的结构的不变量（例如平衡搜索树）。因此，集合的元素必须是不可变的。因此，如果要修改某个元素，则必须删除某个元素并用新元素替换它。特别是，您不能期望通过迭代器来设置非常量引用（如果您可以修改它，则可能会破坏顺序）。
。

Answer 3

您无法更改存储在 std::set 中的对象，因为这会破坏集合不变量。相反，您可以从集合中删除该对象，然后修改它并再次插入。

另一种可能性是使用 std::map 代替。映射的键不能修改，但值可以。