XPath校验XML多实例字段匹配预定义值规则的问题排查

你写的XPath存在3个核心错误，导致出现非法VKORG值时误判返回true：

• 缺失非法值拦截逻辑：仅判断「是否存在合法VKORG值」，没有校验「是否存在VKORG值不在允许集合内」，只要文档中存在一个合法VKORG，哪怕其他值是11409、1192这类非法值，也会通过校验，这是本次问题的直接诱因。
• 存在永真逻辑bug：//KTOKD != 'Z012' or //KTOKD != 'Z013' 是恒成立条件——单个KTOKD节点不可能同时等于Z012和Z013，无论KTOKD取何值，该表达式永远返回true，完全无法实现对Z012/Z013的拦截。
• 分支逻辑完全错误：所有判断条件用and强行串联，要求所有条件同时满足，和需求中「满足单条分支规则即可返回结果」的互斥分支逻辑不匹配，也没有遵循需求给出的校验优先级。

count(//E1KNVVM) > 0
and not(//KTOKD = 'Z002' or //KTOKD = 'Z004')
and not(//E1KNVVM/VKORG[not(. = '1000' or . = '1010' or . = '1140' or . = '1150' or . = '1060')])
and (
    //E1KNVVM/VKORG = '1000' or //E1KNVVM/VKORG = '1010' or //E1KNVVM/VKORG = '1150'
    or (
        not(//E1KNVVM[not(VKORG = '1140')]) and not(//KTOKD = 'Z012' or //KTOKD = 'Z013')
    )
    or (
        not(//E1KNVVM[not(VKORG = '1060')]) and not(//KTOKD = 'Z012' or //KTOKD = 'Z013')
    )
)

表达式严格按照需求的校验优先级实现：

1. 第一行count(//E1KNVVM) > 0对应规则1：E1KNVVM节点计数为0直接返回false
2. 第二行not(//KTOKD = 'Z002' or //KTOKD = 'Z004')对应规则2：KTOKD取值为Z002/Z004直接返回false
3. 第三行实现全局VKORG合法性校验：只要存在任意VKORG不在{1000,1010,1140,1150,1060}集合内，直接返回false
4. 第四行分支判断覆盖剩余规则：
   • 只要存在任意VKORG取值为1000/1010/1150，直接返回true，同时覆盖规则3、规则6的场景
   • 若所有VKORG取值均为1140，仅当KTOKD不属于{Z012,Z013}时返回true，对应规则4
   • 若所有VKORG取值均为1060，仅当KTOKD不属于{Z012,Z013}时返回true，对应规则5

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