Почему я не получаю ожидаемый результат в следующей программе c?

Возможный дубликат:
Что означает #define STR (a) #a "do?
Оценка макросов на языке программирования c

#include <stdio.h>
#define f(a,b) a##b
#define g(a)   #a
#define h(a) g(a)

int main()
{
      printf("%s\n",h(f(1,2)));
      printf("%s\n",g(f(1,2)));
      return 0;
 }

Я ожидал, что вывод будет одинаковым для обоих printf. Но то, что я получаю, отличается (ниже)

12
f(1,2)

может кто-нибудь объяснить, в чем причина и почему это происходит подробно?

Ответ 1

Я расширил вашу программу с помощью дополнительной строки

printf("%d\n",f(1,2));

что, в свою очередь, приводит к

printf("%d\n",12);

(называется с gcc -E).

Ваши две строки приводят к

printf("%s\n","12");
printf("%s\n","f(1,2)");

Что здесь происходит?

f(1,2) понятен - 1 и 2 просто склеиваются.

g(something) просто воспроизводит something как строку, не рассматривая ее специально → "f(1,2)".

h(something), в свою очередь, позволяет развернуть результат g(something).

Ответ 2

Стандарт C утверждает, что аргументы макроса не расширяются, если они стробированы или конкатенированы. Вот почему g(YOUR_MACRO) YOUR_MACRO не расширяется. Однако в h(YOUR_MACRO) case-h() строковая привязка косвенно и поэтому соответствует правилам расширения аргументов макроса C и далее расширяется.

Ответ 3

Первый:

 printf("%s\n",h(f(1,2)));

становится:

  g(12)

который, в свою очередь, становится

  "12"

Второй:

printf("%s\n",g(f(1,2)));

становится

"f(1,2)"

поскольку # преобразует аргумент в строковый параметр.