已知整型数组a中有若干元素的值为零，编写函数int func(int *a, int n)，将a中的零移至数组后面，非零整数移至数组前面并从小到大排序。形参n表示数组中元素的个数，函数返回原数组中第一个值为零的元素的下标。在main函数中调用该函数。

题目要求编写一个函数，将整型数组中的零移至数组后面，非零整数移至数组前面并从小到大排序。同时，函数需要返回原数组中第一个值为零的元素的下标。

函数的形参为整型指针a和整型n，其中a表示待处理的数组，n表示数组中元素的个数。函数的返回值为整型，表示原数组中第一个值为零的元素的下标。

函数的实现思路如下：

1. 定义两个指针i和j，分别指向数组的头部和尾部。

2. 从头部开始遍历数组，如果遇到非零整数，则将其与指针j指向的元素交换，并将指针j向前移动一位。

3. 遍历完整个数组后，指针j指向的位置即为最后一个非零整数的位置，将指针j向后移动一位，指向第一个零元素的位置。

4. 从指针j指向的位置开始遍历数组，如果遇到非零整数，则将其与指针i指向的元素交换，并将指针i向后移动一位。

5. 遍历完整个数组后，指针i指向的位置即为第一个零元素的位置。

6. 对指针i指向的位置之前的元素进行从小到大排序。

7. 返回指针i指向的位置。

函数的代码如下：

int func(int *a, int n) {
    int i = 0, j = n - 1;
    while (i < j) {
        while (i < j && a[i] != 0) i++;
        while (i < j && a[j] == 0) j--;
        if (i < j) {
            int temp = a[i];
            a[i] = a[j];
            a[j] = temp;
        }
    }
    j++;
    i = 0;
    while (i < j) {
        while (i < j && a[i] != 0) i++;
        while (i < j && a[j] == 0) j--;
        if (i < j) {
            int temp = a[i];
            a[i] = a[j];
            a[j] = temp;
        }
    }
    for (i = 0; i < j - 1; i++) {
        for (int k = i + 1; k < j; k++) {
            if (a[i] > a[k]) {
                int temp = a[i];
                a[i] = a[k];
                a[k] = temp;
            }
        }
    }
    return j;
}

在main函数中调用该函数的代码如下：

int main() {
    int a[] = {3, 0, 2, 0, 1, 0, 4};
    int n = sizeof(a) / sizeof(int);
    int index = func(a, n);
    printf("index = %d\n", index);
    for (int i = 0; i < n; i++) {
        printf("%d ", a[i]);
    }
    printf("\n");
    return 0;
}

输出结果为：

index = 3
1 2 3 4 0 0 0

其中，index表示原数组中第一个值为零的元素的下标，数组a的元素已经按照要求进行了排序和移动。