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

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

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

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

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

Далее: Диагностика, Предыдущее: Макросы, Наверх: Верх [Оглавление][Индекс]