java redis 删除指定前缀的key

public class Tests {
public static void main(String[] args) {
System.out.println("----------------Tests main-----------------");
Jedis jedis = new Jedis("127.0.0.1", 6379);

jedis.set("ws1", "1");
jedis.set("ws2", "2");
jedis.set("ws3", "3");

Set<String> keys = jedis.keys("ws*");

System.out.println(keys);

for (String key : keys) {
jedis.del(key);
}

System.out.println(jedis.keys("ws*"));

}
}

结果如下：

----------------Tests main-----------------
[ws1, ws3, ws2]
[]