今日新知（关于递归中变量的声明）

在递归函数中用到的变量，要将它声明为局部变量，切记不能声明为全局变量。

如下面归并排序中的变量k。

 

#include<iostream>

using namespace std;

const int N = 100010;

int a[N],b[N];

int n ;
long long res = 0 ; 

void merge_sort(int a[],int l,int r){
    
    if(l >= r) return ;
    
    int mid = l + r >> 1;
    
    int k = 0;
    
    int i = l , j = mid + 1;
    merge_sort(a,l,mid);
    merge_sort(a,mid+1,r);
    while(i <= mid && j <= r){
        if(a[i] <= a[j]) b[k ++] = a[i ++];
        else {
            b[k ++] = a[j ++];
            res += mid - i + 1;
        }
    }
    while(i <= mid) b[k ++] = a[i ++];
    while(j <= r) b[k ++] = a[j ++];
    
    for(int i = l , j  = 0 ;  i <= r ; i ++ , j ++) a[i] = b[j];
}

int main(){
    cin >> n;
    for(int i = 0 ; i < n ; i ++) scanf("%d",&a[i]);
    
    merge_sort(a,0,n - 1);
    
    cout << res;
    
    return 0;

}

 

 

如果声明成局部变量，那每次调用merge_sort()时，都会创建一个 k，第一层中的 k 和第二层中的没关系
如果声明成全局的，每一层中的 k 都是同一个，这一层中k变了，下一层也会变化，所以下层中的循环会“提前”结束.

 

如果把 k 声明为全局变量，显然是不行的，你每次调用merge_sort()都会改变 k 的值，那么回溯后，其作为索引的意义就已经被破坏了。

 

局部变量每次调用函数都不是同一个，全局变量则是同一个。因为函数有递归调用，如果是局部变量，每次调用的 k 都是相互独立的，
而如果是全局变量，则是同样的 k。