blocks|key|4265959|text|不要在C%2B%2B中使用C风格的类型转换。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|4265960|因为您知道您已经涵盖了所有条件，所以最后一个测试是多余的：|4265961|int+compare(const+void+*a,+const+void+*b)
{
int+a1+=+*static_cast<const+int+*>(a);
int+b1+=+*static_cast<const+int+*>(b);
if+(a1+<+b1)
++++return+-1;
if+(a1+==+b1)
++++return+0;
return+1;
}|code-block|syntax|javascript|4265962|entityMap^0|0|0|0^^$0|@$1|2|3|4|5|6|7|K|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|L|8|@]|9|@]|A|$]]|$1|D|3|E|5|F|7|M|8|@]|9|@]|A|$G|H]]|$1|I|3|-4|5|6|7|N|8|@]|9|@]|A|$]]]|J|$]]

Don't use C-style casts in C++.

As you know that you covered all conditions, the last test is redundant:

<pre><code>int compare(const void *a, const void *b)
{
int a1 = *static_cast&lt;const int *&gt;(a);
int b1 = *static_cast&lt;const int *&gt;(b);
if (a1 &lt; b1)
 return -1;
if (a1 == b1)
 return 0;
return 1;
}
</code></pre>

blocks|key|5734213|text|不应该检测到“控制可能到达非空函数的末尾”，因为实际上没有这种可能性。可能是数据流分析器没有正确检测到这一点。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|5734214|然而，有一个更好的替代方案来实现它，它也会解决你的问题：|5734215|int+compare(const+void+*a,+const+void+*b)
{
++return+(*(const+int*)b+<+*(const+int*)a)+-+(*(const+int*)a+<+*(const+int*)b);
}|code-block|syntax|javascript|5734216|顺便说一句。这段代码的性能更好，因为您不再需要任何分支。|5734217|用于演示的小型MCVE：|5734218|#include+<iostream>

int+compare(const+void+*a,+const+void+*b)
{
++return+(*(const+int*)b+<+*(const+int*)a)+-+(*(const+int*)a+<+*(const+int*)b);
}

int+main()
{
++int+a+=+1,+b+=+2;
++std::cout+<<+"compare(&a,+&b):+"+<<+compare(&a,+&b)+<<+'\n';
++std::cout+<<+"compare(&b,+&a):+"+<<+compare(&b,+&a)+<<+'\n';
++std::cout+<<+"compare(&a,+&a):+"+<<+compare(&a,+&a)+<<+'\n';
++return+0;
}|5734219|输出：|5734220|compare(&a,+&b):+-1
compare(&b,+&a):+1
compare(&a,+&a):+0|5734221|5734222|我必须承认，当我回答这个问题时，有人“强迫”我这么做。|5734223|SO:+Sorting+an+array+of+integers+in+alternate+fashion+using+qsort+function.。|offset|length|5734224|下面是我给出的解释：|5734225|5734226|它的工作原理：|blockquote|5734227|5734228|In+case+a+<+b：(a+>+b)+-+(a+<+b)+0+-+1+-1⇒⇒case|style|CODE|5734229|In+case+a+==+b：(a+>+b)+-+(a+<+b)+0+-+0+0⇒⇒case|5734230|In+case+a+>+b：(a+>+b)+-+(a+<+b)+1+-+0+1⇒⇒|5734231|entityMap|0|LINK|mutability|MUTABLE|url|https://stackoverflow.com/a/47608715/7478597^0|0|0|0|0|0|0|0|0|0|0|0|23|0|0|0|0|0|0|8|5|E|H|W|5|12|2|0|8|6|F|H|X|5|13|1|0|8|5|E|H|W|5|12|1|0^^$0|@$1|2|3|4|5|6|7|1M|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|1N|8|@]|9|@]|A|$]]|$1|D|3|E|5|F|7|1O|8|@]|9|@]|A|$G|H]]|$1|I|3|J|5|6|7|1P|8|@]|9|@]|A|$]]|$1|K|3|L|5|6|7|1Q|8|@]|9|@]|A|$]]|$1|M|3|N|5|F|7|1R|8|@]|9|@]|A|$G|H]]|$1|O|3|P|5|6|7|1S|8|@]|9|@]|A|$]]|$1|Q|3|R|5|F|7|1T|8|@]|9|@]|A|$G|H]]|$1|S|3|-4|5|6|7|1U|8|@]|9|@]|A|$]]|$1|T|3|U|5|6|7|1V|8|@]|9|@]|A|$]]|$1|V|3|W|5|6|7|1W|8|@]|9|@$X|1X|Y|1Y|1|1Z]]|A|$]]|$1|Z|3|10|5|6|7|20|8|@]|9|@]|A|$]]|$1|11|3|-4|5|6|7|21|8|@]|9|@]|A|$]]|$1|12|3|13|5|14|7|22|8|@]|9|@]|A|$]]|$1|15|3|-4|5|6|7|23|8|@]|9|@]|A|$]]|$1|16|3|17|5|6|7|24|8|@$X|25|Y|26|18|19]|$X|27|Y|28|18|19]|$X|29|Y|2A|18|19]|$X|2B|Y|2C|18|19]]|9|@]|A|$]]|$1|1A|3|1B|5|6|7|2D|8|@$X|2E|Y|2F|18|19]|$X|2G|Y|2H|18|19]|$X|2I|Y|2J|18|19]|$X|2K|Y|2L|18|19]]|9|@]|A|$]]|$1|1C|3|1D|5|6|7|2M|8|@$X|2N|Y|2O|18|19]|$X|2P|Y|2Q|18|19]|$X|2R|Y|2S|18|19]|$X|2T|Y|2U|18|19]]|9|@]|A|$]]|$1|1E|3|-4|5|6|7|2V|8|@]|9|@]|A|$]]]|1F|$1G|$5|1H|1I|1J|A|$1K|1L]]]]

