看来你（和/或你的公司）对家谱应该是什么有着根本的误解。

让我澄清一下，我也在一家公司工作，该公司的产品组合中有一个家谱（作为其产品之一），我们一直在解决类似的问题。

在我们的案例中，我假设你的案例也是如此，问题来自于GEDCOM格式，它对家庭应该是什么非常有见解。然而，这种格式包含了一些关于家庭树真实外观的严重误解。

GEDCOM有很多问题，例如同性关系不相容、乱伦等。现实生活中发生的事情比你想象的要多（尤其是当追溯到1700-1800年时）。

我们已经将我们的家谱模型化为现实世界中发生的事情：事件（例如，出生、婚礼、订婚、结婚、死亡、收养等）。我们没有对这些事情施加任何限制，但逻辑上不可能的事情除外（例如，一个人不能成为自己的父母，关系需要两个人，等等）

缺乏验证为我们提供了一个更“真实”、更简单、更灵活的解决方案。

对于这个具体的案例，我建议删除这些断言，因为它们并不普遍适用。

为了显示问题（可能会出现），我建议根据需要多次绘制同一节点，通过选择其中一个副本点亮所有副本来暗示重复。

家谱数据是循环的，不适合于非循环图，所以如果你有针对循环的断言，你应该删除它们。

在不创建自定义视图的情况下在视图中处理此问题的方法是将循环父对象视为“幽灵”父对象。换句话说，当一个人同时是同一个人的父亲和祖父时，祖父节点正常显示，但父亲节点被渲染为“幽灵”节点，该节点具有简单的标签（如“看见祖父”）并指向祖父。

为了进行计算，您可能需要改进处理循环图的逻辑，以便在存在循环的情况下不会多次访问节点。

最重要的是避免产生问题，所以我认为你应该使用直接关系来避免循环。

正如@markmywords所说，#包括“fritzl.h”。

最后，我不得不说重新检查您的数据结构。也许那边出了问题（也许双向链接列表解决了您的问题）。

一些答案显示了保持断言/不变量的方法，但这似乎是滥用断言/不变量。断言是为了确保应该是真的东西是真的，不变量是为了确保不应该改变的东西不会改变。

你在这里断言的是乱伦关系是不存在的。显然它们确实存在，因此您的断言是无效的。您可以解决这个断言，但真正的错误在于断言本身。应删除断言。

所以，我在家谱软件上做了一些工作。我认为你要解决的问题是你需要能够在树上行走而不陷入无限循环——换句话说，树需要是非循环的。

然而，你似乎在断言一个人和他们的祖先之间只有一条路。这将保证没有周期，但过于严格。从生物学上讲，后代是一个有向无环图（DAG）。你的情况当然是一个退化的情况，但这种情况在更大的树上总是发生。

例如，如果你看看你在第n代的祖先，如果没有重叠，那么你在公元1000年的祖先会比活着的人多。所以，必须有重叠。

然而，您也会得到无效的循环，只是坏数据。如果您正在遍历树，那么必须处理循环。您可以在每个单独的算法中或在加载时执行此操作。我是负重做的。

在树中找到真正的循环可以通过几种方式完成。错误的方法是标记给定个体的每个祖先，当遍历时，如果你要走到的下一个人已经被标记，那么就切断链接。这将切断潜在的准确关系。正确的做法是从每个个体开始，并用通向该个体的路径标记每个祖先。如果新路径包含当前路径作为子路径，那么它是一个循环，应该中断。您可以将路径存储为vector<bool>（MFMF、MFFFMF等），这使得比较和存储速度非常快。

还有一些其他方法可以检测循环，例如发送两个迭代器，看看它们是否与子集测试冲突，但我最终使用了本地存储方法。

还需要注意的是，您不需要实际切断链接，只需将其从正常链接更改为“弱”链接，而某些算法不会遵循该链接。在选择将哪个链接标记为弱链接时，您也需要小心；有时，你可以通过查看出生日期信息来找出应该打破这个周期的地方，但通常你什么都搞不清楚，因为缺少了太多数据。

放松你的断言。

而不是改变规则，这可能对99.9%的客户在输入数据时发现错误非常有帮助。

相反，将其从错误“无法添加关系”更改为警告“无论如何添加”。