C++ std::map使用tuple作键时无法识别已存在键问题排查

基础代码定义 #

当前使用的字典结构及类型别名定义如下：

std::map <key, value > WebIfcMap;

typedef std::tuple <int, std::string> key;
typedef std::tuple <char*, char*> value;

异常表现 #

调用取值接口时，即使目标键已经预先存入WebIfcMap，容器也无法正确匹配到对应条目，反而会在查询位置插入空值。例如构造查询键为(1, "YHLU01/LLN0$ST$Health$t")时，预期返回值为('false', '-1')，实际触发空条目插入。
复现问题的取值代码如下：

std::tuple<char*, char*> mmsmodify::GetValue(int luidx, string leafname)
{
    tuple <int, string> key;
    tuple <char*, char*> value;
    key = make_tuple(luidx, leafname);

    value = instance->pdsifc61850web->WebIfcMap[key];
    return value;
}

字典填充逻辑运行在独立线程的while(true)循环中，写入代码如下：

key = make_tuple(pdsmmsbuf->MMS[s32readidx].idx, strsigname);
lock_guard<mutex> lock_guard(queue_mutex);
if (WebIfcMap.find(key) != WebIfcMap.end())
{
    origvalue = WebIfcMap[key];
    value = make_tuple(pdsmmsbuf->MMS[s32readidx].data, get<1>(origvalue));
}
else
{
    value = make_tuple(pdsmmsbuf->MMS[s32readidx].data, value2);
}
memset(ps8signame, 0, sizeof(ps8signame));
strldname = SMclass.strldorig;

WebIfcMap[key] = value;

根因分析 #

问题按影响优先级排序如下：

• 并发访问未做全链路同步，触发未定义行为
  std::map本身不是线程安全容器，现有逻辑仅在写入流程中加了queue_mutex互斥锁，但GetValue的读取逻辑完全没有加锁保护。当写入线程正在修改map内部结构（插入元素、触发红黑树重平衡）时，读取线程同时遍历map内部结构做键匹配，会出现遍历路径错误、键比较逻辑异常等未定义行为，直接表现就是明明键存在却判定不存在；再加上读取时用了operator[]做访问，键不存在时会自动插入默认构造的空值，就出现了观测到的空条目问题。
• 读取接口使用operator[]存在逻辑缺陷
  std::map的operator[]语义是：返回键对应的值的引用，如果键不存在则插入一个默认构造的值再返回引用。就算排除多线程问题，用这个运算符做纯查询场景也会意外插入无效空值，污染容器数据。
• 额外潜在风险：value类型存储的是char*裸指针，没有持有字符串内存，一旦指针指向的缓冲区被覆盖、释放，后续就算查到值也会出现乱码、内存访问错误，不过这个不是本次键匹配失败的直接原因。

修复方案 #

• 所有对WebIfcMap的读写访问，必须持有同一个queue_mutex锁，禁止无锁读。
• 纯查询场景改用find接口取值，不要用operator[]，避免意外插入空值。

修正后的取值参考代码：

std::tuple<char*, char*> mmsmodify::GetValue(int luidx, string leafname)
{
    auto query_key = make_tuple(luidx, leafname);
    // 读操作必须加和写操作同一把互斥锁
    lock_guard<mutex> lock(instance->pdsifc61850web->queue_mutex);
    auto it = instance->pdsifc61850web->WebIfcMap.find(query_key);
    if (it != instance->pdsifc61850web->WebIfcMap.end()) {
        return it->second;
    }
    // 键不存在时按需返回约定的错误值，不要插入空条目
    return make_tuple(nullptr, nullptr);
}

• 长期优化建议将value中的char*替换为std::string，自动管理字符串内存，避免悬空指针问题。

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