如何在C++的map中使用自定义结构体作为键（key）

<blockquote>要在C++的std::map中使用自定义结构体作为键，必须提供明确的比较规则以满足严格弱序要求，通常通过重载operator</blockquote> <p><img src="https://img.php.cn/upload/article/000/969/633/175712412424392497.png" alt="如何在c++的map中使用自定义结构体作为键（key）"></p> <p>要在C++的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>中使用自定义结构体作为键，核心在于让<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>知道如何比较这些结构体实例的大小。这通常通过为你的结构体定义一个<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>重载，或者提供一个自定义的比较函数对象（comparator）来实现。没有明确的比较规则，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>就无法正确地组织和查找数据，这是它底层数据结构（红黑树）运作的基石。</p> <h3>解决方案</h3> <p>在C++中，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的键类型必须满足“严格弱序”（Strict Weak Ordering）的要求，这通常意味着它必须有一个可用的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>。对于自定义结构体，我们有两种主要方法来满足这个要求：</p> <p><strong>1. 重载结构体的 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div> 运算符</strong></p> <p>这是最直接也最常用的方法。当你定义了<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>在需要比较两个键时，就会自动调用这个运算符。</p> <p><span>立即学习</span>“<a href="https://pan.quark.cn/s/6e7abc4abb9f" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">C++免费学习笔记（深入）</a>”；</p> <p>假设我们有一个表示三维坐标的结构体<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point3D</pre></div>：</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>#include <map> #include <iostream> #include <string> // 自定义结构体 struct Point3D { int x; int y; int z; // 重载 < 运算符 // 必须是 const 成员函数，因为比较操作不应该修改对象状态 // 通常按照字典序进行比较 bool operator<(const Point3D& other) const { if (x != other.x) { return x < other.x; } if (y != other.y) { return y < other.y; } return z < other.z; // 如果x, y都相等，则比较z } // 为了方便打印，可以重载 << 运算符 friend std::ostream& operator<<(std::ostream& os, const Point3D& p) { os << "(" << p.x << ", " << p.y << ", " << p.z << ")"; return os; } }; // 使用示例 // int main() { // std::map<Point3D, std::string> pointData; // // pointData[{1, 2, 3}] = "Center"; // pointData[{0, 0, 0}] = "Origin"; // pointData[{1, 2, 4}] = "Above Center"; // pointData[{1, 1, 3}] = "Left of Center"; // // std::cout << "Map content:" << std::endl; // for (const auto& pair : pointData) { // std::cout << pair.first << " -> " << pair.second << std::endl; // } // // Point3D searchPoint = {1, 2, 3}; // if (pointData.count(searchPoint)) { // std::cout << "Found " << searchPoint << ": " << pointData[searchPoint] << std::endl; // } // // return 0; // }</pre></div><p><strong>2. 提供自定义比较器（Comparator）</strong></p> <p>当你不方便修改结构体定义（例如，它来自第三方库），或者你需要为同一个结构体提供多种不同的比较逻辑时，自定义比较器就派上用场了。比较器是一个函数对象（通常是一个重载了<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator()</pre></div>的结构体或类），它作为<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的第三个模板参数传入。</p> <p>我们继续使用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point3D</pre></div>，但这次不重载它的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>。</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>#include <map> #include <iostream> #include <string> // 自定义结构体（不重载 operator<） struct Point3D_NoOp { int x; int y; int z; // 为了方便打印，可以重载 << 运算符 friend std::ostream& operator<<(std::ostream& os, const Point3D_NoOp& p) { os << "(" << p.x << ", " << p.y << ", " << p.z << ")"; return os; } }; // 自定义比较器 struct Point3DComparator { // 必须是一个 const 成员函数，接受两个 const 引用参数 bool operator()(const Point3D_NoOp& a, const Point3D_NoOp& b) const { // 同样按照字典序进行比较 if (a.x != b.x) { return a.x < b.x; } if (a.y != b.y) { return a.y < b.y; } return a.z < b.z; } }; // 使用示例 // int main() { // // 将自定义比较器作为第三个模板参数传入 // std::map<Point3D_NoOp, std::string, Point3DComparator> pointData; // // pointData[{1, 2, 3}] = "Center"; // pointData[{0, 0, 0}] = "Origin"; // pointData[{1, 2, 4}] = "Above Center"; // pointData[{1, 1, 3}] = "Left of Center"; // // std::cout << "Map content (using custom comparator):" << std::endl; // for (const auto& pair : pointData) { // std::cout << pair.first << " -> " << pair.second << std::endl; // } // // Point3D_NoOp searchPoint = {1, 2, 3}; // if (pointData.count(searchPoint)) { // std::cout << "Found " << searchPoint << ": " << pointData[searchPoint] << std::endl; // } // // return 0; // }</pre></div><p>你甚至可以使用 C++11 引入的 Lambda 表达式来定义匿名比较器，这在比较逻辑简单且只使用一次时非常方便：</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>// ... (Point3D_NoOp 定义同上) // int main() { // auto lambdaComparator = [](const Point3D_NoOp& a, const Point3D_NoOp& b) { // if (a.x != b.x) return a.x < b.x; // if (a.y != b.y) return a.y < b.y; // return a.z < b.z; // }; // // // 注意：使用 lambda 时，std::map 的第三个模板参数需要是 decltype(lambdaComparator) // // 并且在构造 map 时传入 lambda 实例 // std::map<Point3D_NoOp, std::string, decltype(lambdaComparator)> pointData(lambdaComparator); // // pointData[{1, 2, 3}] = "Center"; // // ... 其他操作同上 // // return 0; // }</pre></div><p>在我看来，这两种方法各有侧重。重载<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>更像是为你的类型定义了一种“自然”的、默认的排序方式，而自定义比较器则提供了更大的灵活性，允许你在不修改类型本身的情况下，根据特定场景定制比较逻辑。</p> <h3> <a style="color:#f60; text-decoration:underline;" title="为什么" href="https://www.php.cn/zt/92702.html" target="_blank">为什么</a><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>要求键（Key）必须可比较？理解其底层机制</h3> <p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的底层实现通常是红黑树（Red-Black Tree）。这是一种自平衡的二叉搜索树，它的核心操作——插入、查找、删除——都依赖于节点之间的大小比较。简单来说，当你向<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>中插入一个新元素时，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>需要知道这个新键应该放在现有哪个键的左边还是右边，以便保持树的有序性。查找一个键时也一样，它需要通过比较来决定是向左子树还是右子树搜索。</p> <div class="aritcle_card"> <a class="aritcle_card_img" href="/ai/1375"> <img src="https://img.php.cn/upload/ai_manual/001/431/639/68b6d37f49a7e251.png" alt="ChatPDF"> </a> <div class="aritcle_card_info"> <a href="/ai/1375">ChatPDF</a> <p>使用ChatPDF，您的文档将变得智能!跟你的PDF文件对话，就好像它是一个完全理解内容的人一样。</p> <div class=""> <img src="/static/images/card_xiazai.png" alt="ChatPDF"> <span>327</span> </div> </div> <a href="/ai/1375" class="aritcle_card_btn"> <span>查看详情</span> <img src="/static/images/cardxiayige-3.png" alt="ChatPDF"> </a> </div> <p>如果键不可比较，那么<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>就无法决定元素的相对位置，树的结构也就无从谈起，更别提高效的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">O(logN)</pre></div>时间复杂度了。这就是为什么<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的键类型必须满足“严格弱序”这一严格要求。</p> <p>“严格弱序”是一个数学概念，它要求比较操作符（例如<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>）满足以下几个特性：</p> <ol> <li> <strong>非自反性 (Irreflexivity)</strong>：<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">a < a</pre></div> 永远为假。</li> <li> <strong>非对称性 (Asymmetry)</strong>：如果 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">a < b</pre></div> 为真，那么 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">b < a</pre></div> 必须为假。</li> <li> <strong>传递性 (Transitivity)</strong>：如果 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">a < b</pre></div> 且 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">b < c</pre></div> 都为真，那么 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">a < c</pre></div> 也必须为真。</li> <li> <strong>可比较等价性 (Comparability Equivalence)</strong>：如果 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">a</pre></div> 和 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">b</pre></div> 都不小于对方（即 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">!(a < b)</pre></div> 且 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">!(b < a)</pre></div>），那么它们被认为是等价的。这种等价关系也必须是传递的。</li> </ol> <p>违反这些规则会导致<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>内部结构混乱，查找失败，甚至程序崩溃，因为红黑树的平衡和搜索路径都将被破坏。坦白讲，调试这种问题会非常头疼，因为它可能不会立即报错，而是在运行时表现出诡异的行为。所以，在编写自定义比较逻辑时，务必确保它满足这些数学上的严谨性。</p> <h3>何时选择重载<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>，何时选择自定义比较器？</h3> <p>这确实是一个常见的选择困境，在我多年的开发经验中，我发现这主要取决于你对结构体的控制权、以及你的设计意图。</p> <p><strong>选择重载 <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div> 的场景：</strong></p> <ul> <li> <strong>你拥有结构体的定义权：</strong> 如果这个结构体是你自己定义的，并且你能够修改它的源代码，那么重载<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>通常是最简洁直观的方式。</li> <li> <strong>存在“自然”或“默认”的排序方式：</strong> 如果你的结构体有一个清晰、普遍认同的排序逻辑（比如<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point3D</pre></div>的字典序比较），那么将其作为默认的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>是符合直觉的。</li> <li> <strong>广泛用于其他有序容器：</strong> 如果你的结构体不仅会用在<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>中，还会用在<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::set</pre></div>、<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::sort</pre></div>等其他需要排序的地方，那么一个通用的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>可以避免重复编写比较逻辑。</li> </ul> <p><strong>选择自定义比较器的场景：</strong></p> <ul> <li> <strong>无法修改结构体定义：</strong> 这是一个非常实际的场景。例如，你正在使用一个第三方库提供的结构体，或者一个不允许你修改的遗留代码中的结构体。在这种情况下，自定义比较器是唯一的选择。</li> <li> <strong>需要多种排序逻辑：</strong> 假设你有时需要按<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point3D</pre></div>的x、y、z排序，有时又需要按z、y、x排序，或者按到原点的距离排序。这时，你可以定义多个不同的比较器，分别用于不同的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>实例，而无需修改<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point3D</pre></div>本身。</li> <li> <strong>比较逻辑与结构体本身解耦：</strong> 有时，比较逻辑可能非常复杂，或者依赖于外部状态。将这种逻辑封装在独立的比较器中，可以提高代码的模块化和可维护性。</li> <li> <strong>临时或一次性比较：</strong> 对于一些简单、临时的比较需求，使用Lambda表达式作为比较器非常方便，可以避免创建额外的具名结构体。</li> </ul> <p>总的来说，如果你的结构体有一个明确的、唯一的“大小”定义，并且你完全控制它，那么重载<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>通常是首选。否则，自定义比较器提供了更灵活、更解耦的解决方案。</p> <h3>自定义结构体作为键时，常见的陷阱与性能考量</h3> <p>在使用自定义结构体作为<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的键时，我遇到过一些坑，也总结了一些性能上的考量。</p> <p><strong>常见的陷阱：</strong></p> <ol> <li> <strong>违反严格弱序（Strict Weak Ordering）：</strong> 这是最致命的错误。如果你的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>或自定义比较器没有满足严格弱序的要求，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的行为将是未定义的。这意味着你的程序可能在不同的编译器、不同的运行环境下表现出完全不同的结果，从简单的查找失败到内存访问错误，都可能发生。一个常见的错误是，你的比较函数可能在某些情况下，对于两个逻辑上不同的对象，返回它们是“等价的”（即<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">!(a < b)</pre></div>且<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">!(b < a)</pre></div>），但实际上它们并不完全相等，导致<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>无法区分它们，或者将它们错误地放置。<ul><li> <strong>示例误区：</strong> 假设你的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point3D</pre></div>只比较<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">x</pre></div>和<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">y</pre></div>，而忽略<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">z</pre></div>。那么<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">{1, 2, 3}</pre></div>和<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">{1, 2, 4}</pre></div>在<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>看来就是等价的。你可能只能成功插入其中一个，或者后续查找另一个时会失败。</li></ul> </li> <li> <strong><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">const</pre></div>正确性缺失：</strong> 你的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator<</pre></div>成员函数和自定义比较器的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator()</pre></div>都必须声明为<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">const</pre></div>。这是因为<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>在内部比较键时，不会修改键对象，所以它会期望调用一个<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">const</pre></div>成员函数。如果缺失<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">const</pre></div>，编译器会报错。</li> <li> <strong>引用与拷贝的考量：</strong> 比较函数的参数最好是<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">const</pre></div>引用（例如<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">const Point3D& other</pre></div>）。这样可以避免不必要的对象拷贝，特别是当你的结构体比较大时，拷贝会带来显著的性能开销。</li> <li> <strong>浮点数比较：</strong> 如果你的结构体包含浮点数成员，直接使用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">==</pre></div>或<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;"><</pre></div>进行比较是非常危险的。由于浮点数的精度问题，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">0.1 + 0.2</pre></div>可能不严格等于<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">0.3</pre></div>。这会严重破坏严格弱序，导致<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>行为异常。对于浮点数，通常需要定义一个“容忍度”（epsilon）来进行近似比较。不过，我个人建议，如果可能，尽量避免使用浮点数作为<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>的键。</li> </ol> <p><strong>性能考量：</strong></p> <ol> <li> <strong>比较函数的复杂度：</strong> <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的许多操作（插入、查找、删除）的时间复杂度是<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">O(logN * C)</pre></div>，其中<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">N</pre></div>是<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>中的元素数量，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">C</pre></div>是键比较操作的复杂度。如果你的比较函数内部执行了复杂的操作（例如，字符串比较、大量循环、甚至网络请求），那么<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">C</pre></div>值会很高，这会直接拖慢<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>的整体性能。因此，保持比较函数尽可能简单高效至关重要。</li> <li> <strong>键的大小：</strong> <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>会在内部存储键的拷贝。如果你的自定义结构体非常大（包含大量成员或大型数组），那么每次插入都会产生较大的内存开销，并且可能导致更多的缓存未命中，从而影响性能。在这种情况下，你可能需要考虑使用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map<const Point3D*, Value, PointerComparator></pre></div>来存储指向<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point3D</pre></div>对象的指针，但这会引入额外的内存管理复杂性。</li> <li> <strong>与<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::unordered_map</pre></div>的对比：</strong> 如果你的键比较操作很昂贵，但你可以为你的结构体提供一个高效的哈希函数（<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::hash</pre></div>特化或自定义哈希函数），那么<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::unordered_map</pre></div>可能是一个更好的选择。<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">unordered_map</pre></div>基于哈希表实现，其平均时间复杂度是<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">O(1)</pre></div>，但在最坏情况下（哈希冲突严重）可能退化到<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">O(N)</pre></div>。它需要键类型可哈希（<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::hash</pre></div>）和可相等比较（<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre></div>），而不是可小于比较。这是一种不同的权衡，取决于你的具体需求和键的特性。</li> </ol> <p>总之，自定义结构体作为<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">map</pre></div>的键是C++中非常强大的特性，但它要求你对键的比较逻辑有清晰的理解和严谨的实现。仔细考虑比较函数的正确性、效率，并根据实际场景选择合适的比较策略，才能充分发挥<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::map</pre></div>的优势。</p>

以上就是如何在C++的map中使用自定义结构体作为键（key）的详细内容，更多请关注php中文网其它相关文章！