Что в книге Кернигана с Ричи, что на просторах интернет говорится о том что во вложенных макросах надо объединять строки в два этапа:
#define cat(x,y) x##y
#define xcat(x,y) cat(x,y)
и тогда уже будет нормально выполняться
xcat(xcat(1,2),3)
Как пройти по шагам, что при этом будет выполняться?
В Википедии бред какой-то наблюдаю. Также и во многих интернетных статьях.
https://ru.wikipedia.org/wiki/%D0%9F%D1%80%...80_%D0%A1%D0%B8
http://we.easyelectronics.ru/Soft/preprocessor-c.html
https://www.opennet.ru/docs/RUS/cpp/cpp-5.html

В свойствах проекта IAR, например, есть чекбокс "Preprocessor output to file".

Да ну... там конечный результат будет выдан. Мне промежуточные нужны, как в Википедии показано. Но там неправильно, на мой тупой взгляд.

P.S. и стандарт листал, и все равно не понял

Eclipse показывает 4 шага:

То есть, сначала в аргументе макрофункции произошла подстановка и выполнение... Почему?

Точнее, вопрос, почему в макрофункции
cat(cat(1,2),3)
не складываются так
cat(12,3)
123

Из вики:

В определении cat есть ##, поэтому в аргументах раскрытие макросов не производится, они вставляются на место формальных параметров как есть (в отличие от xcat, где ни #, ни ## нет).
Получается первый аргумент - cat(1,2) и к нему присоединяется второй - 3

После подстановки к получившемуся тексту снова пытаются применить имеющийся набор макроопределений, но исключив из него уже применявшиеся (для предотвращения бесконечной рекурсии).
Определение cat как раз исключено и поэтому в получившемся тексте cat(1,2) не будет раскрываться.

В итоге получится: cat(1,2)3

Вот объяснение (отсюда):



Ключевая фраза "unless they are stringified".

Ага, так в выражении:
Если в замещающей последовательности перед параметром не стоит знак #, если и ни перед ним, ни после него нет знака ##, то лексемы аргумента проверяются на наличие в них макровызовов; если таковые есть, то до подстановки аргумента в нём выполняется раскрытие соответствующих макросов.
"если таковые есть" относится к макровызовам, а не к знакам # и ##

Так вижу правило макроподстановок касательно стрингизации и склеивания:
Если в замещающем выражении макроопределения перед параметром нет знака # или между параметрами нет знака ##, то лексемы параметров проверяются на наличие в них
макроопределений и замещаются раскрытыми макроопределениями. В противном случае параметры не проверяются на наличие в них макроопределений, а подставляются в замещающую последовательность как есть.

Рассмотрим макроподстановки xcat(xcat(1,2),3)
Видим первый внешний xcat. Смотрим, в его макроопределении (cat(x,y)) нет # или ##. Проверяем параметры xcat(1,2) и 3 этого внешнего xcat на наличие макроопределений. Находим xcat внутренний. Смотрим, в его макроопределении (cat(x,y)) нет # или ##. Проверяем его параметры 1 и 2 внутреннего xcat на наличие макроопределений. Для них макроопределений нет. Подставляем макроопределение внутреннего cat, который превращается в 12. Подставляем вместо первого параметра во внешний cat. Подставляем макроопределение внешнего cat. Получаем 123.

Если есть желание совсем "надломить моск" , можно почитать и по-разбираться по ссылкам:
C Pre-Processor Magic
C Preprocessor tricks, tips, and idioms
Я даже рискнул кое-что из этого применить в своих проектах...

Спасибо, почитаем-с! Я, в принципе, пользуюсь макро, насколько мне нужно. И с X-macro разбирался, но не применял пока.
Вот этого нюанса с ## не знал.

Можно проще - # и ## применяются ДО ТОГО, как производятся раскрытия макроподстановок. И только в том, что получится ПОСЛЕ # и ## ищутся и подставляются макросы.
Собственно всё

В общем это тема для меня пока что не совсем понятна.
Пытаюсь сделать следующее.
Есть функция

Здесь GPIO_AF_SPI1 - это тоже некий #define.

И я хочу сделать следующее. В файле настроек иметь что-то наподобие

При этом ключевое слово SPI1 - это тоже макрос на начало области памяти модуля SPI1.

Хочу сделать так

Но один фиг не работает так как надо, не получаю я после разворачивания макроса GPIO_AF_SPI1 (пишет Error: L6218E: Undefined symbol GPIO_AF_ (referred from hardware.o).).

Это вообще реально? Логику макросов вообще тут понять сложно, с учетом того, что SPI1 и GPIO_AF_SPI1 - тоже макрос-объекты.

Сообщение отредактировал Arlleex - May 4 2018, 07:51

Вы не привели законченного куска кода со всеми вложенными макросами, поэтому не совсем понятно почему вылезла именно ошибка Undefined symbol GPIO_AF_

На мой взгляд, если где-то есть описание типа:
#define SPI1 0x1234
#define LCD_SPI_MODULE SPI1
то должна быть ошибка
Undefined symbol GPIO_AF_0x1234

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

Вот. Это и есть ключ к ответу на мой вопрос

А насчет всех макросов, то вот:

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


выдает в консоли:

Стоит переписать как

то все работает и преобразуется во что нужно.
Однако жутко неудобен этот "хвост" в виде нижнего подчеркивания... Ведь в коде хотелось бы иметь

а не

Есть конечно решение "в лоб", это сделать несколько определений:

и использовать первый, где требуется именно имя SPI1, а второй - там где этот кусок текста слепляется с другими макросами, например, в имени GPIO_AF_SPI1.

P.S. Уважаемые, а можно ли в тегах [код] раскрашивать текст в разный цвет? А то хотелось бы акцентировать внимание на что-то, да не получается.

Сообщение отредактировал Arlleex - May 4 2018, 16:50