Ошибки, баги, вопросы - страница 2866

 

Все можно, макрос только нужно один добавить

#define VALUE 10

MACRO( VALUE, VALUE2 )

#define VALUE   VALUE2*2

void f( int i = VALUE ) { Print( i ); }
void OnStart()
{
        f();
}

Результат: 20

 
A100:

Все можно, макрос только нужно один добавить

Результат: 20

Это очень хорошо. Загадки плохо получается отгадывать.

 
Vladimir Simakov:

Сорри, пока пытался объяснить сам запутался)))

Еще раз:

На момент второго определения VALUE, макрос VALUE не определен, поэтому VALUE определяется, как

, ведь TMP у нас как был, так и остался определен VALUE.

А вот TMP, после второго определения VALUE, раскрывается уже в

Как-то так))

В препроцессоре подставляется именно то, что есть и не важно, как это и где определено. Поэтому и аккуратно надо с ним. Пример:

,а теперь добавим в функцию злое, а именно - побочный эффект

И это всего лишь надпись, а если от этой функции депозит зависит?

смешно) когда дошло)

#define VALUE 10        
#define TMP VALUE       
#undef VALUE     

правильно понял, после отмены подстановки первая строчка уже не 10 а вторая TMP это VALUE, но не 10. Т.е. подстановка это далеко не присваивание.

 
Valeriy Yastremskiy:

смешно) когда дошло)

правильно понял, после отмены подстановки первая строчка уже не 10 а вторая TMP это VALUE, но не 10. Т.е. подстановка это далеко не присваивание.

Да. Подстановка - это именно подстановка, один в один. Просто когда у тебя, при подстановке в код (не путать с директивой препроцессора) макрос VALUE определен, то препроцессор раскрывает дальше TMP->VALUE->10, а если нет, то TMP->VALUE. При этом, в самом коде диррективы препроцессора не участвуют, при компиляции их уже там нет. Пример:

#define VALUE 10
#define TMP VALUE

void OnStart()
{
   Print(TMP); //10
if (false){
   #undef VALUE
   #define VALUE 20
   Print(TMP);}
else Print(TMP); //20
}
 
Vladimir Simakov:

Да. Подстановка - это именно подстановка, один в один. Просто когда у тебя, при подстановке в код (не путать с директивой препроцессора) макрос VALUE определен, то препроцессор раскрывает дальше TMP->VALUE->10, а если нет, то TMP->VALUE. При этом, в самом коде диррективы препроцессора не участвуют, при компиляции их уже там нет. Пример:

Да, если закомментить вторую подстановку VALUE 20, уйдет декларация переменной VALUE и компилятор не увидит ее и заругается)

 
A100:

Все можно, макрос только нужно один добавить

Результат: 20

Сдаюсь)))

Как определен

MACRO

?

 
Vladimir Simakov:

Сдаюсь)))

Как определен

?

Так быстро? Еще не все специалисты подключились... неделю подождем

Подсказка: так тоже работает (но решение немного другое)

#define VALUE1 10
#define VALUE2 5

MACRO2( VALUE1, VALUE12 )
MACRO2( VALUE2, VALUE22 )

#define VALUE1  VALUE12*2
#define VALUE2  VALUE22*3

int f1( int i = VALUE1 ) { return i; }
int f2( int i = VALUE2 ) { return i; }
void OnStart()
{
        Print(f1(),":",f2());
}

Результат: 20:15

 
Vladimir Simakov:

ведь TMP у нас как был, так и остался определен VALUE.

Вот тут опровержение слов "сверху вниз".

Иначе TMP не был бы "как определен, так и остался", а был бы ранее заменен на 10 (на которое заменен VALUE).

Значит, препроцессор не обрабатывает код построчно. Осталось разобраться — как.


@A100, если не затруднит, в двух словах.
Не интересно настолько, чтобы гуглить и читать, но достаточно для того, чтобы спросить.

Что не так в моей логике?

Представлял, что строки анализируются последовательно. Значит, нет неопределенного справа значения:

#define VALUE 10       // VALUE = 10
#define TMP VALUE      // TMP = 10
#undef VALUE           // VALUE = EMPTY
#define VALUE (TMP*2)  // TMP = 10, следовательно VALUE = 20
 
A100:

Подсказка: так тоже работает (но решение немного другое)

Так идентичный по действиям MACRO и MACRO2.

 
Andrey Khatimlianskii:

Что не так в моей логике?

#define VALUE 10       // VALUE = 10
#define TMP VALUE      // TMP = 10VALUE
#undef VALUE           // VALUE = EMPTY
#define VALUE (TMP*2)  // TMP = 10EMPTY, следовательно VALUE = 20EMPTY
Причина обращения: