3.10.6 Предварительный анализ аргументов

Аргументы макроса полностью макрорасширяются до подстановки в тело макроса, если они не являются строкованными или склеенными с другими токенами. После подстановки всё тело макроса, включая подставленные аргументы, снова сканируется на макросы для расширения. В результате аргументы сканируются дважды для расширения вызовов макросов в них.

В большинстве случаев это не оказывает никакого влияния. Если аргумент содержал какие-либо вызовы макросов, они расширяются во время первого сканирования. Результат, следовательно, не содержит вызовов макросов, поэтому второе сканирование его не изменяет. Если бы аргумент был подставлен как есть, без предварительного сканирования, единственное оставшееся сканирование обнаружило бы те же вызовы макросов и дало бы те же результаты.

Можно ожидать, что двойное сканирование изменит результаты, когда рекурсивный макрос используется в аргументе другого макроса (см. Рекурсивные макросы): рекурсивный макрос будет расширен один раз при первом сканировании и второй раз при втором сканировании. Однако этого не происходит. Ссылки на себя, которые не расширяются при первом сканировании, помечаются так, что они не будут расширяться и при втором сканировании.

Можно задаться вопросом: «Зачем упоминать предварительный анализ, если он не влияет на результат? И почему не пропустить его и не ускорить работу препроцессора?» Ответ заключается в том, что предварительный анализ оказывает влияние в трёх особых случаях:

• Вложенные вызовы макроса.

  Мы говорим, что вложенные вызовы макроса происходят, когда аргумент макроса содержит вызов того же самого макроса. Например, если f — это макрос, который ожидает один аргумент, f (f (1)) — это вложенная пара вызовов f. Желаемое расширение выполняется путём расширения f (1) и подстановки этого в определение f. Предварительный анализ приводит к ожидаемому результату. Без предварительного анализа f (1) сам бы был подставлен в качестве аргумента, и внутреннее использование f появилось бы во время основного сканирования как косвенная рекурсия и не было бы расширено.

• Макросы, которые вызывают другие макросы, которые строкуют или конкатенируют.

  Если аргумент строкуется или конкатенируется, предварительный анализ не происходит. Если вы хотите расширить макрос, а затем строковать или конкатенировать его расширение, вы можете сделать это, заставив один макрос вызвать другой макрос, который выполняет строкование или конкатенацию. Например, если у вас есть

  #define AFTERX(x) X_ ## x
  #define XAFTERX(x) AFTERX(x)
  #define TABLESIZE 1024
  #define BUFSIZE TABLESIZE

  то AFTERX(BUFSIZE) расширяется до X_BUFSIZE, а XAFTERX(BUFSIZE) расширяется до X_1024. (Не до X_TABLESIZE. Предварительный анализ всегда выполняет полное расширение.)

• Макросы, используемые в аргументах, чьи расширения содержат не экранированные запятые.

  Это может привести к тому, что макрос, расширенный во время второго сканирования, будет вызван с неправильным числом аргументов. Вот пример:

  #define foo  a,b
  #define bar(x) lose(x)
  #define lose(x) (1 + (x))

  Мы хотим, чтобы bar(foo) превратилось в (1 + (foo)), а затем (1 + (a,b)). Вместо этого bar(foo) расширяется до lose(a,b), и вы получите ошибку, потому что lose требует одного аргумента. В этом случае проблема легко решается теми же скобками, которые следует использовать для предотвращения неправильного вложения арифметических операций:

  #define foo (a,b)

  or

  #define bar(x) lose((x))

  Дополнительная пара скобок предотвращает интерпретацию запятой в определении foo как разделителя аргументов.

Следующее: Перевод строки в аргументах, Предыдущее: Рекурсивные макросы, Наверх: Ловушки макросов [Содержание][Индекс]