Почему нельзя подставлять переменные в выражения #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;
}

@taras atavin · 26.03.2014, 18:43

Тем не менее препроцессор может прочитать и то, и другое. И так как на ТС он не ругался, декларацию, причём, даже не константы, а переменной, он понял и девятку подставил. Хотя по идее должен был ругаться отборной нецензурщиной.

@SatanaXIII · 26.03.2014, 18:59

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

смотрю как работает, читаю книгу

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

@DrOffset · 26.03.2014, 19:13

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

И так как на ТС он не ругался, декларацию, причём, даже не константы, а переменной, он понял и девятку подставил

Ничего он не подставил. Он ищет макроопределение обозначенное как а для сравнения с 99, естественно такого нет. Результат будет всегда одинаковый, независимо от того что задано в переменной а.

@taras atavin · 26.03.2014, 19:20

Тогда бы он ругался по-непечатному.

@DrOffset · 26.03.2014, 19:24

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

Тогда бы он ругался по-непечатному.

Не обязан. У препроцессора более простое отношение ко всем: протестируй разные варианты в своем окружении и убедишься. У него философия простая:

нет макропределения а, значит в условии сравнить невозможно, ну что же - выполняем тогда ветку else.

@taras atavin · 26.03.2014, 19:51

Это когда

C++

#ifdef a

, то есть проверяется существование, а не значение. А ошибки должны приводить к тому, что кода просто не будет.

ValeryS · 26.03.2014, 20:06

короче протестировал я на двух компиляторах
вот такую конструкцию
const int a=10;

C

#if a>5
...................
#else
 
.....................
#endif

в обоих отрабатывается ветка #else
но если VS молчит как партизан
то CodeVision
честно сказал

Warning: C:\prjAvr\Samkov\Mega8_ver1_0\convertDmx.c(11): undefined symbol 'a', assumed zero

правда не ошибка а предупреждение
так что DrOffset, прав

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

Он ищет макроопределение обозначенное как а для сравнения с 99, естественно такого нет. Результат будет всегда одинаковый, независимо от того что задано в переменной а.

@DrOffset · 26.03.2014, 20:10

taras atavin, ты о чем вообще?
Поменяй в том примере а-малую, на B, например, и результат не изменится. А после проверки добавь #define B 100, увидишь что начнет срабатывать первое условие. Как еще тебе объяснять - не знаю.

Не по теме:

Это такие дикие основы, что даже странно, почему тут развели тему на 3 страницы.

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.03.2014, 18:43	21
	Тем не менее препроцессор может прочитать и то, и другое. И так как на ТС он не ругался, декларацию, причём, даже не константы, а переменной, он понял и девятку подставил. Хотя по идее должен был ругаться отборной нецензурщиной. 0

@SatanaXIII Почетный модератор 5850 / 2861 / 392 Регистрация: 01.11.2011 Сообщений: 6,907
	26.03.2014, 18:59	22
	Сообщение от Zla9_Kolu4ka смотрю как работает, читаю книгу Было бы кстати неплохо для расширения кругозора узнать, что это за книга и какой у вас компилятор. 0

@DrOffset 18893 / 9850 / 2410 Регистрация: 30.01.2014 Сообщений: 17,293
	26.03.2014, 19:13	23
	Сообщение от taras atavin И так как на ТС он не ругался, декларацию, причём, даже не константы, а переменной, он понял и девятку подставил Ничего он не подставил. Он ищет макроопределение обозначенное как а для сравнения с 99, естественно такого нет. Результат будет всегда одинаковый, независимо от того что задано в переменной а. 1

@DrOffset 18893 / 9850 / 2410 Регистрация: 30.01.2014 Сообщений: 17,293
	26.03.2014, 19:24	25
	Сообщение от taras atavin Тогда бы он ругался по-непечатному. Не обязан. У препроцессора более простое отношение ко всем: протестируй разные варианты в своем окружении и убедишься. У него философия простая: нет макропределения а, значит в условии сравнить невозможно, ну что же - выполняем тогда ветку else. 1

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.03.2014, 19:20	24
	Тогда бы он ругался по-непечатному. 0

@DrOffset 18893 / 9850 / 2410 Регистрация: 30.01.2014 Сообщений: 17,293
	26.03.2014, 20:10	28
	taras atavin, ты о чем вообще? Поменяй в том примере а-малую, на B, например, и результат не изменится. А после проверки добавь #define B 100, увидишь что начнет срабатывать первое условие. Как еще тебе объяснять - не знаю. Не по теме: Это такие дикие основы, что даже странно, почему тут развели тему на 3 страницы. 0