C developed and become very popular before it was planned by a standards committee. In consequence, there was a lot of existing code.
When setting a C standard, or updating an old standard, an important goal is not to “break” old code. It is desirable that code that worked with previous compilers continue to work with new versions of the C language.
Introducing a new keyword (or any new definition or meaning of a word) can break old code, since, when compiling, the word will have its new keyword meaning and not the identifier meaning it had with the previous compilers. The code will have to be edited. In addition to the expense of paying people to edit the code, this has a risk of introducing bugs if any mistakes are made.
To deal with this, a rule was made that identifiers starting with underscore were reserved. Making this rule did not break much old software, since most people writing software choose to use identifiers beginning with letters, not underscore. This rule gives the C standard a new ability: By using underscore when adding new keywords or other new meanings for words, it is able to do so without breaking old code, as long as that old code obeyed the rule. For example, adding a new keyword, _Bool
for a Boolean type, would not break any code that had not used identifiers beginning with an underscore.
New versions of the C standard sometimes introduce new meanings for words that do not begin with an underscore, such as bool
. However, these new meanings are generally not introduced in the core language. Rather, they are introduced only in new headers. In making a bool
type, the C standard provided a new header, <stdbool.h>
. Since old code could not be including <stdbool.h>
since it did not exist when the code was written, defining bool
in <stdbool.h>
would not break old code. At the same time, it gives programmers writing new code the ability to use the new bool
feature by including <stdbool.h>
, which defines bool
as a macro that is replaced by _Bool
.
bool
andstatic_assert
are defined by standard C only if you include their respective headers. Defining new keywords in new headers cannot break old code—any old code that is using its ownbool
cannot be including the standard<bool.h>
because it did not exist previously. New code will include<bool.h>
only if it is not using its ownbool
and wants it defined by the header.<stdbool.h>
;-)