<blockquote>C++不支持结构体直接用==比较，因编译器无法确定用户期望的“相等”语义，需通过重载operator==明确比较逻辑，如逐成员比较或深层内容比较，以确保行为符合预期。</blockquote>
<p><img src="https://img.php.cn/upload/article/000/969/633/175660902297563.png" alt="c++中为什么不能直接对两个结构体变量使用==进行比较"></p>
<p>C++不允许直接对两个结构体变量使用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">==</pre>
登录后复制
</div>进行比较，核心原因在于编译器无法“猜测”你希望如何定义“相等”。结构体是用户自定义的复合类型，它可能包含各种不同类型、不同语义的成员变量，甚至是指针。对于编译器来说，它不知道你是想比较所有成员的值是否都相等，还是只关心其中几个关键成员，抑或是当成员是指针时，是比较指针本身的值（地址），还是指针所指向的内容。这种内在的语义不确定性，使得C++标准没有为结构体提供默认的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>重载。</p>
<h3>解决方案</h3>
<p>要实现C++结构体变量的相等比较，你需要显式地为你的结构体类型重载<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;">==</pre>
登录后复制
</div>比较时，应该执行怎样的逻辑。这通常涉及到逐个比较结构体内的所有相关成员，并根据你的业务逻辑来决定它们是否“相等”。</p>
<p>例如，如果你有一个表示坐标的结构体：</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>struct Point {
int x;
int int y;
};</pre>
登录后复制
</div><p>如果你想比较两个<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point</pre>
登录后复制
</div>对象是否相等，你需要这样重载<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</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><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>struct Point {
int x;
int y;
// 作为成员函数重载
bool operator==(const Point& other) const {
return (x == other.x && y == other.y);
}
};
// 或者作为非成员函数（友元或普通函数）重载
// bool operator==(const Point& p1, const Point& p2) {
// return (p1.x == p2.x && p1.y == p2.y);
// }</pre>
登录后复制
</div><p>通过这种方式，你清晰地定义了两个<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point</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>坐标都相等时才被认为是相等的。这种显式定义避免了编译器的歧义，也确保了比较行为符合你的预期。</p>
<h3>C++结构体比较：<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;">operator==</pre>
登录后复制
</div>？</h3>
<p>重载<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>并非C++的强制性要求，而是为了赋予用户自定义类型与内置类型相似的直观操作体验。我们对<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">int a = 5; int b = 5;</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;">==</pre>
登录后复制
</div>，我们就得写成<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">if (p1.x == p2.x && p1.y == p2.y)</pre>
登录后复制
</div>，这不仅冗长，而且如果比较逻辑复杂，或者需要多次比较，代码就会变得难以维护和阅读。</p>
<p>重载<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>的根本原因，是让你的自定义类型能够“融入”C++的类型系统，获得与内置类型同等的语义表达能力。它让代码更具表现力，更符合人类的直觉。当你看到<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">obj1 == obj2</pre>
登录后复制
</div>时，你立刻就能理解这是在判断两个对象是否在某种意义上“相等”，而无需深入查看其内部实现细节。这种抽象能力对于构建复杂且易于理解的系统至关重要。此外，许多<a style="color:#f60; text-decoration:underline;" title="标准库" href="https://www.php.cn/zt/74427.html" target="_blank">标准库</a>算法和容器（如<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::find</pre>
登录后复制
</div>, <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::unique</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;">operator==</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>当结构体中包含指针、智能指针、或者其他自定义的复杂对象（如<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::string</pre>
登录后复制
</div>, <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::vector</pre>
登录后复制
</div>）时，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>的重载就变得不那么简单了，需要进行“深层考量”。</p>
<p>最常见的陷阱是“浅层比较”与“深层比较”的<a style="color:#f60; text-decoration:underline;" title="区别" href="https://www.php.cn/zt/27988.html" target="_blank">区别</a>。如果你的结构体有一个<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">char* name;</pre>
登录后复制
</div>成员，简单地比较<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">name == other.name</pre>
登录后复制
</div>，这只会比较两个指针变量存储的内存地址是否相同，而不是它们所指向的字符串内容是否相同。这几乎总不是你想要的“相等”。正确的做法是进行深层比较，比如使用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">strcmp(name, other.name) == 0</pre>
登录后复制
</div>来比较字符串内容。</p>
<p>同样地，如果结构体包含<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::vector<int> data;</pre>
登录后复制
</div>，那么比较<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">data == other.data</pre>
登录后复制
</div>会默认调用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::vector</pre>
登录后复制
</div>自身的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>，它会逐元素比较两个vector的内容。这通常是正确的行为。但如果<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">data</pre>
登录后复制
</div>存储的是指向其他对象的指针（<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::vector<MyObject*></pre>
登录后复制
</div>），那么你可能需要迭代这个vector，并对每个指针所指向的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">MyObject</pre>
登录后复制
</div>进行深层比较。</p>
<div class="aritcle_card">
<a class="aritcle_card_img" href="/ai/2251">
<img src="https://img.php.cn/upload/ai_manual/000/000/000/175680126960516.png" alt="GemDesign">
</a>
<div class="aritcle_card_info">
<a href="/ai/2251">GemDesign</a>
<p>AI高保真原型设计工具</p>
<div class="">
<img src="/static/images/card_xiazai.png" alt="GemDesign">
<span>652</span>
</div>
</div>
<a href="/ai/2251" class="aritcle_card_btn">
<span>查看详情</span>
<img src="/static/images/cardxiayige-3.png" alt="GemDesign">
</a>
</div>
<p>智能指针（如<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::shared_ptr</pre>
登录后复制
</div>或<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::unique_ptr</pre>
登录后复制
</div>）的比较也需要注意。它们通常重载了<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>来比较它们所管理的原始指针，即它们是否指向同一个对象。如果你的“相等”定义是它们指向的 <em>内容</em> 相等，那么你需要解引用智能指针，然后比较其指向的对象。</p>
<p>这种深层考量要求你对结构体中每个非基本类型成员的比较语义有清晰的理解，并确保你的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>实现能够正确地反映这种语义。这往往是自定义类型比较中最容易出错，也最需要细致思考的地方。</p>
<h3>除了<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>，C++中还有哪些结构体比较的替代方案或最佳实践？</h3>
<p>除了<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">operator==</pre>
登录后复制
</div>，C++中还有多种方式和最佳实践来处理结构体的比较，尤其是当你需要更复杂的排序或判等逻辑时：</p>
<ol>
<li>
<p><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;"><=</pre>
登录后复制
</div>, <div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">>=</pre>
登录后复制
</div>）</strong>：如果你需要对结构体进行排序（例如放入<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::map</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;">operator<</pre>
登录后复制
</div>来定义一个“全序关系”。通常，我们会根据结构体的一个或多个成员来建立这种排序。例如，<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">Point</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;">x</pre>
登录后复制
</div>相同时再按<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">y</pre>
登录后复制
</div>坐标排序。</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>struct Point {
int x;
int y;
bool operator<(const Point& other) const {
if (x != other.x) {
return x < other.x;
}
return y < other.y;
}
// operator== 仍然是需要的
bool operator==(const Point& other) const {
return (x == other.x && y == other.y);
}
};</pre>
登录后复制
</div></li>
<li>
<p><strong>自定义比较函数对象（Functor）或Lambda表达式</strong>：对于一些不希望直接修改结构体定义，或者需要多种比较策略的场景，你可以编写一个独立的函数对象（或Lambda）作为比较器。这在<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;">std::unique</pre>
登录后复制
</div>等算法中非常常见。</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>struct Point {
int x;
int y;
};
// 函数对象
struct PointCompare {
bool operator()(const Point& p1, const Point& p2) const {
return p1.x < p2.x; // 示例：只按x排序
}
};
// 使用：
// std::vector<Point> points;
// std::sort(points.begin(), points.end(), PointCompare());
// std::sort(points.begin(), points.end(), [](const Point& p1, const Point& p2){
// return p1.y < p2.y; // 示例：只按y排序
// });</pre>
登录后复制
</div></li>
<li>
<p><strong>使用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::tie</pre>
登录后复制
</div>（C++11及更高版本）</strong>：这是一个非常简洁且强大的技巧，用于实现结构体的字典序比较。<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::tie</pre>
登录后复制
</div>创建一个<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::tuple</pre>
登录后复制
</div>，包含其参数的引用，然后<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;">std::tuple</pre>
登录后复制
</div>的比较操作符会按元素顺序进行比较。这对于所有成员都需要参与比较的场景非常有用。</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>#include <tuple> // 需要引入 <tuple>
struct Point {
int x;
int y;
bool operator==(const Point& other) const {
return std::tie(x, y) == std::tie(other.x, other.y);
}
bool operator<(const Point& other) const {
return std::tie(x, y) < std::tie(other.x, other.y);
}
};</pre>
登录后复制
</div><p>这种方式不仅代码量少，而且清晰地表达了比较逻辑，尤其适合成员较多的结构体。</p>
</li>
<li>
<p><strong>C++20的飞船操作符（<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;"><=></pre>
登录后复制
</div>，Three-Way Comparison Operator）</strong>：C++20引入了“飞船操作符”，它可以一次性定义所有六种关系操作符（<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;"><</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;"><=</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;"><=></pre>
登录后复制
</div>，编译器甚至可以自动合成这个操作符。这极大地简化了比较操作的实现，是现代C++中处理比较的最佳实践。</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class='brush:cpp;toolbar:false;'>#include <compare> // C++20 需要引入
struct Point {
int x;
int y;
// 编译器可以自动生成默认的operator<=>，前提是所有成员都可比较
// 也可以手动实现，然后编译器会根据它生成其他操作符
auto operator<=>(const Point& other) const = default;
// 如果定义了 operator<=>，通常就不需要再显式定义 operator==
// 除非你有特殊的相等逻辑
};</pre>
登录后复制
</div><p>对于C++20及以后的项目，优先考虑使用<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;"><=></pre>
登录后复制
</div>，它能显著减少样板代码并降低出错的概率。</p>
</li>
</ol>
<p>选择哪种方法取决于你的具体需求、项目C++标准版本以及你希望在代码中表达的语义。通常，对于简单的相等比较，重载<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;">std::tie</pre>
登录后复制
</div>和C++20的<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false;"><=></pre>
登录后复制
</div>则提供了更现代、更简洁的解决方案。</p>
以上就是C++中为什么不能直接对两个结构体变量使用==进行比较的详细内容，更多请关注php中文网其它相关文章！
广告
572
收藏
