Understanding Declaration and Definition
suggest changeA declaration introduces an identifier and describes its type, be it a type, object, or function. A declaration is what the compiler needs to accept references to that identifier. These are declarations:
extern int bar; extern int g(int, int); double f(int, double); /* extern can be omitted for function declarations */ double h1(); /* declaration without prototype */ double h2(); /* ditto */
A definition actually instantiates/implements this identifier. It’s what the linker needs in order to link references to those entities. These are definitions corresponding to the above declarations:
int bar; int g(int lhs, int rhs) {return lhs*rhs;} double f(int i, double d) {return i+d;} double h1(int a, int b) {return -1.5;} double h2() {} /* prototype is implied in definition, same as double h2(void) */
A definition can be used in the place of a declaration.
However, it must be defined exactly once. If you forget to define something that’s been declared and referenced somewhere, then the linker doesn’t know what to link references to and complains about a missing symbols. If you define something more than once, then the linker doesn’t know which of the definitions to link references to and complains about duplicated symbols.
Exception:
extern int i = 0; /* defines i */ extern int j; /* declares j */
This exception can be explained using concepts of “Strong symbols vs Weak symbols” (from a linker’s perspective) . Please look here ( Slide 22 ) for more explanation.
/* All are definitions. */ struct S { int a; int b; }; /* defines S */ struct X { /* defines X */ int x; /* defines non-static data member x */ }; struct X anX; /* defines anX */