О функциях
Функция не может возвращать массив, но может возвращать указатель на любой тип, в том числе и на массив. Тип возвращаемого значения, задаваемый в определении функции, должен соответствовать типу в объявлении этой функции.
Имя функции строится по стандартным правилам записи идентификаторов.
Список формальных параметров - это заключенная в круглые скобки последовательность объявлений формальных параметров, разделенных запятыми.
Формальные параметры - это переменные, используемые внутри тела функции и получающие значения при вызове функции путем копирования в них значений соответствующих фактических параметров.
Список формальных параметров может заканчиваться многоточием (…) – это означает, что число аргументов функции переменное. Однако предполагается, что функция имеет, по крайней мере, столько обязательных аргументов, сколько формальных параметров задано перед последней запятой в списке параметров.
Такой функции может быть передано большее число аргументов, но над дополнительными аргументами не проводится контроль типов , например,
void fn(unsigned c,float b,int a,…); т. е. число аргументов функции fn3.
Если функция не имеет параметров, то наличие круглых скобок обязательно, а вместо списка параметров рекомендуется указать слово void.
Порядок и типы формальных параметров должны быть одинаковыми в определении функции и во всех ее объявлениях. Тип формального параметра может быть любым основным типом, структурой, объединением, перечислением, указателем или массивом. Типы фактических аргументов при вызове функции должны быть совместимы с типами соответствующих формальных параметров. Фактические аргументы функции при ее вызове помещаются в специальную область памяти программы, которая называется стек. Память в стеке выделяется в соответствии с типами формальных параметров. Несоответствие типов фактических аргументов и формальных параметров может быть причиной ошибки.
Параметры функции бывают двух видов: параметры-значения и параметры-ссылки. Параметры-значения функции могут рассматриваться как локальные переменные, для которых выделяется память в стеке при вызове функции и производится копирование значений фактических аргументов. При завершении работы функции происходит очистка стека от данных, принадлежащих этой функции, при этом значения переменных теряются. Такой способ передачи параметров в функцию не изменяет значения переменных в вызывающей функции, являющихся фактическими параметрами.
Пример передачи в функцию параметров-значений b и c:
int fn1(int b,float c);
Второй способ передачи параметров представляет собой передачу в функцию адреса фактического аргумента. Обращение к фактическому аргументу по адресу позволяет вызванной функции изменить его значение в вызвавшей эту функцию подпрограмме.
В качестве такого параметра можно использовать указатель на некоторую переменную:
int fn2(int* pb);
Используя операцию косвенной адресации в теле функции, можно изменить значение этой переменной: *pb=6.
Другой способ передачи в функцию адреса переменной – передача параметра по ссылке, при этом в вызванной функции создается псевдоним исходной переменной, форма обращения к такому параметру-ссылке такая же, как и к обычной переменной, а сам параметр передается с помощью адреса, например, int fn3(int &ab); при этом обращение к переменной ab в теле функции fn3() такое же, как к обычной переменной типа int.
В функцию не могут быть переданы массив и имя функции, но можно использовать указатели на эти объекты.
О функции main()
Иногда при запуске программы бывает полезно передать ей какую-либо информацию из внешнего окружения (операционной системы). Обычно такая информация передается функции main() с помощью аргументов (параметров) командной строки, содержащей команду запуска программы. Аргумент командной строки – это информация, которая вводится в командной строке операционной системы после имени программы.
Во внешнем окружении действуют свои правила представления данных, а точнее, все данные представляются в виде строк символов. Для передачи этих строк в функцию main() используются два специальных встроенных аргумента (параметра). Первый параметр содержит количество передаваемых строк, второй - сами строки. Общепринятые (но не обязательные) имена этих параметров argc и argv.
Параметр argc имеет тип int, его значение формируется из анализа командной строки и равно количеству слов в командной строке, включая и имя вызываемой программы (под словом понимается любой текст, не содержащий символа пробел). Численно этот параметр всегда больше или равен 1, потому что первым аргументом считается имя программы.
Параметр argv – это массив указателей на строки, каждая из которых содержит одно слово из командной строки. Если слово должно содержать символ пробел, то при записи его в командную строку оно должно быть заключено в кавычки. Обычно argc и argv используют для того, чтобы передать программе начальные команды, которые понадобятся ей при запуске, например, имя файла, параметр и т. д.
Функция main() может иметь и третий параметр, который принято называть envp. Этот параметр служит для передачи в функцию main() параметров операционной системы (среды), в которой выполняется С-программа.
В итоге заголовок функции main() имеет вид:
int main(int argc, char *argv[], char *envp[]).
Операционная система поддерживает передачу значений для параметров argc, argv, envp, а на пользователе данного исполняемого файла лежит ответственность за передачу фактических аргументов функции main().