PHP SPL Countable接口如何使用?