Ggthjy

I was taught that functions need declarations to be called.

Indeed. A function must be declared before it can be called.

why we don't add a declaration for the main function?

Well, you didn't call main function. In fact, you must not call main at all¹, so there is never a need to declare main before anything.

Technically though, all definitions are also declarations, so your definition of main also declares main.

Footnote 1: The C++ standard says it's undefined behaviour to call main from within the program.

This allows C++ implementations to put special run-once startup code at the top of main, if they aren't able to have it run earlier from hooks in the startup code that normally calls main. Some real implementations do in fact do this, e.g. calling a fast-math function that sets some FPU flags like denormals-are-zero.

On a hypothetical implementation, calling main could result in fun things like re-running constructors for all static variables, re-initializing the data structures used by new/delete to keep track of allocations, or other total breakage of your program. Or it might not cause any problem at all. Undefined behaviour doesn't mean it has to fail on every implementation.

The prototype is required if you want to call the function, but it's not yet available, like sum in your case.

You must not call main yourself, so there is no need to have a prototype. It's even a bad a idea to write a prototype.

No, the compiler does not need a forward declaration for main().

main() is a special function in C++.

Some important things to remember about main() are:

1. The linker requires that one and only one main() function exist when creating an executable program.


2. The compiler expects a main() function in one of the following two forms:

int main () { /* body */ } 

int main (int argc, char *argv[]) { /* body */ } 

where body is zero or more statements

An additional acceptable form is implementation specific and provides a list of the environment variables at the time the function is called:

int main (int argc, char* argv[], char *envp[]) { /* body */ }

The coder must provide the 'definition' of main using one of these acceptable forms, but the coder does not need to provide a declaration. The coded definiton is accepted by the compiler as the declaration of main().

3. If no return statement is provided, the compiler will provide a return 0; as the last statement in the function body.

As an aside, there is sometimes confusion about whether a C++ program can make a call to main(). This is not recommended. The C++17 draft states that main() "shall not be used within a program." In other words, cannot be called from within a program. See e.g. Working Draft Standard for C++ Programming Language, dated "2017-03-21", Paragraph 6.6.1.3, page 66. I realize that some compilers support this (including mine), but the next version of the compiler could modify or remove that behavior as the standard uses the term "shall not".

It is illegal to call main from inside your program. That means the only thing that is going to call it is the runtime and the compiler/linker can handle setting that up.This means you do not need a prototype for main.

A definition of a function also implicitly declares it. If you need to reference a function before it is defined you need to declare it before you use it.

So writing the following is also valid:

int sum(int x, int y) {

  return x + y;

}



int main() {

  std::cout << "The result is " << sum(1, 2);

  return 0;

}

If you use a declaration in one file to make a function known to the compiler before it is defined, then its definition has to be known at linking time:

main.cpp

int sum(int x, int y);



int main() {

  std::cout << "The result is " << sum(1, 2);

  return 0;

}

sum.cpp

int sum(int x, int y) {

  return x + y;

}

Or sum could have its origin in a library, so you do not even compile it yourself.

The main function is not used/referenced in your code anywhere, so there is no need to add the declaration of main anywhere.

Before and after your main function the c++ library might execute some init and cleanup steps, and will call your main function. If that part of the library would be represented as c++ code then it would contain a declaration of int main() so that that it could be compiled. That code could look like this:

int main();



int __main() {

  __startup_runtime();



  main();



  __cleanup_runtime();

}

But then you again have the same problem with __main so at some point there is no c++ anymore and a certain function (main) just represents the entry point of your code.

Nope. You can't call it anyway.

You only need forward declarations for functions called before they are defined. You need external declarations (which look exactly like forward declarations on purpose) for functions defined in other files.

But you can't call main in C++ so you don't need one. This is because the C++ compiler is allowed to modify main to do global initialization.

[I looked at crt0.c and it does have a declaration for main but that's neither here nor there].