Функции, которые не возвращают значений (void-функции)

Как вы заметили, функции, которые не возвращают значений, объявляются с указанием типа void. Это ключевое слово не допускает их использования в выражениях и защищает от неверного применения. В следующем примере функция print_vertical() выводит аргумент командной строки в вертикальном направлении (вниз) по левому краю экрана. Поскольку эта функция не возвращает никакого значения, в ее объявлении использовано ключевое слово void.

#include <iostream>

using namespace std;

void print_vertical(char *str);

int main(int argc, char *argv[])

{

　if(argc==2) print_vertical(argv[1]);

　return 0;

}

void print_vertical(char *str)

{

　while(*str)

　cout << *str++ << '\n';

}

Поскольку print_vertical() объявлена как void-функция, ее нельзя использовать в выражении. Например, следующая инструкция неверна и поэтому не скомпилируется.

х = print_vertical("Привет!"); // ошибка

Важно! В первых версиях языка С не был предусмотрен тип void. Таким образом, в старых С-программах функции, не возвращающие значений, по умолчанию имели тип int. Если вам придется встретиться с такими функциями при переводе старых С-программ "на рельсы" C++, просто объявите их с использованием ключевого слова void, сделав их void-функциями.

Функции, которые возвращают указатели

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

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

int *f();

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

В следующей программе демонстрируется использование указателя в качестве типа возвращаемого значения. Это — новая версия приведенной выше функции find_substr(), только теперь она возвращает не индекс найденной подстроки, а указатель на нее. Если заданная подстрока не найдена, возвращается нулевой указатель.

// Новая версия функции find_substr().

// которая возвращает указатель на подстроку.

#include <iostream>

using namespace std;

char *find_substr(char *sub, char *str);

int main()

{

　char *substr;

　substr = find_substr("три", "один два три четыре");

　cout << "Найденная подстрока: " << substr;

　return 0;

}

// Функция возвращает указатель на искомую подстроку или нуль, если таковая не будет найдена.

char *find_substr(char *sub, char *str)

{

　int t;

　char *p, *p2, *start;

　for(t=0; str[t]; t++) {

　　p = &str[t]; // установка указателей

　　start = p;

　　р2 = sub;

　　while(*р2 && *p2==*p) { // проверка совпадения

　　　р++; р2++;

　　}

　　/* Если достигнут конец р2-подстроки, то эта подстрока была найдена. */

　　if(!*р2) return start; // Возвращаем указатель на начало найденной подстроки.

　}

　return 0; // подстрока не найдена

}

При выполнении этой версии программы получен следующий результат.

Найденная подстрока: три четыре

В данном случае, когда подстрока "три" была найдена в строке "один два три четыре", функция find_substr() возвратила указатель на начало искомой подстроки "три", который в функции main() был присвоен переменной substr. Таким образом, при выводе значения substr на экране отобразился остаток строки, т.е. "три четыре".

Многие поддерживаемые C++ библиотечные функции, предназначенные для обработки строк, возвращают указатели на символы. Например, функция strcpy() возвращает указатель на первый аргумент.