问表示包含交叉引用的数据结构的STL方法

EN

我经常面对以下情况。(在不失去通用性的情况下:我在下面的示例中使用了两个容器的最简单的情况，但在几何算法的实现中，需要大量的几何算法来描述相互关联的图形数据结构。)

我有两个数据类型( A和B )的大量值，它们相互引用(一般不是一对一)，例如，首先通过(本机)指针或引用。它们都被放置在容器using CA = std::container1< A >;和using CB = std::container2< B >;中。某些函数的结果是一对CA和CB实例。有一个CA实例元素，我希望删除CB实例中的引用元素，反之亦然。

struct A;
struct B;

using CA = std::container1< A >;
using CB = std::container2< B >;

我想将A和B定义为：

struct A
{
    int payload;
    typename CB::iterator pb; // hard error here in general case of choosing `std:container2`
};

struct B
{
    double payload;
    typename CA::iterator pa;
};

// ...
PA a;
PB b;
// ...
assert(!a.empty());
assert(a.begin()->pb != b.end()); // and pb is not default-constructed
b.erase(a.begin()->pb);

活的例子。

但是目前我无法在一般情况下声明typename CB::iterator pb;，只有B /*const*/ * pb;或B /*const*/ & pb;，因为作为CB声明的一部分的B类型在使用容器CB的成员typedef iterator定义聚合A时是不完整的。

有一个不完整类型的容器的建议，但它目前并不是标准的一部分。

对于当前在libstdc++和libc++中实现非调试版本的容器，上面的代码可能会很好地编译，但这一点也不是强制性的。在成功的情况下，迭代器的定义不包含任何内容，只包含指针或对value_type的引用。但在标准中没有这方面的要求。

正如您在实例化中看到的，std::unordered_set存在严重错误，因为它的迭代器要求std::hash of value_type必须是完整类型。

由于体系结构(OOP)和性能方面的原因，双重间接提出的注释可能不是很好的解决方案。至少，定义std::container3< B * >和std::container2< B >以及跟踪不同交叉参照容器的动物园的有效性看起来很难看。

迭代器本质上具有指针语义。它们不应该要求引用类型的完整性。

如何处理C++14和以前的问题？