Can local and register variables be declared extern?

by

Local variables can be declared extern in some cases

Let’s read the C99 N1256 standard draft.

The standard calls “local variables” as having “block scope”.

6.7.1/5 “Storage-class specifiers” says:

The declaration of an identifier for a function that has block scope shall have no explicit storage-class specifier other than extern.

Then for what it means to add extern to a local variable, 6.2.2/4 “Linkages of identifiers” says:

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 no prior declaration is visible, or if the prior declaration specifies no linkage, then the identifier has external linkage.

Lets break down those cases.

no prior declaration

void f() {
    extern int i;
}

is the same as:

extern int i;
void f() {}

except that the declaration is only visible inside f.

This is because i has no prior declaration visible. So i has external linkage (the same linkage as global variables).

prior declaration specifies no linkage

int i;
void f() {
    extern int i;
}

is the same as:

void f() {
    extern int i;
}

because the prior declaration int i specifies no linkage because paragraph 6 says:

The following identifiers have no linkage: an identifier declared to be anything other than an object or a function; an identifier declared to be a function parameter; a block scope identifier for an object declared without the storage-class specifier extern.

prior declaration specifies internal or external linkage

extern int i;
void f() {
    extern int i;
}

is the same as:

extern int i;
void f() {}

and:

static int i;
void f() {
    extern int i;
}

is the same as:

static int i;
void f() {}

because in both cases we have a previous visible external and internal (static) linkage declarations respectively.

Initialize local extern

Invalid C:

void f() {
    extern int i = 0;
}

because the block scope declaration has an initialization.

Valid C:

extern int i = 0;
void f() {}

but arguably bad style because equivalent to the shorter:

int i = 0;
void f() {}

because 6.7.8 Initialization says:

If the declaration of an identifier has block scope, and the identifier has external or internal linkage, the declaration shall have no initializer for the identifier.

More Related Contents:

  1. How do I use extern to share variables between source files?
  2. What’s the difference between static inline, extern inline and a normal inline function?
  3. Global variables in C are static or not?
  4. Advantage of using extern in a header file
  5. Why won’t extern link to a static variable?
  6. optimized sum of an array of doubles in C [duplicate]
  7. How to get all possible combination of 2xn matrix [closed]
  8. How to resolve a variable for char length? [closed]
  9. What REALLY happens when you don’t free after malloc before program termination?
  10. How to achieve function overloading in C?
  11. How to correctly use the extern keyword in C
  12. ‘float’ vs. ‘double’ precision
  13. Are parallel calls to send/recv on the same socket valid?
  14. How Recursion works in C
  15. Does either ANSI C or ISO C specify what -5 % 10 should be?
  16. Enumerate factors of a number directly in ascending order without sorting?
  17. Using intptr_t instead of void*?
  18. difference between int* i and int *i
  19. How to create static linked shared libraries
  20. Why can’t I create an array with size determined by a global variable?
  21. How do C compilers implement functions that return large structures?
  22. Difference between “pointer to int” and “pointer to array of ints”
  23. Why is strtok causing a segmentation fault?
  24. Is this possible to customize printf?
  25. How do I make an infinite empty loop that won’t be optimized away?
  26. How do I link object files in C? Fails with “Undefined symbols for architecture x86_64”
  27. Is it possible to call a non-exported function that resides in an exe?
  28. Printing pointers in C
  29. Does fread move the file pointer?
  30. How to compute 2⁶⁴/n in C?

Leave a Comment