What really are the valid signatures for main function in C? I know:
int main(int argc, char *argv[])
Are there other valid ones?
The C11
standard explicitly mentions these two:
int main(void);
int main(int argc, char* argv[]);
although it does mention the phrase "or equivalent" with the following footnote:
Thus,
int
can be replaced by atypedef
name defined asint
, or the type ofargv
can be written aschar ** argv
, and so on.
In addition, it also provides for more (implementation-defined) possibilities.
The relevant text (section 5.1.2.2.1
, but this particular aspect is unchanged from C99
) states:
The function called at program startup is named
main
. The implementation declares no prototype for this function. It shall be defined with a return type ofint
and with no parameters:int main(void) { /* ... */ }
or with two parameters (referred to here as
argc
andargv
, though any names may be used, as they are local to the function in which they are declared):int main(int argc, char *argv[]) { /* ... */ }
or equivalent; or in some other implementation-defined manner.
If they are declared, the parameters to the
main
function shall obey the following constraints:
The value of
argc
shall be nonnegative.
argv[argc]
shall be a null pointer.If the value of
argc
is greater than zero, the array membersargv[0]
throughargv[argc-1]
inclusive shall contain pointers to strings, which are given implementation-defined values by the host environment prior to program startup. The intent is to supply to the program information determined prior to program startup from elsewhere in the hosted environment. If the host environment is not capable of supplying strings with letters in both uppercase and lowercase, the implementation shall ensure that the strings are received in lowercase.If the value of
argc
is greater than zero, the string pointed to byargv[0]
represents the program name;argv[0][0]
shall be the null character if the program name is not available from the host environment. If the value ofargc
is greater than one, the strings pointed to byargv[1]
throughargv[argc-1]
represent the program parameters.The parameters
argc
andargv
and the strings pointed to by theargv
array shall be modifiable by the program, and retain their last-stored values between program startup and program termination.
Note that this is for a hosted environment, the ones you normally see in C programs. A free-standing environment (such as an embedded system) is far less constrained, as stated in 5.1.2.1
of that same standard:
In a freestanding environment (in which C program execution may take place without any benefit of an operating system), the name and type of the function called at program startup are implementation-defined. Any library facilities available to a freestanding program, other than the minimal set required by clause 4, are implementation-defined.
argv
(proper) is certainly modifiable (since it is, like all function parameters, a local copy) -- but a function implementation is free to declare that it refrains from modifying this local variable by declaring it const, without changing the function signature. The standard means that argv does not point to const memory, and neither do the pointers in that non-const memory (i.e. that we can say ++argv
goes without saying, but the standard mandates that we can also say ++*argv
and even ++**argv
(if argc > 0).
Jun 20, 2019 at 5:32
For a hosted environment (that's the normal one), the C99 standard says:
5.1.2.2.1 Program startup
The function called at program startup is named
main
. The implementation declares no prototype for this function. It shall be defined with a return type ofint
and with no parameters:int main(void) { /* ... */ }
or with two parameters (referred to here as
argc
andargv
, though any names may be used, as they are local to the function in which they are declared):int main(int argc, char *argv[]) { /* ... */ }
or equivalent;9) or in some other implementation-defined manner.
9) Thus,
int
can be replaced by a typedef name defined asint
, or the type ofargv
can be written aschar **argv
, and so on.
The C11 and C18 standards say essentially the same as the C99 standard.
The C++98 standard says:
3.6.1 Main function [basic.start.main]
1 A program shall contain a global function called main, which is the designated start of the program. [...]
2 An implementation shall not predefine the main function. This function shall not be overloaded. It shall have a return type of type int, but otherwise its type is implementation defined. All implementations shall allow both of the following definitions of main:
int main() { /* ... */ }
and
int main(int argc, char* argv[]) { /* ... */ }
The C++ standard explicitly says "It [the main function] shall have a return type of type int
, but otherwise its type is implementation defined", and requires the same two signatures as the C standard. So a 'void main()' is directly not allowed by the C++ standard, though there's nothing it can do to stop a non-standard conforming implementation from allowing alternatives (nor a standard conforming implementation from allowing alternatives as extensions to the standard).
The C++03, C++11, C++14, and C++17 standards say essentially the same as C++98.
Classically, Unix systems support a third variant:
int main(int argc, char **argv, char **envp) { ... }
The third argument is a null-terminated list of pointers to strings, each of which is an environment variable which has a name, an equals sign, and a value (possibly empty). If you do not use this, you can still get at the environment via 'extern char **environ;
'. This variable is (still) not declared in any POSIX header (previous versions of this answer notwithstanding).
This is recognized by the C standard as a common extension, documented in Annex J:
###J.5.1 Environment arguments
¶1 In a hosted environment, the main function receives a third argument,
char *envp[]
, that points to a null-terminated array of pointers tochar
, each of which points to a string that provides information about the environment for this execution of the program (5.1.2.2.1).
The Microsoft VS 2010 compiler is interesting. The web site says:
The declaration syntax for main is
int main();
or, optionally,
int main(int argc, char *argv[], char *envp[]);
Alternatively, the
main
andwmain
functions can be declared as returningvoid
(no return value). If you declaremain
orwmain
as returning void, you cannot return an exit code to the parent process or operating system by using a return statement. To return an exit code whenmain
orwmain
is declared asvoid
, you must use theexit
function.
It is not clear to me what happens (what exit code is returned to the parent or o/s) when a program with void main()
does exit — and the MS web site is silent too.
Interestingly, MS does not prescribe the two-argument version of main()
that the C and C++ standards require. It only prescribes a three-argument form where the third argument is char **envp
, a pointer to a list of environment variables.
The Microsoft page also lists some other alternatives — wmain()
which takes wide-character strings, and some more.
The Microsoft VS 2005 version of this page does not list void main()
as an alternative. The versions from Microsoft VS 2008 onwards do.
int main()
the same as int main(void)
?For a detailed analysis, see the end of my answer to What should main()
return in C and C++. (It seems that I once considered that this question referred to C++, even though it doesn't and never did. In C++, there is no difference between int main()
and int main(void)
and int main()
is idiomatic C++.)
In C, there is a difference between the two notations, but you only notice it in esoteric cases. Specifically, there's a difference if you call the main()
function from your own code, which you're allowed to do in C and are not allowed to do in C++.
The int main()
notation does not provide a prototype for main()
, but that only matters if you call it recursively. With int main()
, you might later (in the same function, or in another function) write int rc = main("absolute", "twaddle", 2):
and formally the compiler shouldn't complain to the extent of refusing to compile the code, though it might legitimately complain (warn you) about it (and using -Werror
with GCC would convert the warning into an error). If you use int main(void)
, the subsequent call to main()
should generate an error — you said the function takes no arguments but tried to provide three. Of course, you can't legitimately call main()
before you've declared or defined it (unless you are still using C90 semantics) — and the implementation does not declare a prototype for main()
. NB: The C11 standard illustrates both int main()
and int main(void)
in different examples — both are valid in C, even though there's the subtle difference between them.
main
from inside the program is UB in C++; compilers are allowed insert calls to static constructors into the top of main, or whatever else. I think it is allowed in C, though. (But you might find that ICC resets the FP environment / rounding modes because it does call an Intel init function from the top of main.)
Jun 19, 2019 at 0:57
int main() { … }
is equivalent to int main(void) { … }
.
Sep 16, 2020 at 16:26
int main();
and int main(void);
are not equivalent. Both declare (rather than define) a function, but the former specifies nothing about the parameter list (does not provide a prototype for the function), whereas the latter explicitly says "the function takes no arguments". (The difference between declaration and definition is why the previous comment has int main() { … }
, indicating the definition of the function, whereas here the { … }
is replaced by a semicolon, indicating a declaration of the function.)
Sep 16, 2020 at 16:29
int main() { … }
and int main(void) { … }
are not equivalent because the former still doesn't provide a prototype for main()
whereas the latter does. Both do, however, define a function that takes no arguments (and in that sense, they're equivalent — which is what I should have said, but the space was lacking in a comment). The only time the difference matters is if your code calls main()
recursively (or messes around with function pointers to main()
) — neither of which is an everyday occupation for C programmers (and recursive calls are verboten in C++).
Sep 16, 2020 at 16:48
POSIX supports execve()
, which in turn supports
int main(int argc, char *argv[], char *envp[])
The added argument is the environment, i.e. an array of strings of the form NAME=VALUE.
extern char **environ;
.
Jun 2, 2011 at 12:53
envp
arg to main
. I'm not sure whether POSIX itself specifies this as a 3rd valid signature for main
or not. You can verify that it does work in practice on GNU C with this program: godbolt.org/z/9lie95 (it passes its argv and envp to execve("/usr/bin/env")
, so you can see that it did inherit a sane environment instead of returning -EFAULT
). But yes, this answer describes it wrong, implying that the existence of execve implies a new signature for main
.
Jun 19, 2019 at 0:53
http://en.wikipedia.org/wiki/Main_function_(programming)#C_and_C.2B.2B
Besides the usual int main(int argc, char *argv[])
and the POSIX int main(int argc, char **argv, char **envp)
, on Mac OS X also supports
int main(int argc, char* argv[], char* envp[], char* apple[]);
Of course it's Mac-only.
On Windows there's
int wmain(int argc, wchar_t* argv[], wchar_t* envp[]);
as the Unicode (actually, wide-character) variant. Of course there is WinMain
too.
int main(void)
Under some OS (for example, Windows) also such is valid:
int main(int argc, char **argv, char **envp)
where envp
gives an environment, otherwise accessible through getenv()
main()
return in C and C++?, but it was reopened in July 2017 after a gap of almost 5 years. The information in the answers here is repeated in the answers to that question.main()
?, though that was created after this question, and is strictly a C++ question, so it isn't all that appropriate as a duplicate for this.