剖析C语言中a=a+++++a的无聊问题

原创 2013年12月05日 20:43:31
今天中午在QQ群里和同僚们闲聊,突然就聊到了a+++++a的问题。这种纯属C语言 “二” 级的问题应该是从a+++a引申出来的吧。于是乎兄弟姐妹们开始讨论它的运算结果,以及改如何理解。更有人写出(a++)+(++a)   a+(++(++a)) ((a++)++)+a这样的东西,问应该如何计算。我表示鸭梨很大...


针对这样的问题我的观点是,“绝不小心求证,只管大胆胡说!” 哈哈,当然了,我还是要对我的师兄弟们负责的,所以我下面的“胡说”中会尽量有理有据。


看法一:

a=a+++++a这个东西可以用来讨论,甚至是讨论它的无所事处,作为增长知识和发现自身理解问题的漏洞是可以的。但是绝对不能拿来作为考试题目,特别是选择题或填空题等客观题目。但是如果作为一道主观探讨题还是挺有趣的,理解深刻的人一定可以写的很好。


看法二:

a=a+++++a的编译和执行结果是随机的,可能有些屌丝编译器自认为自己很牛,可以处理这样的语句,并把它编译出来而不报任何警告。那么我首先建议这样的编译器别用了,其次我要说这个东西的编译结果并不重要,重要的是千万不要在项目代码中这样写。


下面让我们来看一下试验:

试验环境:

发行版:

[zorro@dhcp-65-110 tmp]$ cat /etc/issue
Fedora release 19 (Schrödinger’s Cat)
Kernel \r on an \m (\l)

内核和体系结构:

[zorro@dhcp-65-110 tmp]$ uname -a
Linux dhcp-65-110.nay.redhat.com 3.11.9-200.fc19.x86_64 #1 SMP Wed Nov 20 21:22:24 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux

编译器:
[zorro@dhcp-65-110 tmp]$ gcc -v
Using built-in specs.
COLLECT_GCC=/usr/bin/gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/4.8.2/lto-wrapper
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-bootstrap --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-linker-build-id --with-linker-hash-style=gnu --enable-languages=c,c++,objc,obj-c++,java,fortran,ada,go,lto --enable-plugin --enable-initfini-array --enable-java-awt=gtk --disable-dssi --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-1.5.0.0/jre --enable-libgcj-multifile --enable-java-maintainer-mode --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --disable-libjava-multilib --with-isl=/builddir/build/BUILD/gcc-4.8.2-20131017/obj-x86_64-redhat-linux/isl-install --with-cloog=/builddir/build/BUILD/gcc-4.8.2-20131017/obj-x86_64-redhat-linux/cloog-install --with-tune=generic --with-arch_32=i686 --build=x86_64-redhat-linux
Thread model: posix
gcc version 4.8.2 20131017 (Red Hat 4.8.2-1) (GCC)


为什么要列这么详细?因为我想告诉你,细微的一个编译gcc时使用的编译选项的差别都有可能导致使用gcc时编译结果的不一样。

在Linux系统中,每个软件基本都是通过三个基本步骤从源代码到安装进系统运行的。这三个步骤是:

configure

make

make install

比如configure时的不同选项和参数会决定代码编译出来的软件的不同特征。好了,这里不多说这个,言归正传。写一个简单的程序用来测试:

#include <stdio.h>
int main(){
    int a = 1;
    a = a+++++a;
    printf("a=%d\n", a);
    return 0;
}

我们来在上面说的环境下用gcc编译看看:

