关于php中的json_encode()和json_decode()函数的一些说明