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-qualified 타입일 경우, 함수 타입을 구성하기 위해 unqualified 버전으로 조정됩니다.

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; // 매개변수는 lvalue입니다
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

함수 호출의 세부 메커니즘에 대해서는 function call operator 를 참조하고, 함수에서 반환하는 방법에 대해서는 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 표준에 소급 적용되었습니다.

참고문헌

참고 항목