通过迭代器检查某些内容是否已更改的方法

Question

我已经实现了稀疏矩阵的列表列表，并且成功实现了迭代器和 const_iterator。

迭代器并不直接指向存储值的容器，而是创建一个结构体，命名为元素，如此定义：

template <typename T>
struct element{
 int i,j; //Coordinates
 T value;
};

但是迭代器有一个问题：当我使用它来编辑结构体中的值时，这甚至应该影响基质的内部结构。 我想将原始值存储在迭代器的其他私有属性中，然后将它们与存储到结构中的数据进行比较：如果有什么不同，我会调用矩阵的方法来编辑真正的内部结构。

我唯一想念的是：什么时候是在迭代器类中调用此方法的合适时机？

Answer 1

简而言之，您应该在分配 *it 后立即调用此函数，其中 it 是一个迭代器。

我认为你没有正确的方法。 C++ 中的迭代器无法真正缓存更改，因为可能有其他迭代器指向容器中的同一位置。通过迭代器所做的更改应立即影响矩阵，并且矩阵中的更改应通过迭代器立即可见。这是一个测试用例：

typedef whatever_type_you_like T; // maybe int

matrix<T> mymatrix(5, 5);
matrix<T>::iterator it1 = get_iterator_from(mymatrix, 2, 3);
matrix<T>::iterator it2 = get_iterator_from(mymatrix, 2, 3);
assert(it1 == it2);
assert(*it1 == *it2);
assert(*it1 == T());

*it1 = T(1); // or some other constructor parameter
assert(*it1 != T());
assert(*it1 == T(1));
assert(*it2 == T(1));
assert(it1 == it2);
assert(*it1 == *it2);
assert(*it1 == mymatrix[2][3]); // or whatever syntax you have for matrix access

*it2 = T(2);
assert(*it1 != T(1));
assert(*it1 == T(2));
assert(*it2 == T(2));
assert(it1 == it2);
assert(*it1 == *it2);
assert(*it2 == mymatrix[2][3]);

mymatrix[2][3] = T(3);
assert(*it2 != T(2));
assert(*it2 == mymatrix[2][3]);

因此，它应该直接访问矩阵，从那里读取值并存储值，而不是 element 存储用于矩阵的值的副本在那里（因此在需要存储时在稀疏矩阵中创建一个真实的条目）。另外，您的 element 类应该可以转换为 T。