Does a static function need the static keyword for the prototype in C?

user2211907 picture user2211907 · Mar 27, 2013 · Viewed 22.6k times · Source

My C programming book says that when I want to create a static function, I need to put the static keyword in front of the function definition. It doesn't mention anything explicitly about the prototype. Also, the examples don't use prototypes and simply put the static functions at the top of the file (so that they don't need prototypes I am assuming).

So, does a static function need the static keyword for the prototype? Or do I only put it in front of the definition?

Answer

undur_gongor picture undur_gongor · Mar 27, 2013

No. A function declaration (prototype or even the definition) can omit the keyword static if it comes after another declaration of the same function with static.

If there is one static declaration of a function, its first declaration has to be static.

It is defined in ISO/IEC 9899:1999, 6.7.1:

If the declaration of a file scope identifier for [...] a function contains the storage-class specifier static, the identifier has internal linkage.

[...]

For an identifier declared with the storage-class specifier extern in a scope in which a prior declaration of that identifier is visible, if the prior declaration specifies internal or external linkage, the linkage of the identifier at the later declaration is the same as the linkage specified at the prior declaration.

[...]

If the declaration of an identifier for a function has no storage-class specifier, its linkage is determined exactly as if it were declared with the storage-class specifier extern.

[...]

If, within a translation unit, the same identifier appears with both internal and external linkage, the behavior is undefined.

So, e.g. this is valid:

static void foo(void);
void foo(void);
static void foo(void) { }

This one too:

static void foo(void) { }
void foo(void);

static void bar(void);
void bar(void) {}

But this code is incorrect:

void foo(void);
static void foo(void) { }

Normally you will and should have the static in the prototypes too (because they usually come first).