Can we write comments within variable names?
The comments are removed during phase 3 of program translation1: each comment is replaced by one space character. so the comment /*nt*/
is definitely not a token.
If none of int
, main
, i
, a
or return
are defined as preprocessing macros, parsing the program produces 14 tokens (not 13):
int
main
(
)
{
i
a
=
10
;
return
0
;
}
Unless i
is defined as a type with a typedef
statement, there is a syntax error as i a
does not match a rule in the C grammar.
So you cannot write comments inside variable names, the comment splits the identifier into 2 separate tokens. This is true for any preprocessing and C language token2.
Note however that you can insert comments in unusual places such as between unary operators and their operand or between the #
and the preprocessing directive and its arguments:
/**/#/**/include/**/<stdio.h>/**///////////////////////
/**/#/**/define/**/STAT/**/(/**/a/**/)/**/-/**/1/**////
/**/#/**/ifdef/**/STAT/**//////////////////////////////
/**/int/**/main/**/(/**/)/**/{/**//////////////////////
/**/int/**/a/**/=/**/+/**/1/**/;/**////////////////////
/**/printf/**/(/**/"Hello "/**/"world!\n"/**/)/**/;/**/
/**/return/**/STAT/**/;/**/////////////////////////////
/**/}/**///////////////////////////////////////////////
/**/#/**/endif/**//////////////////////////////////////
But the above macro definition does not define a function-like macro but a regular macro STAT
that expands to ( a ) - 1
.
Variable names, like any other token can be split by escaped newlines. Escaped newlines are sequences or \
immediately followed by a newline. These sequences are removed from the source code during phase 2 of program translation. Their main purpose is to break long macro definitions on multiple lines.
Below is a code fragment3 that produces the same 14 tokens:
\
i\
nt\
ma\
in()
{\
i/\
*nt\
*/a \
= 10;
r\
et\
urn\
0;}
Notice how the code colorizer missed the sliced and diced keywords and comment :)
1) This behavior was specified in ANSI-C aka C89. Some ancient compilers had subtly different behavior resulting in token pasting, but such peculiarities are of historical interest only.
2) You can almost insert a comment inside a string constant by taking advantage of the fact that adjacent string constants are concatenated in phase 6 of program translation: printf("Hello "/* my name is Luca */"world!\n");
3) This Christmas Tree presentation style is not meant to be used in real programs, it illustrates how to abuse C's input handling capabilities. More elaborate tricks have won The International Obfuscated C Code Contest
The result will be as if you had written:
i a = 10;
NOT:
ia = 10;
From a lexical point of view, a comment is the same as whitespace.
Section 6.4p3 of the C standard regarding lexical elements states:
... Preprocessing tokens can be separated by white space; this consists of comments (described later), or white-space characters (space, horizontal tab, new-line,vertical tab, and form-feed), or both. ...
More specifically, a comment is translated into a single space. This is specified in section 5.1.1.2p3:
The source file is decomposed into preprocessing tokens and sequences of white-space characters (including comments). A source file shall not end in a partial preprocessing token or in a partial comment. Each comment is replaced by one space character. New-line characters are retained. Whether each nonempty sequence of white-space characters other than new-line is retained or replaced by one space character is implementation-defined.
To illustrate this, if you pass your code through the preprocessor, you will get:
int main()
{
i a = 10;
return 0;
}
So comments, like whitespace, serve to separate tokens.
This means that the code will contain 14 tokens, not 13.