解决C语言自加的问题:(a++)(++a)(a++)*(++a);

最新推荐文章于 2025-06-02 11:28:02 发布

原创最新推荐文章于 2025-06-02 11:28:02 发布 · 6.4k 阅读

4 ·

CC 4.0 BY-SA版权

文章标签：

#C #++ #自加

C/C++ 专栏收录该内容

3 篇文章

订阅专栏

本文探讨了C语言面试中常见的自加问题，通过分析表达式(a++)*(++a)*(a++)*(++a)的计算过程，解释了编译后的汇编逻辑。解析了该表达式如何按照运算符优先级形成语法树，并详细解释了每一步的计算方式，包括先计算++a，然后进行乘法操作。最后，给出了VC6.0环境下该表达式的汇编代码，强调理解运算符优先级对分析此类问题的重要性。

void main()
{
    int a=5;
    int b;
    b = (a++)*(a++);
    printf("%d\n",b);
}

面试时的这个题目：这无疑就是在考察自加的问题，类似的问题还有许多：

(a++)*(a++)*(++a);
(a++)*(++a)*(a++);
(a++)*(++a)*(a++)*(++a);
(a++)*(a++)+(++a)*(a++);
(a++)*(++a)+(a++)+(a++);

像这样一连串的写法，无疑给我们分析这个表达式造成了很大的困难。

要搞清楚这个问题唯一就是看编译后的汇编代码，看看到底是如何编译的？

我经过总结，编译过程是这样的（具体的编译原理我不是很清楚），这样的表达式先表示成语法树，假设是这个表达式(a++)*(++a)*(a++)*(++a);其语法树的，求解过程是：

1.先计算(a++)*(++a)得出的结果放入寄存器eax

2.再计算 eax*(a++) 得出的结果还是放入寄存器eax

3.最后计算eax*(++a) 得出表达式的结果

在计算每一步的时候，如果二元表达式左边或右边有++a，则先计算++a的值并放入a变量，然后将两个a的值相乘。

第一步的计算就是，++a; eax = a*a ;

第二步的计算就是，eax = eax*a;

第三步的计算就是，++a; eax = eax * a;

最后得出的值就是表达式的值，再最后再补充未计算的a++表达式。

这个表达式的VC6.0的汇编代码如下：

; 7    : 	b = (a++)*(++a)*(a++)*(++a);

  00026	8b 45 fc	 mov	 eax, DWORD PTR _a$[ebp]
  00029	83 c0 01	 add	 eax, 1
  0002c	89 45 fc	 mov	 DWORD PTR _a$[ebp], eax
  0002f	8b 4d fc	 mov	 ecx, DWORD PTR _a$[ebp]
  00032	0f af 4d fc	 imul	 ecx, DWORD PTR _a$[ebp]
  00036	0f af 4d fc	 imul	 ecx, DWORD PTR _a$[ebp]
  0003a	8b 55 fc	 mov	 edx, DWORD PTR _a$[ebp]
  0003d	83 c2 01	 add	 edx, 1
  00040	89 55 fc	 mov	 DWORD PTR _a$[ebp], edx
  00043	0f af 4d fc	 imul	 ecx, DWORD PTR _a$[ebp]
  00047	89 4d f8	 mov	 DWORD PTR _b$[ebp], ecx
  0004a	8b 45 fc	 mov	 eax, DWORD PTR _a$[ebp]
  0004d	83 c0 01	 add	 eax, 1
  00050	89 45 fc	 mov	 DWORD PTR _a$[ebp], eax
  00053	8b 4d fc	 mov	 ecx, DWORD PTR _a$[ebp]
  00056	83 c1 01	 add	 ecx, 1
  00059	89 4d fc	 mov	 DWORD PTR _a$[ebp], ecx

分析这样的表达式必须要非常清楚运算符的优先级，依据不同的优先级，来分析每个子表达式的值，逐步的分析出表达式的值。

再来一个表达式：

; 7    : 	b = (a++)*(++a)+(a++)+(++a);

  00026	8b 45 fc	 mov	 eax, DWORD PTR _a$[ebp]
  00029	83 c0 01	 add	 eax, 1
  0002c	89 45 fc	 mov	 DWORD PTR _a$[ebp], eax
  0002f	8b 4d fc	 mov	 ecx, DWORD PTR _a$[ebp]
  00032	0f af 4d fc	 imul	 ecx, DWORD PTR _a$[ebp]
  00036	03 4d fc	 add	 ecx, DWORD PTR _a$[ebp]
  00039	8b 55 fc	 mov	 edx, DWORD PTR _a$[ebp]
  0003c	83 c2 01	 add	 edx, 1
  0003f	89 55 fc	 mov	 DWORD PTR _a$[ebp], edx
  00042	03 4d fc	 add	 ecx, DWORD PTR _a$[ebp]
  00045	89 4d f8	 mov	 DWORD PTR _b$[ebp], ecx
  00048	8b 45 fc	 mov	 eax, DWORD PTR _a$[ebp]
  0004b	83 c0 01	 add	 eax, 1
  0004e	89 45 fc	 mov	 DWORD PTR _a$[ebp], eax
  00051	8b 4d fc	 mov	 ecx, DWORD PTR _a$[ebp]
  00054	83 c1 01	 add	 ecx, 1
  00057	89 4d fc	 mov	 DWORD PTR _a$[ebp], ecx