将 operator== 传递给 C++ 中的设置

Question

我想要一个set<double> S; 并在其中插入一些双打。但我希望集合考虑1.0000001 == 1.0000000 （使用epsilon 比较双打）（我的意思是如果我将两个数字都插入到集合中，set.size() 应该等于1）。我知道如何将 operator() （用于比较）传递给集合，但我不知道如何传递函数：

const double eps = 1e-8;
bool operator==(double a, double b)
{
    return abs(a - b) < eps;
}

到集合。

P.S：感谢希德。 @Sid：我发现：std::set 不使用 operator==。当 !(a

Answer 1

简单的答案是你不能，至少不是那么容易。你 必须定义一个定义严格弱的比较运算符 订购。如果你有类似的东西：

bool
cmpDouble( double lhs, double rhs )
{
    return abs( lhs - rhs ) < eps
        ? false
        : lhs < rhs;
}

那么! (a < b) && ! (b < a) 没有定义等价 关系，因此没有满足主要要求。

可以使用类似的东西：

bool
cmpDouble( double lhs, double rhs )
{
    double iLhs;
    modf( 1e8 * lhs, &iLhs );
    double iRhs;
    modf( 1e8 * rhs, &iRhs );
    return iLhs < iRhs;
}

但坦率地说，我怀疑如果你的双打来源需要这个 之类的，它们可能不适合存储在 set 中。

Answer 2

如果您有比较功能，那么为什么需要 operator== ？看看下面的线程。

std::set with user defined type, how to ensure no duplicates

看Mehrdad's answer。

Answer 3

关闭@Sid 提供的链接，您似乎可以通过如下定义比较运算符来做到这一点：

const double eps = 1e-8;
bool less_than(double a, double b)
{
    return a < b - eps;
}

bool greater_than(double a, double b)
{
    return a > b + eps;
}

Answer 4

您需要在将双打插入到集合之前量化双打。

如果您认为 1.0000000 在将它们插入到集合中。同样对于 1.0000002

这种方法避免了比较运算符和传递性的所有问题。

Answer 5

这似乎是个坏主意。考虑数字1.0000000、1.0000001、1.0000002 的情况。如果您先插入1.0000001，则不允许将任何其他数字添加到集合中。如果您先添加1.0000000 或1.0000002，则可以稍后添加另一个。

此外，set 使用operator< 来定义其关系，而不是相等。我看不到编写依赖于 epsilon 的严格弱排序的方法，它只是不会产生正确排序的容器。容器只是依赖于operator< 或其他比较，无法指定相等操作。

更好的是只使用普通的< 比较，并在构建集合后进行后处理以清理您不再需要的元素。如果您向我们提供有关您尝试解决的真正问题的更多信息，我们可能会提供帮助。

Answer 6

const double eps = 1e-8;
bool compare(double a, double b)
{
    return (abs(a - b) > eps) ? (a < b) : false;
}

set<int,bool(*)(double,double)> set (compare);

---

struct Compare
{
    bool operator()(double a, double b) const
    {
        return (abs(a - b) > eps) ? (a < b) : false;
    }
};

set<int,Compare> set;