Какое значение следует ожидать от макроса, установленного в результате определения()?

Question

В самой простой программе C ниже, какова ожидаемая ошибка компилятора? НКУ дает мне 1, тогда как MSVC 2013 дает мне 2.

#define foo 
#define bar (defined(foo)) 

#if bar 
#error 1 
#else 
#error 2 
#endif 

Мои вопросы, надеюсь, столь же просто:

1. Что делает C спецификации говорят о значении определенного()? Я не могу представить , чтобы найти что-нибудь, что говорит о настройке его значения на другой макрос .
2. Фактический код не является чем-то, что у меня есть, и «#if bar» используется повсюду. Каков самый простой способ изменить #define, чтобы #if-бар работал как «ожидаемый» в MSVC? Единственное, что я могу придумать, это расширить его:

.

#ifdef foo 
#define bar 1 
#else 
#define bar 2 
#endif 

Answer 1

: C спецификация говорит:

§6.10.1/1 Выражение ... может содержать унарный оператор выражения вида defined identifier или defined(identifier), которые вычисляются в 1, если идентификатор в настоящее время определяется в качестве имени макроса (то есть, если он предопределен или если он был предметом предпродажной директивы #define без промежуточной директивы #undef с тем же идентификатором субъекта), 0, если это не так.

§6.10.1/4 макро вызовов в списке предобработки лексем, которые станут контролирующего константного выражения заменяются (за исключением тех имен макросов, кроме модифицированного по унарному defined), так же, как в обычном тексте. Если маркер является defined генерируется в результате этого процесса замены или использование defined одноместный операции не соответствует одному из двух указанных форм до макро замены, поведения не определены . После того, как все замены из-за макрорасширения и оператор defined унарный были выполнены, все остальные идентификаторы (включая лексически , идентичные ключевым словам) заменяются номером pp 0, а затем каждый токен предварительной обработки преобразуется в токен.

(курсив мой) Однако, как макро замена является очень сложным, и я думаю, что MSVC является определяющим foo, как defined(bar), который не определено поведение, GCC является Тогда как определение foo как 1 правильно. Так как MSVC тогда в неопределенном поведении, он делает странные вещи.

Как вы говорите, проще исправить это

#ifdef foo 
#define bar 1 
#else 
#define bar 2 
#endif 

Answer 2

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

int defined(char s); // prototype of a function named "defined" 

#define foo 
#define bar defined(foo) 

«бар» в любом месте в тексте программы теперь будет заменен вызовом определенного() без аргументов (как «Foo» определяется как пустой).