Почему нельзя подставлять переменные в выражения #if #else?

@Zla9_Kolu4ka · Регистрация: 28.08.2013

Author24 — интернет-сервис помощи студентам

Почему код работает, не должен же, потому что выражение стоящее после #if вычисляется на этапе компиляции, переменные подставлять нельзя??

C++

#include <stdio.h>
#include <iostream>
using namespace std;
 
int a = 9;
 
int main(void){
#if a>99
    printf("Kompiliruet, esli a bol'she 9\n");          
#else
    printf("Kompiliruet, esli a men'she 9\n");
#endif
 
    char ch = getchar();
    return 0;
}

@gelior · 26.03.2014, 14:28

а, собственно, зачем # перед if и else?

@Zla9_Kolu4ka · 26.03.2014, 14:31 **[ТС]**

а, собственно, зачем # перед if и else?

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

@Евгений89 · 26.03.2014, 14:40

Директивы #if, #elif, #else и #endif (C/C++)http://msdn.microsoft.com/ru-r... hz0yd.aspx

@taras atavin · 26.03.2014, 14:41

Сообщение от gelior

а, собственно, зачем # перед if и else?

Затем, что это макрос условной компиляции.

@SatanaXIII · 26.03.2014, 14:42

Zla9_Kolu4ka, зачитайтесь вот из этого источника: Препроцессорные директивы в C/C++ (#include, #define и прочее) .
А именно:

4.2. Директивы #if, #else, #elif, #endif

Синтаксис директивы "#if" очень простой и по большому счёту совпадает с операциями условного исполнения в языке. Как-то особенно на этом останавливаться не буду, просто покажу все варианты использования. Единственное, что нужно отметить - обязательно должен быть "#endif", потому как без него препроцессор не сможет понять, в каком месте заканчивается директива "#if"

C

1
2
3

#if <условие>
...
#endif

C

#if <условие>
...
#else
...
#endif

C

#if <условие>
...
#elif <условие>
...
#elif <условие>
...
#else
...
#endif

Что касается условия, то хочется ещё раз отметить, что препроцессирование делается отдельно от компиляции, а потому в условии директивы "#if" НЕ могут использоваться никакие переменные из программы. В условии могут использоваться только целочисленные константные значения (которые могут быть значениями других макросов). Над этими константами можно выполнять операции сравнения "==", "!=", "<", "<=", ">", ">=". В условии могут использоваться логические операции "&&", "||", "!", круглые скобки, а так же некая конструкция "defined <macro_name>", значение которой истинно, если макрос <macro_name> определён, в противном случае значение ложно. Препроцессорные "#if'ы", так же, как и языковые, могут быть вложены друг в друга. В строках с директивами можно использовать комментарии

@taras atavin · 26.03.2014, 14:46

Сообщение от SatanaXIII

Единственное, что нужно отметить - обязательно должен быть "#endif", потому как без него препроцессор не сможет понять, в каком месте заканчивается директива "#if"

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

@SatanaXIII · 26.03.2014, 14:50

Сообщение от taras atavin

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

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

@taras atavin · 26.03.2014, 14:54

Нет. Этот фактор не отличает от грубых синтаксических ошибок в обычных операторах, если написать, например,

C++

if )a>d)

вместо

C++

if (a>d)

, или помянуть не существующую переменную, или сравнить величины не сравнимых (для которых нет версии

C++

1	operator >

), то программы тоже не будет. Это общее, а конкретно условная компиляция от условного оператора отличается только двумя факторами.

ValeryS · 26.03.2014, 15:06

Сообщение от Zla9_Kolu4ka

Почему код работает, не должен же, потому что выражение стоящее после #if вычисляется на этапе компиляции, переменные подставлять нельзя??

Сообщение от Zla9_Kolu4ka

int a = 9;

предположу что a сделалась константой
а она известна на этапе компиляции

Добавлено через 2 минуты
попробуй вот так

C++

#include <stdio.h>
#include <iostream>
using namespace std;
 
int a = 9;
 
