std::map以pair<pybind11::dtype,int>为键时插入元素丢失问题

std::map判定两个键等价的规则不依赖==运算符：当比较器comp(a,b)和comp(b,a)均返回false时，就会判定两个键为等价关系，拒绝插入重复键。
你之前的实现存在两个致命问题：

1. 初始版本未传入自定义比较器时，std::pair<pybind11::dtype, int>使用默认的<运算符比较，但pybind11官方并未为dtype实现符合严格弱序要求的<重载，默认比较逻辑会将不同的dtype误判为等价，导致第二条数据插入失败。
2. 后续自定义比较的版本存在两个漏洞：一是你在全局命名空间重载的pybind11::dtype的<运算符不符合ADL（参数依赖查找）规则，标准库的pair比较逻辑根本不会调用这个重载；二是getVal函数没有兜底返回值，遇到未匹配的dtype类型时会触发未定义行为，返回随机值导致比较逻辑完全混乱。

直接在自定义比较器内实现完整的严格弱序逻辑，不依赖全局运算符重载，同时补全所有分支的返回逻辑：

#include <pybind11/numpy.h>
#include <opencv2/core.hpp>
#include <map>
#include <utility>

// dtype转唯一整数ID，补全兜底逻辑避免未定义行为
inline int dtype_to_id(pybind11::dtype t) {
    if (t.is(pybind11::dtype::of<std::uint8_t>())) return 1;
    if (t.is(pybind11::dtype::of<std::uint16_t>())) return 2;
    if (t.is(pybind11::dtype::of<std::int16_t>())) return 3;
    if (t.is(pybind11::dtype::of<std::int32_t>())) return 4;
    if (t.is(pybind11::dtype::of<std::float_t>())) return 5;
    if (t.is(pybind11::dtype::of<std::double_t>())) return 6;
    return -1; // 无效类型兜底
}

// 自定义键比较器，严格遵循先比dtype、再比通道数的弱序规则
struct DtypeChannelComp {
    bool operator()(const std::pair<pybind11::dtype, int>& a, 
                    const std::pair<pybind11::dtype, int>& b) const {
        int a_id = dtype_to_id(a.first);
        int b_id = dtype_to_id(b.first);
        if (a_id != b_id) {
            return a_id < b_id;
        }
        return a.second < b.second;
    }
};

// 定义map时直接传入自定义比较器类型
static std::map<std::pair<pybind11::dtype, int>, int, DtypeChannelComp> ocv_types;

// 初始化插入条目
void init_ocv_types() {
    ocv_types.insert({{pybind11::dtype::of<std::int32_t>(), 3}, CV_32SC3});
    ocv_types.insert({{pybind11::dtype::of<std::float_t>(), 3}, CV_32FC3});
    // 其余类型组合按相同逻辑插入即可
}

• 不要为第三方命名空间的类型重载全局运算符，这类重载不会被标准库容器的比较逻辑稳定识别，直接在自定义比较器内实现全量逻辑是最稳妥的方案。
• 所有带分支判断的工具函数必须写全兜底返回值，避免触发未定义行为导致随机的插入、查找失败。
• 插入完成后可通过ocv_types.size()校验结果，上述两个键成功插入后map的size应为2，不会出现插入失败或覆盖的问题。

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