有效地比较一个列表/一组对象

Question

我正在尝试比较两个 Fact 数据结构。

每个Fact 都由一个谓词和一个参数列表组成

private String predicate;
private ArrayList<Argument> arguments;

Argument 类由一个变量和一个符号组成

String variable;
argTypes symbol;

public enum argTypes {
    STRING, EQ, GT, LT, MATCHONE, MATCHALL, VAR
}

有两个子类numericArgument和stringArgument

private boolean isNeg;
private int value; //or private String value if stringArgument

数字参数示例：length = 10, length != 10, length > 10, length < 10

字符串参数示例：length = long, length != long

arguments 的值也可能为 ?（仅匹配一个参数）、*（匹配 0 个或多个参数）、&x（变量） - 我将它们构造为通用 Argument 类型，设置他们适当的symbol 字段

那么就开始匹配吧！好的匹配示例：

cat(height = tall, colour = black, length=30) 和cat(height = tall, colour = black, length>20)

cat(black)cat(!brown)

Cat(fur = soft, colour = brown, size = 10) 匹配 Cat(fur = soft, *)

错误匹配示例：

Cat(fur = soft, colour = brown, size = 10) 和 Cat(fur = soft, colour = brown) [缺少参数完全定义了不同的谓词]

我已经实现了匹配两个Argument 对象的方法，但我正在努力实现一个比较两个Fact 对象的好方法。我已经尝试使用 Hashset 和 LinkedHashSet 代替参数数组列表。我还尝试将containsMatchAll 字段添加到Fact，而不是在参数列表中包含*。

我将非常感谢有关如何彻底检查此数据结构以使匹配不会超慢的建议。

谢谢！

Answer 1

你可以考虑转换

private ArrayList<Argument> arguments;

进入地图，说

private HashMap<String, Argument> arguments;

其中，映射中的每个条目都是一个键：值对，由参数/变量名称和作为参数引用的值组成。

然后，当比较两个不同对象的 Arguments 时，您可以迭代第一个对象的 Argument map 的键：

if (object1.getArguments().size() != object2.getArguments.size()) {
   ... // they don't even have the same number of arguments, this is the first check
} else {

    for(String variableName : object1.getArguments().keySet()) {
        if(!object2.getArguments().contains(variableName)) {
            ... // bad match !
            break;
        } else {
           Argument arg1 = object1.getArguments().get(variableName);
           Argument arg2 = object2.getArguments().get(variableName);
           ... // do some comparison here
        }
    }
}

这有一个额外的好处，您可以防止对象包含具有相同名称的重复变量。

这实际上是您（程序员）应该做出的设计决定。我应该添加一个免责声明，这不是解决此问题的唯一方法，这只是其中之一，但对于您要执行的操作来说是一种方便的方法。