int main(void){
 
a+=100;
#if a>99
    printf("Kompiliruet, esli a bol'she 9\n");          
#else
    printf("Kompiliruet, esli a men'she 9\n");
#endif
 
    char ch = getchar();
    return 0;
}

что будет?

Добавлено через 1 минуту

Сообщение от SatanaXIII

потому в условии директивы "#if" НЕ могут использоваться никакие переменные из программы.

так об чем ТС и спрашивает

Сообщение от Zla9_Kolu4ka

Почему код работает, не должен же, потому что выражение стоящее после #if вычисляется на этапе компиляции, переменные подставлять нельзя??

@taras atavin · 26.03.2014, 15:06

Сообщение от ValeryS

предположу что a сделалась константой
а она известна на этапе компиляции

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

ValeryS · 26.03.2014, 15:10

Сообщение от taras atavin

Константой она не стала,

разумеется нет, поскольку нет const
но для препроцессора наверное да, значение то известно, да и не используется больше нигде
(ключевое слово наверное, т.е я ни в чем не уверен)

Сообщение от taras atavin

Вот только где гарантия, что подобные тонкости учитывают все компиляторы?

об чем и речь

@taras atavin · 26.03.2014, 15:11

Кроме того, сама возможность изменить переменную означает, что делать так всё равно нельзя:

C++

int a=20;
a+=200;
#if a<100
std::cout<<"less"<<std::endl;
#enlse
std::cout<<"more"<<std::endl;
#endif

, хотя перед строкой #if a<100 a уже стала равна 220, но на этапе компиляции она равна 20, в результате будет скомпилировано

C++

1
2
3

int a=20;
a+=200;
std::cout<<"less"<<std::endl;

, а должно быть

C++

1
2
3

int a=20;
a+=200;
std::cout<<"more"<<std::endl;

.

@SatanaXIII · 26.03.2014, 15:14

Сообщение от ValeryS

так об чем ТС и спрашивает

У меня не работает.

Сообщение от ValeryS

об чем и речь

ValeryS · 26.03.2014, 15:16

для чистоты эксперимента надо бы так написать

C++

#include <stdio.h>
#include <iostream>
using namespace std;
 
int a = 9;
#define b a 
int main(void){
#if a>99
    printf("Kompiliruet, esli a bol'she 9\n");          
#else
    printf("Kompiliruet, esli a men'she 9\n");
#endif
   printf ("%d",b);
    char ch = getchar();
    return 0;
}

что препроцессор из a считывает? может там вообще 0

@taras atavin · 26.03.2014, 15:18

Сообщение от ValeryS

что препроцессор из a считывает? может там вообще 0

Там 9.

ValeryS · 26.03.2014, 15:25

Сообщение от taras atavin

Там 9.

я лично не уверен
препроцессор работает до компилятора, инициализации то еще не было
тем более что SatanaXIII, не работает, в каждой палатке свои порядки

вот если бы было

C++

1	const int a = 9;

то вопрос другой, по сути это

C++

1	#define a 9

в тонкости реализации не лезу

@taras atavin · 26.03.2014, 15:28

Сообщение от ValeryS

препроцессор работает до компилятора, инициализации то еще не было

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

ValeryS · 26.03.2014, 15:40

Сообщение от taras atavin

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

вот здесь полностью согласен

@DrOffset · 26.03.2014, 18:38

О чем вообще разговор-то? Препроцессинг это отдельный этап. Он никак не связан с компиляцией. В том плане что препроцессору вообще побоку что там написано с точки зрения языка. Он обрабатывает текст. Любой. Вообще. А директивы - это средство контроля этой обработки. Заменить там, А на Б. Вставить кусок С или кусок Б в зависимости от определенного условия (которое тем же препроцессором и задается).
Поэтому ни о каком родстве вот этих примеров не может быть и речи

C++

1
2
3

const int a = 9;
 
#define a 9

Первый случай, это языковая константа, которая подчиняется всем правилам языка, таким как: область видимости, время жизни, также учитывается ее тип и место определения. А второе это просто правило для автозамены вида "встретил а - подставь 9".