[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
testcode.c: 在函数‘main’中:
testcode.c:5:9: 错误:自增操作数必须是左值
  a = a+++++a;
               ^

好吧,倒霉的中文翻译让人看不懂,我们改成英文重新来一下:

[zorro@dhcp-65-110 tmp]$ LANG=C
[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
testcode.c: In function 'main':
testcode.c:5:9: error: lvalue required as increment operand
  a = a+++++a;
               ^

好了,这回看懂了,意思是说++这个自增操作需要一个左值。这么说的话编译器可能是这样理解的:

a=((a++)++)+a;或者a=a+(++(++a));

让我们分别改成这两种情况尝试一下:

编译a = ((a++)++)+a的结果是:

[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
testcode.c: In function 'main':
testcode.c:5:12: error: lvalue required as increment operand
  a = ((a++)++)+a;
                  ^

编译a = a+(++(++a))的结果是:

[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
testcode.c: In function 'main':
testcode.c:5:9: error: lvalue required as increment operand
  a = a+(++(++a));
              ^
和写成a = a+++++a的编译错误差不多。这就是说我的gcc认为++操作是不能以++a或者a++作为操作数的。


再看一下这样写:

a=a++ + ++a

请严重注意在中间那个+两边各有一个空格,让我们编译一下:

[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
testcode.c: In function 'main':
testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]
  a = a++ + ++a;

testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]

这次没有error发生,只有两个警告。这样应该编译出可执行文件mytest了。先不管这两个警告我们执行一下看看:

[zorro@dhcp-65-110 tmp]$ ./mytest
a=4

嗯,看来a=1;a=a++ + ++a是这样做的:

a++的结果是1。然后++a时a初始是2,++后变成3。结果就是a=1 + 3也就是4。


虽然是编译出来了,并且也执行了,但是这样好吗?对,当然是不好。光那两个警告摆在那就够让人提心吊胆了。那个警告的意思是在说a上的操作可能是没有明确定义的,好像听着很晦涩难懂。好吧,我翻译成21世纪现代汉语告诉,它的意思的:我劝你别这么干,你要是非要这么干,到执行时别怪我跟你玩虚的。


有人说我用括号让意思明确一些应该行了吧?编译一下看看:

[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
testcode.c: In function 'main':
testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]
  a = (a++) + (++a);

testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]


唉,看来还是不行。为什么呢?我个人的理解是编译器可能想告诉你加法运算符的左右两边如果都是算式,那么不一定哪边先被执行。也就是加法运算符的左右两个操作数不一定谁先被读取执行,那么当左右两个运算又相互耦合时,聪明的编译器就会告诉你千万别这么干。你这么干了在我这可能是一种结果,在别的地方可能就是另一种结果了,但是不能完全指望编译器帮你检查出来,上面如果我们把-Wall选项去掉再编译,那么就不会有这个警告了,或者有的编译器目光狭窄根本不认为这是个问题,那么问题就非常严重了。如果是一个几万行几十万行甚至更多行的项目,这样的问题是很难调式发现的。所以千万要注意!


我们来总结一下,上面说了两个重要的问题:

1、++运算符不能以++a或a++作为运算数,至少在gcc上不让这样,所以建议你别这样写。

2、一些多目运算符号(如加减乘除与或等),多个运算数如果是表达式,特别是耦合关系很强的表达式,千万要分开顺序重新组织代码,否则你不知道它先让哪个执行。


对于第二点可以扩展到函数等地方,例如printf()函数,很多人喜欢在printf里写表达式,如:

printf("%d,%d,%d", 表达式1,表达式2,表达式3);

当这3个表达式的执行顺序很重要时,你千万不要自认为它一定是按照1,2,3的顺序运行,它有可能是3,2,1的顺序的。

类似的地方还有很多,要时刻注意代码安全的重要性。

 

版权声明:本文为博主原创文章,未经博主允许不得转载。

C语言中的++a和a++的区别

自增自减 1、++自增运算符:如a++,++a都等价于a = a + 1; 2、--自减运算符:如a--,--a都等价于 a = a -1;...
  • lovexiaonvren
  • lovexiaonvren
  • 2014年07月07日 10:06
  • 7682

C语言——A+B+C问题

题目描述 这是一个非常简单的题目,意在考察你编程的基础能力。千万别想难了哦。输入为一行,包括了用空格分隔的三个整数 AA、BB、CC(数据范围均在-40−40 ~ 4040 之间)。输出为一行,为“A...
  • ywxk2016
  • ywxk2016
  • 2017年12月25日 10:37
  • 70

C语言中内存以及堆栈情况

大学在学习数据结构和C语言过程中总是被什么堆、栈等各种和存储相关名词搞晕,先为了方便以后的学习进行简单总结。    一般我们编译的C代码中在内存中分下面几个区:        1、栈区(stac...
  • huangzhiyuan111
  • huangzhiyuan111
  • 2016年04月07日 21:29
  • 362

在C语言中单独用a[5]是什么意思

int a[5]; 中的那个5表示这个数组最多可以包含五个元素, 在引用的时候是a[0] ~ a[4]( a[n] 下标从0开始,到n-1为止), 这5个元素, 至于a[5], 对于这个定义是的使用是...
  • nuanxin_520
  • nuanxin_520
  • 2015年07月12日 10:26
  • 343

关于C语言中类似"a<b<c"条件的值

想起上学期在百度上回答的一个C语言问题,如下 ———————————————————————————————————— #include "stdio.h" main() { int a=1,b=2...
  • octobershiner
  • octobershiner
  • 2011年08月03日 13:36
  • 7836

C语言中printf输出问题,和a++,++a的区别

//test1// int main() { int a=1; printf("%d %d %d %d %d %d",a++,++a,a++,++a,a++,++a); re...
  • seino_m
  • seino_m
  • 2018年01月21日 17:37
  • 57

C语言优先级的问题

   if((rIISCON & (1一个C语言优先级的问题导致我弄了好几天的程序,以后一定要坚信一个小小的C语言错误都会导致你程序无法运行,一定不要小看这个好像不起眼的错误,他们会让你付出代价的...
  • yimu13
  • yimu13
  • 2011年05月07日 11:20
  • 653

C语言回车符号和换行符

C语言在向计算机输入文本文件时,将回车换行符转换为换行符,在输出时把换行符转换成回车和换行两个字符。 在用二进制文件时,不进行这种转换,在内存中的数据形式与输出到外部文件中的数据形式完全一致,一...
  • h1023417614
  • h1023417614
  • 2015年08月21日 17:45
  • 4881

C语言中*和&的区别-代码实现说明

*是指针运算符,可以表示一个变量是指针类型;也可以表示一个指针变量的所指向的存储单元,可以获取某个地址存储的值。 &是取地址符号,既取得某一个变量的地址 int *p=&a; 或 int *p; p...
  • qq_20366761
  • qq_20366761
  • 2016年10月23日 19:51
  • 836

C语言中的转义符'\d', '\n'相关

Demo 1printf("abc"); printf("\b\n"); -------------- $abc疑问:输出”abc”,在打印”\b”退格符,光标应该在b后面,这个时候在打印’\n’之后...
  • a312024054
  • a312024054
  • 2015年07月18日 21:30
  • 1284
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:剖析C语言中a=a+++++a的无聊问题
举报原因:
原因补充:

(最多只允许输入30个字)