传递运算符 == 在 c++ 中设置

Question

我想要一个 setS; 并向其中插入一些双精度数。但我希望集合考虑 1.0000001 == 1.0000000 （使用 epsilon 比较双精度数）（我的意思是，如果我将两个数字插入集合中，set.size() 应等于 1）。我知道如何将 operator() （用于比较）传递给集合，但我不知道如何将 function:

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

传递给集合。

PS：感谢席德。 @Sid：我发现：std::set 不使用operator==。元素 a 和 b 被视为相等 iff !(a < b) && !(b＜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;
}

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

Answer 2

如果你有比较函数那么为什么还需要operator==？看看下面的线程。

std::set 具有用户定义的类型，如何确保没有重复项

请参阅Mehrdad 的回答。

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 <= x < 范围内的所有数字1.0000002 是相同的，只需将这个范围内的所有数字替换为 1.0000000 在将其插入集合中即可。同样对于 1.0000002 <= x < 1.0000004 等。

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

Answer 5

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

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

更好的方法是仅使用正常的 < 比较，并在构建集合后进行后处理以清理不再需要的元素。如果您向我们提供有关您试图解决的真实问题的更多信息，我们也许能够提供帮助。

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;