The 'control may reach end of non-void function' shouldn't be detected as there is actually not such possibility. May be, the data flow analyze doesn't detect this properly.
However, there is a much nicer alternative to implement this and it will solve your issue as well:
<pre><code>int compare(const void *a, const void *b)
{
 return (*(const int*)b &lt; *(const int*)a) - (*(const int*)a &lt; *(const int*)b);
}
</code></pre>
Btw. the performance of this code is better as you don't need any branches anymore.
A small MCVE for demonstration:
<pre><code>#include &lt;iostream&gt;

int compare(const void *a, const void *b)
{
 return (*(const int*)b &lt; *(const int*)a) - (*(const int*)a &lt; *(const int*)b);
}

int main()
{
 int a = 1, b = 2;
 std::cout &lt;&lt; &quot;compare(&amp;a, &amp;b): &quot; &lt;&lt; compare(&amp;a, &amp;b) &lt;&lt; '\n';
 std::cout &lt;&lt; &quot;compare(&amp;b, &amp;a): &quot; &lt;&lt; compare(&amp;b, &amp;a) &lt;&lt; '\n';
 std::cout &lt;&lt; &quot;compare(&amp;a, &amp;a): &quot; &lt;&lt; compare(&amp;a, &amp;a) &lt;&lt; '\n';
 return 0;
}
</code></pre>
Output:
<pre class="lang-none prettyprint-override"><code>compare(&amp;a, &amp;b): -1
compare(&amp;b, &amp;a): 1
compare(&amp;a, &amp;a): 0
</code></pre>
<a href="http://coliru.stacked-crooked.com/a/3bfa370489c7e616" rel="nofollow noreferrer">Live Demo on coliru</a>
I must admit that somebody “forced” me to this nice comparison trick when I answered
<a href="https://stackoverflow.com/a/47608715/7478597">SO: Sorting an array of integers in alternate fashion using qsort function.</a>.
This is the explanation I gave there:
<blockquote>
How it works:
In case <code>a &lt; b</code>: <code>(a &gt; b) - (a &lt; b)</code> ⇒ <code>0 - 1</code> ⇒ <code>-1</code>
In case <code>a == b</code>: <code>(a &gt; b) - (a &lt; b)</code> ⇒ <code>0 - 0</code> ⇒ <code>0</code>
In case <code>a &gt; b</code>: <code>(a &gt; b) - (a &lt; b)</code> ⇒ <code>1 - 0</code> ⇒ <code>1</code>
</blockquote>

blocks|key|1576705|text|如果您不知道这些指针后面的对象的实际类型是什么，您可能想要这样做：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1576706|#include+<cstring>

int+f(const+void+*a,+const+void+*b)
{
++++int+ai;
++++int+bi;
++++std::memcpy(&ai,+a,+sizeof(int));
++++std::memcpy(&bi,+b,+sizeof(int));
++++return+(bi+<+ai)+-+(ai+<+bi);
}|code-block|syntax|javascript|1576707|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|I|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|J|8|@]|9|@]|A|$E|F]]|$1|G|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|H|$]]

If you don't know what is the actual type of the objects behind those pointers, you may want to do:

<pre><code>#include &lt;cstring&gt;

int f(const void *a, const void *b)
{
 int ai;
 int bi;
 std::memcpy(&amp;ai, a, sizeof(int));
 std::memcpy(&amp;bi, b, sizeof(int));
 return (bi &lt; ai) - (ai &lt; bi);
}
</code></pre>

blocks|key|1576716|text|这里的要点是编译器不能识别出你的条件涵盖了所有可能的情况。=>如果不满足任何条件，函数将在不返回语句的情况下结束。你应该在这里使用if+-+else+if+-+else：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1576717|if+(…)+{+…+}
else+if+(…)+{+…+}
else+{+…+}|code-block|syntax|javascript|1576718|这将帮助编译器更好地理解你的代码。然后你就放弃了其中的一个条件。|1576719|避免分支是一个好主意，通常是以失去可读性为代价的。请查看@Scheff对此的回答。|1576720|entityMap^0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|M|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|N|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|O|8|@]|9|@]|A|$]]|$1|I|3|J|5|6|7|P|8|@]|9|@]|A|$]]|$1|K|3|-4|5|6|7|Q|8|@]|9|@]|A|$]]]|L|$]]

The main point here is that the compiler can’t recognize that your conditions cover all possible cases. => if none of your conditions is met, the function ends without a return statement. You should use if - else if - else here:

<pre><code>if (…) { … }
else if (…) { … }
else { … }
</code></pre>

This will help compiler understand your code better. And you drop once of the conditions. 

Avoiding branches is a good idea, usually at the price of loosing readability. Check out @Scheff’s answer for that.

The program tried to compile, but I found out that the error displays, 'control may reach end of non-void function'. I suppose how to do with if condition after putting the return compare. I have been figuring out how to solve this issue.

<pre><code> int compare(const void *a, const void *b)
 {
 if (*(int *)a &lt; *(int *)b)
 return -1;
 if (*(int *)a == *(int *)b)
 return 0;
 if (*(int *)a &gt; *(int *)b)
 return 1;
 }
</code></pre>

In Xcode, I found semantic issue in the code snippet

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

程序试图编译，但我发现错误显示：“控制可能到达非空函数的末尾”。我猜想在放入返回比较之后如何处理if条件。我一直在想如何解决这个问题。 int compare(const void *a, const void *b) { if (*(int *)a < *(int *)b) return -...

问在Xcode中，我在代码片段中发现了语义问题
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问在Xcode中，我在代码片段中发现了语义问题EN