Современная электронная библиотека ModernLib.Net

C++

ModernLib.Net / Программирование / Хилл Мюррей / C++ - Чтение (стр. 17)
Автор: Хилл Мюррей
Жанр: Программирование

 

 


      Результатом унарной операции + является значение ее опранда после выполнения обычных арифметических преобразований. Операнд должен быть арифметического типа.
      Результатом унарной операции – является отрицательное значение ее операнда. Операнд должен иметь целый тип. Выпоняются обычные арифметические преобразования. Отрицательое значение беззнаковой величины вычислятся посредством вычитния ее значения из 2n, где n -число битов в целом типа int.
      Результатом операции логического отрицания ! является 1, если значение операнда 0, и 0, если значение операнда не 0. Результат имеет тип int. Применима к любому арифметическому типу или к указателям.
      Операция ~ дает дополнение значения операнда до единицы. Выполняются обычные арифметические преобразования. Операнд должен иметь целочисленный тип.

7.2.1 Увеличение и Уменьшение

      Операнд префиксного ++ получает приращение. Операнд дожен быть адресным . Значением является новое значение операда, но оно не адресное. Выражение ++x эквивалентно x+=1. По поводу данных о преобразованиях см. обсуждение операций слжения (#7.4) и присваивания (#7.14).
      Операнд префиксного – уменьшается аналогично действию префиксной операции ++.
      Значение, получаемое при использовании постфиксного ++, есть значение операнда. Операнд должен быть адресным. После того, как результат отмечен, объект увеличивается так же, как и в префиксной операции ++. Тип результата тот же, что и тип операнда.
      Значение, получаемое при использовании постфиксной –, есть значение операнда. Операнд должен быть адресным. После того, как результат отмечен, объект увеличивается так же, как и в префиксной операции ++. Тип результата тот же, что и тип операнда.

7.2.2 Sizeof

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

7.2.3 Явное Преобразование Типа

      Простое_имя_типа (#8.2), возможно, заключенное в скобки, за которым идет заключенное в скобки выражение (или спсок_выражений, если тип является классом с соответствующим образом описанным конструктором #8.5.5) влечет преобразование значения выражения в названный тип. Чтобы записать преобразвание в тип, не имеющий простого имени, имя_типа (#8.7) долно быть заключено в скобки. Если имя типа заключено в скобки, выражение заключать в скобки необязательно. Такая запись нзывается приведением к типу.
      Указатель может быть явно преобразован к любому из целчисленных типов, достаточно по величине для его хранения. То, какой из int и long требуется, является машинно зависимым. Отобразующая функция также является машинно зависимой, но предполагается, что она не содержит сюрпризов для того, кто знает структуру адресации в машине. Подробности для некоторых конкретных машин были приведены в #2.6.
      Объект целочисленного типа может быть явно преобразован в указатель. Отображающая функция всегда превращает целое, полученное из указателя, обратно в тот же указатель, но в отальных случаях является машинно зависимой.
      Указатель на один тип может быть явно преобразован в указатель на другой тип. Использование полученного в резултате указателя может привести к исключительной ситуации адресации, если исходный указатель не указывает на объект, сооветствующим образом выравненный в памяти. Гарантируется, что указатель на объект данного размера может быть преобразован в указатель на объект меньшего размера и обратно без изменений. Различные машины могут различаться по числу бит в указателях и требованиям к выравниванию объектов. Составные объекты вравниваются по самой строгой границе, требуемой каким-либо из его составляющих.
      Объект может преобразовываться в объект класса только если был описан соответствующий конструктор или операция пробразования (#8.5.6).
      Объект может явно преобразовываться в ссылочный тип amp;X, если указатель на этот объект может явно преобразовываться в X*.

7.2.4 Свободная Память

      Операция new создает объект типа имя_типа (см. #8.7), к которому он применен. Время жизни объекта, созданного с пмощью new, не ограничено областью видимости, в которой он создан. Операция new возвращает указатель на созданный ей объект. Когда объект является массивом, возвращается указетль на его первый элемент. Например, и new int и new int[10] возвращают int*. Для объектов некоторых классов надо предотавлять инициализатор (#8.6.2). Операция new (#7.2) для полчения памяти вызывает функцию
      void* operator new (long);
      Параметр задает требуемое число байтов. Память будет инициализирована. Если operator new() не может найти требумое количество памяти, то она возвращает ноль.
      Операция delete уничтожает объект, созданный операцией new. Ее результат является void. Операнд delete должен быть указателем, возвращенным new. Результат применения delete к указателю, который не был получен с помощью операции new. Онако уничтожение с помощью delete указателя со значением ноль безвредно.
      Чтобы освободить указанную память, операция delete вызвает функцию
      void operator delete (void*);
      В форме
      delete [ выражение ] выражение
      второй параметр указывает на вектор, а первое выражение задает число элементов этого вектора. Задание числа элементов является избыточным за исключением случаев уничтожения вектров некоторых классов, см. #8.5.8.

7.3 Мультипликативные Операции

      Мультипликативные операции *, / и % группируют слева направо. Выполняются обычные арифметические преобразования.
      мультипликативное_выражение: выражение * выражение выражение / выражение выражение % выражение
      Бинарная операция * определяет умножение. Операция * ассоциативна и выражения с несколькими умножениями на одном уровне могут быть реорганизованы компилятором. Бинарная операция / определяет деление. При делении пложительных целых округление осуществляется в сторону 0, но если какой-либо из операндов отрицателен, то форма округления является машинно зависимой. На всех машинах, охватываемых данным руководством, остаток имеет тот же знак, что и делмое. Всегда истиинно, что (a/b)*b + a%b равно a (если b не 0).
      Бинарная операция % дает остаток от деления первого вражения на второе. Выполняются обычные арифметические преоразования. Операнды не должны быть числами с плавающей токой.

7.4 Аддитивные Операции

      Аддитивные операции + и – группируют слева направо. Выполняюься обычные арифметические преобразования. Каждая операция имеет некоторые дополнительные возможности, связаные с типами.
      аддитивное_выражение: выражение + выражение выражение – выражение
      Результатом операции + является сумма операндов. Можно суммировать указатель на объект массива и значение целого тпа. Последнее во всех случаях преобразуется к смещению адреса с помощью умножения его на длину объекта, на который указывет указатель. Результатом является указатель того же типа, что и исходный указатель, уазывающий на другой объект того же массива и соответствующим образом смещенный от первоначальнго объекта. Так, если P есть указатель на объект массива, то выражение P+1 есть указатель на следующий объект массива.
      Никакие другие комбинации типов для указателей не допутимы.
      Операция + ассоциативна и выражение с несколькими умнжениями на одном уровне может быть реорганизовано компилятром.
      Результатом операции – является разность операндов. Выполняюься обычные арифметические преобразования. Кроме тго, значение любого целого типа может вычитаться из указатля, в этом случае применяются те же преобразования, что и к сложению.
      Если вычитаются указатели на объекты одного типа, то рзультат преобразуется (посредством деления на длину объекта) к целому, представляющему собой число объектов, разделяющих объекты, указанные указателями. В засисимости от машины рзультирующее целое может быть или типа int, или типа long, см. #2.6. Вообще говоря, это преобразование будет давать нопределенный результат кроме тех случаев, когда указатели указывают на объекты одного массива, поскольку указатели, дже на объекты одинакового типа, не обязательно различаются на величину, кратную длине объекта.

7.5 Операции Сдвига

      Операции сдвига «„ и “» группируют слева направо. Обе выполняют одно обычное арифметическое преобразование над свими операндами, каждый из которых должен быть целым. В этом случае правый операнд преобразуется к типу int; тип результта совпадает с типом левого операнда. Результат неопределен,
      если правый операнд отрицателен или больше или равен длине объекта в битах.
      сдвиговое_выражение: выражение «„ выражение выражение “» выражение
      Значением Е1 «„ Е2 является Е1 (рассматриваемое как бтовое представление), сдвинутое влево на Е2 битов; освободишиеся биты заполняются нулями. Значением Е1 “» Е2 является Е1 , сдвинутое вправо на Е2 битовых позиций. Гарантируется, что сдвиг вправо является логическим (заполнение нулями), если Е1 является unsigned; в противном случае он может быть арифметчевким (заполнение копией знакового бита).

7.6 Операции Отношения

      Операции отношения (сравнения) группируют слева направо, но этот факт не очень-то полезен: a « b « c не означает то, чем кажется.
      выражение_отношения: выражение « выражение выражение » выражение выражение «= выражение выражение »= выражение
      Операции « (меньше чем), » (больше чем), «= и »= все дют 0, если заданное соотношение ложно, и 1, если оно истинно. Тип результата int. Выполняются обычные арифметические преоразования. Могут сравниваться два указателя; результат завсит от относительного положения объектов, на которые указывют указатели, в адресном пространстве. Сравнение указателей переносимо только если указатели указывают на объекты одного массива.

7.7 Операции Равенства

      выражение_равенства: выражение == выражение выражение != выражение
      Операции == и != в точности аналогичны операциям сравнния за исключением их низкого приоритета. (Так, a«b == c«d есть 1 всегда, когда a«b и c«d имеют одинаковое истинностное значение.)
      Указатель может сравниваться с 0.

7.8 Операция Побитовое И

      И-выражение: выражение amp; выражение
      Операция amp; ассоциативна, и выражения, содержащие amp;, мгут реорганизовываться. Выполняются обычные арифметические преобразования; результатом является побитовая функция И опрандов. Операция применяется только к целым операндам.

7.9 Операция Побитовое Исключающее ИЛИ

      исключающее_ИЛИ_выражение: выражение ^ выражение
      Операция ^ ассоциативна, и выражения, содержащие ^, мгут реорганизовываться. Выполняются обычные арифметические преобразования; результатом является побитовая функция исключающее ИЛИ операндов. Операция применяется только к целым операндам.

7.10 Операция Побитовое Включающее ИЛИ

      включающее_ИЛИ_выражение: выражение ! выражение
      Операция ! ассоциативна, и выражения, содержащие !, мгут реорганизовываться. Выполняются обычные арифметические преобразования; результатом является побитовая функция вклчающее ИЛИ операндов. Операция применяется только к целым операндам.

7.11 Операция Логическое И

      логическое_И_выражение: выражение amp; amp; выражение
      Операция amp; amp; группирует слева направо. Она возвращает 1, если оба операнда ненулевые, и 0 в противном случае. В протвоположность операции amp; операция amp; amp; гарантирует вычисление слева направо; более того, второй операнд не вычисляется, ели первый операнд есть 0.
      Операнды не обязаны иметь один и тот же тип, но каждый из них должен иметь один из основных типов или быть указатлем. Результат всегда имеет тип int.

7.12 Операция Логическое ИЛИ

      логическое_ИЛИ_выражение: выражение !! выражение
      Операция !! группирует слева направо. Она возвращает 1, если хотя бы один из ее операндов ненуелвой, и 0 в противном случае. В противоположность операции ! операция !! гарантирет вычисление слева направо; более того, второй операнд не вычисляется, если первый операнд не есть 0.
      Операнды не обязаны иметь один и тот же тип, но каждый из них должен иметь один из основных типов или быть указатлем. Результат всегда имеет тип int.

7.13 Условная Операция

      условное_выражение: выражение ? выражение : выражение
      Условная операция группирует слева направо. Вычисляется первое выражение, и если оно не 0, то результатом является значение второго выражения, в противном случае значение третьего выражения. Если это возможно, то выполняются обычные арифметические преобразования для приведения второго и третего выражения к общему типу. Если это возможно, то выполняюся преобразования указателей для приведения второго и третего выражения к общему типу. Вычисляется только одно из второго и третьего выражений.

7.14 Операции Присваивания

      Есть много операций присваивания, все группируют слева направо. Все в качестве левого операнда требуют lvalue, и тип выражения присваивания тот же, что и у его левого операнда. Это lvalue не может ссылаться на константу (имя массива, имя функции или const). Значением является значение, хранящееся в левом операнде просле выполнения присваивания.
      выражение_присваивания:
      выражение операция_присваивания выражение
      операция_присваивания: одна из
      = += -= *= /= %= »»= ««= amp;= ~= !=
      В простом присваивании с = значение выражения замещает собой значение объекта, на который ссылается операнд в левой части. Если оба операнда имеют арифметический тип, то при подготовке к присваиванию правый операнд преобразуется к типу левого. Если аргумент в левой части имеет указательный тип, аргумент в правой части должен быть того же типа или типа, который может быть преобразован к нему, см. #6.7. Оба операда могут быть объектами одного класса. Могут присваиваться объекты некоторых производных классов, см. #8.5.3.
      Присваивание объекту типа «указатель на ...» выполнит присваивание объекту, денотируемому ссылкой.
      Выполнение выражения вида E1 op= E2 можно представить себе как эквивалентное E1 = E1 op (E2); но E1 вычисляется только один раз. В += и -= левый операнд может быть указатлем, и в этом случае (целочисленный) правый операнд преобрзуется так, как объяснялось в #7.4; все правые операнды и не являющиеся указателями левые должны иметь арифметический тип.

7.15 Операция Запятая

      запятая_выражение: выражение , выражение
      Пара выражений, разделенных запятой, вычисляется слева направо, значение левого выражения теряется. Тип и значение результата являются типом и значением правого операнда. Эта операция группирует слева направо. В контексте, где запятая имеет специальное значение, как например в списке фактических параметров функции (#7.1) и в списке инициализаторов (#8.6), операция запятая, как она описана в этом разделе, может пояляться только в скобках; например,
      f (a,(t=3,t+2),c)
      имеет три параметра, вторым из которых является значение 5.

7.16 Перегруженные Операции

      Большинство операций может быть перегружено, то есть, описано так, чтобы они получали в качестве операндов объекты классов (см. #8.5.11). Изменить приоритет операций невозмоно. Невозможно изменить смысл операций при применении их к неклассовым объектам. Предопределенный смысл операций = и amp; (унарной) при применении их к объектам классов может быть именен.
      Эквивалентность операций, применяемых к основным типам (например, ++a эквивалентно a+=1), не обязательно выполняется для операций, применяемых к классовым типам. Некоторые оперции, например, присваивание, в случае применения к основным типам требуют, чтобы операнд был lvalue; это не требуется для операций, описанных для классовых типов.

7.16.1 Унарные Операции

      Унарная операция, префиксная или постфиксная, может быть определена или с помощью функции члена (см. #8.5.4), не получающей параметров, или с помощью функции друга (см. #8.5.10), получающей один параметр, но не двумя способами одновременно. Так, для любой унарной операции @, x@ и @x могут интерпретроваться как x.операция@() или операция@(x). При перегрузке операций ++ и – невозможно различить префиксное и постфикное использование.

7.16.2 Бинарные Операции

      Бинарная операция может быть определена или с помощью функции члена (см. #8.5.4), получающей один параметр, или с помощью функции друга (см. #8.5.9), получающей два параметра, но не двумя способами одновременно. Так, для любой бинарной операции @, x@y может быть проинтерпретировано как x.operator @(y) или operator@(x,y).

7.16.3 Особые Операции

      Вызов функции первичное_выражение ( список_выражений opt )
      и индексирование
      первичное_выражение [ выражение ]
      считаются бинарными операциями. Именами определяющей функции являются соответсвенно operator() и operator[]. Обрщение x(arg) интерпретируется как x.operator()(arg) для класового объекта x. Индексирование x[y] интерпретируется как x. operator[](y).

8. Описания

      Описания используются для определения интерпретации, дваемой каждому идентификатору. Они не обязательно резервируют память, связанную с идентификатором. Описания имеют вид:
      описание: спецификаторы_описания opt список_описателей opt ; описание_имени asm_описание
      Описатели в списке_описателей содержат идентификаторы, подлежащие описанию. Спецификаторы_описания могут быть опущны только в определениях внешних функций (#10) или в описанях внешних функций. Список описателей может быть пустым толко при описании класса (#8.5) или перечисления (#8.10), то есть, когда спецификаторы_описания – это class_спецификатор или enum_спецификатор. Описания имен описываются в #8.8; опсания asm описаны в #8.11.
      спецификатор_описания: спецификатор_класса_памяти спецификатор_типа спецификатор_функции friend typedef
      спецификаторы_описания: спецификатор_описания спецификатор_описания opt
      Список должен быть внутренне непротиворечив в описывамом ниже смысле.

8.1 Спецификаторы Класса Памяти

      Спецификаторы – это:
      спецификатор_класса_памяти: auto static extern register
      Описания, использующие спецификаторы auto, static и register также служат определениями тем, что они вызывают рзервирование соответствующего объема памяти. Если описание extern не является определением (#4.2), то где-то еще должно быть определение для данных идентификаторов.
      Описание register лучше всего представить как описание auto (автоматический) с подсказкой компилятору, что описанные переменные усиленно используются. Подсказка может быть проинорирована. К ним не может применяться операция получения ареса amp;.
      Спецификаторы auto или register могут применяться только к именам, описанным в блоке, или к формальным параметрам. Внутри блока не может быть описаний ни статических функций, ни статических формальных параметров.
      В описании может быть задан максимум один sc_спецификтор. Если в описании отсутсвует спецификатор_класса_памяти, то класс памяти принимается автоматическим внутри функции и статическим вне. Исключение: функции не могут быть автоматческими.
      Спецификаторы static и extern могут использоваться толко для имен объектов и функций.
      Некоторые спецификаторы могут использоваться только в описаниях функций:
      спецификатор_функции: overload inline virtual
      Спецификатор перегрузки overload делает возможным ипользование одного имени для обозначения нескольких функций, см. #8.9.
      Спецификатор inline является только подсказкой компилтору, не влияет на смысл программы и может быть проигнорирван. Он используется, чтобы указать на то, что при вызове функции inline-подстановка тела функции предпочтительнее обычной реализацци вызова функции. Функция (#8.5.2 и #8.5.10), определенная внутри описания класса, является inline по умолчанию.
      Спецификатор virtual может использоваться только в опсаниях членов класса, см. #8.5.4.
      Спецификатор friend используется для отмены правил сорытия имени для членов класса и может использоваться только внутри описаний классов, см. #8.5.9.
      С помощью спецификатора typedef вводится имя для типа, см. #8.8.

8.2 Спецификаторы Типа

      Спецификаторами типов (спецификатор_типа) являются:
      спецификатор_типа:
      простое_имя_типа спецификатор_класса enum-спецификатор сложный_спецификатор_типа const
      Слово const можно добавлять к любому допустимому спецфикатору_типа. В остальных случаях в описании может быть дано не более одного спецификатора_типа. Объект типа const не яляется lvalue. Если в описании опущен спецификатор типа, он принимается int.
      простое_имя_типа: char short int long unsigned float double const void
      Слова long, short и unsigned можно рассматривать как прилагательные. Они могут применяться к типу int; unsigned может также применяться к типам char, short и long.
      Спецификаторы класса и перечисления обсуждаются в #8.5 и #8.10 соответственно.
      сложный_спецификатор_типа: ключ typedef-имя ключ идентификатор
      ключ: class struct union enum
      Сложный спецификатор типа можно использовать для ссылки на имя класса или перечисления там, где имя может быть скрыто локальным именем. Например:
      class x (* ... *);
      void f(int x) (* class x a; // ... *)
      Если имя класса или перечисления ранее описано не было, сложный_спецификатор_типа работает как описание_имени, см. #8.8.

8.3 Описатели

      Список_описателей, появляющийся в описании, есть раздленная запятыми последовательность описателей, каждый из кторых может иметь инициализатор.
      список_описателей: иниц_описатель иниц_описатель , список_описателей
      иниц_описатель:
      описатель инициализатор opt
      Инициализаторы обсуждаются в #8.6. Спецификатор в описнии указывает тип и класс памяти объектов, к которым относятся описатели. Описатели имеют синтаксис:
      описатель: оп_имя ( описатель ) * const opt описатель amp; const opt описатель описатель ( список_описаний_параметров ) описатель [ константное_выражение opt ]
      оп-имя: простое_оп_имя typedef-имя :: простое_оп_имя
      простое_оп_имя: идентификатор typedef-имя ~ typedef-имя имя_функции_операции имя_функции_преобразования
      Группировка та же, что и в выражениях.

8.4 Смысл описателей

      Каждый описатель считается утверждением того, что если в выражении возникает конструкция, имеющаяя ту же форму, что и описатель, то она дает объект указанного типа и класса памти. Каждый описатель содержит ровно одно оп_имя; оно опредляет описываемый идентификатор. За исключением описаний некторых специальных функций (см. #8.5.2) , оп_имя будет простым идентификатором.
      Если в качестве описателя возникает ничем не снабженный идентификатор, то он имеет тип, указанный спецификатором, возглавляющим описание.
      Описатель в скобках эквивалентен описателю без скобок, но связку сложных описателей скобки могут изменять.
      Теперь представим себе описание
      T D1
      где T – спецификатор типа (как int и т.д.), а D1 – опсатель. Допустим, что это описание заставляет идентификатор иметь тип «... T», где «...» пусто, если идентификатор D1 есть просто обычый идентификатор (так что тип x в «int x» есть просто int). Тогда, если D1 имеет вид
      *D
      то тип содержащегося идентификатора есть «...указатель на T.»
      Если D1 имеет вид
      * const D
      то тип содержащегося идентификатора есть «... констанный указатель на T», то есть, того же типа, что и *D, но не lvalue.
      Если D1 имеет вид
      amp;D
      или
      amp; const D
      то тип содержащегося идентификатора есть «... ссылка на T.» Поскольку ссылка по определению не может быть lvalue, ипользование const излишне. Невозможно иметь ссылку на void (void amp;).
      Если D1 имеет вид
      D (список_описаний_параметров)
      то содержащийся идентификатор имеет тип «... функция, принимающая параметр типа список_описаний_параметров и возращающая T.»
      список_описаний_параметров: список_описаний_парам opt ... opt
      список_описаний_парам: список_описаний_парам , описание_параметра описание_параметра
      описание_параметра: спецификаторы_описания описатель спецификаторы_описания описатель = выражение спецификаторы_описания абстракт_описатель спецификаторы_описания абстракт_описатель = выражение
      Если список_описаний_параметров заканчивается многоточем, то о числе параметров известно лишь, что оно равно или больше числа специфицированных типов параметров; если он пуст, то функция не получает ни одного параметра. Все описния для функции должны согласовываться и в типе возвращаемого значения, а также в числе и типе параметров.
      Список_описаний_параметров используется для проверки и преобразования фактических параметров и для контроля присвавания указателю на функцию. Если в описании параметра указано выражение, то это выражение используется как параметр по умолчанию. Параметры по умолчанию будут использоваться в взовах, где опущены стоящие в хвосте параметры. Параметр по умолчанию не может переопределяться более поздними описаними. Однако, описание может добавлять параметры по умолчанию, не заданные в предыдущих описаниях.
      По желанию можно задать идентификатор как имя параметра. Если он присутствует в описании функции, его использовать нельзя, поскольку он сразу выходит из области видимости. Если он присутствует в определении функции (#10), то он именует фармальный параметр.
      Если D1 имеет вид
      D[ константное_выражение ]
      или
      D[]
      то тип содержащегося идентификатора есть «... массив объектов типа T». В первом случае константное выражение есть выражение, значение которого может быть определено во время компиляции, и тип которого int. (Константные выражения определены в #12.) Если подряд идут несколько спецификаций «масив из», то создается многомерный массив; константное выражние, определяющее границы массива, может быть опущено только для первого члена последовательности. Этот пропуск полезен, когда массив является внешним, и настоящее определение, котрое резервирует память, находится в другом месте. Первое константное выражение может также быть опущено, когда за опсателем следует инициализация. В этом случае используется размер, вычисленный исходя из числа начальных элементов.
      Массив может быть построен из одного из основных типов, из указателей, из структуры или объединения или из другого массива (для получения многомерного массива).
      Не все возможности, которые позволяет приведенный выше синтаксис, допустимы. Ограничения следующие: функция не может возвращать массив или функцию, хотя она может возвращать укзатели на эти объекты; не существует массивов функций, хотя могут быть массивы указателей на функции.

8.4.1 Примеры

      Описание
      int i; int *pi; int f (); int *fpi (); int (*pif) ();
      описывает целое i, указатель pi на целое, функцию f, возвращающую целое, функцию fpi , возвращающую указатель на целое, и указатель pif на функцию, возвращающую целое. Осбенно полезно сравнить последние две. Цепочка *fpi() есть *(fpi()), как предполагается в описании, и та же конструкция требуется в выражении, вызов функции fpi, и затем использовние косвенного обращения через (указательный) результ, чтобы получить целое. В описателе (*pif)() дополнительные скобки необходимы для указания того, что косвенность через указатель на функцию дает функцию, которая затем вызывается. Функции f и fpi описаны как не получающие параметров, а pif как указвающая на функцию, не получающую параметров.
      Описание
      const a = 10, *pc = amp;a, *const cpc = pc; int b, *const cp = amp;b;
      описывает a: целую константу, pc: указатель на целую константу, cpc: константный указатель на целую константу, b: целое и cp: константный указатель на целое. Значения a, cpc и cp не могут быть изменены после инициализации. Значение pc может быть изменено, как и объект, указываемый cp. Примеры недопустимых выражений:
      a = 1; a++; *pc = 2; cp = amp;a; cpc++;
      Примеры допустимых выражений:
      b = a; *cp = a; pc++; pc = cpc; Описание
      fseek (FILE*,long,int);
      описывает функцию, получающую три параметра указанных типов. Поскольку тип возвращаемого значения не задан, он прнимается int (#8.2). Описание
      point (int = 0,int = 0);
      описывает функцию, которая может вызываться без парамеров, с одним или с двумя параметрами типа int. Ее можно вызвать одним из следующих способов:
      point (1,2); point (1); point ();
      Описание
      printf (char* ... );
      описывает функцию, которая может вызываться с различными числом и типами параметров. Например
      printf («hello, world»); printf («a=%d b=%d»,a,b);
      Однако, всегда ее первым параметром должен быть char*.
      Описание
      float fa[17], *afp[17];
      описывает массив чисел с плавающей точкой и массив укзателей на числа с плавающей точкой. И, наконец,
      static int x3d[3][5][7];
      описывает массив целых, размером 3x6x7. Совсем подробно: x3d является массивом из трех элементов данных; каждый из элементов данных является массивом из пяти массивов; каждый из последних массивов является массивом из семи целых. Пояление каждое из выражений x3d, x3d[i], x3d[i][j], x3d[i][j][k] может быть приемлемо в выражении.

  • Страницы:
    1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20