CAST 数据为 JSON 类型

这会将有效的 json 字符串转换为 MySQL JSON 类型:

 SELECT CAST('[1,2,3]' as JSON) ;
 SELECT CAST('{"opening":"Sicilian","variations":["pelikan","dragon","najdorf"]}' as JSON);