ValeryS Модератор 8908 / 6677 / 918 Регистрация: 14.02.2011 Сообщений: 23,521
	26.03.2014, 15:10	12
	Сообщение от taras atavin Константой она не стала, разумеется нет, поскольку нет const но для препроцессора наверное да, значение то известно, да и не используется больше нигде (ключевое слово наверное, т.е я ни в чем не уверен) Сообщение от taras atavin Вот только где гарантия, что подобные тонкости учитывают все компиляторы? об чем и речь 0

ValeryS Модератор 8908 / 6677 / 918 Регистрация: 14.02.2011 Сообщений: 23,521
	26.03.2014, 15:40	19
	Сообщение от taras atavin Вот только юзать эту фичу нельзя, она предназначена не для программирования, а для выявления глюкописцев. вот здесь полностью согласен 0

@gelior 27 / 27 / 10 Регистрация: 10.04.2013 Сообщений: 91
	26.03.2014, 14:28	2
	а, собственно, зачем # перед if и else? 0

@Zla9_Kolu4ka 2 / 2 / 1 Регистрация: 28.08.2013 Сообщений: 414
	26.03.2014, 14:31 [ТС]	3
	а, собственно, зачем # перед if и else? смотрю как работает, читаю книгу, там написано то что я написал выше, мне интересно, посему просто кто то пишет какую то программу, по ходу задает вопросы, а кто то читает книги и примеры "абстрактные" конечно если я буду писать какую нить программу, я не буду где попало ставить # 0

@Евгений89 101 / 101 / 39 Регистрация: 17.04.2011 Сообщений: 554
	26.03.2014, 14:40	4
	Директивы #if, #elif, #else и #endif (C/C++)http://msdn.microsoft.com/ru-r... hz0yd.aspx 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.03.2014, 14:41	5
	Сообщение от gelior а, собственно, зачем # перед if и else? Затем, что это макрос условной компиляции. 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.03.2014, 14:46	7
	Сообщение от SatanaXIII Единственное, что нужно отметить - обязательно должен быть "#endif", потому как без него препроцессор не сможет понять, в каком месте заканчивается директива "#if" Нет. Второе важное обстоятельство заключается в том, что этот иф обрабатывается статически на этапе компиляции, а условие в нём определяет не поведение программы, а сам её код, то есть от него зависит, что будет в исполняемой версии программы, а чего там вообще не будет. 0

@SatanaXIII Почетный модератор 5850 / 2861 / 392 Регистрация: 01.11.2011 Сообщений: 6,907
	26.03.2014, 14:50	8
	Сообщение от taras atavin Нет. Второе важное обстоятельство заключается в том, что этот иф обрабатывается статически на этапе компиляции, а условие в нём определяет не поведение программы, а сам её код, то есть от него зависит, что будет в исполняемой версии программы, а чего там вообще не будет. Нет. Третье, что необходимо отметить, что компиляция вообще не будет возможна при ошибках на этапе препроцессорной обработки, а без нее не имеет смысла говорить о поведении программы, так как код ее не будет сформирован правильно. 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.03.2014, 15:06	11
	Сообщение от ValeryS предположу что a сделалась константой а она известна на этапе компиляции Константой она не стала, но на этапе компиляции стала известна за счёт инициализации не кодом самой программы, а загрузчиком, входящим в состав операционной системы, то есть не операция присваивания, а само стартовое значение стало частью исполняемого файла. Вот только где гарантия, что подобные тонкости учитывают все компиляторы? 0

@SatanaXIII Почетный модератор 5850 / 2861 / 392 Регистрация: 01.11.2011 Сообщений: 6,907
	26.03.2014, 15:14	14
	Сообщение от ValeryS так об чем ТС и спрашивает У меня не работает. Сообщение от ValeryS об чем и речь 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.03.2014, 15:18	16
	Сообщение от ValeryS что препроцессор из a считывает? может там вообще 0 Там 9. 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.03.2014, 15:28	18
	Сообщение от ValeryS препроцессор работает до компилятора, инициализации то еще не было Препроцессор тоже умеет читать исходник, так что она вполне была. Вот только юзать эту фичу нельзя, она предназначена не для программирования, а для выявления глюкописцев. 0