JSON Schema Draft-07条件校验在IntelliJ与VS Code的补全行为差异

allOf写法的合规性判定 #

你当前采用allOf组合两组独立if-then分支的实现，完全符合JSON Schema Draft-07的规范要求。
规范对allOf的语义定义是“被校验实例必须匹配所有子模式”，而if-then分支的匹配规则是独立的：当某个if条件不满足时，对应then分支的约束不会生效，也不会引入额外的校验要求。你期望的“未匹配分支不参与结构合并”的效果，本身就是规范定义的原生行为。

跨IDE表现不一致的核心原因 #

• VS Code的Schema补全实现基于校验语义延伸，会在补全阶段动态评估每个if-then分支的匹配状态：一旦判定某个分支的if条件不匹配，就会将对应then关联的定义结构从补全候选池里排除。你测试用例里food值为fruit时，只弹出fruit结构要求的必填字段补全，就是这个逻辑的正常表现。
• IntelliJ的内置Schema解析器在补全场景下存在实现偏差：它在加载allOf下的子模式时，会无差别把所有if-then分支关联的definitions属性集合提前归集到补全候选池，不会根据当前输入的字段值动态过滤非匹配分支的属性。这就是你遇到“校验规则正确识别fruit的必填字段，但补全错误弹出meat定义属性”的直接原因。
  你之前尝试给条件添加else: false没有解决问题，本质是IntelliJ的补全逻辑根本没有进入“评估else分支有效性”的阶段，仅做了静态的全量属性归集，没有做动态的条件分支校验。

结构选型与兼容优化 #

当前单分支匹配的场景下，不需要将allOf替换为anyOf/oneOf结构：

• anyOf/oneOf的语义是“匹配任意一个/恰好一个子模式”，如果替换为这类结构，会破坏allOf原有的独立校验分支互不干扰的特性。后续如果需要新增不互斥的校验规则，anyOf/oneOf会导致分支约束互相覆盖，反而引入新的校验问题。
• 针对IntelliJ的补全缺陷，可以在不改变原有语义的前提下，给每个if-then分支补充显式的反向约束，引导IntelliJ的静态解析器正确过滤非匹配分支的属性，参考写法如下：

  "allOf": [
    {
      "if": { "properties": { "food": { "pattern": "meat" } } },
      "then": { "$ref": "#/definitions/meat" },
      "else": { "not": { "$ref": "#/definitions/meat" } }
    },
    {
      "if": { "properties": { "food": { "pattern": "fruit" } } },
      "then": { "$ref": "#/definitions/fruit" },
      "else": { "not": { "$ref": "#/definitions/fruit" } }
    }
  ]
  

  这个写法对VS Code的校验、补全行为无任何影响，同时能让IntelliJ的解析器明确识别“非匹配分支的属性是被禁止的”，大概率可修复补全异常。

问题定性 #

• 该问题不属于你的Schema实现缺陷：最初的allOf写法完全符合Draft-07的语义定义，两个IDE在校验阶段都能正确识别fruit结构的必填字段规则，已经证明核心校验逻辑是合规的。
• 该问题不属于VS Code的宽松校验偏差：VS Code的补全行为是对校验语义的合理延伸，没有跳过任何规范要求的校验步骤。
• 问题本质是IntelliJ内置Schema解析器的实现缺陷：它在补全场景下没有实现和校验逻辑一致的动态分支过滤能力，仅在校验阶段做条件判断，在补全阶段做了过度宽松的全量属性归集。

内容的提问来源于stack exchange，提问作者kingtaco