google代码题—宏函数

题目

#include <stdio.h>
#define SUB(x,y) x-y
#define ACCESS_BEFORE(element,offset,value) *SUB(&element, offset) = value
int main() {
    int array[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
    int i;
    ACCESS_BEFORE(array[5], 4, 6);
    printf("array: ");
    for (i = 0; i < 10; ++i) {
        printf("%d", array[i]);
    }
    printf("\n");
    return (0);
}

求上述程序的输出

A：array: 1 6 3 4 5 6 7 8 9 10
B：array: 6 2 3 4 5 6 7 8 9 10
C：程序可以正确编译连接，但是运行时会崩溃
D：程序语法错误，编译不成

回答

ACCESS_BEFORE(array[5], 4, 6);这句函数调用在预编译时将被替换为SUB(&array[5], 4) = 6；
紧接着又在SUB(&array[5], 4) = 6中，其中的SUB(&array[5], 4)这句又将再次被替换为&array[5]-4。

综上，经过多次替换，实际上在源程序中书写的是这句话代码 *&array[5]-4 = 6;

随后，在这句代码中&array[5]取出array[5]的地址值，并使用“*”将该值解释为地址去访存。 简单一句话“ *&array[5] ”就是“array[5] ”。取出array[5]的值6然后减去4。最终翻译结果：2=6。当然编译报错。

拓展

若将#define ACCESS_BEFORE(element,offset,value) *SUB(&element, offset) = value修改为
#define ACCESS_BEFORE(element,offset,value) *（SUB(&element, offset) ）= value。则程序将正确运行。（仔细阅读，添加了一对括号）

最终结果是在源程序中书写了这句话代码：*（&array[5]-4 ）= 6;为什么这样书写就是正确的？这里隐藏了另一个知识点，指针加减的自动缩放。“&array[5]-4”这句代码等价于“int *p = &array[5];p=p-4;”。自然p将会指向至array[1]处。

最终，“ *（&array[5]-4 ）= 6” 这句话等价于“array[1] = 6”。因此程序正确。