R.5.2.2 Вызов функции

R.5.2.2 Вызов функции

Вызов функции является постфиксным выражением, за которым следует, возможно пустой, список выражений в скобках, разделенных запятой. Эти выражения образуют фактические параметры функции. Постфиксное выражение должно иметь тип "функция, возвращающая T", "указатель на функцию, возвращающую T" или "ссылка на функцию, возвращающую T", а результат операции вызова имеет тип "T".

При вызове функции происходит инициализация каждого формального параметра (§R.8.4.3, §R.12.8, $$r.12.1) фактическим параметром. Производятся стандартные (§R.4) и заданные пользователем (§R.12.3) преобразования типа. В функции может изменяться значения непостоянных формальных параметров, но эти изменения не могут повлиять на значения фактических параметров, кроме того случая, когда формальный параметр имеет тип ссылки без спецификации const (§R.8.2.2). Если формальный параметр имеет тип ссылки при необходимости может создаваться временная переменная (§R.7.1.6, §R.2.5,§R.2.5.4,§R.8.2.4, §R.12.2). Добавим, что возможно изменение непостоянных объектов с помощью параметров-указателей.

Функцию можно описать таким образом, что она сможет использовать меньшее число параметров (определив параметры по умолчанию §R.8.2.6) или большее число параметров (с помощью эллипсиса … §R.8.2.5), чем было указано при определении функции (§R.8.3).

Функцию можно вызвать только, если описание ее доступно в той области видимости, где происходит вызов. Отсюда следует, всякий формальный параметр, соответствующий некоторому фактическому параметру, должен быть доступен, если не считать эллипсис (…).

Перед вызовом всякий фактический параметр типа float, для которого нет формального параметра, преобразуется к типу double, а типа char, short, перечисления или битовое поле, для которого нет формального параметра, преобразуется к типу int или unsigned согласно стандартным преобразованиям целочисленных (§R.4.1). Объект, являющийся классом и не имеющий описания формального параметра, передается при вызове как структура данных.

Объект, являющийся классом и имеющий описание формального параметра передается с помощью инициализации формального параметра фактическим параметром, которая происходит перед выполнением функции посредством вызова конструктора (§R.12.2, §R.12.8).

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

Допустимы рекурсивные вызовы.

Операция вызова функции порождает адрес только, если тип результата есть адрес.

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг:

Вызов функций

Из книги автора

Вызов функций После объявления функции ее можно вызвать из любого Web-сценария, присутствующего на этой же Web-странице. Формат вызова функции:<имя функции>([<список фактических параметров, разделенных запятыми>])Здесь указывается имя нужной функции и в круглых


Многократный вызов функции connect для сокета UDP

Из книги автора

Многократный вызов функции connect для сокета UDP Процесс с присоединенным сокетом UDP может снова вызвать функцию connect Для этого сокета, чтобы:? задать новый IP-адрес и порт;? отсоединить сокет.Первый случай, задание нового собеседника для присоединенного сокета UDP, отличается


21.1.1. Вызов gcc

Из книги автора

21.1.1. Вызов gcc Формат вызова компилятора такой:gcc [опции] helloworld.сВы написали свою программу на С++? Нет проблем: компиляторы С и С++ являются интегрированными. Чтобы сообщить компилятору, на каком языке вы писали свою программу, нужно указать определенную опцию при вызове


Вызов

Из книги автора

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


R.5.2.2 Вызов функции

Из книги автора

R.5.2.2 Вызов функции Вызов функции является постфиксным выражением, за которым следует, возможно пустой, список выражений в скобках, разделенных запятой. Эти выражения образуют фактические параметры функции. Постфиксное выражение должно иметь тип "функция, возвращающая T",


8.15. Вызов виртуальной функции родительского класса

Из книги автора

8.15. Вызов виртуальной функции родительского класса ПроблемаТребуется вызвать функцию родительского класса, но она переопределена в производном классе, так что обычный синтаксис p->method() не дает нужного результата.РешениеУкажите полное имя вызываемого метода, включая


Вызов функции с аргументом: фактические аргументы

Из книги автора

Вызов функции с аргументом: фактические аргументы      Задача в данном случае состоит в том, чтобы присвоить некоторую величину формальному аргументу number. После того как эта переменная получит свое значение, программа сможет выполнить свою задачу. Мы присваиваем


Вызов функции

Из книги автора

Вызов функции Вызов функции передает управление и фактические аргументы (если они есть) заданной функции. Синтаксически вызов функции имеет следующий вид:<выражение>([<список выражений>])<Выражение> вычисляется, и его результат интерпретируется как адрес


Вызов функции с переменным числом аргументов

Из книги автора

Вызов функции с переменным числом аргументов Для вызова функции с переменным числом аргументов не требуется никаких специальных действий: в вызове функции просто задается то число аргументов, которое нужно. В предварительном объявлении (если оно есть) переменное число


7.9.3. Вызов

Из книги автора

7.9.3. Вызов Указатель на функцию применяется для вызова функции, которую он адресует. Включать оператор разыменования при этом необязательно. И прямой вызов функции по имени, и косвенный вызов по указателю записываются одинаково:#includeint min( int*, int );int (*pf)( int*, int ) = min;const int iaSize


17.5.3. Статический вызов виртуальной функции

Из книги автора

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


6.8 Вызов Функции

Из книги автора

6.8 Вызов Функции Вызов функции, то есть запись выражение(список_выражний), можно проинтерпретировать как бинарную операцию, и операцию вызова можно перегружать так же, как и другие оперции. Список параметров функции operator() вычисляется и прверяется в соответствие с


Вызов функций

Из книги автора

Вызов функций После того как мы объявили функцию, мы можем вызвать ее из любого места кода в пределах области видимости. Для этого используется следующий формат: <Имя функции>([<Список фактических параметров, разделенных запятыми>]) Здесь указывается имя нужной