你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

C语言的一些"令人震惊"的结构

[复制链接]
gaosmile 发布时间:2020-12-1 21:17

C语言会同意一些"令人震惊"的结构,下面的结构是合法的吗,我们来看看几个例子。

c = a+++b;

以下代码是合法的吗,咋的一看不禁有这样的疑问?

int a = 5, b = 7, c;
- h( s4 I" B) P6 _% dc = a+++b;0 Q8 z& k# e$ k$ `/ x% p7 Z

这个代码确实不咋符合习惯的写法,但是不管你相不相信,上面的例子是完全合乎语法的。问题是编译器如何处理它?

根据最处理原则,编译器应该能够尽可能处理所有合法的用法。因此,上面的代码会被处理成:

c = a++ + b;$ N8 ~/ l; |8 A4 j, `

我们来测试一下:

//https://tool.lu/coderunner/
. Q8 U' a' q% a//来源:技术让梦想更伟大
6 S; G: ~+ }( L) K7 R//作者:李肖遥
) v% Z% ^* a9 o/ c+ x+ U
9 X1 \! {6 Z8 K( D5 s# n#include <stdio.h>
& L& k8 J4 v% {: q' h% Q4 a   H6 l! P& @. E% h. v- h' u5 L- H: c
int main()
  d7 k0 b7 Z) P{
$ G8 n; I" i$ ^8 u* H6 y  int a = 5, b = 7, c;
, W! W+ |* C; J9 O2 T' @  c = a+++b;
: d7 {( e* Y0 ]% g  printf("a = %d,b = %d,c = %d",a,b,c);
8 _) D9 A6 d" {9 v3 ]5 E2 ?  return 0;  A5 Y+ s1 t1 h  s1 W" u2 N
}
0 w- t! \! O7 J2 X2 {
! L& n3 |8 q0 C

输出结果如下:

微信图片_20201201211339.png

其执行顺序:

  • b不变,c = a + b;,则c = 5 + 7 = 12
  • a++,那么a = 6;
    9 g$ d6 \' _# b& J1 S, R
c = a+++++b;

上面那么可能只是开胃菜,那么这个表达式呢,有什么想法?咱们二话不说,直接上代码测试。

//https://tool.lu/coderunner/
6 S6 z4 W4 h, ^2 o6 @# u//来源:技术让梦想更伟大5 [: Z3 y& p& H1 Y( E, N
//作者:李肖遥
' `) {/ E+ F( A9 f- d) r
- t+ U) h+ f- K; C3 n% E/ r#include <stdio.h>
  M5 H& C+ c- ?& d+ Y6 y - Z, M3 b" Y0 y$ y  F: s
int main()/ [  J1 z" l) x# F% O
{% m3 b) ~7 i+ z# |# B% K# e
  int a = 5, b = 7, c;5 l+ @# n8 _" I+ L
  c = a+++++b;
# k  u* L! Q2 M+ O1 r  //c = (a++) + (++b);
; N) l2 }# K: Q5 Q" b  //c = ((a++)++) + b;6 H% D- \* o, V) h: t
  printf("a = %d,b = %d,c = %d",a,b,c);
+ E) k9 h. a* F  return 0;
. t9 q; c% f/ V0 z4 O& Y2 L}: z6 f" |1 X: H7 w- q) |

编译结果如下:

微信图片_20201201211342.png

虽然一看就知道意思是(a++)+(++b);,但是编译就通不过,我们把括号加上,c = (a++) + (++b);,编译通过,那么出错信息大概是:括号影响了优先级?我们从侧面以及原理来解析一下。

侧面解析一下

对于a+++++b这一段代码,编译系统从左至右扫描整条语句,先遇到a++,判断出来是一个a的后缀自加运算;

然后接着扫描,遇到一个+,+是一个二目运算符,它的左边已经有一个运算数a++了,系统就向右搜索第二个运算数;

又遇到一个+,++比+的运算级别要高,这时,编译系统就将两个+看成一个整体来处理;

既然是++,编译系统就认定,肯定它的左边或右边有一个变量,编译系统先搜索左边,发现++,不是变量;

再搜索右边,发现+b,+b是什么东西?编译系统是无法搞明白的;

因此它就认为++是一个缺少左值的自增运算符,于是提示错误给用户:lvalue required as increment operand

原理解析一下

C语言在这里遵循词法解析的贪婪匹配原则。优先匹配尽可能多字符的符号,无论是否有语法错误(因为词法分析时还没有语法检查)。

于是a+++++b会被当作a ++ ++ + b,这是非法的表达式,因此产生编译错误。

这个问题在ISO C99标准中直接以示例描述,原文如下:

“

EXAMPLE 2 The program fragment x+++++y is parsed as x ++ ++ + y, which violates a constraint on increment operators, even though the parse x ++ + ++ y might yield a correct expression.

那么,也许是c = ((a++)++) + b;这个意思呢?

我们编译结果依然报错,如下:

微信图片_20201201211349.png

这涉及到“左值”的问题。百度百科定义如下:

“

