PHP，json_encode函数对于ObjectId的转换时，使其结果为一个字符串