给定含有n个元素的整型数组a，其中包括0元素和非0元素，对数组进行排序，[0,3,4,0,5,2,9,0,1]—[0,0,0,3,4,5,2,9,1] 要求 1） 不能使用额外数组作为存储空间 2） 排序后所有0元素在前，所有非零元素在后，且非零元素排序前后相对位置不变

你可以使用双指针的方法来解决这个问题。首先，你可以设置两个指针，一个指向数组的开头，称为"left"指针，另一个指向数组的末尾，称为"right"指针。

接下来，你可以使用一个循环来遍历整个数组。在每次循环中，你可以检查当前"left"指针指向的元素是否为0。如果是0，就将"left"指针向后移动一位。如果不是0，则将当前元素与"right"指针指向的元素交换位置，并将"right"指针向前移动一位。

这样，当循环结束时，所有的0元素都会被移动到数组的开头部分，而非零元素则会被移动到数组的末尾部分。同时，非零元素之间的相对位置也会被保持不变。

以下是使用C++语言实现该算法的示例代码：

#include <iostream>
using namespace std;

void zeroSort(int arr[], int n) {
    int left = 0;
    int right = n - 1;

    while (left < right) {
        if (arr[left] == 0) {
            left++;
        }
        else {
            if (arr[right] != 0) {
                right--;
            }
            else {
                swap(arr[left], arr[right]);
                left++;
                right--;
            }
        }
    }
}

int main() {
    int arr[] = {0, 3, 4, 0, 5, 2, 9, 0, 1};
    int n = sizeof(arr) / sizeof(arr[0]);

    zeroSort(arr, n);

    for (int i = 0; i < n; i++) {
        cout << arr[i] << " ";
    }

    return 0;
}

输出结果为：0 0 0 3 4 5 2 9 1