使用递归交换数组中相邻的元素。

Question

我写了一个使用递归交换数组相邻元素的程序：

static arr_len;

void swap(int *a, int len)
{
        int tmp;

        if(len == 0 )
                return;
        else {
                swap(a, len-1);

                if(len == arr_len-1)
                        return;
                else if (len > 1)
                        len++;

                tmp = a[len];
                a[len] = a[len-1];
                a[len-1] = tmp;
        }
}

int main()
{
        int a[] = {1,2,3,4}, i;
        arr_len = sizeof(a)/sizeof(a[0]);

        swap(a, sizeof(a)/sizeof(a[0]));


        for (i = 0; i< 4; i++)
                printf("%d\n", a[i]);
}

我看到输出结果似乎是正确的：

2

1

4

3

但是当我向数组中添加更多元素时，问题就来了：

int a[] = {1,2,3,4,5,6}

我看到了以下输出：

2
1
4
5
6
3
*** stack smashing detected ***: ./a.out terminated
Aborted (core dumped)

- Milan

Answer 1

首先使用全局变量arr_len是一个坏主意。

无论如何，您的函数都是无效的。考虑一个简化的例子，当数组仅包含1个或2个元素时。当数组只包含一个元素时，您正在使用一个无效的索引等于len来访问数组之外的内存，如下语句所示：

tmp = a[len];

该函数可以看起来更简单。例如：

void swap( int *a, size_t n )
{
    if ( !( n < 2 ) )
    {
        int tmp = a[0];
        a[0] = a[1];
        a[1] = tmp;
        swap( a + 2, n - 2 );
    }
}    

- Vlad from Moscow

---

如果（n >= 2） - tstanisl

@来自莫斯科的Vlad，谢谢。有几个后续问题。1）为什么使用全局变量是一个坏主意？2）你是如何立即思考这些逻辑的，有什么方法可以做到这一点吗？ - Milan

@Milan 函数的使用者必须记得重新分配静态变量以获得新数组。函数的代码变得更加复杂和难以阅读。 - Vlad from Moscow

@VladfromMoscow !( n < 2 ) => n > 1 - 0___________