我是一些家谱软件（用C++和Qt编写）的开发人员。直到我的一位客户给我邮寄了一份错误报告，我才发现问题。问题是，客户有两个孩子和自己的女儿，因此，由于错误，他无法使用我的软件。
这些错误是我对正在处理的族图的各种断言和不变量的结果（例如，在走完一个循环后，程序声明X不能既是Y的父亲又是Y的祖父）。
如何在不删除所有数据断言的情况下解决这些错误？
当前回答
你应该把Atreides家族（现代的Dune，或古代的Oedipus Rex）作为一个测试案例。通过使用经过净化的数据作为测试用例，您不会发现错误。
其他回答
最重要的是避免产生问题，所以我认为你应该使用直接关系来避免循环。
正如@markmywords所说，#包括“fritzl.h”。
最后，我不得不说重新检查您的数据结构。也许那边出了问题（也许双向链接列表解决了您的问题）。
这就是为什么像“Go”这样的语言没有断言的原因之一。它们被用来处理那些你可能没有想到的案例，所有这些都太频繁了。你只应该断言不可能，而不仅仅是不可能。做后者会给断言带来坏名声。每次你输入assert（，走开十分钟，认真思考一下。
在你特别令人不安的案例中，在罕见但可能的情况下，这样的断言是假的，这是可以想象的，也是令人震惊的。因此，在你的应用程序中处理它，如果只是说“这个软件不是为处理你所呈现的场景而设计的”。
断言你的曾、曾、曾祖父是你的父亲是不可能的，这是合理的做法。
如果我是为一家被雇佣来测试你的软件的测试公司工作的话，我当然会提出这种情况。为什么？每一个年轻而聪明的“用户”都会做同样的事情，并对由此产生的“错误报告”津津乐道。
一些答案显示了保持断言/不变量的方法，但这似乎是滥用断言/不变量。断言是为了确保应该是真的东西是真的，不变量是为了确保不应该改变的东西不会改变。
你在这里断言的是乱伦关系是不存在的。显然它们确实存在，因此您的断言是无效的。您可以解决这个断言，但真正的错误在于断言本身。应删除断言。
你应该把Atreides家族（现代的Dune，或古代的Oedipus Rex）作为一个测试案例。通过使用经过净化的数据作为测试用例，您不会发现错误。
这是家谱的问题：它们不是树。它们是有向无环图或DAG。如果我正确理解人类生殖生物学的原理，就不会有任何周期。
据我所知，即使是基督徒也接受表兄弟之间的婚姻（以及孩子），这将把家谱变成家庭DAG。
这个故事的寓意是：选择正确的数据结构。
