在递归中使用return vs no return？

Question

这是使用递归反转数组的代码

使用 return rev(arr,++start,--end);

#include <iostream>
using namespace std;

void rev(int arr[],int start,int end)
{
    if(start >= end)
    {
        return;
    }
    int temp = arr[start];
    arr[start] = arr[end];
    arr[end] = temp;
    return rev(arr,++start,--end);
}

void reverse(int arr[],int size)
{
    rev(arr,0,size-1);
}

使用 rev(arr,++start,--end);

void rev(int arr[],int start,int end)
{
    if(start >= end)
    {
        return;
    }
    int temp = arr[start];
    arr[start] = arr[end];
    arr[end] = temp;
    rev(arr,++start,--end);
}

void reverse(int arr[],int size)
{
    rev(arr,0,size-1);
}

它们都给出相同的输出 7 6 5 4 3 2 1

这里使用return和不使用return和rev有什么区别？

Answer 1

没有区别。

来自9.6.3 [stmt.return]：

没有操作数的返回语句只能在函数中使用 返回类型为 cv void、构造函数 (15.1) 或析构函数 (15.4)。应使用带有 void 类型操作数的 return 语句 仅在返回类型为 cv void 的函数中。

[...]

流淌 构造函数、析构函数或带有 cv void 的函数的结尾 返回类型等价于没有操作数的返回。

因为函数调用表达式的类型是其签名中定义的函数的cv限定返回类型，并且因为你的函数被定义为返回void，所以这三个以下是等价的：

void f() {
    //stuff
    f();
    return;
}

void g() {
    //same stuff
    return g();
}

void h() {
    //same stuff
    h();
}

Answer 2

#include <iostream>
using namespace::std;

void rev();

void rev(){
    return 1;
}
int main(){
    int val=rev();
    cout<<rev<<endl;
    return 0;
}

g++ test.cpp -o test
test.cpp: In function ‘void rev()’:
test.cpp:7:9: error: return-statement with a value, in function returning ‘void’ [-fpermissive]
    7 |  return 1;
      |         ^
test.cpp: In function ‘int main()’:
test.cpp:10:13: error: void value not ignored as it ought to be
   10 |  int val=rev();

编译器正在生成错误，如果返回类型为 void，我们将无法返回任何值，也不需要返回任何值，因为正在修改作为参数传递的数组。

为什么你的编译器没有产生错误，因为你的两个方法都返回了注释。

void foo(){
    return;//returns nothing
}

#include <iostream>
using namespace std;

void rev(int arr[],int start,int end)
{
    if(start >= end)
    {
        return;
    }
    int temp = arr[start];
    arr[start] = arr[end];
    arr[end] = temp;
    return rev(arr,++start,--end);//doesn't returns any value
}

void reverse(int arr[],int size)
{
    rev(arr,0,size-1);
}

Using rev(arr,++start,--end);

void rev(int arr[],int start,int end)
{
    if(start >= end)
    {
        return;
    }
    int temp = arr[start];
    arr[start] = arr[end];
    arr[end] = temp;
    rev(arr,++start,--end);
}

void reverse(int arr[],int size)
{
    rev(arr,0,size-1);
}