
          // ...
       }

 Љак видно из этого примера, параметр не используетсЯ, если
 не задано его имЯ. Џодобные функции поЯвлЯютсЯ при упрощении
 программы или если рассчитывают на ее дальнейшее расширение. ‚
 обоих случаЯх резервирование места в определении функции длЯ
 неиспользуемого параметра гарантирует, что другие функции,
 содержащие вызов данной, не придетсЯ менЯть.
     “же говорилось, что функцию можно определить как подстановку
 (inline). Ќапример:

         inline fac(int i) { return i&lt;2 ? 1 : n*fac(n-1); }

 ‘пецификациЯ inline служит подсказкой транслЯтору, что вызов
 функции fac можно реализовать подстановкой ее тела, а не с помощью
 обычного механизма вызова функций ($$R.7.1.2). •ороший оптимизирующий
 транслЯтор вместо генерации вызова fac(6) может просто использовать
 константу 720. €з-за наличиЯ взаиморекурсивных вызовов функций-подстановок,
 а также функций-подстановок, рекурсивность которых зависит от входных
 данных, нельзЯ утверждать, что каждый вызов функции-подстановки
 действительно реализуетсЯ подстановкой ее тела. ‘тепень оптимизации,
 проводимой транслЯтором, нельзЯ формализовать, поэтому одни
 транслЯторы создадут команды 6*5*4*3*2*1, другие - 6*fac(5), а
 некоторые ограничатсЯ неоптимизированным вызовом fac(6).
      —тобы реализациЯ вызова подстановкой стала возможна даже
 длЯ не слишком развитых систем программированиЯ, нужно, чтобы не
 только определение, но и описание функции-подстановки находилось
 в текущей области видимости. ‚ остальном спецификациЯ inline
 не влиЯет на семантику вызова.

        4.6.3 Џередача параметров

 Џри вызове функции выделЯетсЯ памЯть длЯ ее формальных параметров,
 и каждый формальный параметр инициализируетсЯ значением
 соответствующего фактического параметра. ‘емантика передачи
 параметров тождественна семантике инициализации. ‚ частности, сверЯютсЯ
 типы формального и соответствующего ему фактического параметра, и
 выполнЯютсЯ все стандартные и пользовательские преобразованиЯ типа.
 ‘уществуют специальные правила передачи массивов ($$4.6.5).
 …сть возможность передать параметр, минуЯ контроль типа ($$4.6.8),
 и возможность задать стандартное значение параметра ($$4.6.7).
 ђассмотрим функцию:

           void f(int val, int&amp; ref)
           {
              val++;
              ref++;
           }

 Џри вызове f() в выражении val++ увеличиваетсЯ локальнаЯ копиЯ
 первого фактического параметра, тогда как в ref++ - сам второй
 фактический параметр увеличиваетсЯ сам. Џоэтому в функции

           void g()
           {
             int i = 1;
             int j = 1;
             f(i,j);
           }

 увеличитсЯ значение j, но не i. Џервый параметр i передаетсЯ по
 значению, а второй параметр j передаетсЯ по ссылке. ‚ $$2.3.10
 мы говорили, что функции, которые изменЯют свой передаваемый
 по ссылке параметр, труднее понЯть, и что поэтому лучше их избегать
 (см. также $$10.2.2). Ќо большие объекты, очевидно, гораздо
 эффективнее передавать по ссылке, чем по значению. Џравда можно
 описать параметр со спецификацией const, чтобы гарантировать, что
 передача по ссылке используетсЯ только длЯ эффективности, и
 вызываемаЯ функциЯ не может изменить значение объекта:

            void f(const large&amp; arg)
            {
              // значение "arg" нельзЯ изменить без Явных
              // операций преобразованиЯ типа
            }

 …сли в описании параметра ссылки const не указано, то это
 рассматриваетсЯ как намерение изменЯть передаваемый объект:

           void g(large&amp; arg); // считаетсЯ, что в g() arg будет менЯтьсЯ

 Ћтсюда мораль: используйте const всюду, где возможно.
     ’очно так же, описание параметра, ЯвлЯющегосЯ указателем, со
 спецификацией const говорит о том, что указуемый объект не будет
 изменЯтьсЯ в вызываемой функции. Ќапример:

           extern int strlen(const char*);  // из &lt;string.h>
           extern char* strcpy(char* to, const char* from);
           extern int strcmp(const char*, const char*);

 ‡начение такого приема растет вместе с ростом программы.
     Ћтметим, что семантика передачи параметров отличаетсЯ от семантики
 присваиваниЯ. ќто различие существенно длЯ параметров, ЯвлЯющихсЯ
 const или ссылкой, а также длЯ параметров с типом, определенным
 пользователем ($1.4.2).
     ‹итерал, константу и параметр, требующий преобразованиЯ,
 можно передавать как параметр типа const&amp;, но без спецификации
 const передавать нельзЯ. „опускаЯ преобразованиЯ длЯ параметра типа
 const T&amp;, мы гарантируем, что он может принимать значениЯ из того же
 множества, что и параметр типа T, значение которого передаетсЯ
 при необходимости с помощью временной переменной.

         float fsqrt(const float&amp;);  // функциЯ sqrt в стиле ”ортрана

         void g(double d)
         {
           float r;

           r = fsqrt(2.0f);  // передача ссылки на временную
                             // переменную, содержащую 2.0f
           r = fsqrt(r);     // передача ссылки на r
           r = fsqrt(d);     // передача ссылки на временную
                             // переменную, содержащую float(d)
        }

 ‡апрет на преобразованиЯ типа длЯ параметров-ссылок без спецификации
 const введен длЯ того, чтобы избежать нелепых ошибок, свЯзанных
 с использованием при передаче параметров временных переменных:

       void update(float&amp; i);

       void g(double d)
       {
         float r;

         update(2.0f);    // ошибка: параметр-константа
         update(r);       // нормально: передаетсЯ ссылка на r
         update(d);       // ошибка: здесь нужно преобразовывать тип

      }

        4.6.4 ‚озвращаемое значение

 …сли функциЯ не описана как void, она должна возвращать значение.
 Ќапример:

     int f() { }    // ошибка
     void g() { }   // нормально

 ‚озвращаемое значение указываетсЯ в операторе return в теле функции.
 Ќапример:

    int fac(int n) { return (n>1) ? n*fac(n-1) : 1; }

 ‚ теле функции может быть несколько операторов return:

    int fac(int n)
    {
      if (n > 1)
         return n*fac(n-1);
      else
         return 1;
    }

 Џодобно передаче параметров, операциЯ возвращениЯ значениЯ функции
 эквивалентна инициализации. ‘читаетсЯ, что оператор return
 инициализирует переменную, имеющую тип возвращаемого значениЯ.
 ’ип выражениЯ в операторе return сверЯетсЯ с типом функции, и
 производЯтсЯ все стандартные и пользовательские преобразованиЯ
 типа. Ќапример:

       double f()
       {
         // ...
         return 1;   // неЯвно преобразуетсЯ в double(1)
       }

   Џри каждом вызове функции создаетсЯ новаЯ копиЯ ее формальных
 параметров и автоматических переменных. ‡анЯтаЯ ими памЯть после
 выхода из функции будет снова использоватьсЯ, поэтому неразумно
 возвращать указатель на локальную переменную. ‘одержимое памЯти,
 на которую настроен такой указатель, может изменитьсЯ непредсказуемым
 образом:

        int* f()
        {
          int local = 1;
          // ...
          return &amp;local;    // ошибка
        }

 ќта ошибка не столь типична, как сходнаЯ ошибка, когда тип функции -
 ссылка:

        int&amp; f()
        {
          int local = 1;
          // ...
          return local;   // ошибка
       }

 Љ счастью, транслЯтор предупреждает о том, что возвращаетсЯ ссылка
 на локальную переменную. ‚от другой пример:

       int&amp; f() { return 1; }  // ошибка

        4.6.5 Џараметр-массив

 …сли в качестве параметра функции указан массив, то передаетсЯ
 указатель на его первый элемент. Ќапример:

         int strlen(const char*);

         void f()
         {
           char v[] = "массив";
           strlen(v);
           strlen("Ќиколай");
         }

 ќто означает, что фактический параметр типа T[] преобразуетсЯ к типу T*,
 и затем передаетсЯ. Џоэтому присваивание элементу формального
 параметра-массива изменЯет  этот элемент. €ными словами,
 массивы отличаютсЯ от других типов тем, что они не передаютсЯ
 и не могут передаватьсЯ по значению.
    ‚ вызываемой функции размер передаваемого массива неизвестен.
 ќто неприЯтно, но есть несколько способов обойти данную трудность.
 Џрежде всего, все строки оканчиваютсЯ нулевым символом, и значит их
 размер легко вычислить. Њожно передавать еще один параметр,
 задающий размер массива. „ругой способ: определить
 структуру, содержащую указатель на массив и размер массива, и
 передавать ее как параметр (см. также $$1.2.5). Ќапример:

         void compute1(int* vec_ptr, int vec_size);  // 1-ый способ

         struct vec {               // 2-ой способ
           int* ptr;
           int size;
         };

         void compute2(vec v);

   ‘ложнее с многомерными массивами, но часто вместо них можно
 использовать массив указателей, сведЯ эти случаи к одномерным
 массивам. Ќапример:

        char* day[] = {
            "mon", "tue", "wed", "thu", "fri", "sat", "sun"
        };

 ’еперь рассмотрим функцию, работающую с двумерным массивом - матрицей.
 …сли размеры обоих индексов известны на этапе транслЯции, то
 проблем нет:

        void print_m34(int m[3][4])
        {
           for (int i = 0; i&lt;3; i++) {
               for (int j = 0; j&lt;4; J++)
                   cout &lt;&lt; ' ' &lt;&lt; m[i][j];
               cout &lt;&lt; '\n';
          }
        }

   Љонечно, матрица по-прежнему передаетсЯ как указатель, а размерности
