最后一个让我很困惑。它不会移动值，但也不会在每次迭代时复制它。

这是因为仅当键不在地图中时，地图才会构造一个键。

使用哪个构造函数取决于传入的类型operator[]。当它是右值引用时，将对键进行移动构造，否则将对键进行复制构造。

因此，word每次使用后都必须清除，即使可能在映射中移动构造新键。当键已经存在时，该字将不会用于移动构造，并且将保持不变。

作为参考，该映射存储的是（字符串，整数）对的元素：std::pair<std::string, int>。

如果没有基准，很难说避免复制会有什么改变。但无论如何，让我们放纵一下：

#include <cstdio>
#include <string>
#include <unordered_map>

int main() {
    std::string word = "";
    std::string s = "pip pop pip som som som";
    std::unordered_map<std::string, int> dic;

    for (char c : s) {
        if ('a' <= c && c <= 'z') {  // lower case
            word.push_back(c);
        } else if ('A' <= c && c <= 'Z') {  // upper case
            word.push_back(c + 32);
        } else if (!word.empty()) {  // word ended
            ++dic[std::move(word)];
            word.clear();
        }
    }
    if (!word.empty()) {  // word ended
        ++dic[std::move(word)];
    }

    for (const auto& pair : dic) {
        printf("%s %d\n", pair.first.c_str(), pair.second);
    }
}

值得注意的是：

1. std::move实际上不移动任何东西。它是一种强制类型转换，允许在需要时进行移动构造。单词是否移动到字典键中取决于try_emplace成功还是失败。当键已经存在时，它会失败。try_emplace由接受右值引用的重载在内部使用operator[]。

2. 问题中最好有完整的、可用的代码，这样回答问题的人就可以将其粘贴到 IDE 或源文件中。这意味着您需要可用的代码，而不要包含与问题无关的部分，只需将其粘贴到问题中即可。

理想情况下，简短的 C 或 C++ 示例应该可以在 godbolt 上运行 – 这通常是任何人在回答问题时解决它们的最快方法。

，下面是输出：

som 3
pop 1
pip 2

对于基准测试，您应该熟悉。将代码从 godbolt 转移到 quick-bench 只需单击一下即可。

++dic[std::move(word)]相当于：

const auto itbool = dic.try_emplace(std::move(word), int{});
++ itbool.first->second;

itbool是std::pair<iterator, bool>。迭代器对 进行迭代std::pair<key, value>。因此，为了得到整数，我们首先通过 获得迭代器对itbool.first，然后增加键值对的值（第二个）元素部分。