如果没有明确的 < 运算符，std::less 如何工作？

Question

我想知道 std::less 如何在没有特定 operator < 关联的键的映射中工作。

更具体地说，我正在使用两个库，每个库在 3D 空间中都有自己特定的点实现：

class Lib1Point
{
public:
    double x;
    double y;
    double z;
    // ctors, dtor and lots of fancy methods, but no further data members
};

class Lib2Point
{
private:
    double coords[3];

public:
    // lots of other fancy methods, but also no further data members
};

这两个类都没有定义operator <。

class SomeData;
std::map<Lib1Point, SomeData> m_pointData1;
std::map<Lib2Point, SomeData> m_pointData2;

这两个映射如何对它们的键进行排序？点会按相同的顺序排序吗？我可以以某种方式信任此顺序还是特定于编译器？如果我不能信任它，在没有访问点类源代码的情况下强制执行特定顺序的最简单方法是什么？

Answer 1

当您尝试将元素插入容器时，您会收到编译器错误。

int main()
{
    std::map<Lib1Point, SomeData> m_pointData1;
    std::map<Lib2Point, SomeData> m_pointData2;

    m_pointData1.insert({Lib1Point{}, 1});
}

Live Example.

给出错误

错误：二进制表达式的操作数无效（'const Lib1Point' 和 'const Lib1Point')

      { return __x < __y; }
               ~~~ ^ ~~~

您可以为您的类型定义一个operator<，或者编写一个自定义函数对象my_less，并将其作为第三个模板参数传递给std::map

#include <tuple>

struct Lib1Less {
    bool operator()(Lib1Point const& L, Lib1Point const& R) {
        return 
            std::forward_as_tuple(L.x, L.y, L.z) < 
            std::forward_as_tuple(R.x, R.y, R.z)
        ;
    }
};

int main()
{
    std::map<Lib1Point, SomeData, Lib1Less> m_pointData1;
    m_pointData1.insert({Lib1Point{1,2,3}, 1});
}

Live Example