从 boost::icl::interval_set 中移除离散闭区间

Question

  boost::icl::interval_set<uint> test_set;
  test_set.insert(boost::icl::discrete_interval<uint>::closed(10u, 20u));
  test_set.insert(boost::icl::discrete_interval<uint>::closed(21u, 30u)); //should merge to single interval
  test_set.insert(boost::icl::discrete_interval<uint>::closed(15u, 25u)); //should not change
  test_set.erase(boost::icl::discrete_interval<uint>::closed(12u, 18u)); //should split in two intervals
  uint i1min = test_set.begin()->lower();
  uint i1max = test_set.begin()->upper();
  uint i2min = (++test_set.begin())->lower();
  uint i2max = (++test_set.begin())->upper();
  std::cout<<i1min<<"\n";
  std::cout<<i1max<<"\n";
  std::cout<<i2min<<"\n";
  std::cout<<i2max<<"\n";

由于我要加减闭区间，我希望得到以下输出：

但我得到：

为什么我要删除的区间的端点仍然存在？这是减去闭区间的预期行为还是我做错了什么？

Answer 1

在您的例子中，用一个闭区间减去另一个闭区间会得到两个半开区间。如果您考虑一下，它也与连续间隔的行为一致。

您可以使用以下代码进行测试：

 std::cout << test_set.begin()->bounds() << "\n";
 std::cout << (++test_set.begin())->bounds() << "\n";

此输出：[) 和 (] 表明生成的间隔是半开的，这意味着 12 和 18 不包含在您的间隔集中。

要获取（可能是开放的）离散区间的 first/last 元素，请使用函数 first 和 last（文档 here）：

uint i1min = boost::icl::first(*test_set.begin());
uint i1max = boost::icl::last(*test_set.begin());
uint i2min = boost::icl::first(*(++test_set.begin()));
uint i2max = boost::icl::last(*(++test_set.begin()));

从 boost::icl::interval_set 中移除离散闭区间

removing discrete closed intervals from boost::icl::interval_set

c++

boost

intervals