PHP基于redis计数器类定义与用法示例