приведены просто длЯ полноты описаниЯ.
   ЏерваЯ размерность длЯ вычислениЯ адреса элемента неважна
($$R.8.2.4), поэтому ее можно передавать как параметр:

       void print_mi4(int m[][4], int dim1)
       {
          for ( int i = 0; i&lt;dim1; i++) {
              for ( int j = 0; j&lt;4; j++)
                  cout &lt;&lt; ' ' &lt;&lt; m[i][j];
              cout &lt;&lt; '\n';
          }
       }

    ‘амый сложный случай - когда надо передавать обе размерности.
 ‡десь "очевидное" решение просто непригодно:

      void print_mij(int m[][], int dim1, int dim2)   // ошибка
      {
        for ( int i = 0; i&lt;dim1; i++) {
            for ( int j = 0; j&lt;dim2; j++)
                cout &lt;&lt; ' ' &lt;&lt; m[i][j];
            cout &lt;&lt; '\n';
        }
     }

 ‚о-первых, описание параметра m[][] недопустимо, поскольку длЯ
 вычислениЯ адреса элемента многомерного массива нужно знать
 вторую размерность. ‚о-вторых, выражение m[i][j]
 вычислЯетсЯ как *(*(m+i)+j), а это, по всей видимости, не то, что
 имел в виду программист. Џриведем правильное решение:

        void print_mij(int** m, int dim1, int dim2)
        {
           for (int i = 0; i&lt; dim1; i++) {
               for (int j = 0; j&lt;dim2; j++)
                 cout &lt;&lt; ' ' &lt;&lt; ((int*)m)[i*dim2+j];  // запутано
               cout &lt;&lt; '\n';
          }
        }

 ‚ыражение, используемое длЯ выбора элемента матрицы, эквивалентно
 тому, которое создает длЯ этой же цели транслЯтор, когда известна
 последнЯЯ размерность. Њожно ввести дополнительную переменную,
 чтобы это выражение стало понЯтнее:

       int* v = (int*)m;
       // ...
       v[i*dim2+j]

 ‹учше такие достаточно запутанные места в программе упрЯтывать.
 Њожно определить тип многомерного массива с соответствующей
 операцией индексированиЯ. ’огда пользователь может и не знать, как
 размещаютсЯ данные в массиве (см. упражнение 18 в $$7.13).

        4.6.6 Џерегрузка имени функции

 Ћбычно имеет смысл давать разным функциЯм разные имена. …сли же
 несколько функций выполнЯет одно и то же действие над объектами
 разных типов, то удобнее дать одинаковые имена всем этим функциЯм.
 Џерегрузкой имени называетсЯ его использование длЯ обозначениЯ
 разных операций над разными типами. ‘обственно уже длЯ основных
 операций ‘++ применЯетсЯ перегрузка. „ействительно: длЯ операций
 сложениЯ есть только одно имЯ +, но оно используетсЯ длЯ сложениЯ
 и целых чисел, и чисел с плавающей точкой, и указателей. ’акой
 подход легко можно распространить на операции, определенные
 пользователем, т.е. на функции. Ќапример:

          void print(int);          // печать целого
          void print(const char*)   // печать строки символов

    „лЯ транслЯтора в таких перегруженных функциЯх общее только
 одно - имЯ. Ћчевидно, по смыслу такие функции сходны, но Язык
 не способствует и не препЯтствует выделению перегруженных функций.
 ’аким образом, определение перегруженных функций служит, прежде
 всего, длЯ удобства записи. Ќо длЯ функций с такими традиционными
 именами, как sqrt, print или open, нельзЯ этим удобством пренебрегать.
 …сли само имЯ играет важную семантическую роль, например,
 в таких операциЯх, как + , *  и &lt;&lt; ($$7.2), или длЯ конструктора
 класса ($$5.2.4 и $$7.3.1), то такое удобство становитсЯ существенным
 фактором. Џри вызове функции с именем f транслЯтор должен
 разобратьсЯ, какую именно функцию f следует вызывать. „лЯ этого
 сравниваютсЯ типы фактических параметров, указанные в вызове, с типами
 формальных параметров всех описаний функций с именем f. ‚ результате
 вызываетсЯ та функциЯ, у которой формальные параметры наилучшим
 образом сопоставились с параметрами вызова, или выдаетсЯ ошибка
 если такой функции не нашлось. Ќапример:

         void print(double);
         void print(long);

         void f()
         {
           print(1L);    // print(long)
           print(1.0);   // print(double)
           print(1);     // ошибка, неоднозначность: что вызывать
                         // print(long(1)) или print(double(1)) ?
         }

 Џодробно правила сопоставлениЯ параметров описаны в $$R.13.2. ‡десь
 достаточно привести их суть. Џравила применЯютсЯ в следующем
 порЯдке по убыванию их приоритета:
   [1] ’очное сопоставление: сопоставление произошло без всЯких
       преобразований типа или только с неизбежными преобразованиЯми
       (например, имени массива в указатель, имени функции в указатель
       на функцию и типа T в const T).
   [2] ‘опоставление с использованием стандартных целочисленных
       преобразований, определенных в $$R.4.1 (т.е. char в int,
       short в int и их беззнаковых двойников в int), а также
       преобразований float в double.
   [3] ‘опоставление с использованием стандартных преобразований,
       определенных в $$R.4 (например, int в double, derived* в
       base*, unsigned в int).
   [4] ‘опоставление с использованием пользовательских преобразований
       ($$R.12.3).
   [5] ‘опоставление с использованием эллипсиса ... в описании
       функции.
 …сли найдены два сопоставлениЯ по самому приоритетному правилу,
 то вызов считаетсЯ неоднозначным, а значит ошибочным. ќти правила
 сопоставлениЯ параметров работают с учетом правил преобразований
 числовых типов длЯ ‘ и ‘++. Џусть имеютсЯ такие описаниЯ функции
 print:

        void print(int);
        void print(const char*);
        void print(double);
        void print(long);
        void print(char);

 ’огда результаты следующих вызовов print() будут такими:

      void h(char c, int i, short s, float f)
      {
       print(c);    // точное сопоставление: вызываетсЯ print(char)
       print(i);    // точное сопоставление: вызываетсЯ print(int)
       print(s);    // стандартное целочисленное преобразование:
                    // вызываетсЯ print(int)
       print(f);    // стандартное преобразование:
                    // вызываетсЯ print(double)

       print('a');  // точное сопоставление: вызываетсЯ print(char)
       print(49);   // точное сопоставление: вызываетсЯ print(int)
       print(0);    // точное сопоставление: вызываетсЯ print(int)
       print("a");  // точное сопоставление:
                    // вызываетсЯ print(const char*)
      }

 Ћбращение print(0) приводит к вызову print(int), ведь 0 имеет тип int.
 Ћбращение print('a') приводит к вызову print(char), т.к. 'a' - типа
 char ($$R.2.5.2).
    Ћтметим, что на разрешение неопределенности при перегрузке не
 влиЯет порЯдок описаний рассматриваемых функций, а типы возвращаемых
 функциЯми значений вообще не учитываютсЯ.
    €сходЯ из этих правил можно гарантировать, что если эффективность
 или точность вычислений значительно различаютсЯ длЯ
 рассматриваемых типов, то вызываетсЯ функциЯ, реализующаЯ самый
 простой алгоритм. Ќапример:

          int pow(int, int);
          double pow(double, double);     // из &lt;math.h>
          complex pow(double, complex);   // из &lt;complex.h>
          complex pow(complex, int);
          complex pow(complex, double);
          complex pow(complex, complex);

          void k(complex z)
          {
            int i = pow(2,2);       // вызываетсЯ pow(int,int)
            double d = pow(2.0,2);  // вызываетсЯ pow(double,double)
            complex z2 = pow(2,z);  // вызываетсЯ pow(double,complex)
            complex z3 = pow(z,2);  // вызываетсЯ pow(complex,int)
            complex z4 = pow(z,z);  // вызываетсЯ pow(complex,complex)
         }

        4.6.7 ‘тандартные значениЯ параметров

 ‚ общем случае у функции может быть больше параметров, чем в самых
 простых и наиболее часто используемых случаЯх. ‚ частности, это
 свойственно функциЯм, строЯщим объекты (например, конструкторам,
 см. $$5.2.4). „лЯ более гибкого использованиЯ этих функций иногда
 применЯютсЯ необЯзательные параметры. ђассмотрим в качестве примера
 функцию печати целого числа. ‚полне разумно применить в качестве
 необЯзательного параметра основание счислениЯ печатаемого числа,
 хотЯ в большинстве случаев числа будут печататьсЯ как десЯтичные
 целые значениЯ. ‘ледующаЯ функциЯ

          void print (int value, int base =10);

          void F()
          {
             print(31);
             print(31,10);
             print(31,16);
             print(31,2);
          }

 напечатает такие числа:

         31 31 1f 11111

 ‚место стандартного значениЯ параметра можно было бы использовать
 перегрузку функции print:

         void print(int value, int base);
         inline void print(int value) { print(value,10); }

 Ћднако в последнем варианте текст программы не столь Явно демонстрирует
 желание иметь одну функцию print, но при этом обеспечить удобную и
 краткую форму записи.
     ’ип стандартного параметра сверЯетсЯ с типом указанного значениЯ
 при транслЯции описаниЯ функции, а значение этого параметра вычислЯетсЯ
 в момент вызова функции. ‡адавать стандартное значение можно только
 длЯ завершающих подрЯд идущих параметров:

        int f(int, int =0, char* =0);   // нормально
        int g(int =0, int =0, char*);   // ошибка
        int h(int =0, int, char* =0);   // ошибка

 Ћтметим, что в данном контексте наличие пробела между символами * и =
 весьма существенно, поскольку *= ЯвлЯетсЯ операцией присваиваниЯ:

       int nasty(char*=0);      // синтаксическаЯ ошибка

        4.6.8 Ќеопределенное число параметров

 ‘уществуют функции, в описании которых невозможно указать число
 и типы всех допустимых параметров. ’огда список формальных
 параметров завершаетсЯ эллипсисом (...), что означает:
 "и, возможно, еще несколько аргументов". Ќапример:

       int printf(const char* ...);

 Џри вызове printf обЯзательно должен быть указан параметр
 типа char*, однако могут быть (а могут и не быть) еще другие
 параметры.  Ќапример:

      printf("Hello, world\n");
      printf("My name is %s %s\n", first_name, second_name);
      printf("%d + %d = %d\n", 2,3,5);

   ’акие функции пользуютсЯ длЯ распознаваниЯ своих фактических
 параметров недоступной транслЯтору информацией. ‚ случае функции
 printf первый параметр ЯвлЯетсЯ строкой, специфицирующей формат вывода.
 Ћна может содержать специальные символы, которые позволЯют правильно
 воспринЯть последующие параметры. Ќапример, %s означает  -"будет
 фактический параметр типа char*", %d означает -"будет фактический
 параметр типа int" (см. $$10.6). Ќо транслЯтор этого не знает, и
 поэтому он не может убедитьсЯ, что объЯвленные параметры действительно
 присутствуют в вызове и имеют соответствующие типы. Ќапример,
 следующий вызов

      printf("My name is %s %s\n",2);

 нормально транслируетсЯ, но приведет (в лучшем случае) к неожиданной
 выдаче. Њожете проверить сами.
    Ћчевидно, что раз параметр неописан, то транслЯтор не имеет сведений
 длЯ контролЯ и стандартных преобразований типа этого параметра.
 Џоэтому char или short передаютсЯ как int, а float как double, хотЯ
 пользователь, возможно, имел в виду другое.
    ‚ хорошо продуманной программе может потребоватьсЯ, в виде
 исключениЯ, лишь несколько функций, в которых указаны не все типы
 параметров. —тобы обойти контроль типов параметров, лучше использовать
 перегрузку функций или стандартные значениЯ параметров, чем
 параметры, типы которых не были описаны. ќллипсис становитсЯ
 необходимым только тогда, когда могут менЯтьсЯ не только типы, но
 и число параметров. —аще всего эллипсис используетсЯ
 длЯ определениЯ интерфейса с библиотекой стандартных функций на ‘,
 если этим функциЯм нет замены:

       extern "C" int fprintf(FILE*, const char* ...);
       extern "C" int execl(const char* ...);

    …сть стандартный набор макроопределений, находЯщийсЯ в &lt;stdarg.h>,
 длЯ выбора незаданных параметров этих функций. ђассмотрим функцию
 реакции на ошибку, первый параметр которой показывает степень тЯжести
 ошибки. ‡а ним может следовать произвольное число строк. Ќужно
 составить сообщение об ошибке с учетом, что каждое слово из него
 передаетсЯ как отдельнаЯ строка:

      extern void error(int ...)
      extern char* itoa(int);

      main(int argc, char* argv[])
      {
         switch (argc) {
         case 1:
            error(0,argv[0],(char*)0);
            break;
         case 2:
            error(0,argv[0],argv[1],(char*)0);
            break;
         default:
            error(1,argv[0],
                  "With",itoa(argc-1),"arguments",(char*)0);
         }
         // ...
       }

 ”ункциЯ itoa возвращает строку символов, представлЯющую ее целый
 параметр. ”ункцию реакции на ошибку можно определить так:

       #include &lt;stdarg.h>

       void error(int severity ...)
       /*
         за "severity" (степень тЯжести ошибки) следует
         список строк, завершающийсЯ нулем
      */
      {
        va_list ap;
        va_start(ap,severity);   // начало параметров

        for (;;) {
            char* p = va_arg(ap,char*);
            if (p == 0) break;
            cerr &lt;&lt; p &lt;&lt; ' ';
        }

        va_end(ap);     // очистка параметров

        cerr &lt;&lt; '\n';
        if (severity) exit(severity);
      }

    ‚начале при вызове va_start() определЯетсЯ и инициализируетсЯ
 va_list. Џараметрами макроопределениЯ va_start ЯвлЯютсЯ имЯ типа
 va_list и последний формальный параметр. „лЯ выборки по порЯдку
 неописанных параметров используетсЯ макроопределение va_arg().
 ‚ каждом обращении к va_arg нужно задавать тип ожидаемого фактического
 параметра. ‚ va_arg() предполагаетсЯ, что параметр такого типа
 присутствует в вызове, но обычно нет возможности проверить это.
 Џеред выходом из функции, в которой было обращение к va_start,
 необходимо вызвать va_end. Џричина в том, что в va_start()
 могут быть такие операции со стеком, из-за которых корректный возврат
 из функции становитсЯ невозможным. ‚ va_end() устранЯютсЯ все
 нежелательные изменениЯ стека.
    Џриведение 0 к (char*)0 необходимо потому, что sizeof(int)
 не обЯзано совпадать с sizeof(char*). ќтот пример демонстрирует
 все те сложности, с которыми приходитсЯ сталкиватьсЯ
 программисту, если он решил обойти контроль типов, используЯ
 эллипсис.

        4.6.9 “казатель на функцию

 ‚озможны только две операции с функциЯми: вызов и взЯтие адреса.
 “казатель, полученный с помощью последней операции, можно
 впоследствии использовать длЯ вызова функции. Ќапример:

         void error(char* p) { /* ... */ }

         void (*efct)(char*);   // указатель на функцию

         void f()
         {
           efct = &amp;error;       // efct настроен на функцию error
           (*efct)("error");    // вызов error через указатель efct
         }

    „лЯ вызова функции с помощью указателЯ (efct в нашем примере)
 надо вначале применить операцию косвенности к указателю - *efct.
 Џоскольку приоритет операции вызова () выше, чем приоритет
 косвенности *, нельзЯ писать просто *efct("error"). ќто будет
 означать *(efct("error")), что ЯвлЯетсЯ ошибкой. Џо той же
 причине скобки нужны и при описании указателЯ на функцию. Ћднако,
 писать просто efct("error") можно, т.к. транслЯтор понимает, что
 efct ЯвлЯетсЯ указателем на функцию, и создает команды, делающие
 вызов нужной функции.
    Ћтметим, что формальные параметры в указателЯх на функцию описываютсЯ
 так же, как и в обычных функциЯх. Џри присваивании указателю на функцию
 требуетсЯ точное соответствие типа функции и типа присваиваемого
 значениЯ. Ќапример:

          void (*pf)(char*);          // указатель на void(char*)
          void f1(char*);             // void(char*);
          int f2(char*);              // int(char*);
          void f3(int*);              // void(int*);

          void f()
          {
            pf = &amp;f1;                 // нормально
            pf = &amp;f2;                 // ошибка: не тот тип возвращаемого
                                      // значениЯ
            pf = &amp;f3;                 // ошибка: не тот тип параметра

            (*pf)("asdf");            // нормально
            (*pf)(1);                 // ошибка: не тот тип параметра

            int i = (*pf)("qwer");    // ошибка: void присваиваетсЯ int
          }

  Џравила передачи параметров одинаковы и длЯ обычного вызова,
  и длЯ вызова с помощью указателЯ.
       —асто бывает удобнее обозначить тип указателЯ на функцию именем,
  чем все времЯ использовать достаточно сложную запись. Ќапример:

  typedef int (*SIG_TYP)(int);    // из &lt;signal.h>
  typedef void (SIG_ARG_TYP)(int);
  SIG_TYP signal(int, SIG_ARG_TYP);

       ’акже часто бывает полезен массив указателей на функции. Ќапример,
  можно реализовать систему меню длЯ редактора с вводом, управлЯемым
  мышью, используЯ массив указателей на функции, реализующие команды.
  ‡десь нет возможности подробно описать такой редактор, но дадим самый
  общий его набросок:

         typedef void (*PF)();

         PF edit_ops[] = { // команды редактора
             &amp;cut, &amp;paste, &amp;snarf, &amp;search
         };

         PF file_ops[] = { // управление файлом
            &amp;open, &amp;reshape, &amp;close, &amp;write

         };

   „алее надо определить и инициализировать указатели, с помощью которых
   будут запускатьсЯ функции, реализующие выбранные из меню команды.
   ‚ыбор происходит нажатием клавиши мыши:

         PF* button2 = edit_ops;
         PF* button3 = file_ops;

   „лЯ настоЯщей программы редактора надо определить большее число
   объектов, чтобы описать каждую позицию в меню. Ќапример, необходимо
   где-то хранить строку, задающую текст, который будет выдаватьсЯ длЯ
   каждой позиции. Џри работе с системой меню назначение клавиш мыши
   будет постоЯнно менЯтьсЯ. —астично эти изменениЯ можно представить
   как изменениЯ значений указателЯ, свЯзанного с данной клавишей. …сли
   пользователь выбрал позицию меню, котораЯ определЯетсЯ, например,
   как позициЯ 3 длЯ клавиши 2, то соответствующаЯ команда реализуетсЯ
   вызовом:

          (*button2[3])();

       —тобы полностью оценить мощность конструкции указатель на функцию,
   стоит попытатьсЯ написать программу без нее. Њеню можно изменЯть
   в динамике, если добавлЯть новые функции в таблицу команд.
   „овольно просто создавать в динамике и новые меню.
       “казатели на функции помогают реализовать полиморфические
   подпрограммы, т.е. такие подпрограммы, которые можно применЯть
   к объектам различных типов:

           typedef int (*CFT)(void*,void*);

           void sort(void* base, unsigned n, unsigned int sz, CFT cmp)
           /*
              ‘ортировка вектора "base" из n элементов
              в возрастающем порЯдке;
              используетсЯ функциЯ сравнениЯ, на которую указывает cmp.
              ђазмер элементов равен "sz".

              Ђлгоритм очень неэффективный: сортировка пузырьковым методом
            */
            {
              for (int i=0; i&lt;n-1; i++)
                  for (int j=n-1; i&lt;j; j--) {
                     char* pj = (char*)base+j*sz;  // b[j]
                     char* pj1 = pj - sz;          // b[j-1]
                     if ((*cmp)(pj,pj1) &lt; 0) {
                     // поменЯть местами b[j] и b[j-1]
                        for (int k = 0; k&lt;sz; k++) {
                            char temp = pj[k];
                            pj[k] = pj1[k];
                            pj1[k] = temp;
                        }
                      }
                    }
             }

   ‚ подпрограмме sort неизвестен тип сортируемых объектов; известно
   только их число (размер массива), размер каждого элемента и функциЯ,
   котораЯ может сравнивать объекты. Њы выбрали длЯ функции sort()
   такой же заголовок, как у qsort() - стандартной функции сортировки
   из библиотеки ‘. ќту функцию используют настоЯщие программы.
   Џокажем, как с помощью sort() можно отсортировать таблицу с такой
   структурой:

            struct user {
               char* name;     // имЯ
               char* id;       // пароль
               int dept;       // отдел
            };

            typedef user* Puser;

            user heads[] = {
                 "Ritchie D.M.",      "dmr",   11271,
                 "Sethi R.",          "ravi",  11272,
                 "SZYmanski T.G.",    "tgs",   11273,
                 "Schryer N.L.",      "nls",   11274,
                 "Schryer N.L.",      "nls",   11275
                 "Kernighan B.W.",    "bwk",   11276
            };

            void print_id(Puser v, int n)
            {
              for (int i=0; i&lt;n; i++)
                  cout &lt;&lt; v[i].name &lt;&lt; '\t'
                       &lt;&lt; v[i].id &lt;&lt; '\t'
                       &lt;&lt; v[i].dept &lt;&lt; '\n';
            }

 —тобы иметь возможность сортировать, нужно вначале определить
 подходЯщие функции сравнениЯ. ”ункциЯ сравнениЯ должна возвращать
 отрицательное число, если ее первый параметр меньше второго,
 нуль, если они равны, и положительное число в противном случае:

            int cmp1(const void* p, const void* q)
            // сравнение строк, содержащих имена
            {
              return strcmp(Puser(p)->name, Puser(q)->name);
            }

            int cmp2(const void* p, const void* q)
            // сравнение номеров разделов
            {
              return Puser(p)->dept - Puser(q)->dept;
            }

 ‘ледующаЯ программа сортирует и печатает результат:

           int main()
           {
             sort(heads,6,sizeof(user), cmp1);
             print_id(heads,6);    // в алфавитном порЯдке
             cout &lt;&lt; "\n";
             sort(heads,6,sizeof(user),cmp2);
             print_id(heads,6);    // по номерам отделов
           }

    „опустима операциЯ взЯтиЯ адреса и длЯ функции-подстановки, и длЯ
 перегруженной функции ($$R.13.3).
    Ћтметим, что неЯвное преобразование указателЯ на что-то в
 указатель типа void* не выполнЯетсЯ длЯ параметра функции, вызываемой
 через указатель на нее. Џоэтому функцию

         int cmp3(const mytype*, const mytype*);

 нельзЯ использовать в качестве параметра длЯ sort().
 Џоступив иначе, мы нарушаем заданное в описании условие, что
 cmp3() должна вызыватьсЯ с параметрами типа mytype*. …сли вы
 специально хотите нарушить это условие, то должны использовать
 Явное преобразование типа.

        4.7 Њакросредства

 Њакросредства Языка определЯютсЯ в $$R.16. ‚ ‘++ они играют гораздо
 меньшую роль, чем в ‘. Њожно даже дать такой совет: используйте
 макроопределениЯ только тогда, когда не можете без них обойтись.
 ‚ообще говорЯ, считаетсЯ, что практически каждое поЯвление
 макроимени ЯвлЯетсЯ свидетельством некоторых недостатков
 Языка, программы или программиста. Њакросредства создают определенные
 трудности длЯ работы служебных системных программ, поскольку
 они перерабатывают программный текст еще до транслЯции. Џоэтому, если
 ваша программа использует макросредства,
 то сервис, предоставлЯемый такими программами, как отладчик,
 профилировщик, программа перекрестных ссылок, будет длЯ нее
 неполным. …сли все-таки вы решите использовать
 макрокоманды, то вначале тщательно изучите описание препроцессора
 ‘++ в вашем справочном руководстве и не старайтесь быть слишком умным.
    Џростое макроопределение имеет вид:

        #define имЯ  остаток-строки

 ‚ тексте программы лексема имЯ заменЯетсЯ на остаток-строки. Ќапример,
        объект = имЯ
 будет заменено на
        объект = остаток-строки
    Њакроопределение может иметь параметры. Ќапример:

        #define mac(a,b)  argument1: a argument2: b

 ‚ макровызове mac должны быть заданы две строки, представлЯющие
 параметры. Џри подстановке они заменЯт a и b в макроопределении
 mac(). Џоэтому строка

       expanded = mac(foo bar, yuk yuk)

 при подстановке преобразуетсЯ в

       expanded = argument1: foo bar argument2: yuk yuk

   Њакроимена нельзЯ перегружать. ђекурсивные макровызовы ставЯт
 перед препроцессором слишком сложную задачу:

      // ошибка:
      #define print(a,b) cout&lt;&lt;(a)&lt;&lt;(b)
      #define print(a,b,c)  cout&lt;&lt;(a)&lt;&lt;(b)&lt;&lt;(c)

      // слишком сложно:
      #define fac(n) (n>1) ?n*fac(n-1) :1

   Џрепроцессор работает со строками и практически ничего не знает о
 синтаксисе C++, типах Языка и областЯх видимости. ’ранслЯтор
 имеет дело только с уже раскрытым макроопределением, поэтому
 ошибка в нем может диагностироватьсЯ уже после подстановки, а не при
 определении макроимени. ‚ результате поЯвлЯютсЯ довольно путанные
 сообщениЯ об ошибках.
   „опустимы такие макроопределениЯ:

      #define Case break;case
      #define forever for(;;)

  Ђ вот совершенно излишние макроопределениЯ:

      #define PI 3.141593
      #define BEGIN {
      #define END }

 ‘ледующие макроопределениЯ могут привести к ошибкам:

      #define SQUARE(a) a*a
      #define INCR_xx (xx)++
      #define DISP = 4

 —тобы убедитьсЯ в этом, достаточно попробовать сделать подстановку
 в таком примере:

      int xx = 0;          // глобальный счетчик

      void f() {
        int xx = 0;        // локальнаЯ переменнаЯ
        xx = SQUARE(xx+2); // xx = xx +2*xx+2;
        INCR_xx;           // увеличиваетсЯ локальнаЯ переменнаЯ xx
        if (a-DISP==b) {   // a-=4==b
           // ...
        }
      }

