CS-APP：Section 5.1,Memory aliasing ：看上去逻辑一样，执行结果一样吗？

以下是一段代码，在表面上是相同的结果和逻辑，但在xp = yp时，会有不同的结果；

 1 void twiddle1(int *xp,int *yp)
 2 {
 3     *xp += *yp;
 4     *xp += *yp;
 5 }
 6 
 7 void twiddle2(int *xp,int *yp)
 8 {
 9     *xp += 2* *yp;
10 }

 

 

 

测试代码：

 1 /*
 2  ============================================================================
 3  Name        : test1.c
 4  Author      : Gump Yin
 5  Version     :
 6  Copyright   : Your copyright notice
 7  Description : Hello World in C, Ansi-style
 8  ============================================================================
 9  */
10 
11 #include <stdio.h>
12 #include <stdlib.h>
13 
14 void twiddle1(int *xp,int *yp)
15 {
16     *xp += *yp;
17     *xp += *yp;
18 }
19 
20 void twiddle2(int *xp,int *yp)
21 {
22     *xp += 2* *yp;
23 }
24 
25 int main(void) {
26     int a = 1,b =2;
27     twiddle1(&a,&b);
28     printf("twiddle1 xp != yp :a = %d;b= %d\n",a,b);
29     a = 1;b =2;
30     twiddle2(&a,&b);
31     printf("twiddle2 xp != yp :a = %d;b= %d\n",a,b);
32     int c = 3;
33     twiddle1(&c,&c);
34     printf("twiddle1 xp == yp :c = %d\n",c);
35     c = 3;
36     twiddle2(&c,&c);
37     printf("twiddle2 xp == yp :c = %d\n",c);
38     return EXIT_SUCCESS;
39 }
40 

 

 

测试结果：

1 twiddle1 xp != yp :a = 5;b= 2
2 twiddle2 xp != yp :a = 5;b= 2
3 twiddle1 xp == yp :c = 12
4 twiddle2 xp == yp :c = 9
5