不要使用有副作用的std.map.[]操作符

最新推荐文章于 2025-03-05 11:07:18 发布
原创 最新推荐文章于 2025-03-05 11:07:18 发布 · 632 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#c++ #map #副作用 #下标操作符

本文探讨了C++标准库中map[]操作符的隐性副作用及其带来的问题，并给出了一种更安全高效的替代方案。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

map的[]操作符包含隐性操作:当key不存在的时候，会默认执行insert操作

这种隐性操作在大多数情况下是有害的。

比如下面的代码：

// 判断是否有效技能ID
inline BOOL KSkillManager::IsValidSkillID(int nSkillID) 
{
    BOOL bRet = m_mapSkillID2SettingIndex[nSkillID] > 0;//当nSkillID不存在时，会执insert(nSkillID, 0)
    return (bRet);
}

判断一个nSkillID是否有效，却偷偷的对无效的技能id做了插入操作，导致有大量非技能ID用作查询的时候，map变得非常大，严重影响系统效率。

这种情况的正确用法如下：

// 判断是否有效技能ID
inline BOOL KSkillManager::IsValidSkillID(int nSkillID)  const
{
    std::map<int, int>::const_iterator it = m_mapSkillID2SettingIndex.find(nSkillID);
    BOOL bRet = (it != m_mapSkillID2SettingIndex.end() && it->second > 0);
    return (bRet);
}

修改要点:

1.只用作查询的成员函数，申明为const成员，这样可以让编译器帮我们确认是否修改到成员。

2.使用map.find查询key是否存在，而不要使用带有副作用的[]操作符。

