Стивен Прата - Язык программирования C. Лекции и упражнения (6-е изд.) 2015

Листинг 9.3. Программа lesser.с

Функции 335

Вспомните, что функция scanf() возвращает количество успешно прочитанных элементов, поэтому ввод чего-либо, отличного от двух целых чисел, приведет к прекращению выполнения цикла. Ниже приведены результаты запуска этой программы:

Введите два целых числа (или q для завершения) :

509 333

Меньшим из двух чисел 509 и 333 является 333.

Введите два целых числа (или q для завершения) :

-9393 б

Меньшим из двух чисел -9393 и 6 является -9393.

Введите два целых числа (или q для завершения):

q

Программа завершена.

Ключевое слово return приводит к тому, что следующее за ним выражение становится возвращаемым значением функции. В данном случае функция возвращает значение, которое было присвоено переменной min. Поскольку min имеет тип int, функция imin() также относится к этому типу.

Переменная min является закрытой для imin() , но с помощью return значение min передается обратно вызывающей функции. Действием показанного ниже оператора будет присваивание значения min переменной lesser:

lesser = imin(n,m);

Можно ли было бы взамен написать следующий код?

imin(n, m); lesser = min;

Нет, потому что вызывающая функция даже не подозревает о существовании переменной min. Вспомните, что переменные внутри функции imin() являются локальными по отношению к ней. Вызов функции imin (evill,evil2) копирует значения из одного набора переменных в другой.

Возвращаемое значение не только может быть присвоено переменной, но также использоваться как часть выражения. Например, можно написать следующий код:

answer = 2 * iminfz, zstar) + 25;

printf("%d\n", imin(-32 + answer, LIMIT));

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

/* функция, определяющая минимальное значение, вторая версия */ imin(int n,int т)

{

return (n < m) ? n : m;

}

336 Глава 9

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

А что, если функция возвращает тип, отличающийся от объявленного?

int what_if(int n)

{

double z = 100.0 / (double) n;

return z; // что произойдет?

}

Тогда фактическим значением будет то, что вы получили бы, присвоив указанное возвращаемое значение переменной с объявленным возвращаемым типом. Таким образом, в данном примере конечный итог будет тем же, как если бы вы присвоили значение z переменной типа int и затем возвратили это значение. Предположим, что имеется следующий вызов функции:

result = what_if(64);

Переменная z получает значение 1.562 5. Тем не менее, оператор return возвращает значение 1 типа int.

Применение оператора return дает еще один результат. Он завершает функцию и возвращает управление следующему оператору внугри вызывающей функции. Это происходит даже в случае, если оператор return в функции не является последним. Следовательно, код функции imin() можно записать так, как показано ниже:

/* функция, определяющая минимальное значение, третья версия */ imin(int n, int m)

{

if (n < m) return n;

else

return m;

}

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

/* функция, определяющая минимальное значение, четвертая версия */ imin(int n, int m)

{

if (n < m) return n;

else

return m;

printf("Профессор Флеппард - тщеславный, манерный и тупой щеголь.\n" );

}

Операторы return предотвращают достижение оператора printf(). Профессор Флеппард может пользоваться скомпилированной версией этой функции в собствен-

Функции 337

ных программах, так никогда и не узнав истинного к нему отношения со стороны своего студента.

Можно также применять оператор такого вида: return;

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

Типы функций

Функции должны объявляться с указанием типов. Функция с возвращаемым значением должна быть объявлена с тем же типом, что и у возвращаемого значения. Функция без возвращаемого значения должна быть объявлена с типом void. Если функции не назначен тип, то в более ранних версиях С предполагалось, что такая функция относится к типу int. Это соглашение восходит к давним временам существования языка С, когда большинство функций имели тип int. Однако поддержка такого неявного предположения о типе int из стандарта С99 изъята.

Объявление типа является частью определения функции. Имейте в виду, что оно относится к возвращаемому значению, но не к аргументам функции. Например, приведенный ниже заголовок функции указывает на то, что вы определяете функцию, которая принимает два аргумента типа int, но возвращает значение типа double:

double klinklint а, int b)

Для корректного использования функции программа должна знать тип функции до первого ее вызова. Один из способов достижения этого предусма тривает размещение полного определения функции до ее первого применения. Однако такой метод может затруднить восприятие программы. Кроме того, функции могут быть частью библиотеки С или находиться в каком-то другом файле. Таким образом, обычно вы информируете компилятор о функциях, объявляя их заранее. Например, функция main() из листинга 9.3 содержит следующие строки:

#include int imin (int, int); int main(void)

<

int evill, evil2, lesser;

Вторая строка кода устанавливает, что imin является именем функции, которая имеет два параметра типа int и возвращает значение типа int. Теперь компилятор будет знать, каким образом трактовать конструкцию imin(), когда она позже встретится в программе.

Мы разместили предварительные объявления функций за пределами функции, в которой они используются. Их также можно поместить внутрь этой функции. Например, начало программы lesser, с можно переписать так:

#include int main(void)

<