java - 用 Guava 合并范围

Question

我需要合并一些范围。

我发现了 guava，发现它在某些情况下可以处理。

RangeSet<Integer> rangeSet = TreeRangeSet.create();
rangeSet.add(Range.closed(1, 10)); // {[1, 10]}
rangeSet.add(Range.closed(8, 15)); // {[1, 15]}

现在，我需要告诉 Guava 我需要 [1, 10] + [11, 20] = {[1, 20]} 而不是 {[1, 10 ], [11, 20]}.

有什么地方可以做这个吗？

Answer 1

如果你想合并这样的范围，你需要先规范化它们:

rangeSet.add(Range.closed(1, 10).canonical(DiscreteDomain.integers()); 
// {[1, 11)}
rangeSet.add(Range.closed(11, 20).canonical(DiscreteDomain.integers());
// {[1, 21)}