C++ std::map详解：由浅入深掌握有序关联容器
Jay_515的博客
07-01 828
本文全面介绍了C++ STL中的std::map关联容器，包含以下核心内容：1) std::map的基本特性（有序存储、键唯一性、红黑树实现）；2) 常用操作（插入、访问、删除、遍历）及时间复杂度分析；3) 与unordered_map的对比；4) 实际应用案例（单词计数、学生管理）；5) 最佳实践（键选择、查找优化、C++17新特性）。文章强调std::map适合有序键值对场景，是C++开发者必须掌握的核心容器，同时提供了进阶学习方向。
STL map容器[]运算符陷阱
liangkdm的专栏
12-29 1224
之前在排查一个界面数据显示出错问题，一开始以为是内存越界导致map里面存的数据出现了异常，经过调试后发现map容器的[]运算符使用中存在陷阱，一不小心容易出错导致内部数据产生变化。          在STL中，map是一个关联式容器，它提供一对一的数据处理能力，即其中每一个元素都是一个键值对，通过一个唯一的关键字，可以唯一映射到对应的数据值。而map中重载了下标运算符[]，通过下标操作，开发
哪些操作符具有副作用？它们具有什么副作用？
奋斗之路
04-23 1414
对于这个问题，简要回答如下：   （）操作符本身并无任何副作用，但是它调用的函数可能有副作用。    ++、--，不论是前缀还是后缀形式，这些操作符都会修改它们的操作数；    =，包括所有其他的复合赋值符：它们都修改作为左值的操作数。    注：参考《C与指针》
std::map的[]方法重写
WangIcter的专栏
09-01 1880
需求要求对std::map的[]操作，新插入元素时设定为指定初始值。实现std::map<int, int> test_dict; uint32_t operator[](const int key) { // _where指向_where->first比key大于等于的元素 std::map<int, int>::iterator _where = test_dict.lower_
std::map 下标用法
skdchxyrs09的博客
11-11 1004
std::map下标[ ] 有两个功能 ： 插入并操作 for (int id=0;id< LV_laneline.size();id++) { unsigned long long RC_id = std::stoull(LV_laneline[id].attrubutes[lcf_to_RCid]); if (rcid_id_grpu...
【C++】17. map []操作符、insert()、emplace()
u011754972的博客
05-14 7516
对于 std::map容器来说，调用[]操作符会自动创建一个value为空的键值对
C++标准库深度解码：从std::vector到std::map的全面剖析（全面升级版）
![C++标准库深度解码：从std::vector到std::map的...通过对std::vector的内存管理、迭代器失效问题以及高级特性的详细阐述，帮助读者更有效地使用这一序列容器。同时，文章深入挖掘了std::map的基本原理，包括其键值对
你的代码缺乏出错判断和处理，并且还是存在副作用，再次强调，必须是完全无副作用，包括I/O操作和main函数，同时必须要引用透明，各个函数内部也不存在状态管理，禁止使用异常！
最新发布
05-12
好的，我现在需要解决用户的问题，关于如何编写无副作用、引用透明、不使用状态管理和异常处理的函数式代码，同时包含错误处理机制。用户之前提到了C++的例子，但这次可能希望更通用的方法，或者特定语言的实现。...
多线程编程全攻略：提升性能与线程安全的必备知识
热门推荐
张彦峰的博客
10-14 10万+
介绍多线程编程的相关概念、同步机制以及无锁编程。从线程的基础概念出发，包括逻辑线程和硬件线程的比较，以及线程、核心和函数的关系。随后，我们探讨了多线程编程的基本原则，包括时间分片、上下文切换、线程安全函数和可重入函数等。接着，我们讨论了为什么需要多线程同步、什么情况需要进行同步以及多线程同步的方式，包括串行化、原子操作和锁等。我们还深入研究了非阻塞的无锁同步机制，如CAS循环和无锁数据结构。最后，我们解释了程序序、内存序、乱序执行、存储缓冲区和失效队列等概念，以帮助更好地理解多线程编程。
void setFrameSize(std::unordered_map<int, std::array<int, 2>>& frameSizeMap, int cameraId, const cv::Mat& frame) { std::lock_guard<std::mutex> lock(frameSizeMapMutex); frameSizeMap.at(cameraId)[0] = frame.cols; frameSizeMap.at(cameraId)[1] = frame.rows; __LOG_PRINT(ANDROID_LOG_DEBUG, "rtsp", "设置宽高~ %d %d %d", cameraId, frame.cols, frame.rows); }这样赋值有问题吗？
03-22
- `std::unordered_map`作为非const引用传递，可能产生意外的副作用。建议： ```cpp void setFrameSize(std::unordered_map, std::array, 2>>& frameSizeMap, int cameraId, const cv::Mat& frame) // 保持引用但...
STL程序设计实践一:谨慎使用下标运算符
winmain的专栏
11-10 1225
 STL程序设计实践一:谨慎使用下标运算符   STL中容器占据很重要的地位，部分容器支持像数组一样的下标运算符，使其能向数组一样方便的访问，但也存在同样的限制，如向量和双端队列。所以在应用中要小心使用。举例说明：   vector nvec(10,7); //定义元素都为7大小为10的整形向量   int n = nvec[0];       //获取向量的第一个元素 d
突破编程_C++_STL教程（ map 的基础知识）
突破编程
03-10 1435
C++ STL教程： map 的基础知识
C++ STL中map的[]操作符使用时的一个坑
AlbertS Home of Technology
12-13 5596
学习C++，自从发现了map这个结构以后，就深深的被这种键值对的方式吸引了，写代码时也渐渐离不开这种结构了，一次偶然的机会发现这个map还有个 `[]` 运算符，仿佛又发现了新大陆一样，写代码更加方便了，殊不知一个深深的大坑正在前面等着我...
std map用法
alex1801
03-26 1万+
目录 1、map定义 2、赋值 or 插入 3、访问 3.1、通过key直接访问 3.2、迭代器 4、查找key值是否存在 5、移除key 6、容量 7、顺序比较 map的底层结构是红黑树，映射是关联容器。map中的元素是一些关键字-值对：关键字 起到索引的作用，值则表示与索引向关联的数据。 关键字是唯一的，不能重名。对于迭代器来说，可以修改实值，而不能修改key。根据key值快速查找记录，查找的复杂度基本是Log(N)，map是按key值排序，且与插入顺序无关。 头文件： #i
C++ std::map 取值方式
Adunn的专栏
02-07 2516
C++ std::map 取值方式 1、常用取值方式 2、遍历的方式取值 3、.at()的方式取值 4、数组下标[]的方式取值 5、数组下标[]的方式取值的注意事项 5.1 使用[] 取值，如果不存在，不会报错，但会打印空，并且会自动插入一条 该键值的数据 5.2 C++ map容器在const修饰下将无法使用“[]“来获取键值
[C++] std::map的介绍和使用
Loewen丶的小窝
03-05 582
丶布布转载注明出处。
C++基础之std::map
YGG12022的博客
04-08 3万+
Cartographer中要用到这里，之前都是直接用，了解不深，现在补,这里是纯搬的，手写一遍加深印象，源地址如下： 参考 std::map 容器使用详细说明_学之之博未若知之之要知之之要未若行之之实的博客-优快云博客_std::map使用 概述： Map是STL的一个关联容器，它提供一对一（其中第一个可以称为关键字，每个关键字只能在map中出现一次，第二个可能称为该关键字的值）的数据处理能力，由于这个特性，它完成有可能在我们处理一对一数据的时候，在编程上提供快速通道。这里说下map内部数据的组织.
C++示例：学习C++标准库std::map关联容器的使用
天恩软件工作室
01-19 466
std::map是C++标准库中的一个关联容器模板类，它存储的元素是一个键值对，其中每个键是唯一的。本示例通过代码，详细介绍C++标准模板库std::map关联容器模板类的功能使用。
C++ std:map深入解析与用法指南
weixin_74396256的博客
10-28 5819
C++ std::map 深入解析与用法指南
C++的map中[]++有什么用
03-13
<think>好的，我需要解释C++中map容器的[]运算符自增的使用场景。首先，用户想知道当使用map[key]++这样的操作时会发生什么，以及这在什么情况下有用。 首先，我得回忆一下map的基本特性。map是一种关联容器，存储键值对，每个键唯一。使用[]运算符访问时，如果键存在，返回对应的值的引用；如果不存在，会插入该键，并用值类型的默认构造函数初始化值，然后返回这个新值的引用。所以，当执行map[key]++时，如果键不存在，会先插入一个默认构造的值（比如int是0），然后自增，结果就是1。如果键存在，就直接自增原来的值。 接下来，考虑使用场景。最常见的是统计元素出现的次数。比如统计字符串中每个字符出现的次数，可以遍历字符，每次用map[char]++来递增计数。这种情况下，每次遇到一个字符，无论是否已存在，都能正确计数。这个用法非常简洁，避免了检查键是否存在的手动操作，提高了代码效率。 另一个场景是频率统计，比如统计一组数字中各数字出现的频率。同样地，map[num]++会自动处理新键的插入和旧键的自增，简化代码。 此外，可能用于默认初始化后的修改。比如，某些情况下需要确保键存在后才进行操作，此时使用[]运算符可以隐式插入默认值，之后进行自增或其他操作。 需要注意的是，使用[]运算符可能会无意中插入新键，如果不想插入新键，应该使用find方法检查是否存在。但在需要自动插入的场景下，这样的自增操作非常方便。 还要考虑值类型的默认构造是否合适。比如，如果值是int，默认是0，自增没问题。但如果值是自定义类型，需要确保默认构造函数和自增操作符的行为符合预期。 总结，map的[]运算符自增适合需要按键自动初始化并累计的场景，如计数、频率统计等，能简化代码逻辑，但需注意潜在的无意插入问题。</think>在C++中，`std::map`容器的`[]`运算符结合自增操作（如`map[key]++`）主要用于**按键自动初始化并更新值**的场景。以下是具体解释和使用示例： --- ### 1. **`[]`运算符的行为** - 当使用`map[key]`时： - 若键`key`存在，返回对应值的**引用**； - 若键`key`不存在，**自动插入该键**，并调用值类型的**默认构造函数**初始化值（如`int`初始化为0），然后返回新值的引用[^1]。 - **自增操作`++`**会直接修改该引用指向的值。 --- ### 2. **典型使用场景** #### **场景1：统计元素出现次数** ```cpp std::map<char, int> char_count; std::string s = "hello"; for (char c : s) { char_count[c]++; // 自动初始化并自增 } // 结果：h:1, e:1, l:2, o:1 ``` - **逻辑**：首次遇到字符`c`时，`char_count[c]`插入`c`并初始化为0，再自增为1；后续遇到时直接自增。 #### **场景2：频率统计** ```cpp std::map<int, int> freq; std::vector<int> nums = {1, 2, 2, 3, 3, 3}; for (int num : nums) { freq[num]++; // 自动统计频率 } // 结果：1:1, 2:2, 3:3 ``` #### **场景3：默认值初始化后操作** ```cpp std::map<std::string, int> scores; scores["Alice"] = 0; // 显式初始化 scores["Bob"]++; // 隐式初始化为0后自增为1 ``` --- ### 3. **注意事项** - **性能**：`[]`运算符的时间复杂度为$O(\log n)$（基于红黑树实现）。 - **键不存在时的副作用**：若不想自动插入新键，需先用`find()`检查存在性： ```cpp auto it = map.find(key); if (it != map.end()) { it->second++; } ``` - **值类型限制**：值类型必须支持默认构造函数和自增操作（如`int`、`double`等）。 --- ### 示例代码 ```cpp #include <iostream> #include <map> int main() { std::map<std::string, int> word_count; word_count["apple"]++; // 插入"apple"并设为1 word_count["apple"]++; // 值变为2 std::cout << "apple count: " << word_count["apple"] << std::endl; // 输出2 return 0; } ``` ---
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值