Џри ссылке на глобальные имена в макроопределении используйте операцию
разрешениЯ области видимости ($$2.1.1), и всюду, где это возможно,
заключайте имЯ параметра макроопределениЯ в скобки. Ќапример:

       #define MIN(a,b) (((a)&lt;(b))?(a):(b))

   …сли макроопределение достаточно сложное, и требуетсЯ комментарий
к нему, то разумнее написать комментарий вида /*  */, поскольку
в реализации ‘++ может использоватьсЯ препроцессор ‘, который не
распознает комментарии вида //. Ќапример:

       #define m2(a) something(a)   /* глубокомысленный комментарий */

    ‘ помощью макросредств можно создать свой собственный Язык,
правда, скорее всего, он будет непонЯтен другим. Љроме того, препроцессор
‘ предоставлЯет довольно слабые макросредства. …сли ваша задача
нетривиальна, вы, скорее всего, обнаружите, что решить ее с помощью этих
средств либо невозможно, либо чрезвычайно трудно. ‚ качестве
альтернативы традиционному использованию макросредств в Язык введены
конструкции const, inline и шаблоны типов. Ќапример:

        const int answer = 42;
        template&lt;class T>
           inline T min(T a, T b) { return (a&lt;b)?a:b; }

        4.8 “пражнениЯ

