C言語 マージソートの書き換えを行いたい

Question

Ｃ言語でアルゴリズムを学んでいる初学者です。
マージソートのアルゴリズムを自分なりに書き換えて理解しようとしているのですが、うまくいきません。
普段ならデバッグをしながら実装の違いを把握できるのですが、再帰が繰り返されるのでデバッグを使って理解するのが難しいです。

どこの部分でうまく書き換えられていないのか、理解出来ず、ご指摘いただけましたら幸いです。

##自分で書き換えたもの

void merge_sort(int A[], int left, int right)
{
    int i, j, k, mid;
    int work[10];

    if (left < right)
    {
        mid = (left + right) / 2;
        merge_sort(A, left, mid);
        merge_sort(A, mid + 1, right);

        for (i = left; i <= mid; i++)
            work[i] = A[i];

        for (j = mid + 1; j <= right; j++)
            work[j] = A[j];

        i = left;
        j = mid + 1;
        for (k = left; k <= right; k++)
        {
            if (work[i] < work[j])
                A[k] = work[i++];
            else
                A[k] = work[j++];
        }
    }
}

##参考にしているもの

#include <stdio.h>

void print_array(int array[], int array_len)
{
    for (int i = 0; i < array_len; i++)
    {
        printf("%d", array[i]);
        if (i != array_len - 1)
            printf(" ");
    }
    printf("\n");
}

void merge_sort(int A[], int left, int right)
{
    int i, j, k, mid;
    int work[10];

    if (left < right)
    {
        mid = (left + right) / 2;
        merge_sort(A, left, mid);
        merge_sort(A, mid + 1, right);

        for (i = left; i <= mid; i++)
            work[i] = A[i];

        for (j = mid + 1; j <= right; j++)
            work[right - (j - (mid + 1))] = A[j];

        i = left;
        j = right;
        for (k = left; k <= right; k++)
        {
            if (work[i] < work[j])
                A[k] = work[i++];
            else
                A[k] = work[j--];
        }
    }
}

int main(void)
{
    int N = 10;
    int A[10] = {2, 1, 8, 5, 4, 7, 9, 11, 6, 3};

    merge_sort(A, 0, N - 1);
    print_array(A, N);

    return 0;
}

Answer 1

コンパイラは何を使っていますか？

int work[10] = { }; となっていますが、
C では、空の初期化子は許されていません。

gcc なら拡張機能でエラーになりません。
また、VC++ なら、ファイルの拡張子を .cpp にして、
C++ としてコンパイルしているのではありませんか？

デバッグですが、
if (work[i] <= work[j]) の直前に
printf("i = %d, j = %d\n", i, j); を入れてみてください。

Answer 2

デバッグする際のarrayの出力箇所が理解できました。もう少し自分で考えてみます。

void merge_sort(int A[], int left, int right)
{
    int i, j, k, mid;
    int work[10] = {};

    if (left < right)
    {
        mid = (left + right) / 2;
        merge_sort(A, left, mid);
        merge_sort(A, mid + 1, right);

        for (i = left; i <= mid; i++){
            work[i] = A[i];
        }

        for (j = mid + 1; j <= right; j++){
            work[j] = A[j];
        }
        print_array(work, 10); // ここ
        i = left;
        j = mid + 1;
        for (k = left; k <= right; k++)
        {
            if (work[i] <= work[j])
                A[k] = work[i++];
            else
                A[k] = work[j++];
        }
        print_array(A,10); //ここ
    }
}