#define STR1 "s"
#define STR2 "1"
#define STR3 STR1 ## STR2
Is it possible to concatenate STR1
and STR2
, to "s1"
?
You can do this by passing args to another Macro function. But is there a direct way?
Join Stack Overflow to learn, share knowledge, and build your career.
#define STR1 "s"
#define STR2 "1"
#define STR3 STR1 ## STR2
Is it possible to concatenate STR1
and STR2
, to "s1"
?
You can do this by passing args to another Macro function. But is there a direct way?
If they're both strings you can just do:
#define STR3 STR1 STR2
This then expands to:
#define STR3 "s" "1"
and in the C language, separating two strings with space as in "s" "1"
is exactly equivalent to having a single string "s1"
.
L"a"
and "b"
to get L"ab"
, but you can concatenate L"a"
and L"b"
to get L"ab"
.
– MSalters
Mar 10 '11 at 8:59
#include STR3
with STR3
being a valid header file. Does anyone know how to?
– Zythos
Nov 11 '20 at 16:37
You don't need that sort of solution for string literals, since they are concatenated at the language level, and it wouldn't work anyway because "s""1" isn't a valid preprocessor token.
[Edit: In response to the incorrect "Just for the record" comment below that unfortunately received several upvotes, I will reiterate the statement above and observe that the program fragment
#define PPCAT_NX(A, B) A ## B
PPCAT_NX("s", "1")
produces this error message from the preprocessing phase of gcc: error: pasting ""s"" and ""1"" does not give a valid preprocessing token
]
However, for general token pasting, try this:
/*
* Concatenate preprocessor tokens A and B without expanding macro definitions
* (however, if invoked from a macro, macro arguments are expanded).
*/
#define PPCAT_NX(A, B) A ## B
/*
* Concatenate preprocessor tokens A and B after macro-expanding them.
*/
#define PPCAT(A, B) PPCAT_NX(A, B)
Then, e.g., both PPCAT_NX(s, 1)
and PPCAT(s, 1)
produce the identifier s1
, unless s
is defined as a macro, in which case PPCAT(s, 1)
produces <macro value of s>1
.
Continuing on the theme are these macros:
/*
* Turn A into a string literal without expanding macro definitions
* (however, if invoked from a macro, macro arguments are expanded).
*/
#define STRINGIZE_NX(A) #A
/*
* Turn A into a string literal after macro-expanding it.
*/
#define STRINGIZE(A) STRINGIZE_NX(A)
Then,
#define T1 s
#define T2 1
STRINGIZE(PPCAT(T1, T2)) // produces "s1"
By contrast,
STRINGIZE(PPCAT_NX(T1, T2)) // produces "T1T2"
STRINGIZE_NX(PPCAT_NX(T1, T2)) // produces "PPCAT_NX(T1, T2)"
#define T1T2 visit the zoo
STRINGIZE(PPCAT_NX(T1, T2)) // produces "visit the zoo"
STRINGIZE_NX(PPCAT(T1, T2)) // produces "PPCAT(T1, T2)"
"s""1"
is valid in C (and C++). They are two tokens (string literals) that the compiler would concat itself and threat as one token.
– Shahbaz
Jul 31 '12 at 9:24
"s""1" isn't a valid token
-- that is correct; it is, as you say, two tokens. But tacking them together with ## would make them a single preprocessing token, not two tokens, and so the compiler would not do a concatenation, rather the lexer would reject them (the language requires a diagnostic).
– Jim Balter
Jul 31 '12 at 9:30
STRINGIZE_NX(whatever occurs here)
expands to "whatever occurs here", regardless of any macro definitions for whatever, occurs, or here.
– Jim Balter
Jan 10 '18 at 23:42
if A is defined as FRED then STRINGIZE_NX(A) still expands to "FRED"
-- that is false, and is nothing like your test. You're trying hard not to understand or get this right, and I'm not going to respond to you further.
– Jim Balter
Jan 11 '18 at 19:23
Hint: The STRINGIZE
macro above is cool, but if you make a mistake and its argument isn't a macro - you had a typo in the name, or forgot to #include
the header file - then the compiler will happily put the purported macro name into the string with no error.
If you intend that the argument to STRINGIZE
is always a macro with a normal C value, then
#define STRINGIZE(A) ((A),STRINGIZE_NX(A))
will expand it once and check it for validity, discard that, and then expand it again into a string.
It took me a while to figure out why STRINGIZE(ENOENT)
was ending up as "ENOENT"
instead of "2"
... I hadn't included errno.h
.
,
operator. :)
– Jesse Chisholm
Sep 21 '15 at 21:20
((1),"1") "." ((2),"2")
instead of just "1" "." "2")
– automorphic
Mar 6 '20 at 7:17
STRINGIZE
definition, "The value of ENOENT is " STRINGIZE(ENOENT)
works, whereas "The value of ENOENT is" STRINGIZE_EXPR(X)
produces an error.
– Jim Balter
Jun 25 '20 at 21:53