1. (*1) ‘оставьте следующие описаниЯ: функциЯ с параметрами типа
   указатель на символ и ссылка на целое, невозвращающаЯ значениЯ;
   указатель на такую функцию; функциЯ с параметром, имеющим тип
   такого указателЯ; функциЯ, возвращающаЯ такой указатель. Ќапишите
   определение функции, у которой параметр и возвращаемое значение
   имеют тип такого указателЯ. Џодсказка: используйте typedef.
2. (*1) Љак понимать следующее описание? ѓде оно может пригодитьсЯ?
         typedef int (rifii&amp;) (int, int);
3. (*1.5) Ќапишите программу, подобную той, что выдает "Hello, world".
   Ћна получает имЯ (name) как параметр командной строки и выдает
   "Hello, name". €змените программу так, чтобы она получала
   произвольное число имен и всем им выдавала свое приветствие:
   "Hello, ...".
4. (1.5) Ќапишите программу, котораЯ, берЯ из командной строки
   произвольное число имен файлов, все эти файлы переписывает
   один за другим в cout. Џоскольку в программе происходит
   конкатенациЯ файлов, вы можете назвать ее cat  от слова
   concatenation - конкатенациЯ).
5. (*2) Џереведите небольшую программу с Языка ‘ на ‘++. €змените
   заголовочные файлы так, чтобы они содержали описание всех
   вызываемых функций и описание типов всех параметров. Џо возможности
   все команды #define замените конструкциЯми enum, const или
   inline. “далите из файлов .c все описаниЯ внешних, а определениЯ
   функций приведите к виду, соответствующему ‘++. ‚ызовы malloc() и
   free() замените операциЯми new и delete. “далите ненужные операции
   приведениЯ.
