php中如何使用json_decode()和json_encode()?