php操作redis各种数据类型的详细记录