6. (*2) Ќапишите функцию sort() ($$4.6.9), использующую более
   эффективный алгоритм сортировки.
7. (*2) Џосмотрите на определение структуры tnode в $$R.9.3. Ќапишите
   функцию, заносЯщую новые слова в дерево узлов tnode. Ќапишите
   функцию длЯ вывода узлов дерева tnode. Ќапишите функцию,
   котораЯ производит такой вывод в алфавитном порЯдке.
   €змените структуру tnode так, чтобы в ней содержалсЯ
   только указатель на слово произвольной длины, которое размещаетсЯ
   с помощью new в свободной памЯти. €змените функцию так, чтобы
   она работала с новой структурой tnode.
8. (*1) Ќапишите функцию itoa(), котораЯ использовалась в примере
   из $$4.6.8.
9. (*2) “знайте, какие стандартные заголовочные файлы есть в вашей
   системе. Џоройтесь в каталогах /usr/include или /usr/include/CC
   (или в тех каталогах, где хранЯтсЯ стандартные заголовочные
   файлы вашей системы). Џрочитайте любой показавшийсЯ интересным
   файл.
10. (*2) Ќапишите функцию, котораЯ будет переворачивать двумерный
   массив. (Џервый элемент массива станет последним).
11. (*2) Ќапишите шифрующую программу, котораЯ читает символы из
   cin и пишет их в cout в зашифрованном виде. Њожно использовать
   следующий простой метод шифрации: длЯ символа s зашифрованное
   представление получаетсЯ в результате операции s^key[i], где
   key - массив символов, передаваемый в командной строке. ‘имволы
   из массива key используютсЯ в циклическом порЯдке, пока не будет
   прочитан весь входной поток. Џервоначальный текст получаетсЯ
   повторным применением той же операции с теми же элементами key.
   …сли массив key не задан (или задана пустаЯ строка), шифрациЯ не
   происходит.
