4 ms·
TL;DR Let the compiler preprocess a source file by first removing #include lines which contain definitions of macros we don't want to see expanded (expanding o
by bluetomcat 9y ago
TL;DR
Let the compiler preprocess a source file by first removing #include lines which contain definitions of macros we don't want to see expanded (expanding only the definitions from the local file or from chosen headers, achieving less cluttered and more readable output). Say we have a file like:
#include "foo_defs.h"
#define BAR 42
FOO;
BAR;
We filter out the include line and then preprocess the file, getting the following output:
FOO;
42;
- sigjuice 9y agoTLDR of why less cluttered preprocessor output matters? I’d say cpp output is usually not that interesting on a daily basis.
- bluetomcat 9y agoIf I have a file like this: #include <stdio.h> #include <assert.h> #include "mydefs-control.h" #include "mydefs-value.h" int main(void) { assert(1 == 1); printf("%d\n", MYDEF_VALUE_MACRO); MYDEF_MACRO_WITH_CONTROL_FLOW(); } My goal is to produce output which doesn't include thousands of lines from stdio.h and assert.h, doesn't expand assert() or MYDEF_VALUE_MACRO, and only expands MYDEF_MACRO_WITH_CONTROL_FLOW: int main(void) { assert(1 == 1); printf("%d\n", MYDEF_VALUE_MACRO); if (1) { return 0; } else { return 1; }; } According to the author, having only the "interesting" stuff expanded makes it easier to reason about the control flow of the code.
- dummyfunnytoo 9y agoWhich just raises the question for me, why have the macros at all? I did C++ development for years (on low level and performance sensitive applications) but 95% of the macros I saw were there to reduce lines of code or "eliminate boilerplate." Almost all of those could be eliminated by refactoring within C++, without resorting to the preprocessor, but developers love using macros...
- roywiggins 9y agoI guess it standardizes your boilerplate at write-time even if you have to review it expanded.
- sjmulder 9y agoThe article is about C where not everything can be solved with a typedef, enum or templates. Think about feature macros (e.g. _C_POSIX_SOURCE), generics (pre-C11 or what was it), attributes or calling conventions, conditional compilation, function-like macros, compatibility (e.g. errno when it isn't just an extern int), and indeed shorthands.
- mattip 9y agoTheir technique is specific for their set of includes. It would be great if there was a general way to do the macro expansion in a need-to-know eay that could then be a basis for interop tools such as SWIG or python cffi