Pragma once

Правильный заголовок этой статьи — #pragma once. Он показан некорректно из-за технических ограничений.

В языках программирования Си и C++ #pragma once — нестандартная, но широко распространенная препроцессорная директива, разработанная для контроля за тем, чтобы конкретный исходный файл при компиляции подключался строго один раз. То есть, #pragma once применяется для тех же целей, что и include guard, но требует меньше кода и не допускает возможности коллизии имен.

В статье об include guard приводится пример ситуации, в которой нужно использовать тот или иной метод. Выходом является использование include guard, приведенное там же; Вариантом использования #pragma once может быть:

File «grandfather.h»

#pragma once
 
struct foo {
    int member;
};

File «father.h»

#include "grandfather.h"

File «child.c»

#include "grandfather.h"
#include "father.h"

Достоинства и недостатки

Применение #pragma once вместо include guard увеличит скорость компиляции во многих случаях благодаря высокоуровневому механизму; компилятор может самостоятельно сравнивать имена файлов или inode'ы без необходимости вызова препроцессора Си для проверки заголовка на наличие #ifndef и #endif.

С другой стороны, некоторые компиляторы, как например, GCC, также использует специальный код для распознавания и оптимизации обработки include guard.^[1]

Из-за того, что компилятор сам по себе отвечает за обработку #pragma once, программисту нет необходимости создавать новые имена, как например, GRANDFATHER_H в примере статьи об Include guard. Это исключает риск коллизии имён, то есть заголовочный файл не сможет вызвать ошибку при его подключении. Также приходится меньше набирать текст, нежели при использовании include guard.

Тем не менее, такая высокоуровневая обработка ускоряется в обоих случаях, но программисту приходится полагаться на корректную обработку компилятором #pragma once. Если компилятор совершает ошибку, например, не может распознать ситуацию, когда две символьные ссылки с различными именами указывают на один и тот же файл, то компиляция завершается с ошибкой. Компиляторы, содержащие ошибки, связанные с #pragma once, используются в LCC-Win32 версии 2004 года^[2][3] и GCC версии 1998 года.^[1] GCC первоначально выдавал предупреждение об отключении #pragma once, если компилируемый код использовал её. Тем не менее, в релизе 3.4 GCC код обработки команды #pragma once был исправлен для корректной работы с символьными и жёсткими ссылками. Данная возможность была сочтена полезной и предупреждение было убрано.^[4][5]

Можно использовать обе команды, #pragma once и include guards, для написания переносимого кода, что также может принести выгоду от применения #pragma once при оптимизации (если компилятор её поддерживает):

File «grandfather.h»

#pragma once
#ifndef GRANDFATHER_H
#define GRANDFATHER_H
 
struct foo
{
    int member;
};
 
#endif /* GRANDFATHER_H */

Примечания

1. ↑ ^{1 2} The C Preprocessor. Once-Only Include Files
2. ↑ Сообщение из обсуждения standard change. Lcc-win32 accepts and implements #pragma once
3. ↑ Сообщение из обсуждения thoughts on an old proposal: #once
4. ↑ Obsolete once-only headers
5. ↑ GCC 3.4 Release Series. Changes, New Features, and Fixes

Дополнительные источники

• «Pragma Directives (C/C++)» на сайте MSDN
• GCC Pragma и другие команды на сайте GNU Org