12. (*3) Ќапишите программу, котораЯ помогает дешифрировать текст,
   зашифрованный описанным выше способом, когда ключ (т.е. массив
   key) неизвестен. Џодсказка: см. D Kahn "The Codebreakers",
   Macmillan, 1967, New York, стр. 207-213.
13. (*3) Ќапишите функцию обработки ошибок, первый параметр который
   подобен форматирующей строке-параметру printf() и содержит форматы
   %s, %c и %d. ‡а ним может следовать произвольное количество
   числовых параметров. ”ункцию printf() не используйте. …сли смысл
   формата %s и других форматов вам неизвестен, обратитесь к $$10.6.
   €спользуйте &lt;stdarg.h>.
14. (*1) Љакое имЯ вы выбрали бы длЯ типов указателей на функции,
   которые определЯютсЯ с помощью typedef?
15. (*2) €сследуйте разные программы, чтобы получить представление
   о разных используемых на практике стилЯх именованиЯ. Љак
   используютсЯ заглавные буквы? Љак используетсЯ подчерк? ‚ каких
   случаЯх используютсЯ такие имена, как i или x?
16. (*1) Љакие ошибки содержатсЯ в следующих макроопределениЯх?
         #define PI = 3.141593;
         #define MAX(a,b) a>b?a:b
         #define fac(a) (a)*fac((a)-1)
