《Redis应用实例》Java实现（23）：分页

分页在基于数据库的应用中大量使用，当数据量很大时要在界面上显示，一次无法显示所有数据，就需要用到分页。 如果数据存储在redis中时，如何实现分页查询呢？

package com.foxbill.redisinaction;

import redis.clients.jedis.Jedis;
import java.util.ArrayList;
import java.util.List;
import java.util.stream.Collectors;

/**
 * 分页
 */
public class Chapter23 {
    static private String KEY_PAGING = "Chapter23:paging";

    static public void start(Jedis jedis) {
        cleanData(jedis);
        List<String> datas = initData(jedis);
        add(jedis,datas);
        //
        long total = count(jedis);
        System.out.printf("total: %d\n", total);
        //
        int page=2;
        int pageSize=10;
        List<String> pageData = get(jedis, page, pageSize);
        String strData = pageData.stream().collect(Collectors.joining(","));
        System.out.printf("page %d\n%s\n",page,strData);

        page=3;
        pageData = get(jedis, page, pageSize);
        strData = pageData.stream().collect(Collectors.joining(","));
        System.out.printf("page %d\n%s\n",page,strData);
    }

    //清除数据
    private static void cleanData(Jedis jedis) {
        jedis.del(KEY_PAGING);
    }

    //初始化数据
    private static List<String> initData(Jedis jedis) {
        List<String> values = new ArrayList<>();
        for (int i = 0; i < 35; i++) {
            values.add("item:"+String.valueOf(i));
        }
        return values;
    }

    private static void add(Jedis jedis,List<String> values) {
        jedis.rpush(KEY_PAGING,values.toArray(new String[0]));
    }


    private static List<String> get(Jedis jedis,int page,int pageSize) {
        int start = (page - 1) * pageSize;
        int end = page * pageSize-1;
        List<String> result = jedis.lrange(KEY_PAGING,start,end);
        return result;
    }

    private static long count(Jedis jedis) {
        long llen = jedis.llen(KEY_PAGING );
        return llen;
    }

}