Программирование

Проделав небольшую дополнительную работу, мы можем добиться, чтобы объекту было не обязательно хранить указатель на каждую псевдовиртуальную функцию. Вместо этого можем хранить указатель на массив указателей на функции (это очень похоже на то, как реализованы виртуальные функции в языке С++). Основная проблема при использовании таких схем в реальных программах заключается в том, чтобы правильно инициализировать все эти указатели на функции.

27.3. Второстепенные языковые различия

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

27.3.1. Дескриптор пространства имен struct

 В языке C имена структур (в нем нет ключевого слова class, а есть только слово struct) находятся в отдельном от остальных идентификаторов пространстве имен. Следовательно, имени каждой структуры (называемому дескриптором структуры (structure tag)) должно предшествовать ключевое слово struct. Рассмотрим пример.

struct pair { int x,y; };

pair p1;        /* ошибка: идентификатора pair не в области

                /* видимости */

struct pair p2; /* OK */

int pair = 7;   /* OK: дескриптора структуры pair нет в области

                /* видимости */

struct pair p3; /* OK: дескриптор структуры pair не маскируется

                /* типом int*/

pair = 8;       /* OK: идентификатор pair ссылается на число типа

                /* int */

Довольно интересно, что, применив обходной маневр, этот прием можно заставить работать и в языке С++. Присваивание переменным (и функциям) тех же имен, что и структурам, — весьма распространенный трюк, используемый в программах на языке С, хотя мы его не рекомендуем.

  Если вы не хотите писать ключевое слово struct перед именем каждой структуры, используйте оператор typedef (см. раздел 20.5). Широко распространена следующая идиома:

typedef struct { int x,y; } pair;

pair p1 = { 1, 2 };

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

  В языке C имена вложенных структур находятся в том же самом пространстве имен, что и имя структуры, в которую они вложены. Рассмотрим пример.

struct S {

  struct T { /* ... */ };

  / * ... */

};

struct T x; /* OK в языке C (но не в C++) */

В программе на языке C++ этот фрагмент следовало бы написать так:

S::T x; // OK в языке C++ (но не в C)

При малейшей возможности не используйте вложенные структуры в программах на языке C: их правила разрешения области видимости отличаются от наивных (и вполне разумных) предположений большинства людей. 

27.3.2. Ключевые слова

Многие ключевые слова в языке C++ не являются ключевыми словами в языке С (поскольку язык С не обеспечивает соответствующие функциональные возможности) и поэтому могут использоваться как идентификаторы в программах на языке C.

  Не используйте эти имена как идентификаторы в программах на языке C, иначе ваш код станет несовместимым с языком C++. Если вы используете одно из этих имен в заголовочном файле, то не сможете использовать его в программе на языке C++.

Некоторые ключевые слова в языке C++ являются макросами в языке C.

В языке C они определены в заголовочных файлах и (bool, true, false). Не пользуйтесь тем, что они являются макросами в языке C.

27.3.3. Определения

Язык C++ допускает определения в большем количестве мест программы по сравнению с языком C. Рассмотрим пример.

for (int i = 0; i

                                         // недопустимое в языке C

while (struct S* p = next(q)) { // определение указателя p,

                                // недопустимое в языке C

  /* ... */

}

void f(int i)

{

  if (i< 0 || max<=i) error("Ошибка диапазона");

  int a[max]; // ошибка: объявление после инструкции

              // в языке С не разрешено

  /* ... */

}

Язык C (C89) не допускает объявлений в разделе инициализации счетчика цикла for, в условиях и после инструкций в блоке. Мы должны переписать предыдущий фрагмент как-то так:

int i;

for (i = 0; i

struct S* p;