Директивы препроцессора представляют собой инструкции, записанные в тексте
программы на СИ, и выполняемые до трансляции программы. Директивы препроцессора
позволяют изменить текст программы, например, заменить некоторые лексемы в
тексте, вставить текст из другого файла, запретить трансляцию части текста и
т.п. Все директивы препроцессора начинаются со знака #. После директив
препроцессора точка с запятой не ставятся.
Директива #include включает в текст программы содержимое указанного файла.
Эта директива имеет две формы:
#include "имя файла"
#include <имя файла>
Имя файла должно соответствовать соглашениям операционной системы и может
состоять либо только из имени файла, либо из имени файла с предшествующим ему
маршрутом. Если имя файла указано в кавычках, то поиск файла осуществляется в
соответствии с заданным маршрутом, а при его отсутствии в текущем каталоге.
Если имя файла задано в угловых скобках, то поиск файла производится в
стандартных директориях операционной системы, задаваемых командой PATH.
Директива #include может быть вложенной, т.е. во включаемом файле тоже может
содержаться директива #include, которая замещается после включения файла,
содержащего эту директиву.
Директива #include широко используется для включения в программу так
называемых заголовочных файлов, содержащих прототипы библиотечных функций, и
поэтому большинство программ на СИ начинаются с этой директивы.
Директива #define служит для замены часто использующихся констант, ключевых
слов, операторов или выражений некоторыми идентификаторами. Идентификаторы,
заменяющие текстовые или числовые константы, называют именованными константами.
Идентификаторы, заменяющие фрагменты программ, называют макроопределениями,
причем макроопределения могут иметь аргументы.
Директива #define имеет две синтаксические формы:
#define идентификатор текст
#define идентификатор (список параметров) текст
Эта директива заменяет все последующие вхождения идентификатора на текст.
Такой процесс называется макроподстановкой. Текст может представлять собой
любой фрагмент программы на СИ, а также может и отсутствовать. В последнем
случае все экземпляры идентификатора удаляются из программы.
Пример:
#define WIDTH 80
#define LENGTH (WIDTH+10)
Эти директивы изменят в тексте программы каждое слово WIDTH на число 80, а
каждое слово LENGTH на выражение (80+10) вместе с окружающими его скобками.
Скобки, содержащиеся в макроопределении, позволяют избежать недоразумений,
связанных с порядком вычисления операций. Например, при отсутствии скобок
выражение t=LENGTH*7 будет преобразовано в выражение t=80+10*7, а не в
выражение t=(80+10)*7, как это получается при наличии скобок, и в результате
получится 780, а не 630.
Во второй синтаксической форме в директиве #define имеется список формальных
параметров, который может содержать один или несколько идентификаторов,
разделенных запятыми. Формальные параметры в тексте макроопределения отмечают
позиции на которые должны быть подставлены фактические аргументы макровызова.
Каждый формальный параметр может появиться в тексте макроопределения несколько
раз.
При макровызове вслед за идентификатором записывается список фактических
аргументов, количество которых должно совпадать с количеством формальных
параметров.
Пример:
#define MAX(x,y) ((x)>(y))?(x):(y)
Эта директива заменит фрагмент
t=MAX(i,s[i]);
на фрагмент
t=((i)>(s[i])?(i):(s[i]);
Как и в предыдущем примере, круглые скобки, в которые заключены формальные
параметры макроопределения, позволяют избежать ошибок связанных с неправильным
порядком выполнения операций, если фактические аргументы являются выражениями.
Например, при наличии скобок фрагмент
t=MAX(i&j,s[i]||j);
будет заменен на фрагмент
t=((i&j)>(s[i]||j)?(i&j):(s[i]||j);
а при отсутствии скобок - на фрагмент
t=(i&j>s[i]||j)?i&j:s[i]||j;
в котором условное выражение вычисляется в совершенно другом порядке.
1.8.3. Директива #undef
Директива #undef используется для отмены действия директивы #define.
Синтаксис этой директивы следующий #undef идентификатор
Директива отменяет действие текущего определения #define для указанного
идентификатора. Не является ошибкой использование директивы #undef для
идентификатора, который не был определен директивой #define.
Пример:
#undef WIDTH
#undef MAX
Эти директивы отменяют определение именованной константы WIDTH и
макроопределения MAX.
Знаете ли Вы, что такое мысленный эксперимент, gedanken experiment? Это несуществующая практика, потусторонний опыт, воображение того, чего нет на самом деле. Мысленные эксперименты подобны снам наяву. Они рождают чудовищ. В отличие от физического эксперимента, который является опытной проверкой гипотез, "мысленный эксперимент" фокуснически подменяет экспериментальную проверку желаемыми, не проверенными на практике выводами, манипулируя логикообразными построениями, реально нарушающими саму логику путем использования недоказанных посылок в качестве доказанных, то есть путем подмены. Таким образом, основной задачей заявителей "мысленных экспериментов" является обман слушателя или читателя путем замены настоящего физического эксперимента его "куклой" - фиктивными рассуждениями под честное слово без самой физической проверки. Заполнение физики воображаемыми, "мысленными экспериментами" привело к возникновению абсурдной сюрреалистической, спутанно-запутанной картины мира. Настоящий исследователь должен отличать такие "фантики" от настоящих ценностей.
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.
