imbajin commented on PR #2990:
URL: https://github.com/apache/hugegraph/pull/2990#issuecomment-4231145650
当前修复我认为是合理的。
## 1. 当前问题的修复方式是成立的
这次问题的根因比较明确：`ConditionQuery.condition()` 在求交集时，把下面两种状态都复用了 `isEmpty()` 来判断：
```text
1. 交集尚未开始计算
2. 交集已经计算完成，但结果为空
```
这会导致空交集在后续遇到 `IN` 条件时被重新填充，最终错误地触发多值异常，而不是返回空结果。
这次通过额外状态位把“未初始化”和“已为空”区分开，能够直接修正这条错误链路，而且改动范围比较小，不会在这个 bugfix
里额外引入太多变量。从修复当前 issue 的角度看，这个方案是合适的。
如果你希望进一步提升这段代码的可维护性，也可以考虑用更直观的状态表达方式，例如把“尚未初始化”直接编码到变量本身：
```java
Set<Object> intersectValues = null;
if (intersectValues == null) {
intersectValues = InsertionOrderUtil.newSet();
intersectValues.addAll(valueAsList);
} else {
CollectionUtil.intersectWithModify(intersectValues, valueAsList);
}
```
这样是否比 `boolean initialized` 更清晰，可以根据你对可读性的偏好自行选择；但这不影响当前修复思路本身是成立的。
## 2. `condition()` 的语义混杂，建议单独记录 issue 处理
这次修复同时也暴露出 `ConditionQuery.condition()` 这个 API 本身存在语义混杂的问题，建议单独开一个 issue
记录，后续再独立处理。
一个比较直观的例子是，下面两种情况：
```java
ConditionQuery q1 = new ConditionQuery(HugeType.EDGE);
// 没有任何 LABEL 条件
ConditionQuery q2 = new ConditionQuery(HugeType.EDGE);
q2.eq(HugeKeys.LABEL, label1);
q2.eq(HugeKeys.LABEL, label2);
// LABEL 条件冲突，交集为空
```
当前这两种调用：
```java
q1.condition(HugeKeys.LABEL)
q2.condition(HugeKeys.LABEL)
```
都可能返回：
```java
null
```
但它们的含义并不相同：
```text
q1: 没有这个条件
q2: 有这个条件，但交集为空
```
同一个 API 现在还可能出现其他几种结果：
```java
// 返回唯一值
query.eq(HugeKeys.LABEL, label1);
// 返回整个 IN 列表
query.query(Condition.in(HugeKeys.LABEL, ImmutableList.of(label1, label2)));
// 在交集后仍有多个候选值时抛异常
throw new IllegalStateException(...);
```
也就是说，`condition()` 目前同时承担了这些不同语义：
```text
- 条件不存在
- 唯一值提取
- 空交集表示
- 多值冲突表示
```
对于这次修复涉及的调用链来说，这种设计暂时还能工作，因为调用方只关心“能不能拿到唯一 label 并继续做优化”；但从 API
设计上看，语义边界并不清晰，后续维护时仍然有潜在风险。
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
