expression: fix the arg verification for json functions.

[YangKeao]

What problem does this PR solve?

Issue Number: close #54029

Problem Summary:

For some json functions, the arg verification is not implemented correctly:

1. For json_type, it didn't verify the type of args.
2. For many other json functions, they didn't verify the charset of the args.

What changed and how does it work?

Add a unified function to verify the args of json functions.

Check List

Tests

• Unit test
• Integration test
• Manual test (add detailed scripts or steps below)
• No need to test

  • I checked and no code files have been changed.

Release note

Fix the issue that `json_type` can accept non-JSON arguments.
Fix the issue that some json functions accept binary string arguments.

[ti-chi-bot]

[APPROVALNOTIFIER] This PR is NOT APPROVED

This pull-request has been approved by:
Once this PR has been reviewed and has the lgtm label, please assign zanmato1984 for approval. For more information see the Code Review Process.

The full list of commands accepted by this bot can be found here.

Needs approval from an approver in each of these files:

• OWNERS
• pkg/expression/OWNERS

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

[ti-chi-bot]

@YangKeao: The following tests failed, say /retest to rerun all failed tests or /retest-required to rerun all mandatory failed tests:

Test name	Commit	Details	Required	Rerun command
idc-jenkins-ci-tidb/mysql-test	e74bca6	link	true	/test mysql-test
idc-jenkins-ci-tidb/unit-test	e74bca6	link	true	/test unit-test

Full PR test history. Your PR dashboard.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository. I understand the commands that are listed here.

[tiprow]

@YangKeao: The following tests failed, say /retest to rerun all failed tests or /retest-required to rerun all mandatory failed tests:

Test name	Commit	Details	Required	Rerun command
fast_test_tiprow	e74bca6	link	true	/test fast_test_tiprow
tidb_parser_test	e74bca6	link	true	/test tidb_parser_test

Full PR test history. Your PR dashboard.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes-sigs/prow repository. I understand the commands that are listed here.

[codecov]

Codecov Report

Attention: Patch coverage is 93.75000% with 3 lines in your changes missing coverage. Please review.

Project coverage is 56.0615%. Comparing base (6ad9cac) to head (e74bca6).
Report is 1 commits behind head on master.

Additional details and impacted files

@@                Coverage Diff                @@
##             master     #54145         +/-   ##
=================================================
- Coverage   72.8813%   56.0615%   -16.8198%     
=================================================
  Files          1519       1639        +120     
  Lines        434852     605436     +170584     
=================================================
+ Hits         316926     339417      +22491     
- Misses        98376     242844     +144468     
- Partials      19550      23175       +3625     

Flag	Coverage Δ
integration	37.0706% <93.7500%> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.

Components	Coverage Δ
dumpling	52.9656% <ø> (ø)
parser	∅ <ø> (∅)
br	52.7543% <ø> (+6.5987%)	⬆️

[YangKeao]

/hold

Also consider #54044 (comment). Maybe it's not good to verify args type/charset in getFunction, because it'll be called in PREPARE stage.

[dveeden]

Looks like this error need to be fixed.

MySQL v8.4.0:

mysql-8.4.0> SELECT 'abc' MEMBER OF (123);
ERROR 3146 (22032): Invalid data type for JSON data in argument 2 to function member of; a JSON string or JSON type is required.

This is a weird function syntax wise...

[dveeden]

Suggested change

	return verifyJSONArgsType(ctx, c.funcName, true, args, 1)
	return verifyJSONArgsType(ctx, "member of", true, args, 1)