redis在php中常用的语法（转）