c++实现类似Common Lisp的多参数加法和比较
在CL里我们可以这样:
1 $ sbcl 2 * (+ 1 2 3) 3 6 4 * (< 1 2 3) 5 T 6 * (< 2 3 1) 7 NIL 8 *
从简单的方面看, CL的+和<就是一个接收多参数的函数,有点类似cpp的add(1,2,3)和less(1,2,3)这样.
所以当C++11开始有了变参模板以后, 就可以玩多参数的加法和多参数比较了
1 #include <functional> 2 template<typename O, typename A,typename B> 3 bool cmp(O o, A a,B b){ 4 return o(a, b); 5 } 6 template<typename O, typename A,typename B,typename... C> 7 bool cmp(O o,A a,B b,C... c){ 8 return o(a, b) and cmp(o,b,c...); 9 } 10 template<typename O, typename A,typename B> 11 A reduce(O o, A a,B b){ 12 return o(a, b); 13 } 14 template<typename O, typename A,typename B,typename... C> 15 A reduce(O o,A a,B b,C... c){ 16 return reduce(o,o(a, b),c...); 17 } 18 19 bool foo(int a,int b,int c,int d){ 20 return cmp(std::less<int>(), a,b,c,d); 21 } 22 int bar(int a,int b,int c,int d){ 23 return reduce(std::plus<int>(), a,b,c,d); 24 }
可能有人会说,这不是坑爹么, 先不管写法比CL的丑, 你还递归调用了,简直弱爆了.....
让我们来看看真相(clang):
1 foo(int, int, int, int): # @foo(int, int, int, int) 2 cmpl %esi, %edi 3 jge .LBB0_1 4 cmpl %edx, %esi 5 setl %sil 6 cmpl %ecx, %edx 7 setl %al 8 andb %sil, %al 9 ret 10 .LBB0_1: 11 xorl %eax, %eax 12 ret 13 14 bar(int, int, int, int): # @bar(int, int, int, int) 15 addl %esi, %edi 16 leal (%rdi,%rdx), %eax 17 addl %ecx, %eax 18 ret
和手写的完全没差噢, 稍微是丑一点,不过你看下CL的汇编, 肯定比C++的慢....(逃
最后,这有啥用?
多参数加法似乎是没啥用处了,还不如写a+b+c+d呢
多参数比较还行
a < b and b < c and c < d
