expression/json: add builtin function JSON_SEARCH

[pingyu]

What problem does this PR solve?

Add json builtin function JSON_SEARCH described in #7546

What is changed and how it works?

Add struct builtinJSONSearchSig, 2 functions for walking and utility for string quoting to BinaryJSON, and 3 utility function for json PathExpression

Check List

Tests

• Unit test: YES
• Integration test: YES
• Manual test (add detailed scripts or steps below)

mysql>
mysql> SET @j = '["abc", [{"k": "10"}, "def"], {"x":"abc"}, {"y":"bcd"}]';
Query OK, 0 rows affected (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'one', 'abc');
+-------------------------------+
| JSON_SEARCH(@j, 'one', 'abc') |
+-------------------------------+
| "$[0]" |
+-------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', 'abc');
+-------------------------------+
| JSON_SEARCH(@j, 'all', 'abc') |
+-------------------------------+
| ["$[0]", "$[2].x"] |
+-------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', 'ghi');
+-------------------------------+
| JSON_SEARCH(@j, 'all', 'ghi') |
+-------------------------------+
| NULL |
+-------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '10');
+------------------------------+
| JSON_SEARCH(@j, 'all', '10') |
+------------------------------+
| "$[1][0].k" |
+------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '10', NULL, '$');
+-----------------------------------------+
| JSON_SEARCH(@j, 'all', '10', NULL, '$') |
+-----------------------------------------+
| "$[1][0].k" |
+-----------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '10', NULL, '$[]');
+--------------------------------------------+
| JSON_SEARCH(@j, 'all', '10', NULL, '$[]') |
+--------------------------------------------+
| "$[1][0].k" |
+--------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '10', NULL, '$.k');
+---------------------------------------------+
| JSON_SEARCH(@j, 'all', '10', NULL, '$.k') |
+---------------------------------------------+
| "$[1][0].k" |
+---------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '10', NULL, '$[][0].k');
+-------------------------------------------------+
| JSON_SEARCH(@j, 'all', '10', NULL, '$[][0].k') |
+-------------------------------------------------+
| "$[1][0].k" |
+-------------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '10', NULL, '$[1]');
+--------------------------------------------+
| JSON_SEARCH(@j, 'all', '10', NULL, '$[1]') |
+--------------------------------------------+
| "$[1][0].k" |
+--------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '10', NULL, '$[1][0]');
+-----------------------------------------------+
| JSON_SEARCH(@j, 'all', '10', NULL, '$[1][0]') |
+-----------------------------------------------+
| "$[1][0].k" |
+-----------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', 'abc', NULL, '$[2]');
+---------------------------------------------+
| JSON_SEARCH(@j, 'all', 'abc', NULL, '$[2]') |
+---------------------------------------------+
| "$[2].x" |
+---------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '%a%');
+-------------------------------+
| JSON_SEARCH(@j, 'all', '%a%') |
+-------------------------------+
| ["$[0]", "$[2].x"] |
+-------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '%b%');
+-------------------------------+
| JSON_SEARCH(@j, 'all', '%b%') |
+-------------------------------+
| ["$[0]", "$[2].x", "$[3].y"] |
+-------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '%b%', NULL, '$[0]');
+---------------------------------------------+
| JSON_SEARCH(@j, 'all', '%b%', NULL, '$[0]') |
+---------------------------------------------+
| "$[0]" |
+---------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '%b%', NULL, '$[2]');
+---------------------------------------------+
| JSON_SEARCH(@j, 'all', '%b%', NULL, '$[2]') |
+---------------------------------------------+
| "$[2].x" |
+---------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '%b%', NULL, '$[1]');
+---------------------------------------------+
| JSON_SEARCH(@j, 'all', '%b%', NULL, '$[1]') |
+---------------------------------------------+
| NULL |
+---------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '%b%', '', '$[1]');
+-------------------------------------------+
| JSON_SEARCH(@j, 'all', '%b%', '', '$[1]') |
+-------------------------------------------+
| NULL |
+-------------------------------------------+
1 row in set (0.00 sec)

mysql> SELECT JSON_SEARCH(@j, 'all', '%b%', '', '$[3]');
+-------------------------------------------+
| JSON_SEARCH(@j, 'all', '%b%', '', '$[3]') |
+-------------------------------------------+
| "$[3].y" |
+-------------------------------------------+
1 row in set (0.00 sec)

mysql>
mysql>
mysql> set @j3 = '{"\"hello世界\"": "world", "a": [1, "2", {"aa": "bb"}, 4.0, {"aa": "cc"}], "b": true, "c": ["d"]}';
Query OK, 0 rows affected (0.00 sec)

mysql> SELECT JSON_SEARCH(@j3, 'all', 'world');
+----------------------------------+
| JSON_SEARCH(@j3, 'all', 'world') |
+----------------------------------+
| "$."\"hello世界\""" |
+----------------------------------+
1 row in set (0.00 sec)

mysql>

Code changes

• Has exported function/method change
  BinaryJSON.Walk, PathExpression.String

Side effects

• NO

Related changes

• Need to update the documentation
  JSON_SEARCH supported

---

This change is 

[zz-jason]

@XuHuaiyu PTAL

[pingyu]

@XuHuaiyu PTAL, thanks!

[zz-jason]

@pingyu CI is failed, could you fix it in your spare time?

[codecov-io]

Codecov Report

Merging #8704 into master will decrease coverage by 0.4301%.
The diff coverage is 82.5%.

@@               Coverage Diff                @@
##             master      #8704        +/-   ##
================================================
- Coverage   77.9673%   77.5371%   -0.4302%     
================================================
  Files           407        404         -3     
  Lines         82718      81971       -747     
================================================
- Hits          64493      63558       -935     
- Misses        13452      13686       +234     
+ Partials       4773       4727        -46

[pingyu]

@zz-jason CI was fixed. PTAL. Thanks.

[qw4990]

Nice work! @pingyu

But I think variable resultSet in builtinJSONSearchSig. evalJSON used to store paths have been searched can be removed.
It's more graceful to let BinaryJSON.Walk guarantee all paths should be searched only once.

[qw4990]

LGTM

[morgo]

@zz-jason PTAL

[alivxxx]

LGTM

[alivxxx]

/run-all-tests