基数排序的可复用实现(C++11/14/17/20)
基数排序,是对整数类型的一种排序方法,有msd (most significant digit)和lsd (least significant digit)两种。msd将每个数按照高位分为若干个桶(按照我们常用的十进制,就是0-9,10个桶,这也是“基数”的由来),在每个桶内使用排序算法(如果也是msd基数排序,就成了递归,出口在最低位),最后按顺序收集每一个桶,收集到的序列就是有序的。如果入桶和收集的过程能保证先入桶的元素先被收集,那么基数排序就是稳定的。
而lsd则先按照最低位分组,然后按与入桶相同的顺序重新按更高位分组,直到最高位,最后收集到的序列也是有序的,同时也是稳定的。有图比较容易理解,可以参考相关文章。
基数排序的时间复杂度为o(p(n+b)),额外空间复杂度,lsd为o(n+b)(两个临时数组,见下),msd最坏情况为o(p(n+b))(所有元素都相等,每次递归复制一次),其中p为位数,n为待排元素个数,b为桶的个数。
无论哪种基数排序,自始至终都没有比较过任何两个元素,原理在于整数的离散性。那么,这是不是意味着无法重载 operator< 的类也能用用基数排序呢?当然不能,无法比较的类的对象显然不能表达为整数(否则为什么无法比较),也就不能用基数排序算法。
基数排序的简单实现,可参考中文维基或英文维基,以及其他相关文章。
但是我觉得吧,这些实现都很逊。不要误会,我不是针对哪个实现,我的意思是网上的各个实现都是垃圾。我们学习数据结构与算法的时候,不能忘记我们学习的目的,这些东西最终都是要用到实际开发中去的,而工程中当然不只有算法。作为一个优化合理就能在o(n)时间复杂度的情况下排完序的算法,基数排序的性能在有些情况下会比 std::sort 还要好(比如oj不给编译器开优化的时候)。本文就是要实现一个优雅的、可复用的基数排序算法。实际上,算法还是基数排序,本文只是给基数排序做了一个好的接口。
回到基数排序的目的。基数排序什么时候可用呢?当每个待排元素可以分解成相同数量的可取有限个离散量的元素时可用,这些元素可取的离散量的数量可以不同。所以,基数排序可以用在很多类型上,实现起来,无非是每一次求当前“位”上的数的算法不同而已。这里的“位”已经是个抽象概念了,指的就是上述可取有限个离散量的元素。排序的每一轮分类时,只要把这些离散量映射到从0开始的连续整数上,然后插入连续存储的表中对应位置的容器中去(这个操作必须是o(1))。
所以,这个排序的接口应该包含:待排元素范围、迭代深度(对于msd)或循环次数(对于lsd)、每一轮分类的基数(即基数排序的退化版桶排序中桶的数量),还有一个谓词,它应该接受待排元素和第几轮两个参数,并返回映射结果,范围为[0,基数-1]。理论上每一轮分类的基数可以不同,但是实现起来有些麻烦(实际上是因为我没想到,现在懒得改了),这里简化为所有的基数都相同。
接口长成这样:
1 template <typename it, typename parser> 2 void radix_sort(it _begin, it _end, int _radix, parser _parser, int _pass);
对于 it 类型的对象 iter ,[0,_pass)范围内的整数 pass , _parser 必须可以调用 _parser(*iter, pass) 并返回[0,_radix)范围内的整数
msd因为需要递归,耗费大量空间,就不去实现了。lsd的实现不太复杂。大体上是先创建两个 _radix 长度的数组,每个元素都是带排序类型的 vector 容器,然后将范围内元素按最低位放到一个数组相应位置的 vector 的末端,之后在两个数组之间分组、收集,最后收集回原来的迭代器范围中。算法实现如下:
1 #include <vector> 2 #include <utility> 3 4 template <typename it, typename parser> 5 void radix_sort(it _begin, it _end, int _radix, parser _parser, int _pass) 6 { 7 auto begin = _begin; 8 std::vector<std::vector<std::remove_reference_t<decltype(*_begin)>>> temp0(_radix), temp1(_radix); 9 auto src = &temp0; 10 auto dst = &temp1; 11 for (; begin != _end; ++begin) 12 (*src)[_parser(*begin, 0)].push_back(*begin); 13 int pass = 1; 14 while (1) 15 { 16 for (const auto& v: *src) 17 for (const auto& i : v) 18 (*dst)[_parser(i, pass)].push_back(i); 19 if (++pass == _pass) 20 break; 21 std::swap(src, dst); 22 for (auto& v : *dst) 23 v.clear(); 24 } 25 for (const auto& v : *dst) 26 for (const auto& i : v) 27 { 28 *_begin = i; 29 ++_begin; 30 } 31 }
注意第8行, decltype(*_begin) 返回的是引用类型,需要用 remove_reference_t<t> 去除引用,也相当于 typename remove_reference<t>::type ,前者需要c++14,后者需要c++11。
接口和实现都好了,这个函数如何使用呢?起始和尾后迭代器没什么好说的,stl中遍地都是,两个整数参数也很常规,关键在于 _parser 所属的类怎么写。最简单的,对于 int 类型,或者稍微广泛一些,对于所有内置整数类型,要怎么获得指定位上的数呢?
这还得先看怎么划分“位”。最容易想到的当然是十进制,但最高位取不到0-9,而且各类型的最高位的取值不统一,同时也不能很方便地获得循环次数,还有负数要考虑,又给最高位的问题引入了新的麻烦。计算机是二进制的,以2为基数,上述问题就不存在了,但效率太低。权衡了一下(一拍脑袋决定),我选择以16为基数,以4个bit为一位。
接下来就是负数的问题。想必每个人学导论或者学c的时候都学过整数的底层表示。对于带符号整数,最高位为0代表这个数为正,否则为负,将这一位取反,则取反后这个数在无符号表示下的值相当于给取反前带符号值加上这一位的权值。两个数同时对最高位取反,前后两数大小关系不变,这就把带符号类型映射到无符号类型上去了,而且这个操作的成本非常低(取反操作用异或实现,而且操作数中有一个是常量,总共只需一句汇编语句)。
对于无符号类型,不需要也不能将最高位取反。那么问题来了,这个函数对象的类肯定是一个模板类,如何知道其模板类型参数是带符号还是无符号类型呢?你当然可以写个声明然后对每一个内置整数类型去特化,但这么暴力的方法我是不允许出现在我的博客里的。给g++加上参数“-std=c++17 -fconcepts”(不要带引号),给msvc开启最新标准,我们来体验一把c++20中 concept 。请看代码:
1 #include <type_traits> 2 3 template <typename t> 4 class integerradixbase 5 { 6 public: 7 static constexpr int bits = 4; 8 static constexpr int radix = 1 << bits; 9 static constexpr int pass = sizeof(t) * 8 / bits; 10 }; 11 12 template <typename t> 13 class integerradix; 14 15 template <typename t> requires std::is_signed_v<t> 16 class integerradix<t> : public integerradixbase<t> 17 { 18 public: 19 using integerradixbase<t>::bits; 20 unsigned operator()(t _value, int _pass) 21 { 22 return ((_value ^ 1 << (sizeof(t) * 8 - 1)) >> (_pass * bits)) & ((1 << bits) - 1); 23 } 24 }; 25 26 template <typename t> requires std::is_unsigned_v<t> 27 class integerradix<t> : public integerradixbase<t> 28 { 29 public: 30 using integerradixbase<t>::bits; 31 unsigned operator()(t _value, int _pass) 32 { 33 return (_value >> (_pass * bits)) & ((1 << bits) - 1); 34 } 35 };
第15行(第26行同理), template <typename t> requires std::is_signed_v<t> 是对 class integerradix 的特化,并且约束模板参数 t 要使 std::is_signed_v<t> 为 true 。 is_signed_v<t>相当于 is_signed<t>::value ,前者需要c++17,后者需要c++11。
虽然代码里没有出现 concept 这个关键字,但 requires 是和 concept 一起在新标准中加入的,所以上面这段代码算是用上了 concept 吧。
其实 concept 只是语法糖, requires 子句都可以用 std::enable_if_t 代替,比如 template <typename t> requires std::is_signed_v<t> 可以写为 template <typename t, typename = std::enable_if_t<std::is_signed_v<t>>> ,但是,很好看吗???尖括号都数不清了!
更多关于 concept 的内容,也许我以后会开一篇专门讲。
回到算法本身。在 return ((_value ^ 1 << (sizeof(t) * 8 - 1)) >> (_pass * bits)) & ((1 << bits) - 1); 这一句中(运算符优先级:乘除>移位>加减>位运算), sizeof(t) * 8 得到 t 类型的长度, 1 << (sizeof(t) * 8 - 1) 得到最高位为1其余位为0的数字, _value ^ 1 << (sizeof(t) * 8 - 1) 得到 _value 最高位取反的结果, (_value ^ 1 << (sizeof(t) * 8 - 1)) >> (_pass * bits) 将这个数右移使这一次循环所需要的4位在最低的4位上, (1 << bits) - 1 得到一个bit mask,此处值为 0b1111 ,最后 ((_value ^ 1 << (sizeof(t) * 8 - 1)) >> (_pass * bits)) & ((1 << bits) - 1) 获得这4位。无符号版的没有最高位取反这一步,其余相同。
上一篇: 2年java,蚂蚁一面,卒