为什么带迭代器的函数为什么不能有特化呢（泛型函数）

写了个快速排序函数模板，但是对于字符串类型是不能排序的，因为在比较大小*p < *i时，应该用strcmp()函数，所以需要再写一个带比较器版本。但是我问老师为什么不直接再写一个针对字符串的特化版本，而要去写一个带比较器版本的，他说迭代器的模板是不能特化的，但是没有解释为什么，请问大神为什么迭代器的模板不能特化呢？是不能特化呢，还是只是为了更好的通用性而不特化呢？谢谢！

//有比较器版本，IT代表迭代器，CMP比较器
template<typename IT, typename CMP>
void sort (IT begin, IT end,CMP cmp) {
...
//代码与下面的差不多
}

//无比较器版本
template<typename IT> //IT 表示迭代器
void sort (IT begin, IT end) {
	IT p = begin;
	IT last = end;
	--last;
	for (IT i = begin, j = last;
		i != j;) {
		while (! (i == p || *p < *i))
			++i;
		if (i != p) {
			swap (*i, *p);
			p = i;
		}
		while (! (j == p || *j < *p))
			--j;
		if (j != p) {
			swap (*j, *p);
			p = j;
		}
	}
	IT it = begin;
	++it;
	if (p != begin && p != it)
		sort (begin, p);
	it = p;
	++it;
	if (it != end && it != last)
		sort (it, end);
}