0

我有一个任务要求我在构造函数中创建一个空链表key: LINKED_LIST [KEY]、另一个链表data_items_1: LINKED_LIST [DATA1]和一个哈希表data_items_2: HASH_TABLE [DATA2, KEY]。我的教授提出的岗位条件是

object_equality_for_keys: keys.object_comparison
object_equality_for_data_items_1: data_items_1.object_comparison
object_equality_for_data_items_2: data_items_2.object_comparison

当我运行该程序时，我违反了合同。在调试器中它总是指向这行代码，我不知道为什么。这个后置条件的目的是什么，我如何不违反本合同？ 错误信息

4

1 回答 1

0

compare_objects类的特性CONTAINER表明该容器在比较项目时是使用=（引用比较）还是~（值/对象比较，内部调用）。is_equal您可以调用compare_objects或compare_references配置单个容器，并确保它们按照您需要的方式工作。

于 2019-10-11T00:07:50.133 回答