关于计数排序的一点思考

今天看《算法导论》时，看到计数排序，实现简单的同时，时间复杂度也较小，当待排序元素在[0, k]的区间以及k=O(n)时，整个算法的时间复杂度仅为O(n)，低于所有比较排序算法。于是我不禁感到奇怪：既然计数排序有着这样的优点，为什么并不见很多地方用到呢？

void countingSort(int *a, int *b, int n) {//a-待排序数组，b-输出数组
	int max = INT_MIN;
	for (int i = 0; i < n; i++) {
		if (a[i] > max)
			max = a[i];
	}
	int *c = new int[max + 1];//计数数组
	for (int i = 0; i <= max; i++) {
		c[i] = 0;
	}
	for (int i = 0; i < n; i++) {
		c[a[i]]++;
	}
	for (int i = 1; i <= max; i++) {
		c[i] = c[i - 1] + c[i];
	}
	for (int i = n - 1; i >= 0; i--) {
		b[c[a[i]] - 1] = a[i];
		c[a[i]]--;
	}
	delete [] c;
}

我认为可能有两方面的原因：

（1）计数排序只能排序整数，而比较排序不局限于此；

（2）计数排序空间开销较大，如果待排序数组的值比较分散会带来较大的浪费。

另外，一开始看完计数排序伪代码去实现的时候，我并没有注意到第17行应该是从后向前遍历输入数组的，但是书中提到，计数排序的一个重要性质就是它是稳定的。我这才意识到，这一顺序是必要的，特别在有卫星数据时更应注意这一问题。