c++ - Boost ICL : Are some combinations of interval types and functions not implemented?中函数 "contains"的基本使用

Question

我开始使用 Boost ICL，并且偶然发现了一些非常基础的东西。例如，函数 contains 应该返回 true 或 false，这取决于给定元素是否在区间内。然而，这适用于 [right,left]_open_intervals 但不适用于 [open,closed]_inteval(请参见下面的示例)。

这似乎太明显了，不是疏忽。我正在以预期的方式使用库吗？

例如(使用 gcc 4.8 或 clang 3.3 和 Boost 1.54):

#include <boost/concept_check.hpp> //needed to make this MWE work, boost icl should include it internally

#include<boost/icl/right_open_interval.hpp>
#include<boost/icl/closed_interval.hpp>
#include<boost/icl/open_interval.hpp>
int main(){
    boost::icl::right_open_interval<double> roi(6.,7.);
    assert(boost::icl::contains(roi, 6.) == true);  //ok
    assert(boost::icl::contains(roi, 6.) == false); //ok

    boost::icl::closed_interval<double> oi(4.,5.); // or open_interval
    assert(boost::icl::contains( oi, 4.) == false); //error: "candidate template ignored"
    assert(boost::icl::contains( oi, 5.) == false); //error: "candidate template ignored"
}

注意:以上称为“静态”区间(因为它们的绑定(bind)属性是类型的一部分)。动态间隔按预期工作。

Answer 1

我猜这归结为浮点相等性测试相对无用。

你试过assert(0.1 + 0.2 == 0.3)吗？

尝试一下。我会等。

如果您已经知道答案，就会清楚为什么闭区间不容易正确实现。背景介绍:

• Is floating point math broken?
• Why doesn't GCC optimize a*a*a*a*a*a to (a*a*a)*(a*a*a)?
• What Every Programmer Should Know About Floating-Point Arithmetic

此外，如果您有两个连续的闭区间 [a,b][b,c]。 b 属于哪个区间？