Main function
Every C program coded to run in a hosted execution environment contains the definition (not the prototype) of a function called main
, which is the designated start of the program.
int main (void) { body }
|
(1) | ||||||||
int main ( int argc, char *argv[]) { body }
|
(2) | ||||||||
/* another implementation-defined signature */ (since C99) | (3) | ||||||||
Parameters
argc | - | Non-negative value representing the number of arguments passed to the program from the environment in which the program is run. |
argv | - | Pointer to the first element of an array of argc + 1 pointers, of which the last one is null and the previous ones, if any, point to strings that represent the arguments passed to the program from the host environment. If argv[0] is not a null pointer (or, equivalently, if argc > 0), it points to a string that represents the program name, which is empty if the program name is not available from the host environment. |
The names argc
and argv
stand for argument count and argument vector. Names and representation of the types of the parameters are arbitrary: int main(int ac, char** av) is equally valid.
A common implementation-defined form of main is
int main(int argc, char *argv[], char *envp[]), where a third argument, of type char*[]
, points at an array of pointers to the host environment variables.
Return value
If the return statement is used, the return value is used as the argument to the implicit call to exit() (see below for details). The values zero and EXIT_SUCCESS indicate successful termination, the value EXIT_FAILURE indicates unsuccessful termination.
Explanation
The main
function is called at program startup, after all objects with static storage duration are initialized. It is the designated entry point to a program that is executed in hosted environment (that is, with an operating system). The name and type of the entry point to any freestanding program (boot loaders, OS kernels, etc) are implementation-defined.
The parameters of the two-parameter form of the main function allow arbitrary multibyte character strings to be passed from the execution environment (these are typically known as command line arguments). The pointers argv[1] .. argv[argc-1]
point at the first characters in each of these strings. argv[0]
is the pointer to the initial character of a null-terminated multibyte strings that represents the name used to invoke the program itself (or, if this is not supported by the host environment, argv[0][0] is guaranteed to be zero).
If the host environment cannot supply both lowercase and uppercase letters, the command line arguments are converted to lowercase.
The strings are modifiable, and any modifications made persist until program termination, although these modifications do not propagate back to the host environment: they can be used, for example, with strtok.
The size of the array pointed to by argv
is at least argc+1
, and the last element, argv[argc]
, is guaranteed to be a null pointer.
The main
function has several special properties:
If the main function executes a return that specifies no value or, which is the same, reaches the terminating } without executing a return, the termination status returned to the host environment is undefined. |
(until C99) |
If the return type of the main function is not compatible with int (e.g. void main(void)), the value returned to the host environment is unspecified. If the returned type is compatible with int and control reaches the terminating }, the value returned to the environment is the same as if executing return 0; |
(since C99) |
Example
Demonstrates how to inform a program about where to find its input and where to write its results. Invocation: ./a.out indatafile outdatafile
Possible output:
argc = 3 argv[0] --> ./a.out argv[1] --> indatafile argv[2] --> outdatafile argv[argc] = (nil)
References
- C11 standard (ISO/IEC 9899:2011):
- 5.1.2.2.1 Program startup (p: 13)
- C99 standard (ISO/IEC 9899:1999):
- 5.1.2.2.1 Program startup (p: 12)
- C89/C90 standard (ISO/IEC 9899:1990):
- 5.1.2.2 Hosted environment