关于就地排序的问题

Question

例如，我们有以下数组：

char data[]=new char[]{'A','S','O','R','T','I','N','G','E','X','A','M','P','L','E'};

还有一个索引数组：

int  a[]=new int[]{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14};

void insitu (char data[], int a[], N)
{
    for (int i=0;i<N;i++)
    {
        char v=data[i];
        int j, int k;
        for (k = i; a[k] != i; k = a[j], a[j]=j)
        {
            j=k;
            data[k]=data[a[k];
        }
        data[k]=v;
        a[k]=k;
    }
}

我的问题是应该将j 初始化为什么。当我运行这段代码时，它要求我初始化j；我该怎么办？

Answer 1

这是 Sedgewick 的 C++ 算法 (see page) 中就地排序的 Java 实现：

public class InSitu {
    public static void main(String[] args) {
        int[] a = { 0, 10, 8, 14, 7, 5, 13, 11, 6, 2, 12, 3, 1, 4, 9 };
        char[] data = { 'A', 'S', 'O', 'R', 'T', 'I', 'N', 'G',
            'E', 'X', 'A', 'M', 'P', 'L', 'E' };
        insitu(data, a, a.length);
        System.out.println(java.util.Arrays.toString(a));
        // prints "[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]"
        System.out.println(java.util.Arrays.toString(data));
        // prints "[A, A, E, E, G, I, L, M, N, O, P, R, S, T, X]"
    }
    static void insitu(char[] data,int[] a, int N) {
        for (int i = 0; i < N; i++) {
            char v = data[i];
            int j, k;
            for (k=i; a[k] != i; k = a[j], a[j] = j) {
                j = k;
                data[k] = data[a[k]];
            }
            data[k] = v;
            a[k] = k;
        }
    }
}

---

关于数组声明

请不要养成这样声明数组的习惯：

int x[];

你应该把括号放在type，而不是identifier：

int[] x;

相关问题

• Is there any difference between Object[] x and Object x[] ?
• Difference between int[] myArray and int myArray[] in Java
• in array declaration int[] k,i and int k[],i
  • 这些声明导致i 的类型不同！

---

明确的任务

编译器足够聪明，可以知道何时明确分配了局部变量，并考虑了循环结构等。

以下代码编译：

        int local;
        do {
            local = 0;
        } while (local != 0);

虽然不是这样：

        int local;
        while (local != 0) { // doesn't compile!
            local = 0;
        }

类似地，编译：

        for (int local; ; local++) {
            local = 0;
        }

这是因为 for 循环的语义，其中循环体 (local = 0;) 在控制流中的循环更新 (local++) 之前，即使它在文本中可能看起来不像。

规范不允许编译器过于智能；例如以下内容无法编译：

    boolean b = false; // or whatever
    int local;
    if (b) {
        local = 0;
    }
    if (!b) {
        local = 1;
    }
    local++; // doesn't compile! 

但这确实：

    boolean b = false; // or whatever
    int local;
    if (b) {
        local = 0;
    } else {
        local = 1;
    }
    local++;

另见

• JLS 16 Definite Assignment