Учебное пособие: Препроцессорные средства в C и С++

# define идентификатор(параметры) список_замены

Параметры задаются их именами, список замены - это текст на C, C++, содержащий имена параметров, например:

# define MAX(a,b) ( (a) > (b) )? (a) : (b)# define PRINT(a) cout<< #a<<?= ?<<(a)<<endl;

Если в области действия этих макроопределений встретится текст

x = MAX( y + p, s);

то он будет заменен на

x = ( (y + p) > (s)) ? (y + p) : (s);

оператор PRINT(x) будет заменен на

cout<<?x?<<?= ?<<(x)<<endl;

Знак # перед именем параметра означает, что значение аргумента рассматривается как строковый литерал. Если между двумя параметрами в макрорасширении стоят знаки ##, то значения аргументов сцепляются по правилу сцепления строк, например,

# define VAR(a,b) ( a##b )x = d [ VAR(i,j)]; // x = d [ ( ij )];

Использование макросов в ряде случаев позволяет сократить исходный текст программы и сделать его более наглядным. Например, если поместить в файл-заголовок макросы

#if defined(__cplusplus)# define _PTRDEF(name) typedef name * P##name;# define _REFDEF(name) typedef name & R##name;# define _STRUCTDEF(name) struct name; \ _PTRDEF(name) \ _REFDEF(name) \#endif

то мы получим возможность одной строкой программы

_STRUCTDEF(MyStruct)

объявить имя структурного типа MyStruct, указатель на этот тип PMyStruct и тип ссылки на него RMyStruct, т.е. получить в выходном тексте строчки

struct MyStruct;typedef MyStruct *PMyStruct;typedef MyStruct &RMystruct;

3.4. Условная компиляция

Директивы препроцессора # if, # else , # endif и # elif позволяют, в зависимости от результатов проверки некоторых условий, включать в программу один из нескольких вариантов текста:

# if препроцессорное_условие

текст 1

# else

текст 2

# endif

дальнейший текст.

Условие — это константное выражение, которое строится из макроимен, констант и знаков операций, включая логические связки && и | | . Допускается также выражение sizeof (имя_типа) и препроцессорная функция defined( макроимя ), возвращающая 1, если это макроимя определено, и 0, если оно не определено. Вместо директивы

# if defined( DEBUG )

можно написать

# ifdef DEBUG

а вместо

# if !defined( DEBUG )

написать

# ifndef DEBUG

Комбинации #if - #else могут быть вложенными, причем последовательность #else - #if заменяется одной директивой #elif с условием:

# if препроцессорное_условие_1

текст 1

# elif препроцессорное_условие_2

текст_2

# else

текст_3

# endif

В файлах заголовков для предотвращения многократного включения одного и того же заголовка в программу обычно присутствует текст вида:

#if !defined(_ _DEFS_H)#define _ _DEFS_H /* ????? ??????????? ?????????? */.......................................#endif /* ????? _ _DEFS_H */

4. Объектно-ориентированные средства С++

4.1 Объектные типы данных

Объектные типы данных - это агрегатные типы, полностью определяемые программистом, описание объектного типа должно содержать компоненты-данные, определяющие область возможных значений переменных этого типа, и описание операций, допустимых над переменными этого типа и компонентами-данными, составляющими переменную. Для сохранения совместимости с программами на Си синтаксис описания объектного типа в Си++ выбран подобным описанию структурного типа или типа объединения в Си. В сущности структуры и объединения в Си++ рассматриваются как варианты объектных типов. Имеются три варианта объектных типов: структура (struct), объединение (union) и класс (class), различающиеся возможностями доступа к компонентам типа. В дальнейшем для краткости все варианты объектных типов будем называть классами. Описание объектного типа строится по схеме:

???????_???? ???_???? : ??????_???????_??????? { ?????????? (????? ) ?????? }

Компонентами класса могут быть компоненты-данные и компоненты-функции. Компоненты-функции предназначены для выполнения операций над объектным данным, их часто называют методами класса.

Для каждого компонента класса устанавливается уровень доступа либо явно, указанием уровня доступа одним из ключевых слов public, protected или private с двоеточием, либо неявно, по умолчанию. Указание уровня доступа относится ко всем последующим компонентам класса, пока не встретится указание другого уровня доступа. Уровень доступа public разрешает доступ к компонентам класса из любого места программы, в котором известна переменная этого класса. Уровень доступа private разрешает доступ к компонентам класса только из методов этого класса. Уровень доступа protected имеет смысл только в иерархической системе классов и разрешает доступ к компонентам этого уровня из методов производного класса. По умолчанию для всех компонент класса типа struct принимается уровень доступа public, но можно явно задавать и другие уровни доступа, уровень доступа к компонентам класса типа class по умолчанию private, явно можно определять и другие уровни, для класса типа union уровень доступа public и не может быть изменен.