为少写一条if语句作出的努力

2019独角兽企业重金招聘Python工程师标准>>>

这个世界上有为少写一条if语句纠结过的人吗&＃xff1f;

还真有&＃xff0c;不过不是本人&＃xff0c;是最牛叉的web server的作者。

首先充点电&＃xff1a;

一个最简单的if判断大约生成几条汇编指令&＃xff0c;如if (a >&＃61; 3) ?

int a &＃61; 1; // (1) if (a >&＃61; 3) { // (2)printf("33333"); // (3) }gcc 大约生成如下的汇编&＃xff1a;movl $1, -4(%rbp) #类似int a &＃61; 1cmpl $2, -4(%rbp) #实现 if(a >&＃61; 3) 效果的汇编jle .L2

充电的结果是&＃xff0c;知道一个判断语句至少产生两条汇编指令&＃xff0c;比较指令,如cmpl 和跳转指令,如jle 。

一个由两条表达组成的if判断大约产生几条汇编指令&＃xff0c;如if (a >&＃61; &＃39;0&＃39; && a <&＃61; &＃39;9&＃39;) ?

int a &＃61; 1; if (a >&＃61; &＃39;0&＃39; && a <&＃61; &＃39;9&＃39;) { printf("&＃61;&＃61;&＃61;&＃61;&＃61;&＃61;&＃61;\n"); }gcc 大约生成如下的汇编&＃xff1a;movl $1, -4(%rbp) #类似 int a &＃61; 1cmpl $47, -4(%rbp) #实现 if (a >&＃61; &＃39;0&＃39;) 效果的汇编jle .L2 cmpl $57, -4(%rbp) #实现 if (a <&＃61; &＃39;9&＃39;) 效果的汇编jg .L2

对比上面可以发现多加一个表达式&＃xff0c;多生成两条汇编指令。

如何把大写字母转小写字母:

int ch, c; ch &＃61; &＃39;A&＃39; c &＃61; ch | 0x20;

如何把一个16进制的字符转成10进制:

int value; char c;if (c >&＃61;&＃39; 0&＃39; && c <&＃61; &＃39;9&＃39;)value &＃61; value * 16 &＃43; c - &＃39;0&＃39;; else if(c >&＃61; &＃39;a&＃39; && c <&＃61; &＃39;f&＃39;)value &＃61; value * 16 &＃43; c - &＃39;a&＃39; &＃43; 10; else if(c >&＃61; &＃39;A&＃39; && c <&＃61; &＃39;F&＃39;)value &＃61; value * 16 &＃43; c - &＃39;A&＃39; &＃43; 10;

好&＃xff0c;现在进入主题&＃xff0c;编写函数hextoi&＃xff0c;把有16进制数字组成的字符串&＃xff08;包含可选的前缀0x或0X&＃xff09;转为与之相等的整形值。

字符串中允许包含的数字包括&＃xff1a;0~9、a-f、A-F。

实现1&＃xff1a;

int hextoi(char *s) {char c;int val;if (*s &＃61;&＃61; &＃39;0&＃39;) {s&＃43;&＃43;;if (*s &＃61;&＃61; &＃39;x&＃39; || *s &＃61;&＃61; &＃39;X&＃39;)s&＃43;&＃43;;} for (val &＃61; 0; *s; s&＃43;&＃43;) {c &＃61; *s; if (c >&＃61; &＃39;0&＃39; && c <&＃61; &＃39;9&＃39;)val &＃61; val * 16 &＃43; c - &＃39;0&＃39;;else if (c >&＃61; &＃39;a&＃39; && c <&＃61; &＃39;f&＃39;)val &＃61; val * 16 &＃43; c - &＃39;a&＃39; &＃43; 10; else if (c >&＃61; &＃39;A&＃39; && c <&＃61; &＃39;F&＃39;)val &＃61; val * 16 &＃43; c - &＃39;A&＃39; &＃43; 10; elsereturn val;} return val; }

实现2&＃xff1a;

int hextoi(char *s) {char c, ch; int val;if (*s &＃61;&＃61; &＃39;0&＃39;) {s&＃43;&＃43;;if (*s &＃61;&＃61; &＃39;x&＃39; || *s &＃61;&＃61; &＃39;X&＃39;)s&＃43;&＃43;;} for (val &＃61; 0; *s; s&＃43;&＃43;) {ch &＃61; *s; if (ch >&＃61; &＃39;0&＃39; && ch <&＃61; &＃39;9&＃39;) {val &＃61; val * 16 &＃43; ch - &＃39;0&＃39;;continue;}c &＃61; ch | 0x20;if (c >&＃61; &＃39;a&＃39; && c <&＃61; &＃39;f&＃39;) {val &＃61; val * 16 &＃43; c - &＃39;a&＃39; &＃43; 10; continue;}return val;} return val; }

实现1与实现2的区别是&＃xff1f;

区别1 --想法。

实现1是大多数人可以想到。

实现2实现比较怪异&＃xff0c;一开始不知道为什么要这么做。

区别2 --代码特征。
实现1用if else 判断 a-f和A-F的字符
实现2先把A-F的字符转成a-f的&＃xff0c;

省去

else if (c >&＃61; &＃39;A&＃39; && c <&＃61; &＃39;F&＃39;)val &＃61; val * 16 &＃43; c - &＃39;A&＃39; &＃43; 10;

多了

c &＃61; ch | 0x20;

区别3--效率&＃xff08;实现2效率更高&＃xff09;。
可以用gcc -S 生成汇编&＃xff0c;数下两个函数生成的汇编。
实现1 需要110行汇编&＃xff0c;实现2 只要100行汇编。
为什么会这样&＃xff0c;原来实现2中省去的if 判断会生成如下的汇编&＃xff1a;

- cmpb $64, -1(%rbp) - jle .L8 - cmpb $70, -1(%rbp) - jg .L8 - movl -8(%rbp), %eax - movl %eax, %edx - sall $4, %edx - movsbl -1(%rbp), %eax - addl %edx, %eax - subl $55, %eax - movl %eax, -8(%rbp) - jmp .L6 -.L8:

而实现2中多出来的部分&＃xff0c;生成的汇编代码比较少&＃xff0c;如下&＃xff1a;

&＃43; movzbl -2(%rbp), %eax &＃43; orl $32, %eax &＃43; movb %al, -1(%rbp)

13 - 3 正好是10行&＃xff0c;这就是为什么上面实现1&＃xff0c;汇编代码是110行&＃xff0c;而实现2只有100行。

题外话&＃xff1a;

实现2&＃xff0c;参考了ngx_hextoi。开头提到的为了少写一条if 的人是谁&＃xff0c;大家都懂的。。