17. (*3) Ќапишите макропроцессор с простыми возможностЯми, как у
   препроцессора ‘. ’екст читайте из cin, а результат записывайте
   в cout. ‚начале реализуйте макроопределениЯ без параметров.
   Џодсказка: в программе калькулЯтора есть таблица имен и
   синтаксический анализатор, которыми можно воспользоватьсЯ.
18. (*2) Ќапишите программу, извлекающую квадратный корень из двух (2)
   с помощью стандартной функции sqrt(), но не включайте в программу
   &lt;math.h>. ‘делайте это упражнение с помощью функции sqrt()
   на ”ортране.
19. (*2) ђеализуйте функцию print() из $$4.6.7.


         * ѓ‹Ђ‚Ђ 5. Љ‹Ђ‘‘›

        "ќти типы не абстрактные, они столь же реальны,
         как int и float"
              - „аг Њакилрой

    ‚ этой главе описываютсЯ возможности определениЯ новых типов,
    длЯ которых доступ к данным ограничен заданным множеством
    функций, осуществлЯющих его. ЋбъЯснЯетсЯ, как можно использовать
    члены структуры данных, как ее защищать, инициализировать и,
    наконец, уничтожать. ‚ примерах приведены простые классы длЯ
    управлениЯ таблицей имен, работы со стеком, множеством и
    реализа