七、区间

简介

区间，有时也称为范围，是特定域中的凸性（非正式说法为连续的或不中断的）部分。在形式上，凸性表示对a<=b<=c, range.contains(a)且range.contains(c)意味着range.contains(b)。

区间可以延伸至无限——例如，范围”x>3″包括任意大于3的值——也可以被限制为有限，如” 2<=x<5″。Guava用更紧凑的方法表示范围，有数学背景的程序员对此是耳熟能详的：

• (a..b) = {x | a < x < b}
• [a..b] = {x | a <= x <= b}
• [a..b) = {x | a <= x < b}
• (a..b] = {x | a < x <= b}
• (a..+∞) = {x | x > a}
• [a..+∞) = {x | x >= a}
• (-∞..b) = {x | x < b}
• (-∞..b] = {x | x <= b}

• (-∞..+∞) = 所有值

  上面的a、b称为端点 。为了提高一致性，Guava中的Range要求上端点不能小于下端点。上下端点有可能是相等的，但要求区间是闭区间或半开半闭区间（至少有一个端点是包含在区间中的）：

• [a..a]：单元素区间

• [a..a); (a..a]：空区间，但它们是有效的
• (a..a)：无效区间

构建区间

区间实例可以由Range类的静态方法获取：

1	2
(a..b)	open(C, C)
[a..b]	closed(C, C)
[a..b)	closedOpen(C, C)
(a..b]	openClosed(C, C)
(a..+∞)	greaterThan(C)
[a..+∞)	atLeast(C)
(-∞..b)	lessThan(C)
(-∞..b]	atMost(C)
(-∞..+∞)	all()

Range.closed("left", "right"); //字典序在"left"和"right"之间的字符串，闭区间
Range.lessThan(4.0); //严格小于4.0的double值

此外，也可以明确地指定边界类型来构造区间：

有界区间	range(C, BoundType, C, BoundType)
无上界区间：((a..+∞) 或[a..+∞))	downTo(C, BoundType)
无下界区间：((-∞..b) 或(-∞..b])	upTo(C, BoundType)

这里的BoundType是一个枚举类型，包含CLOSED和OPEN两个值。

Range.downTo(4, boundType);// (a..+∞)或[a..+∞)，取决于boundType
Range.range(1, CLOSED, 4, OPEN);// [1..4)，等同于Range.closedOpen(1, 4)

区间运算

package collection.immu;

import com.google.common.collect.Range;

/**
 * Created by LF on 2017/3/6.
 *
 Guava Range 概念，范围和方法
 概念     表示范围                guava对应功能方法
 (a..b)     {x | a < x < b}     open(C, C)
 [a..b]     {x | a <= x <= b}   closed(C, C)
 [a..b)     {x | a <= x < b}    closedOpen(C, C)
 (a..b]     {x | a < x <= b}    openClosed(C, C)
 (a..+∞)    {x | x > a}         greaterThan(C)
 [a..+∞)    {x | x >= a}        atLeast(C)
 (-∞..b)    {x | x < b}         lessThan(C)
 (-∞..b]    {x | x <= b}        atMost(C)
 (-∞..+∞)   all values          all()
 */
public class MyRange {
    public static void main(String[] args) {
        Range<Integer> open = Range.open(1, 100);
        //contains：判断值是否在当前Range内
        open.contains(5);
        open.hasLowerBound();//如果此范围内具有更低的终点返回true。
        Range.closed(1, 3).contains(2);//return true
Range.closed(1, 3).contains(4);//return false
Range.lessThan(5).contains(5); //return false
Range.closed(1, 4).containsAll(Ints.asList(1, 2, 3)); //return true
    }
}

查询运算

Range类提供了以下方法来 查看区间的端点：

1. hasLowerBound()和hasUpperBound()：判断区间是否有特定边界，或是无限的；
2. lowerBoundType()和upperBoundType()：返回区间边界类型，CLOSED或OPEN；如果区间没有对应的边界，抛出IllegalStateException；
3. lowerEndpoint()和upperEndpoint()：返回区间的端点值；如果区间没有对应的边界，抛出IllegalStateException；
4. isEmpty()：判断是否为空区间。

Range.closedOpen(4, 4).isEmpty(); // returns true
Range.openClosed(4, 4).isEmpty(); // returns true
Range.closed(4, 4).isEmpty(); // returns false
Range.open(4, 4).isEmpty(); // Range.open throws IllegalArgumentException
Range.closed(3, 10).lowerEndpoint(); // returns 3
Range.open(3, 10).lowerEndpoint(); // returns 3
Range.closed(3, 10).lowerBoundType(); // returns CLOSED
Range.open(3, 10).upperBoundType(); // returns OPEN

关系运算

包含[enclose]

区间之间的最基本关系就是包含[encloses(Range)]：如果内区间的边界没有超出外区间的边界，则外区间包含内区间。包含判断的结果完全取决于区间端点的比较！

相连[isConnected]

Range.isConnected(Range)判断区间是否是相连的。具体来说，isConnected测试是否有区间同时包含于这两个区间，这等同于数学上的定义”两个区间的并集是连续集合的形式”（空区间的特殊情况除外）。
相连是一种自反的[reflexive]、对称的[symmetric]关系。

Range.closed(3, 5).isConnected(Range.open(5, 10)); // returns true
Range.closed(0, 9).isConnected(Range.closed(3, 4)); // returns true
Range.closed(0, 5).isConnected(Range.closed(3, 9)); // returns true
Range.open(3, 5).isConnected(Range.open(5, 10)); // returns false
Range.closed(1, 5).isConnected(Range.closed(6, 10)); // returns false

交集[intersection]

Range.intersection(Range)返回两个区间的交集：既包含于第一个区间，又包含于另一个区间的最大区间。当且仅当两个区间是相连的，它们才有交集。如果两个区间没有交集，该方法将抛出IllegalArgumentException。

Range.closed(3, 5).intersection(Range.open(5, 10)); // returns (5, 5]
Range.closed(0, 9).intersection(Range.closed(3, 4)); // returns [3, 4]
Range.closed(0, 5).intersection(Range.closed(3, 9)); // returns [3, 5]
Range.open(3, 5).intersection(Range.open(5, 10)); // throws IAE
Range.closed(1, 5).intersection(Range.closed(6, 10)); // throws IAE

跨区间[span]

Range.span(Range)返回”同时包括两个区间的最小区间”，如果两个区间相连，那就是它们的并集。

span是可互换的[commutative] 、关联的[associative] 、闭合的[closed]运算[operation]。

Range.closed(3, 5).span(Range.open(5, 10)); // returns [3, 10)
Range.closed(0, 9).span(Range.closed(3, 4)); // returns [0, 9]
Range.closed(0, 5).span(Range.closed(3, 9)); // returns [0, 9]
Range.open(3, 5).span(Range.open(5, 10)); // returns (3, 10)
Range.closed(1, 5).span(Range.closed(6, 10)); // returns [1, 10]