类DIagram聚合

Question

我偶然发现了这个定义

聚合有两个属性:反对称性、传递性

什么意思？

谢谢

Answer 1

聚合是一种对象组合，其中对象事物是另一个对象的一部分。这与所有权形成对比，在所有权中一个对象拥有另一个对象。

例如，一辆汽车由许多部件组成-发动机、轮子等。这些部件被聚合到汽车对象中。

但是，在另一个示例中(我在网上找到的)，如果Person对象有一辆汽车，那就不是聚合。这个人拥有它，但是车不是这个人的一部分。

这种差异的一个重要后果是，当一个对象被销毁时，它的聚合部分也应该被销毁。但它拥有的对象，不是它的一部分，应该保持完好。

因此，对于定义：

反对称-我找不到一个确切的定义，但我的直觉告诉我，这意味着两个物体不能成为对方的一部分。对象A聚合B，但不会同时反之亦然(除非A和B相等，这更多的是关于集合论而不是OOP)。我的手臂是我的一部分，但我不能成为我手臂的一部分。

传递性-它就像数学中的传递性。如果A是B的一部分，B是C的一部分，那么A一定是C的一部分。我的手是我手臂的一部分，我的手臂是我的一部分，因此我的手也是我的一部分。