Бьерн Страуструп - Язык программирования С++. Главы 2-4 - Возвращаемое значение

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

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