Question

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

#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是我要在声明类Tan时要构造的集合，而Vector3dNormCompareClass是key_comp的类，该类接受精度参数比较的结果（因为我们正在比较double的向量）。此外，就我而言，我希望能够重置key_comp（即Vector3dNormCompareClass）的精度，但是不幸的是，使用当前形式，我的代码无法编译。谁能帮我定义该列表，以便它可以使用自定义key_comp及其参数（即double prec）？

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

set对象使用此表达式来确定元素在容器中遵循的顺序以及两个元素键是否等效（通过反身比较它们：如果！comp（a，b）&&！comp（b，一种））。设置容器中不能有两个元素等效。

因此，通过检查(a<b) & (b>a)，我相信我的key_comp将满足确定等效键的条件。也就是说，这里的double prec现在用于对键进行排序，我想使其变得“灵活”，这意味着也许可以在每次清除_transList之后重置，即{{1} }。所以我的问题仍然存在，即代码无法使用当前形式编译，如果有人可以帮助我解决此问题，我将不胜感激！

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)，其中try被定义为!comp(a, b) && !comp(b, a)。

使用浮点键并相对于某些精度进行比较，您可以获得equiv(a, b)和equiv(a, b)为equiv(b, c)（两者都小于精度）但{{1} }为true（差异之和高于精度）。

标量键示例

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

自定义key_comp与带有C ++集参数的类

2 个答案: