呼如林
因此在使用double作为键时存在一些问题std::map。首先,NaN比它本身少的是一个问题。如果有NaN插入的机会,请使用以下方法:struct safe_double_less { bool operator()(double left, double right) const { bool leftNaN = std::isnan(left); bool rightNaN = std::isnan(right); if (leftNaN != rightNaN) return leftNaNauto my_equal_range( Container&& container, double target, double epsilon = 0.00001 )-> decltype( container.equal_range(target) ){ auto lower = container.lower_bound( target-epsilon ); auto upper = container.upper_bound( target+epsilon ); return std::make_pair(lower, upper);}适用于std::map和std::set(和multi版本)。(在更现代的代码库中,我希望range>从equal_range函数返回的对象更好。但是现在,我将使其与兼容equal_range)。这将查找一系列其关键字“足够接近”您所要求的事物的容器,而容器在内部维护其排序保证,并且不执行未定义的行为。要测试密钥是否存在,请执行以下操作:templatebool key_exists( Container const& container, double target, double epsilon = 0.00001 ) { auto range = my_equal_range(container, target, epsilon); return range.first != range.second;}并且如果您要删除/替换条目,则应处理可能有多个条目命中的可能性。较短的答案是“不使用浮动点值作为键std::set和std::map”,因为它是一个有点麻烦。如果确实对std::set或使用浮点键std::map,则几乎可以肯定不要对它们执行.find或[],因为极有可能是错误的来源。只要确切的顺序无关紧要(即,一个特定的1.0在前面或后面,或者与另一个1.0完全在同一位置),就可以将其用于自动排序的东西集合。即使那样,我还是要使用多贴图/多集,因为依靠碰撞或缺乏碰撞并不是我要依靠的东西。很难对IEEE浮点值的确切值进行推理,并且依赖它的代码的脆弱性很常见。