redis之数据类型以及使用