为什么加入static t1就不会出现重复尝试几个相同的组合

下北泽的天使

#include <stdio.h>
#include <stdlib.h>
#include <time.h>

int in_order(int array[], int length);
void shuffle(int array[], int length);
void bogo_sort(int array[], int length);

int in_order(int array[], int length)
{
        int i = 0;

        while (array[i] <= array[i+1] && ++i < length - 1)
                ;

        if (i == length - 1)
        {
                return 1;
        }
        else
        {
                return 0;
        }
}

void shuffle(int array[], int length)
{
        int index, temp, i;
        static int t1, t2;

        srand(t1);
        t1 = rand();

        t2 = time(NULL);
        srand(t1+t2);

        for (i = 0; i < length; i++)
        {
                index = rand() % (length - i) + i;
                if (index != i)
                {
                        temp = array[i];
                        array[i] = array[index];
                        array[index] = temp;
                }
        }
}

void bogo_sort(int array[], int length)
{
        while (!in_order(array, length))
        {
                shuffle(array, length);
        }
}

int main(void)
{
        int array[] = {73, 108, 111, 118, 101, 70, 105, 104, 67};
        int i, length;
        time_t begin, end;

        begin = time(NULL);

        length = sizeof(array) / sizeof(array[0]);
        bogo_sort(array, length);

        printf("排序后的结果是：");
        for (i = 0; i < length; i++)
        {
                printf("%d ", array[i]);
        }
        putchar('\n');

        end = time(NULL);
        printf("总共耗时：%ld秒\n", end - begin);

        return 0;
}

isdkz

问题的关键在于理解static关键字的作用。

在函数内部声明一个变量时，这个变量的生命周期只在函数调用期间有效。每次函数调用时，都会重新创建这个变量，并且每次创建的变量都是独立的。这意味着在shuffle函数中，每次调用时都会重新生成t1和t2的值，导致随机数的种子也会不同，从而导致每次调用shuffle函数时生成的随机数序列也不同。

而当我们在变量声明前加上static关键字时，这个变量的生命周期将会扩展到整个程序的运行期间。也就是说，t1和t2的值在函数调用结束后不会被销毁，下一次调用函数时还会保留上一次调用时的值。这样，每次调用shuffle函数时生成的随机数序列就会保持一致，不会出现重复尝试相同的组合。

在这段代码中，如果没有加入static关键字，每次调用shuffle函数时都会重新生成随机数序列，这会导致bogo_sort函数无法稳定地排序数组。加入static关键字后，保证了随机数序列的一致性，使得bogo_sort函数能够稳定地排序数组。