Возможно ли выражение наподобие #define name #if fds == fds *dosomething* #else *dosomething* #endif сделать валидным в Си? И, если да, то как?

Question

[я не собираюсь говорить имя, и не хочу говорить фамилию]

для практики делал собственный интерпретатор приманного мною ЯПа. Я делал его не как положено, а просто соединил все этапы в один цикл, но не это суть. Когда начал делать систему команд (хотел для начала сделать просто print встроенный в интерпретатор, а не в виде отдельной функций) решил сделать систему состояний из макросов. И там понадобилась подобная следующей конструкция:

#define somemacro(arg) #if arg == sd\
        printf ("some text 1");\
        #else\
        printf ("some text 2");\
        #endif

Но компилято, т.к. конструкция #if #else #endif не может быть записана в одну строчку. Возможно ли как-то сделать эту конструкцию валидной или сделать эквивалент, который работает также?

Comments

[Евгений Шатунов]

Какого поведения ты ожидаешь от вот такого кода?

[я не собираюсь говорить имя, и не хочу говорить фамилию]

хочу создать макро-функцию, которая будет по разному вести себя в зависимости от аргумента. И printf("some text") кажется был не лучшим примером т.к. я хотел указать там присвоение переменной.
весь код(специально исключил вещи наподобие проверки правильно ли открылся файл, чтобы было проще разбираться):

#include <stdio.h>
#include <errno.h>
#include <stdbool.h>

int main (int argc, char** argv) {
    //var(перед этим была проверка на argc < 2, т.к. должен быть второй аргумент - имя файла):
    FILE* fp = fopen(argv[1], "r");
    char curch; // current char
    char curcmd[32]; // current command
        //state system для удобства расширения интерпретатора, без этих макросов будет ад(в перспективе)
            // list of states (ste is abbreviation of state)
            #define STE_STD 0// standard state будет 
            #define STE_CMD 1 // state command в этом состояний 
            #define STE_STRING 2 // state string для считывания строк
            #define STE_QUOTE quote_state // state quote см. про переменную quote_state
            #define STE_CUR cur_state // current state
            // state fn
            #define STE_IS(state) (cur_state == state)
            /*макрос STE_IS должен по другому если в нее передан STE_QUOTE. что-то типа следующего
            #define STE_IS(state) #if state == STE_QUOTE
            (quote_state)
            #else
            (cur_state == state)
            #endif
            но по причинам описанным выше код не работает. Со STE_EQU та же история:
            #define STE_EQU(state) #if state == STE_QUOTE
            (quote_state = true)
            #else
            (cur_state = state)
            #endif
            */
            #define STE_EQU(state) (cur_state = state)
        int cur_state = STE_CMD;
        bool quote_state = false; // переменная quote_state показывает равен ли curch ' или " без нее не получается взять текст в кавычках/апострофах без одного из них

    //code:
    while (true) {
        //next char and check to EOF
        curch = fgetc(fp);
        if(feof(fp))
            break;
        //check to quote/string
        STE_EQU((curch == '\'' || curch == '\"')? STE_QUOTE: STE_CUR); // перевод на псевдо код: если curch равен ' или ", то текущее состояние будет переписано на STE_QUOTE, иначе оно останется прежним
        if(STE_IS(STE_STRING) && !STE_IS(STE_QUOTE)) { // проверка на то, что сейчас curch за кавычками, но не на них
            if(curch == '\\') { // подобие escape последовательностей
                curch = fgetc(fp);
                if(feof(fp))
                    break;
                if(curch == 'n') curch = '\n';
            }
            putchar(curch); // для проверки правильно ли работает state system
        }
        STE_EQU(STE_IS(STE_QUOTE)? STE_STRING: STE_CUR); // если curch равен " или ', то состояние переписывается на STE_STRING, т.к. следующий символ будет частью строки, иначе состояние не меняется

        //basic comand system
        // здесь должна была быть реализация print
    }
    fclose(fp);
    return 0; //end
}

[Adamos]

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

[Евгений Шатунов]

я не собираюсь говорить имя, и не хочу говорить фамилию, для начала, не забывай упоминать человека в ответе. Без уведомления ты легко останешься без ответа.

Препроцессор работает до начала трансляции терминов языка C. К моменту начала трансляции кода C в тексте исходного кода больше нет ни одного термина препроцессора, только код на C. Изучи фазы трансляции.
Исполняемый бинарный код генерируется в результате трансляции терминов языка C.

Поэтому все еще не ясно, какое же поведение тебе необходимо. Ты не говоришь, на каком этапе тебе это поведение нужно: на этапе препроцессора, на этапе трансляции C-кода или же на этапе исполнения?
Что у тебя в примере написано, понять с т.з. верной работы препроцессора не представляется возможным.

Я же правильно понимаю, что ты хочешь создать макро-функцию, которая будет по разному вести себя в зависимости от аргумента на этапе исполнения?

Answer 1

[AnT]

Сделать именно это: нет, невозможно. Определения макросов препроцессора не могут содержать директивы препроцессора.

Сделать "эквивалент, который работает также" (sic): никто не знает ответа на этот вопрос, потому что вы не удосужились внятно объяснить, что вы пытаетесь сделать этим загадочным набором лексем. Ключевым моментом здесь является характер условия arg == sd. Это значение времени компиляции?

В любом случае, не ясно, чем вас не устроило обычное

#define somemacro(arg) if ((arg) == (sd))\
  printf ("some text 1");\
else\
  printf ("some text 2");

Comments

[я не собираюсь говорить имя, и не хочу говорить фамилию]

смотрите мой комментарий под вопросом

Answer 2

[Сергей]

Нечто подобное можно сделать через P99, M4 или Boost.Preprocessor, но так делать не надо: это очень чёрная магия (фактически - декларативное программирование в терминах Рефал-машины), и уже через пару недель Вы забудете, как оно вообще работает. Если уж так нужно сделать кодогенерацию, используйте соответствующие инструменты, в крайнем случае в pre-build вставьте перловый или питоновский скрипт, который будет парсить и достраивать имеющийся код на С.