Макросы в C++

[oktonion]

Доброго времени суток.

Код:

#define K1 42
#define CR(...) {__VA_ARGS__'\0'}
#define XOR(c) (c)^K1,

#define MCR4(s)   \
CR(                      \
XOR(*((#s) + 0))  \
XOR(*((#s) + 1))  \
XOR(*((#s) + 2))  \
XOR(*((#s) + 3))  \
)

Код:

char str[] = MCR4(TEST);

Приведенный выше макрос в моем представлении должен раскрыться в

Код:

 {'T'^42, 'E'^42, 'S'^42, 'T'^42, '\0'}

и на этапе компиляции(?) сформировать в str строку "~oy~", ну или что то в этом духе.

Тем не менее после компиляции в Embarcadero C++ Builder XE5 просмотрев бинарник можно увидеть  в нем 4 строки TEST, разделенных пробелами.

Вопросы:
Что я делаю не так? (ну кроме того что макросы в ++ это зло и т.п.)
Как можно добиться с помощью препроцессора аналогичного преобразования строки? (подозреваю, что constexpr поможет, но его поддержки пока что нет нормальной нигде, ну может в GCC разве что)

PS:
Почему 4 строки то появляются в бинарнике?

[RXL]

(подозреваю, что constexpr поможет, но его поддержки пока что нет нормальной нигде, ну может в GCC разве что)

В точку!

Почему 4 строки то появляются в бинарнике?

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

[Джон]

Макрос работает, по крайней мере в VS 2012

[oktonion]

RXL,

Так на constexpr я понимаю как это можно легко и без фокусов сделать. Я понять не могу что не так в моей реализации через макросы.
Да и нет поддержки нормальной нового стандарта в RAD.

Джон,

Работать то он работает, да в рантайме. Основной вопрос в том - откуда в бинарнике берется строка TEST?
Идея то в чем:
если бы на этапе компиляции макрос раскрывался как надо, то в результате в бинарнике неоткуда взяться было этой строке, так как ее просто нет уже. Есть "отхоренная" поэлементно строка. Но тем не менее, хоть в str записывается верный результат, в бинарнике остается исходная строка да еще и в 4 экземплярах.

Я понимал бы такое поведение в результате "умной" оптимизации компилятором, хотя тоже тот еще трюк. Но сборку то провожу без оптимизаций, если верить в настройки в самом билдере.

Если сравнить результаты работы кода:

Код:

char str[] = MCR4(TEST);

и

Код:

char str[] = {'T'^42, 'E'^42, 'S'^42, 'T'^42, '\0'};

то в первом случае в бинарнике 4 строки TEST через пробелы, во втором случае - одна строка ~oy~.

[Джон]

А компилируется в Debug или Release?

[oktonion]

Результат и в Debug и в Release одинаковый (TEST и там и там в 4х экземплярах с пробелами).  
У меня встудии нет под рукой, но что то мне кажется что там тоже в бинарнике будет присутствовать исходная строка.
Под компиляцией без оптимизации я подразумеваю Debug билд с отключенными оптимизациями и без CodeGuard.

[Джон]

VS 2013 Debug присутствует один раз (в 2012 Debug тоже только один раз), в Release нет ни одного.

Код: (C++)

#include "stdafx.h"

#define K1 42
#define CR(...) {__VA_ARGS__'\0'}
#define XOR(c) (c)^K1,

#define MCR4(s)   \
        CR(                      \
        XOR(*((#s) + 0))  \
        XOR(*((#s) + 1))  \
        XOR(*((#s) + 2))  \
        XOR(*((#s) + 3))  \
        )


int _tmain(int argc, _TCHAR* argv[])
{
        char str[] = MCR4(PRIVETSPORTSMENAM);

        return 0;
}

Настройки проекта по умолчанию, изменил только Runtime Library на Multi-threaded Debug (/MTd), вместо DLL в обоих случаях (Debug/Release)

[oktonion]

Джон ,

Интересно... а в результате в бинарнике zxc|? Или zxc|\0ETSPORTSMENAM?
Выходит что это у эмбаркадеры такой препроцессор кривой?

[Джон]

Вот так

зы Бинарники я прицепил к перед. посту, можешь сам "поковыряться".

[oktonion]

Джон ,

спасибо, посмотрел бинарники. В дебажном строка есть, тем не менее в релизном нет ни строки исходной, ни "отхоренной".
Там же от

Код:

P(0x52), R(0x55), I(0x49), V(0x56)

должно получиться

Код:

z(0x7A), x(0x78), c(0x63), |(0x7C)

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

PS: Как тут мелко аттачи отображаются - еле разглядел. -_-

[Джон]

Сорри, просто 19-го это были последние секунды перед отпуском...

Так чем дело закончилось? Или НЕ закончилось?

[oktonion]

Необычный способ провести последние секунды перед отпуском. В любом случае спасибо за помощь.

Пока что все закончилось на том, что под студией 10, 13 макрос раскрывается как я и предполагал - то есть ожидаемо "отхоренная" строка поэлементно.
Под GCC все прекрасно решается средствами нового стандарта, что тоже радует.
А вот под нужным RAD билдером c++ почему так раскрывается макрос странно? Я не нашел ответа. Слабо понимаю как его так можно раскрыть чтобы получить 4 строки исходных.