Как сформировать строку посредством макросов языка Си?

Question

[KiVa]

Доброго дня!
В чужом заголовочном файле есть:
#define number 10
У себя надо получить:

#define stamp "stamp n.10"  // где 10 берётся выше, в строке пробел обязателен

Очевидно, что решение в лоб не работает:

#define mkstr(s) # s
#define concat(a,b) a ## b
#define stamp mkstr(concat(stamp n., number))

Проблема в mkstr(), который раскрывается до concat(). Знаю, что здесь надо использовать "магию" с промежуточным макросом, но не могу сообразить как реализовать.
Просьба помочь с корректным решением по формированию указанной строки средствами макросов языка Си.

Comments

[Roman]

https://rextester.com/AFTXA44163

#define number 10

#define cat(x, y) x # y
#define xcat(x, y) cat(x, y)
#define stamp xcat("stamp n.", number)

Answer 1

[Ivan Bogachev]

Знаю, что здесь надо использовать "магию" с промежуточным макросом, но не могу сообразить как реализовать.

Если я ничего не путаю, то должно получиться что-то такое:

#define number 10

#define mkstr2(s) #s
#define mkstr(s) mkstr2(s)
#define stamp "stamp n." mkstr(number)

#include <stdio.h>

int main()
{
    printf("%s", stamp); // stamp n.10
    return 0;
}

Comments

[res2001]

В таком варианте mkstr2() не нужен, т.к. number раскроется уже в mkstr(). Вот такой вариант будет:

#define mkstr(s) #s
#define stamp "stamp n." mkstr(number)

KiVa, пишите макросы большими буквами, в таком виде будете их путать с переменными.

[Ivan Bogachev]

res2001,

В таком варианте mkstr2() не нужен. Вот такой вариант будет...

Проверил, и в результате выводится не "stamp n.10", а "stamp n.number".

[vanyamba-electronics]

#include <iostream>

using namespace std;

#define xstr(xxx) str(xxx)
#define str(xxx) #xxx
#define mynumber 10
#define stamp(num) "stamp n." xstr(num)

int main() 
{
	cout << stamp(mynumber) << endl;
	return 0;
}

Подсмотрено здесь.

[res2001]

Ivan Bogachev,

Проверил, ...

Ок. Значит ваш вариант.

[KiVa]

res2001,

KiVa, пишите макросы большими буквами, в таком виде будете их путать с переменными.

Строчные буквы, ибо подумал наперед чтоб не травмировать ничьи глаза, а в реальном коде – прописные.

Благодарю всех, кто откликнулся: Roman, res2001, Ivan Bogachev, vanyamba-electronics. К сожалению, ни один из предложенных вариантов не работает. Много раз смотрел вывод препроцессора в надежде придумать какую-нибудь хитрость, но всё тщетно. Чтение спецификации на компилятор тоже не подкинуло никаких идей. Пробовал множество своих вариантов и также без нужного результата. Вся соль в стрингификации #, из-за которой не происходит подстановка числа, вместо числа ставится имя самого определения и потом всё оборачивается в кавычки, т.е. на выходе "stamp n.number", а не "stamp n.10", иначе говоря, number не раскрывается, хотя stamp n.10 (без кавычек) формируется нормально, но для дальнейшего использования нужно с кавычками.
Видимо одно из двух: либо моих знаний не хватает, либо этот вопрос не имеет решения. Всем спасибо!

[res2001]

KiVa, Вы не правы. Вариант Ivan Bogachev рабочий: https://ideone.com/IXyO4C
Особой соли и магии тут нет. Смысл двойных define в том, что бы заставить препроцессор еще раз подставленную, чтоб раскрыть макрос.
Например если вам понадобиться 3 раскрытия макросов, то придется делать 3 вложенности mkstr(). Например типа такого:

#define MyNUMBER 10
#define number MyNUMBER
...

[vanyamba-electronics]

KiVa, здесь отлично работает.

[KiVa]

res2001,

@KiVa, Вы не правы.

:-D спасибо, что повеселили! Видимо я как-то не внятно написал:

К сожалению, ни один из предложенных вариантов не работает.

Поясняю: представленные макро-подстановки я испробовал в реальном проекте (в том, для которого это всё и нужно) и результат не совпал с требуемым. <Сарказм> Что я делаю не так и при чём здесь моя правота?<\Сарказм>. Ещё раз: реальный результат работы препроцессора вне зависимости от моей правоты не тот, что нужен.

res2001, давайте посмотрим на вывод препроцессора для варианта от Ivan Bogachev и vanyamba-electronics:

#define xstr(xxx) str(xxx)
#define str(xxx) #xxx
#define mynumber 10
#define stamp(num) "stamp n." xstr(num)

int main() 
{
  cout << stamp(mynumber) << endl;
  return 0;
}

обращаю внимание на то, что это код Си++, а в вопросе идёт речь только о Си, однако сейчас это не важно. Итак, для представленных макро-определений препроцессор даёт:

"stamp n." "mynumber"  // строка разрывается кавычкой, далее пробел, потом кавычка

а надо:

"stamp n.10"

действовал так: скопировал представленные макро-определения, вставил в свой код (ANSI C), в нужное место вписал stamp(mynumber) и получил "stamp n." "mynumber", разумеется, компилятор не прожевал разрыв внутри строки кавычками (меж которых пробел). Если внимательно взглянуть на
#define stamp(num) "stamp n." xstr(num)
то ничего удивительного.

Вопрос исчерпан, ответ не найден. Благодарю всех за участие!

[Ivan Bogachev]

KiVa,

[res2001]

Ivan Bogachev, Подтверждаю! Код рабочий.
Вариант для плюсов: https://ideone.com/H8AtlT
Добавил только:

#include <iostream>
using namespace std;

[res2001]

KiVa,

разумеется, компилятор не прожевал разрыв внутри строки кавычками (меж которых пробел)

Тут вообще вы не правы - это нормальная ситуация, описанная в стандарте: https://en.cppreference.com/w/cpp/language/string_...
Смотрите сразу example.
Более того - не важно сколько и каких разделителей будет между строковыми литералами, главное, чтоб это были предусмотренные языком разделители (space, TAB, CR). Например регулярно встречаю в коде и сам использую длинные строки разными литералами с переводом строки между ними:

const char str[] = "Очень длинная строка "
                            "продолжение очень длинной строки";