Function definitions

Определение функции связывает тело функции (последовательность объявлений и операторов) с именем функции и списком параметров. В отличие от объявления функции , определения функций разрешены только на уровне файла (вложенные функции не допускаются).

C поддерживает две различные формы определений функций:

где

int max(int a, int b)
{
    return a>b?a:b;
}
double g(void)
{
    return 0.1;
}

int max(a, b)
int a, b;
{
    return a>b?a:b;
}
double g()
{
    return 0.1;
}

Объяснение

Как и в случае с объявлениями функций , возвращаемый тип функции, определяемый спецификатором типа в specifiers-and-qualifiers и возможно модифицированный declarator как обычно в объявлениях , должен быть полным не-массивным типом объекта или типом void . Если возвращаемый тип должен быть cvr-квалифицированным, он корректируется до своей неквалифицированной версии для целей построения типа функции.

void f(char *s) { puts(s); } // тип возвращаемого значения - void
int sum(int a, int b) { return a+b; } // тип возвращаемого значения - int
int (*foo(const void *p))[3] { // тип возвращаемого значения - указатель на массив из 3 int
    return malloc(sizeof(int[3]));
}

Как и в случае с объявлениями функций , типы параметров преобразуются из функций в указатели и из массивов в указатели для построения типа функции, а cvr-квалификаторы верхнего уровня всех типов параметров игнорируются для определения совместимого типа функции .

int f(int, int); // объявление
// int f(int, int) { return 7; } // Ошибка до C23, корректно с C23
int f(int a, int b) { return 7; } // определение
int g(void) { return 8; } // OK: void не объявляет параметр

В теле функции каждый именованный параметр является lvalue выражением, они имеют автоматическую storage duration и block scope . Расположение параметров в памяти (или хранятся ли они в памяти вообще) не специфицировано: это часть calling convention .

int main(int ac, char **av)
{
    ac = 2; // параметры являются lvalues
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

См. оператор вызова функции для получения дополнительной информации о механике вызова функции и return для возврата из функций.

static const char __func__[] = "function name";

Примечания

Список аргументов должен быть явно указан в деклараторе, он не может быть унаследован из typedef

typedef int p(int q, int r); // p - это тип функции int(int, int)
p f { return q + r; } // Ошибка

max(a, b) // a and b have type int, return type is int
{
    return a>b?a:b;
}

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены задним числом к ранее опубликованным стандартам C.

Ссылки

Смотрите также