I’ve been working in C for so long that the fact that compilers typically add an underscore to the start of an extern is just understood… However, another SO question today got me wondering about the real reason why the underscore is added. A wikipedia article claims that a reason is:
It was common practice for C compilers to prepend a leading underscore to all external scope program identifiers to avert clashes with contributions from runtime language support
I think there’s at least a kernel of truth to this, but also it seems to no really answer the question, since if the underscore is added to all externs it won’t help much with preventing clashes.
Does anyone have good information on the rationale for the leading underscore?
Is the added underscore part of the reason that the Unix creat() system call doesn’t end with an ‘e’? I’ve heard that early linkers on some platforms had a limit of 6 characters for names. If that’s the case, then prepending an underscore to external names would seem to be a downright crazy idea (now I only have 5 characters to play with…).
If the runtime support is provided by the compiler, you would think it would make more sense to prepend an underscore to the few external identifiers in the runtime support instead!
When C compilers first appeared, the basic alternative to programming in C on those platforms was programming in assembly language, and it was (and occasionally still is) useful to link together object files written in assembler and C. So really (IMHO) the leading underscore added to external C identifiers was to avoid clashes with the identifiers in your own assembly code.
(See also GCC’s
asmlabel extension; and note that this prepended underscore can be considered a simple form of name mangling. More complicated languages like C++ use more complicated name mangling, but this is where it started.)