为什么除法在 jsonpath-ng 中不起作用？

Question

Jsonpath-ng 提供如下基本算术：

from jsonpath_ng import jsonpath
from jsonpath_ng.ext import parse

jsonpath_expr = parse('$.foo * 2')
target = {'foo': 2}
result = jsonpath_expr.find(target)
result = [match.value for match in result]
print(result)

结果：[4]

但是，如果我将表达式更改为 $.foo / 2，则会收到解析错误：

Traceback (most recent call last):
  File "test.py", line 4, in <module>
    jsonpath_expr = parse('$.foo / 2')
  File "C:\Users\micha\AppData\Roaming\Python\Python38\site-packages\jsonpath_ng\ext\parser.py", line 172, in parse
    return ExtentedJsonPathParser(debug=debug).parse(path)
  File "C:\Users\micha\AppData\Roaming\Python\Python38\site-packages\jsonpath_ng\parser.py", line 32, in parse
    return self.parse_token_stream(lexer.tokenize(string))
  File "C:\Users\micha\AppData\Roaming\Python\Python38\site-packages\jsonpath_ng\parser.py", line 55, in parse_token_stream
    return new_parser.parse(lexer = IteratorToTokenStream(token_iterator))
  File "C:\Users\micha\AppData\Roaming\Python\Python38\site-packages\ply\yacc.py", line 333, in parse
    return self.parseopt_notrack(input, lexer, debug, tracking, tokenfunc)
  File "C:\Users\micha\AppData\Roaming\Python\Python38\site-packages\ply\yacc.py", line 1201, in parseopt_notrack
    tok = call_errorfunc(self.errorfunc, errtoken, self)
  File "C:\Users\micha\AppData\Roaming\Python\Python38\site-packages\ply\yacc.py", line 192, in call_errorfunc
    r = errorfunc(token)
  File "C:\Users\micha\AppData\Roaming\Python\Python38\site-packages\jsonpath_ng\parser.py", line 69, in p_error
    raise Exception('Parse error at %s:%s near token %s (%s)' % (t.lineno, t.col, t.value, t.type))
Exception: Parse error at 1:6 near token / (SORT_DIRECTION)

有时我可以通过除以倒数来解决这个问题，所以我会使用$.foo * 0.5 来得到结果[1.0]。但是，如果等式的两边都是不同类型（int 或 float）的数值，则这不起作用。所以2 * 0.5 和0.5 * 2 会导致解析错误，但2.0 * 0.5 不会。

如何让部门发挥作用？为什么我不能将浮点数乘以整数？

Answer 1

这些都是语法错误。

1. 扩展的 JSON 路径允许以包含“排序”列表的括号表达式作为后缀；每个排序都以/ 或\ 开头。为了实现这一点，扩展词法分析器将这两个符号识别为标记SORT_DIRECTION，这优先于将/ 识别为算术运算符。因此，解析器不允许使用/ 作为算术运算符。 （其实问题远不止于此，但这才是本质。）

2. 由于某种原因，语法作者选择在算术表达式中将NUMBER（实际上是整数）和FLOAT分开，这意味着他们必须枚举可能的组合。他们选择的是：

   jsonpath : NUMBER operator NUMBER
            | FLOAT operator FLOAT
            | ID operator ID
            | NUMBER operator jsonpath
            | FLOAT operator jsonpath
            | jsonpath operator NUMBER
            | jsonpath operator FLOAT
            | jsonpath operator jsonpath
   

   这个语法还有其他问题，但这里的本质是它允许NUMBER operator NUMBER和FLOAT operator FLOAT，但不允许NUMBER operator FLOAT或FLOAT operator NUMBER，这是你观察到的。但是，路径表达式可以与 NUMBER 或 FLOAT 一起使用。