为何std::map需要operator<？如何编写并解决匹配错误？

首先得搞清楚std::map的本质：它是一个有序关联容器，底层一般用红黑树实现。为了维护容器内元素的有序性，它必须能比较两个键的大小——默认情况下，它会用std::less<T>这个仿函数，而这个仿函数会调用键类型的operator<来做比较。

你之前用其他std::map没遇到这个问题，大概率是因为当时的键是原生类型（比如int、std::string、time_t这些），标准库已经为这些类型提供了合法的operator<，所以不用你自己写。但如果键是自定义的date类，就必须自己提供比较逻辑。

最常见的问题是重载的函数不符合要求：

• 没有把operator<声明为const成员函数：std::map在比较键的时候，会把键当作const对象处理，如果你的operator<不是const成员函数，就无法被const对象调用，编译器自然会报错。
• 参数没有用const引用：比如你写的是bool operator<(date other)，而不是bool operator<(const date& other)，这不仅会导致不必要的拷贝，还可能因为无法接受const对象参数而报错。

分两种场景给你示例：

场景1：自定义date类封装time_t #

如果你的date是自定义类，正确的operator<重载应该是这样的：

class date {
private:
    time_t timestamp;
public:
    // 构造函数示例
    date(time_t t) : timestamp(t) {}

    // 关键：const成员函数，参数是const引用
    bool operator<(const date& other) const {
        // 用内部的time_t做比较，复用原生的operator<
        return timestamp < other.timestamp;
    }
};

// 现在可以正常使用map了
std::map<date, float> my_date_map;

场景2：直接用time_t作为键 #

如果你的键本来就是原生time_t，那根本不需要重载operator<——标准库已经为time_t实现了比较运算符。这时候报错可能是你代码里不小心把键类型写成了自定义date类，或者有拼写错误，检查一下类型声明即可：

// 直接用time_t做键，无需任何重载
std::map<time_t, float> my_time_map;

替代方案：用自定义比较器（不重载operator<） #

如果不想修改date类，也可以给std::map传入自定义的比较器：

class date {
public:
    time_t timestamp;
    // 其他成员...
};

// 自定义比较器结构体
struct DateComparator {
    bool operator()(const date& a, const date& b) const {
        return a.timestamp < b.timestamp;
    }
};

// 声明map时指定比较器
std::map<date, float, DateComparator> my_map;

这种方式同样能让std::map正确比较键的大小，而且不需要修改date类的代码。

确保你的比较逻辑满足严格弱序（strict weak ordering）：

• 对于任意a，a < a必须为false
• 如果a < b为true，则b < a必须为false
• 如果a < b且b < c，则a < c必须为true
• 如果a不小于b且b不小于a，则a和b视为等价（在map中会被当作同一个键）

只要满足这些规则，std::map就能正常工作啦。

内容的提问来源于stack exchange，提问作者Lukas Pettersson