泛型与类型收窄

实现类型安全的分页结果和状态联合，通过分支收窄减少断言，并理解编译检查与运行校验的区别。