平台:win10+vs2017
代码1:
#include<iostream>
#include<cstdio>
using namespace std;
int nice(int p, int e, int i, int d) {
int k = d + 1;
while ((k % 33) != 0)
{
++k;
}
for (; k < 21252; k += 33)
{
if (((k - p) % 23 == 0) && ((k - e) % 28 == 0))
return (k - d);
}
}
int main()
{
cout << nice(0, 0, 0, 0) << endl;
system("pause");
return 0;
}
执行成功。
如果我把nice函数中if语句块的return变成cout,再将函数返回类型变成void。程序不执行该语句。
代码如下:
#include<iostream>
#include<cstdio>
using namespace std;
void nice(int p, int e, int i, int d) {
int k = d + 1;
while ((k % 33) != 0)
{
++k;
}
for (; k < 21252; k += 33)
{
if (((k - p) % 23 == 0) && ((k - e) % 28 == 0))
cout << (k - d) << endl;
}
}
int main()
{
nice(0, 0, 0, 0);
system("pause");
return 0;
}
请问这是什么原因呢?我第一个代码执行成功不就表示程序逻辑正确并且可以执行到if的语句体吗?为什么把return改成cout语句以后就失败了呢?
迷茫2017-04-17 15:35:57
因為沒有執行過if分支。
int nice(int p, int e, int i, int d) {
int k = d + 1;
while ((k % 33) != 0)
{
++k;
}
for (; k < 21252; k += 33)
{
if (((k - p) % 23 == 0) && ((k - e) % 28 == 0))
return (k - d);
}
return -1;
}
用我提供的nice代替你範例1中的nice(我只是在最後加上了return -1;
沒有修改過其他的部分),程式輸出將會是-1。這說明if分支沒有被執行過,否則函數會提前回傳。 (33,23和28的最小公倍數是21252,但for將保證每次進入循環體時,k小於21252。)
你範例1中的程式碼會導致未定義行為。結果一般是回傳一個莫名其妙的值。而這個值有可能是你所期望的值。
如果你仔細看,vs2017會報一個警告:
Warning C4715 'nice': not all control paths return a value