Брайан Керниган - Язык программирования Си. Издание 3-е, исправленное

Инструкция returnреализует механизм возврата результата от вызываемой функции к вызывающей. За словом return может следовать любое выражение:

return выражение ;

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

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

Функция main в программе поиска по образцу возвращает в качестве результата количество найденных строк. Это число доступно той среде, из которой данная программа была вызвана.

Механизмы компиляции и загрузки Си-программ, расположенных в нескольких исходных файлах, в разных системах могут различаться. В системе UNIX, например, эти работы выполняет упомянутая в главе 1 команда cc . Предположим, что три функции нашего последнего примера расположены в трех разных файлах: main.с , getline.c и strindex.c . Тогда команда

cc main.с getline.c strindex.c

скомпилирует указанные файлы, поместив результат компиляции в файлы объектных модулей main.o , getline.o и strindex.o , и затем загрузит их в исполняемый файл a.out . Если обнаружилась ошибка, например в файле main.с , то его можно скомпилировать снова и результат загрузить ранее полученными объектными файлами, выполнив следующую команду:

cc main.с getline.o strindex.o

Команда cc использует стандартные расширения файлов ".с" и ".о", чтобы отличать исходные файлы от объектных.

Упражнение 4.1. Напишите функцию strindex(s, t), которая выдает позицию самого правого вхождения t в s или -1, если вхождения не обнаружено.

В предыдущих примерах функции либо вообще не возвращали результирующих значений ( void), либо возвращали значения типа int. А как быть, когда результат функции должен иметь другой тип? Многие вычислительные функции, как, например, sqrt, sin и cos, возвращают значения типа double; другие специальные функции могут выдавать значения еще каких-то типов. Чтобы проиллюстрировать, каким образом функция может возвратить нецелое значение, напишем функцию atof(s) , которая переводит строку s в соответствующее число с плавающей точкой двойной точности. Функция atof представляет собой расширение функции atoi , две версии которой были рассмотрены в главах 2 и 3. Она имеет дело со знаком (которого может и не быть), с десятичной точкой, а также с целой и дробной частями, одна из которых может отсутствовать. Наша версия не является высококачественной программой преобразования вводимых чисел; такая программа потребовала бы заметно больше памяти. Функция atof входит в стандартную библиотеку программ: ее описание содержится в заголовочном файле ‹stdlib.h›.

Прежде всего отметим, что объявлять тип возвращаемого значения должна сама atof , так как этот тип не есть int . Указатель типа задается перед именем функции.

#include ‹ctype.h›

/*atof: преобразование строки s в double */

double atof (char s[])

{

double val, power;

int i, sign;

for (i = 0; isspace(s[i]); i++)

; /* игнорирование левых символов-разделителей */

sign = (s[i] == '-') ? -1 : 1;

if (s[i] == '+' || s[i] == '-')

i++;

for (val = 0.0; isdigit(s[i]); i++)

val = 10.0 * val + (s[i] - '0');

if (s[i] == '.')

i++;

for (power = 1.0; isdigit(s[i]); i++) {

val = 10.0 * val + (s.[i] - '0');

power *= 10.0;

}

return sign * val / power;

}

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