左值(lvalue) 是B语言/C语言/C++语言等类C语言中的一类表达式。“左”(left)的原意是指可以放在赋值符号“=”的左边,但其实也表示能作为&和++等操作符的操作数(B语言中已经如此)。而且,现代C/C++中的含义已经不局限于此。lvalue的l被重新解释为location。这也对应于ISO C11/ISO C++11的内存位置(memory location)。

总结:a存在左值,可以有表达式:a++。但是(a++)不存在左值,无法继续执行(a++)++操作,所以最终报错。

怎么样才能编译正确呢?

a+++++b在编译时会报错,那么a++ + ++b呢?来看以下代码:

//https://tool.lu/coderunner/5 l. X. n& g9 }  D$ \2 {
//来源:技术让梦想更伟大/ {6 d" K5 k, v( O
//作者:李肖遥
' V8 Z7 E0 u, k- U) R. B
) l7 m% k2 z* ]5 P#include <stdio.h>
4 ?7 P. C% A0 L, Y
+ q3 n0 ]2 @1 i2 E/ P& F- W7 E3 nint main()
2 C3 @5 K. L4 ~, }" Z- k! W2 ^{
1 M; @- G* A0 b2 G int a = 5, b = 7, c;; I0 f$ A( K( I# T# g2 ?
c = a++ + ++b;
# L4 X4 v* z6 c$ p& B printf("a = %d,b = %d,c = %d",a,b,c);9 H' ~0 o5 M' |
return 0;
/ Y7 s' s/ l/ J4 Z: K}
3 d1 R( v: d6 a1 Z7 g

结果如下:

微信图片_20201201211352.png

其代码与c = (a++) + (++b);结果一样,说明是正确的,其按照下面顺序执行:

  • 先执行b自加,b变为8;相当于:b = b+ 1;
  • 求a与b之和,赋给c;相当于:c = a + b ;//c = 5+8;
  • 执行第二步之后,a自加1:a++;
    + f' r  s7 @! w# Y: |9 H1 j# {
c=(++a,b++,a++,++b);

这个表达式看着爽不爽?我们知道自增自减运算,表示对自身进行a=a+1或者a=a-1的运算。

++a表示在调用前就a+1,a++表示在调用后+1。

int c=(++a,b++,a++,++b);这个逗号隔开的表示用最后一个式子对C进行赋值,测试如下:

//https://tool.lu/coderunner/% G. d- L9 i! t" Z
//来源:技术让梦想更伟大- x+ Z0 c4 i5 y( B( E6 c
//作者:李肖遥& L5 B+ R/ F7 k( k
% N: [3 F9 @& i! o& L, e! U* k
#include <stdio.h>; ^" f( \0 r; ~- o/ {; _

! M9 n: G5 S7 Kint main()
) d3 t0 `# g8 j3 }- k' l{
# z" V5 `  w. q int a = 5, b = 7, c;' B2 W' a% K& A/ [5 n

( x1 G$ K5 W6 `* {8 @$ l c=(++a,b++,a++,++b);' [, z+ ^* e) L  z/ g3 K
printf("a = %d,b = %d,c = %d",a,b,c);1 J/ J4 A/ `! T
return 0;# H" T3 h: }  G/ A% b
}% p% `- E$ v! v4 k) Y

输出的结果如下:

微信图片_20201201211355.png

这段执行的顺序如下

  • 先执行++a,a=6;
  • 再执行b++,b=8;
  • 接下来a++,a=7;
  • 再执行++b,b=9;
  • 把最后一个的式子b=9的值赋给c,所以c等于9。如果改成c=(++a,b++,a++,b++); ,那么c就是等于8,因为是调用后再自增。
    0 r/ h. v7 L! D, M  _
总结

我们看到这些有趣且不常见的代码的时候,无需怀疑,只需要根据经验一步一步分析,就会发现其中的玄妙之处。在此我总结以下几点。

  • 如果你一看就知道了答案,或猜出正确答案,说明基础做得好,点个赞。
  • 如果你很犹豫,不知道答案,这也是正常的,因为很少见到这样写代码的,但是我们也需要去了解,才能究其根源。
  • 我总结这个问题,是想提起一个关于代码编写风格,代码的可读性,代码的可修改性的话题,这样我们在写代码的时候才能够注意到,更好的编码。
    - J& B! E2 }% ~0 }

, N$ W" P1 I6 z/ F8 d% q
赞 收藏 评论2 发布时间:2020-12-1 21:17

举报

2个回答
fafa1 回答时间:2020-12-2 13:40:04
我从来不这么干!不给自己个别人找麻烦!
liang118038 回答时间:2020-12-3 21:50:49
这种装模作样的代码语法就国人喜欢拿来装逼用而已,代码是拿来阅读改进的,浪费时间去增加阅读难度还不如好好想想你的应用逻辑怎么改进优化

所属标签

相似技术帖

官网相关资源

关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
人形机器人运动控制、感知与智能配电
半导体创新技术与应用方向
EE架构与软件定义汽车
12V/48V 汽车智能配电(SPD)
区域控制单元(ZCU)与分区架构
关注我们
st-img 微信公众号
st-img 手机版