Модераторам: может, выделить обсуждение #pragma once в свою тему? А то уже, ИМХО, оффтопик пошёл, но пообсуждать интересно 
Цитата(MAKCim @ 30.12.2007, 12:01  ) | #pragma once гарантирует семантику #ifndef #define #endif
как он это делает - детали реализации |
во-первых, насколько я знаю, #pragma once не является чем-то стандартизированным
а это значит, что каждая реализация, которая её реализует, реализует её в своём понимании
поэтому "всё остальное - детали реализации" звучит несколько странно: #pragma once целиком - деталь реализации
во-вторых она попросту не может гарантировать семантику #ifndef-#define-#endif, т.к. у неё недостаточно информации чётко ответить на вопрос "являются ли файлы одинаковыми?"
а если быть более точным - "нужно ли для заданной пары заголовков оставлять только один?"
небольшой пример:
у меня установлен VC++2005 Express, на нём я попробовал такое:
создал проект
в его директории создал ещё одну qqq
и создал три файла:
main.cpp:
| Код |
#include "aaa.h"
#include "qqq/aaa.h"
int main()
{
return 0;
}
|
aaa.h (в директории проекта)
qqq/aaa.h
при компиляции получил ошибку двойного определения "x"
судя по этому, VC++ сравнивает файлы по их полному имени (с путём)
значит, эти два файла для неё - разные
однако, вполне возможна такая ситуация, окгда программист будет таскать с собой, к примеру, какой-нибудь файлик с нужными вещами, который он использует везде, а когда начнёт объединять какие-то два проекта, полезут ошибки
зато если бы использовались #ifndef AAA_H_ #define AAA_H_ ... #endif, никаких ошибок не было бы
--------------------------------
конечно, можно возразить: "ну не знаю, что там VC++, вот мой компилятор в даном случае будет считать их одним файлом"
это чудесно, но та же ситуация могла бы случиться, когда эти файлы семантически разные, например, какой-нибудь config.h в разных поддиректориях может конфигурировать разные части программы
в данном случае уже ошибётся компилятор, который будет считать, что они одинаковые
потому я и говорю - на данный момент нет достаточного инструментария, чтобы создать полностью автоматическую #pragma once...
впрочем, насколько я слышал, в следующем стандарте предполагаются движения в эту стороны, и я более чем уверен, что простым добавлением ключевого слова дело не ограничится... |
.
.