Redis存储的列表分页和检索的实现方法

import redis.clients.jedis.Jedis;
import java.util.List;

public class RedisListPagination {
    public static void main(String[] args) {
        // 连接 Redis
        Jedis jedis = new Jedis("localhost", 6379);

        // 列表的 key
        String key = "myList";

        // 每页显示的数量
        int pageSize = 5;

        // 当前页码（从 1 开始）
        int page = 2;

        // 计算分页的起始和结束索引
        int start = (page - 1) * pageSize;
        int end = start + pageSize - 1;

        // 使用 LRANGE 获取分页数据
        List<String> pageData = jedis.lrange(key, start, end);

        // 输出分页结果
        System.out.println("第 " + page + " 页数据: " + pageData);

        // 关闭连接
        jedis.close();
    }
}

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

public class RedisListSearch {
    public static void main(String[] args) {
        // 连接 Redis
        Jedis jedis = new Jedis("localhost", 6379);

        // 列表的 key
        String key = "myList";

        // 获取整个列表
        List<String> allData = jedis.lrange(key, 0, -1);

        // 在客户端进行过滤（例如：查找包含 "foo" 的元素）
        List<String> result = allData.stream()
                .filter(item -> item.contains("foo"))
                .collect(Collectors.toList());

        // 输出检索结果
        System.out.println("检索结果: " + result);

        // 关闭连接
        jedis.close();
    }
}

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

public class RedisListPaginationAndSearch {
    public static void main(String[] args) {
        // 连接 Redis
        Jedis jedis = new Jedis("localhost", 6379);

        // 列表的 key
        String key = "myList";

        // 获取整个列表
        List<String> allData = jedis.lrange(key, 0, -1);

        // 在客户端进行过滤（例如：查找包含 "foo" 的元素）
        List<String> filteredData = allData.stream()
                .filter(item -> item.contains("foo"))
                .collect(Collectors.toList());

        // 分页参数
        int pageSize = 5;
        int page = 2;

        // 计算分页的起始和结束索引
        int start = (page - 1) * pageSize;
        int end = Math.min(start + pageSize, filteredData.size());

        // 获取分页数据
        List<String> pageData = filteredData.subList(start, end);

        // 输出分页结果
        System.out.println("第 " + page + " 页数据: " + pageData);

        // 关闭连接
        jedis.close();
    }
}