Почему люди используют #ifdef для тестирования флагов объектов?

Question

Люди recommend #ifdef for conditional compilation by a wide margin. A search for #ifdef обосновывает, что его использование широко распространено.

Еще #ifdef NAME (или, что эквивалентно #if defined(NAME) и связанной с ними #ifndef NAME (и #if !defined(NAME)) имеют серьезный недостаток:

header.h

#ifndef IS_SPECIAL 
#error You're not special enough 
#endif 

source.cpp

#include "header.h" 

НКУ - DIS_SPECIAL source.cpp

пройдет, очевидно, как будет

source1.cpp

#define IS_SPECIAL 1 
#include "header.h" 

Но, так будет

source0.cpp

#define IS_SPECIAL 0 
#include "header.h" 

, который совсем не то делать. И некоторые компиляторы C++ передали файл, обработанный в режиме C (из-за расширения или опции командной строки) эффективно делают #define __cplusplus 0. Я видел вещи ломаются, когда

#ifdef __cplusplus 
extern "C" { 
#endif 
/* ... */ 
#ifdef __cplusplus 
} 
#endif 

был обработан в C режима, где extern "C" недействителен синтаксис, поскольку __cplusplus был фактически автоматически определен в 0.

С другой стороны, это ведет себя правильно для всех компиляторов:

#if __cplusplus 
extern "C" { 
#endif 
/* ... */ 
#if __cplusplus 
} 
#endif 

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

---

Очевидно, что #ifdef имеет действительные применения, такие как обеспечение значения по умолчанию для настраиваемых параметров:

#ifndef MAX_FILES 
#define MAX_FILES 64 
#endif 

Я только обсуждающих случай тестирования флага.

Answer 1

Почему люди все еще используют #ifdef в этом сценарии?

Личное мнение: его легко контролировать из командной строки. Я предпочитаю -DOPTION за -DOPTION=1.

Кроме того, существование названия явно двоичное. Мне не нужно обрабатывать {0, ненулевое, неопределенное}.

Неужели они просто не знают, что #if отлично работает на неопределенных именах?

Я не знал. Какова семантика этого? Не определено ли неопределенное имя 0? Должен ли я объяснить это парню, который с самого начала понимает препроцессор?

Или существует фактический недостаток #if vs #ifdef для условной компиляции?

Для меня двоичный характер #ifdef/#ifndef имени существования является ясностью. Кроме того, мое основное использование любой из этих конструкций - включение защитных устройств. Этот образец является самым чистым с #ifndef.

Answer 2

Я не могу говорить, почему люди вообще предпочитают #ifdef более #if, но я могу хотя бы сказать, почему я это делаю. Основываясь на интроспекции только сейчас (поскольку вы спросили - я никогда раньше не рассматривал это явно), есть две причины:

1) Я предпочитаю, чтобы мои макросы (которые я стараюсь использовать экономно) имели самую простую семантику насколько это возможно, и, соответственно, как «свободный тип». Я предполагаю, что макросы, если у них вообще есть какой-либо тип, являются либо «свободными функциями типа» (обратите внимание: здесь я бы сильно предпочел шаблоны, но бывают времена для всего ...) или в основном просто boolean flags. Следовательно, даже присвоение макросу значения 1 растягивает его для меня. (Например, что это значит, если у вас есть #define _cplusplus 2? Должно ли это быть каким-то иным образом, чем 1?)

2) Этот последний бит о них, являющийся «флагом», согласуется с тем, что я в основном использую их для вещи, которые я указываю в командной строке (или в среде IDE) как условная компиляция flags. Действительно, в моей команде разработчиков, когда мы пишем C++, мы в основном «запрещены» от использования макросов для чего-либо еще. И даже в случае условной компиляции мы стараемся избегать их, если мы можем решить проблему по-другому (например, через модульность).

Обе эти причины относятся к тому же основополагающему предположению о том, что использование макросов следует избегать как можно больше (на C++), и поэтому не должно быть сложностей типов или непрозрачной семантики. Если вы не сделаете это предположение (и это менее часто встречается при программировании на C, я знаю), то это меняет такие вещи, что, как я думаю, ваши очки о #if могут иметь более сильное влияние.