PHP中如何实现并使用基于Redis的计数器类示例?