4 Условные операторы

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

Условный оператор в препроцессоре C в некотором роде напоминает оператор if в C, но важно понимать разницу между ними. Условие в операторе if проверяется во время выполнения вашей программы. Его цель — позволить вашей программе вести себя по-разному в каждом запуске в зависимости от данных, с которыми она работает. Условие в директиве препроцессорного условного оператора проверяется при компиляции вашей программы. Его цель — позволить включение разного кода в программу в зависимости от ситуации во время компиляции.

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

Компилятор GCC версии 3 исключает этот вид никогда не выполняющегося кода даже без оптимизации. Более старые версии делали это только при оптимизации.

• Использование условных операторов
• Синтаксис условных операторов
• Удаленный код