Возвращаемое значение

Если функция не описана как 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 &local; // ошибка

}

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

int& f()

{

int local = 1;

// ...

return local; // ошибка

}

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

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