自定义 key_comp 和 class 接受一个 C++ 集的参数

Question

我一直在尝试创建一组 Vector3ds（来自 Eigen 库）。此外，该集合将从自定义 class 中获取 key_comp，而自定义 class 恰好也带有参数。所以下面是我的代码

#include <set>
#include <Eigen/Core>

using namespace std;
using namespace Eigen;

class Vector3dNormCompareClass {
public:
        Vector3dNormCompareClass(const double prec) {
                _prec = prec;
        }
        bool operator ()(const Vector3d lhs, const Vector3d rhs) const;
private:
        double _prec;
};

bool Vector3dNormCompareClass::operator ()(const Vector3d lhs,
                const Vector3d rhs) const {    
        if (lhs.norm() < rhs.norm())
                return true;

        for (int i = 0; i < 3; ++i) {
                if (abs(lhs(i) - rhs(i)) > _prec)
                        return lhs(i) < rhs(i);
        }
        return false;
}

class Tan {    
    set<Vector3d,Vector3dNormCompareClass> _transList;
    public:
    void setTransList(double foo);    
};


void Tan::setTransList(double foo) {
    Vector3dNormCompareClass comp(foo);
    _transList(comp);    
}

这里，_transList 是我要在声明 class Tan 时构建的集合，而 Vector3dNormCompareClass 是 class 的 key_comp 接受比较精度的参数（因为我们正在比较双精度向量）。此外，在我的例子中，我希望能够重置 key_comp 的精度，即 Vector3dNormCompareClass，但不幸的是，我的代码无法通过当前形式进行编译。任何人都可以帮助我如何定义列表，以便它可以使用自定义 key_comp 及其参数（即 double prec）？

更新因为你们中的一些人显然更关心我的 key_comp 的数学有效性，我在其中添加了一些代码：if (lhs.norm() < rhs.norm()) return true; 来满足定义的条件 here，我引用：

The set object uses this expression to determine both the order the elements follow in the container and whether two element keys are equivalent (by comparing them reflexively: they are equivalent if !comp(a,b) && !comp(b,a)). No two elements in a set container can be equivalent.

因此，通过检查 (a<b) & (b>a)，我相信我的 key_comp 将满足确定等效键的条件。也就是说，这里的double prec现在是用来排序键的，我想把它变成"flexible"，意思是能够重置，也许，每次我清除_transList之后，即_transList.clear()。所以我的问题仍然存在，即代码不能用当前的形式编译，如果有人能帮助我解决这个问题，我将不胜感激！

Answer 1

您不能只重置比较器，因为这（很可能）也会更改内部顺序。但是，您可以使用新的比较器重置集合（并可选择插入当前值）：

void Tan::setTransList(double foo) {
    Vector3dNormCompareClass comp(foo);
    set<Vector3d,Vector3dNormCompareClass> tmp(
        _transList.begin(), _transList.end(), // remove this line if you don't want to copy old entries
        comp); 
    _transList.swap(tmp);    
}

编辑： 正如 Daniel 所指出的，您的比较器不满足集合的必要条件（即传递性），即您可能会得到意想不到的结果（取决于您插入值的顺序）。

Answer 2

我相信在浮点键的情况下，您不能以这种方式为关联容器定义比较器。 C++ 标准要求从比较器派生的相等性是可传递的，例如：equiv(a, b) && equiv(b, c) implies equiv(a, c), where equiv(a, b) is defined as !comp(a, b) && !comp(b, a).

使用浮点键并比较某些精度，您可以得到 equiv(a, b) 和 equiv(b, c) 为 true（两者的差异小于精度）但 equiv(a, c)为false（差和高于精度）。

标量键示例

考虑 _prec 为 0.1（出于示例目的，它很高，您可以对任何值进行相同的分析）。然后 comp(a, b) 被定义为 abs(a, b) < 0.1 将意味着 equiv(1.10, 1.19) 是 true 以及 equiv(1.19, 1.28)，但是 equiv(1.10, 1.28) 将是 false .

自定义 key_comp 和 class 接受一个 C++ 集的参数

Custom key_comp with a class that takes an argument for a c++ set

c++

set

eigen