【Redis】杂项基础知识；Redis数据类型