我是一些家谱软件(用C++和Qt编写)的开发人员。直到我的一位客户给我邮寄了一份错误报告,我才发现问题。问题是,客户有两个孩子和自己的女儿,因此,由于错误,他无法使用我的软件。

这些错误是我对正在处理的族图的各种断言和不变量的结果(例如,在走完一个循环后,程序声明X不能既是Y的父亲又是Y的祖父)。

如何在不删除所有数据断言的情况下解决这些错误?


当前回答

你的家谱应该使用定向关系。这样你就不会有循环了。

其他回答

断言不能生存于现实

通常,断言在与真实世界数据的接触中无法生存。这是软件工程过程中的一部分,决定您要处理哪些数据,哪些数据超出了范围。

循环族图

关于家族“树”(事实上,它是完整的图表,包括循环),有一个很好的轶事:

我娶了一个寡妇,她有一个成年的女儿。我的父亲经常来看我们,他爱上了我的继女并娶了她。结果,我的父亲成了我的儿子,我的女儿成了我母亲。一段时间后,我给了我妻子一个儿子,他是我父亲和我叔叔的兄弟。我父亲的妻子(也是我的女儿和母亲)有一个儿子。结果,我得到了同一个人的一个哥哥和一个孙子。我的妻子现在是我的祖母,因为她是我母亲的母亲。所以我是我妻子的丈夫,同时也是我妻子的继孙。换句话说,我是我自己的爷爷。

当你考虑到代孕或“模糊的父亲身份”时,事情变得更加奇怪。

如何应对

将周期定义为超出范围

你可以决定你的软件不应该处理这种罕见的情况。如果出现这种情况,用户应使用不同的产品。这使得处理更常见的情况更加健壮,因为您可以保留更多断言和更简单的数据模型。

在这种情况下,为您的软件添加一些良好的导入和导出功能,以便用户可以在必要时轻松迁移到其他产品。

允许手动关系

您可以允许用户添加手动关系。这些关系不是“一流公民”,即软件按原样对待它们,不检查它们,也不在主数据模型中处理它们。

然后,用户可以手动处理罕见的情况。您的数据模型仍然非常简单,您的断言将继续存在。

小心手动关系。有一种诱惑是让它们完全可配置,从而创建一个完全可配置的数据模型。这是行不通的:你的软件无法扩展,你会发现奇怪的bug,最终用户界面将变得不可用。这种反模式被称为“软编码”,《每日WTF》中有很多这样的例子。

使数据模型更灵活,跳过断言,测试不变量

最后的办法是使数据模型更灵活。您必须跳过几乎所有的断言,并将数据模型建立在一个完整的图表上。正如上面的例子所示,你很容易成为自己的祖父,因此你甚至可以拥有自行车。

在这种情况下,您应该广泛测试您的软件。您必须跳过几乎所有断言,因此很有可能会出现其他错误。

使用测试数据生成器检查异常测试用例。有Haskell、Erlang或C的快速检查库。对于Java/Scala,有ScalaCheck和Nyaya。一个测试思路是模拟一个随机种群,让它随机杂交,然后让你的软件先导入然后导出结果。期望是,输出中的所有连接也在输入中,反之亦然。

属性保持不变的情况称为不变量。在这种情况下,不变量是模拟人口中个体之间的一组“浪漫关系”。尝试找到尽可能多的不变量,并用随机生成的数据测试它们。不变量可以是函数,例如:

即使你增加了更多的“浪漫关系”,叔叔仍然是叔叔每个孩子都有父母有两代人的人口至少有一个祖父母

也可以是技术性的:

您的软件不会在多达100亿成员的图形上崩溃(无论有多少互连)软件的缩放比例为O(节点数)和O(边数^2)您的软件可以保存和重新加载多达100亿成员的每个家庭图

通过运行模拟测试,您将发现许多奇怪的角落案例。修复它们需要很多时间。此外,您将失去很多优化,您的软件将运行得慢得多。你必须决定它是否值得,这是否在你的软件范围内。

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

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

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

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

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

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

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

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

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

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

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

对一个愚蠢问题的另一个假装严肃的回答:

真正的答案是,使用适当的数据结构。人类谱系不能用没有循环的纯树来完全表达。你应该使用某种图表。此外,在进一步讨论之前,请与人类学家交谈,因为在其他许多地方,试图建立家谱模型可能会犯类似的错误,即使是在最简单的“西方父权一夫一妻制婚姻”的情况下

即使我们想忽略这里所讨论的当地禁忌关系,也有很多完全合法和完全意想不到的方法将循环引入家谱。

例如:http://en.wikipedia.org/wiki/Cousin_marriage

基本上,近亲结婚不仅是普遍的和意料之中的,也是人类从数千个小家庭群体发展到全球60亿人口的原因。它不能以任何其他方式工作。

在家谱、家族和血统方面,真的很少有普遍性。几乎任何关于姨妈可以是谁,谁可以嫁给谁,或者孩子如何合法继承的规范的严格假设,都可能被世界或历史上的某个地方的某些例外所打乱。

你应该关注真正为你的软件创造价值的东西。为一个消费者提供服务所花费的时间是否值得许可证的价格?可能不会。

我建议您向这位客户道歉,告诉他他的情况超出了您的软件范围,并向他退款。