1. C++ map 键存在判断的三种方法概览
C++ map 键存在判断全解：find、count、contains 的使用场景与性能对比 作为本文的核心话题，我们将从基本语义、可用性和性能三个维度展开讨论。对于 std::map，键的唯一性使得三种方法在存在性判断上有本质差异，但在复杂度上都保持在对数级别。
在一个典型的有序映射中，键的查找成本与树的高度相关。三种方法的时间复杂度通常都是 O(log n)，但它们返回的信息和使用场景略有不同，决定了你在真实工程中的选择。
为了剖析场景，我们先梳理每种方法的基本行为，然后在后续小节给出具体代码示例与对比。此处的讨论仅针对 std::map（非多重映射），并在必要时对比 multimap 与 unordered_map 的特性。
1.1 使用 find 判断键是否存在
使用find 时，你得到一个指向键值对的迭代器，若键不存在则得到 end()。这使得你在存在性判断的同时还能直接获取元素，为后续操作（如读取或修改）提供了机会。
std::map<int, std::string> m;
int key = 42;
auto it = m.find(key);
if (it != m.end()) {
// 键存在，it->second 为对应的值
std::cout << "Found: " << it->second << std::endl;
} else {
// 键不存在
}
在上面的代码中，find 提供了 whether existence 和 element 访问的双重能力，这在需要后续操作时非常便利。若你只关心是否存在，可以通过对比 it != m.end() 来判断，而无需额外的计数或哈希开销。
1.2 使用 count 判断键是否存在
对于 count，你得到与该键匹配的元素数量（对于 std::map 来说，最多为 1）。这是一个简单的真/假判断，非常直接。
std::map<int, std::string> m;
int key = 42;
if (m.count(key) > 0) {
// 键存在
} else {
// 键不存在
}
count 的语义尽管直观，但在“仅判断存在”的场景下，通常不如使用 find 返回迭代器的能力丰富，因为它不会直接提供元素访问权限。 在需要仅进行存在性检查且不需要取出值时，count 仍然是一个可选的简洁写法。
2. contains 的出现与语义演进
在 C++20 之前，开发者需要靠 find 或 count 来完成键的存在性检查。C++20 引入 contains，使表达式变得更直观，且在某些实现中可能帮助编译器更好优化。
2.1 contains 的语义与返回类型
contains 直接返回一个布尔值，表示给定键是否存在于容器中。它不提供元素访问的能力，但在大量存在性检查的循环中，表达更清晰。
std::map<int, std::string> m;
int key = 42;
if (m.contains(key)) {
// 键存在，可以直接执行后续动作
} else {
// 键不存在
}
需要注意的是，contains 的实现仍然遵循对数时间复杂度 O(log n)，与 find 的复杂度一致。若你的代码在使用 std::version 支持 contains，你可以用它来提升可读性。
2.2 contains 与 find 的对比场景
当你只需要判断存在性且不需要元素引用时，contains 比 find 的语义更清晰，有助于表达意图，且在部分微量场景下可能让编译器产生更高效的分支预测。
3. 性能对比与使用场景选择
综合上述三种方法，在 std::map 上的时间复杂度大体一致，均为 O(log n)。然而，它们的返回值和对后续代码的影响不同，下面从场景和成本两个维度展开对比。
3.1 使用场景的实务比较：需要迭代器/值访问 vs 仅判断存在
如果你的逻辑需要在判断存在时同时取得该键的值，优选 find，你可以直接使用迭代器访问 it->second，并且还能对同一个键执行后续修改或读取。
auto it = m.find(key);
if (it != m.end()) {
// 使用 it->second
}
如果你只是要基于条件分支进行分支控制而不需要取出值，则可以选择 contains 或 count，这两者在只做存在性判断时开销相近。contains 更具语义性，count 更契合统计语义。
3.2 对比：std::map 与 std::unordered_map 的性能直觉
对于 std::map，所有查找相关操作的时间复杂度为 O(log n)，因为底层是平衡二叉树。相比之下，std::unordered_map 的查找通常是 平均 O(1)，但在极端再散列或哈希冲突时仍有对数级别的情况。
如果你在关注极端高频的“存在性检查”且集合规模很大，且对键的分布也较均匀，unordered_map 的 contains 与 find 的平均成本可能更低。但若你需要键的有序性或区间遍历，std::map 的 O(log n) 性能是稳定且可预测的。
