我正在使用以下 stream() 从列表（字符串）中获取一个随机元素：
string.stream().filter { f -> f.contains("_reservert_") }.toList().random()
有没有办法以相同的方式获得 x 个随机和独特的元素？