Бьярн Страустрап - Справочное руководство по C++

•Для разделения частей программы на ANSI C и C++ можно использовать условную трансляцию с предописанным именем __cplusplus.

•Функции, которые могут вызываться из программ на обеих языках, должны быть явно описаны, как функции, подлежащие связыванию с С.

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

•При описании или определении функции можно использовать слово overload в конструкции спецификация-описания (§R.7). Если оно используется в спецификации-описания, то считается служебным словом и его нельзя использовать как идентификатор.

•Определение статического члена класса, представляющего данные, для которого дана стандартная инициализация нулями (§R.8.4, §R.9.4), может быть опущено.

•Можно использовать команды препроцессора старого стиля (до ANSI C).

•Можно присваивать объекту типа перечисления значение типа int.

•При удалении массива, тип которого не имеет деструктора, можно указывать число элементов; §R.5.3.4.

•Одна функция operator++() может использоваться для перегрузки как префиксных, так и постфиксных операций ++; тоже верно для операции --; §R.13.4.6.

Можно использовать синтаксис С для определений функций:

старое-определение-функции:

спецификации-описаний optстарый-описатель-функции

список-описаний optтело-функции

старый-описатель-функции:

описатель ( список-параметров opt)

список-параметров:

идентификатор

список-параметров , идентификатор

Приведем пример:

max(a,b) int b; { return (a‹b) ? b : a; }

Если определенная таким образом функция не была описана ранее, то тип ее формальных параметров полагается (…), т.е. он не будет проверяться.

Если она была описана, то тип должен согласовываться с типом, указанным в описании.

Приведенный синтаксис нельзя использовать для определения функций-членов.

В конструкции инициализатор-памяти (§R.12.6.2) можно не указывать имя-класса, обозначающее базовый класс при условии, что существует только один прямой (непосредственный) базовый класс. Поэтому в описании

class B {

//…

public:

B(int);

};

class D: public B {

//…

D(int i): (i) {/*… */}

};

будет вызываться конструктор B с параметром i.

Присваивая определенные значения указателю this, пользователь мог управлять выделением памяти для объекта некоторого класса. В конструкторе до использования членов класса можно было с помощью такого присваивания реализовать свой алгоритм выделения памяти. Присваивая в деструкторе указателю this нуль, можно было обойти стандартную операцию освобождения объектов класса. Кроме того, присваивание нуля в деструкторе отменяло неявные вызовы деструкторов для членов и базовых классов, например:

class Z {

int z[10];

Z() { this = my_allocator(sizeof(Z)); }

~Z() { my_deallocator(this); this = 0; }

};

Если выделение памяти уже произошло (как бывает для членов и объектов auto или static), то при входе в конструктор this имеет ненулевое значение и значение нуль в противном случае.

Вызовы конструкторов для членов и базовых классов произойдут только после того, как this получил значение. Если в конструкторе базового класса есть присваивание this, то новое значение this будет использоваться и в конструкторах производных классов, если они есть.

Отметим, что при наличии указанного анахронизма или тип указателя this не может быть *const, или нужно делать исключение для this из правила о присваивании указателям со спецификацией const.

Указатель на функцию-член некоторого объекта можно привести к указателю на какую-то другую функцию, например (int (*) ())p-›f. Результирующий указатель будет настроен на функцию, вызов которой будет происходить с помощью обращения к этой функции-члену для того же объекта. Как обычно результат такого вызова считается неопределенным.

Если класс описан внутри другого класса и в программе больше не описано классов с этим именем, то его можно использовать, как если бы он был описан вне класса (так обстоит дело с описанием struct в С), например:

struct S {

struct T {

int a;

};

int b;

};

struct T x; // означает `S::T x;'

auto автоматический

break разрыв

case вариант

catch перехватить

char символ

class класс

const конст

continue продолжить

default по умолчанию

delete удалить

do делать

double двойной

else иначе

enum перечисление

extern внешний

float плавающий

for для

friend друг

goto переход на

if если

inline подстановка

int целый

long длинный

new новый

operator оператор

private частный

protected защищенный

public общий

register регистровый

return возврат

short короткий

signed знаковый

sizeof размер

static статический

struct структура

switch переключатель

template шаблон типа

this текущий

throw запустить

try проверить

typedef тип

union объединение

unsigned беззнаковый

virtual виртуальный

void пустой

volatile изменяемый

while пока

#include ‹stream.hxx›

main()

{

cout ‹‹ "Hello, world\n";

}

#include ‹stream.hxx›

main ()

{

int inch = 0;

cout ‹‹ "inches=";

cin ›› inch;

cout ‹‹ inch;

cout ‹‹ "in = ";

cout ‹‹ inch*2.54;

cout ‹‹ " cm\n";

}

#include ‹stream.hxx›

main()

{

const float fac = 2.54;

float x, in, cm;

char ch = 0;

for (int i= 0; i‹ 8; i++) {

cerr ‹‹ "enter length: ";

cin ›› x ›› ch;

if (ch == 'i') {// inch

in = x;

cm = x*fac;

}

else if (ch == 'c') {// cm

in = x/fac;

cm = x;

}

else

in = cm = 0;

cerr ‹‹ in ‹‹ "in = " ‹‹ cm ‹‹ " cm\n";

}

}

#include ‹stream.hxx›

extern float pow(float, int);