Macros in C++
ฝัง
- เผยแพร่เมื่อ 7 ก.พ. 2025
- Patreon ► / thecherno
Twitter ► / thecherno
Instagram ► / thecherno
Discord ► thecherno.com/...
Series Playlist ► thecherno.com/cpp
Thank you to the following Patreon supporters:
Dominic Pace
Kevin Gregory Agwaze
Sébastien Bervoets
Tobias Humig
Peter Siegmund
Kerem Demirer
Gear I use:
-----------------
BEST laptop for programming! ► geni.us/pakTES
My FAVOURITE keyboard for programming! ► geni.us/zNhB
FAVOURITE monitors for programming! ► geni.us/Ig6KBq
MAIN Camera ► geni.us/t6xyDRO
MAIN Lens ► geni.us/xGoDWT
Second Camera ► geni.us/CYUQ
Microphone ► geni.us/wqO6g7K
#define print(x) std::cout
Or with type safty, and proper compile time checking:
template
constexpr void print(Tostream ostrem = std::cout, Tlimit end='
' ,TStr ... to_print)
{
(std:: cout
#define begin {
#define end } ;
voilà ! pascal. And use just "end", voilà ! Ruby. :) cpp is really fun.
@@IamusTheFox you defined a template Tostream and never used it lmao
@@ShadowaOsu lmao, you're right, my bad.
@@IamusTheFox also it gives compile error for various of inputs when used in main, so I tried to give it a try as well
struct End {
const char* end;
constexpr End() : end("
") { }
constexpr End(const char* end) : end(end) { }
};
template
constexpr auto pyprint (const First& first, const Rest& ...rest) -> void {
if constexpr (sizeof... (rest) > 0) {
std::cout
The thought of seeing an “OPEN_CURLY” macro in real life cracked me up...at that point you know you’re dealing with a high-effort troll lmao
I once saw a
#define begin {
#define end }
And it was honestly a pretty wild experience. That simple change made C++ feel a hell of a lot like Ruby or Basic. Like:
void main() begin
if (1 > 0) begin
printf("whatever
");
end
end
Doesn't that look wild?
@@sebastiangudino9377 reminds me of Lua too
#define semicolan ;
My wife was like "what are you laughing so hard at?". I told her she wouldn't understand. She made me explain. She didn't understand.
Saw one image where he just defined some stuff and the code was like "frfr no cap" and he just replaces so many things with just random words and it looks like a sentence.
These have got to be the most concise and clear programming videos I've seen thus far.
I think it would also be helpful to show common pitfalls of parameterized macros, such as the following 2 examples:
===================
#define MAX(x, y) x > y ? x : y
int main() { return MAX(7,5) * 10; }
Here main() will return 7 instead of 70:
7 > 5 ? 7 : 5 * 10 ==> 7
To fix this, do:
#define MAX(x, y) (x > y ? x : y)
===================
Another issue can be seen in this example:
#define MULT(x, y) (x * y)
int main() { return MULT(2+5, 10); }
Here main() will return 52 instead of 70:
2+5*10 ==> 52
To fix this, do:
#define MULT(x,y) ((x) * (y))
Of course, y can be a pointer so it is possible that *(y) is seen as a dereference. In addition, either x or y can be almost any text which can result in weird generated code.
===================
The takeaway is that parameterized macros are NOT functions: they simply replace symbols with parameterized text.
This can also result in the problem of massive code duplication, since a parameterized macro does not define a function in the program text segment, but is rather copied to every invocation.
#define true false
#define struct union
#define double float
#define break continue
#define ( )
#define ;
Really usefull compiler option : -E
It wills just process the precompiler routine and output your source code with all macro expanded.
For example : g++ -E main.cpp -o main.e
You're an excellent educator. Great job! This was super helpful.
As some might have noticed the "blank" macro would actually not remove the entire LOG line in the code. It would leave the ";". This might cause people to want to include the ";" in the macro instead of writing it after the macro in the source code since that would not leave a line with just a ";". But a line with only ";" is totally acceptable and is just an empty statement which a decent compiler would most likley simply discard although there might exist some compilers that would actually insert NOOP instructions.
Point is, ";" by itself on a line is perfectly legal code.
Thanks for the clarification! Really appreciate it!
but you might want to be aware of this if it isn't by itself.
Its sometimes better to define the empty output as "{}" or "((void)0)" - These will make it a valid line of code without it doing anything. This is important if your macro can be called from within a single condition line, like if(x) MACRO();
called null statement
It's so comfy to watch it, I wish my lecturer was talking and makeing examples like you.
Thanks for these videos man, I'm reading "Code Complete" and I thought I was getting to know C++ and C pretty well but everything he says about macros has gone over my head. This clears everything up, as so many of your videos do. The Static and Cost ones are my other favorites so far can't wait to see the rest this series is literally better than a college education.
Bruh I love that I can expect a good ass cherno video on any cop topic I might want to learn. Really appreciate the work man 🙌🙌🙌
The advice at 3:20 is golden bro!
Your example of logging bytes would be better served by creating a custom allocator that handled the metrics. Then you would override new to use your allocate/create functions. The bonus here is that you could add that allocator to a container and reap the same benefits.
Yes, but you still might want to track the file and line the allocation came from, which would require a macro.
Other real life examples for macros would be to target different platforms. You write a conditional to decide between using Windows API or POSIX API. Or you want to do different stuff for an ARM build compared to x86. In open source projects macros are often used for optional features which might be enabled during configuration, like building ffmpeg with lots of optional third party libraries enabled. You can use macros to enable compiler specific stuff, like telling msvc right in the code to link against a library, but you want that part to be "excluded" for other compilers that don't understand or need this. Macros may also play a role when you build static libraries and DLLs for Windows, as the symbols in a header file need to be declared as either importing or exporting code or none of that.
Thank for this series, helps a lot
Streams, Input and Output. As well as Files
Great examples for showing how to use macros for debugging code.
It no longer becomes simple copy paste when using any punctuation characters in the macro name. This code here for example, is not allowed:
#define print(x) std::cout
video idea for anyone just for fun: Making c++ looks like another programming language, using only MACROS!
I use macros for Embedded microcontroller to configure my hardware easily.
Great series, these are presented really well. I don't understand why "#ifdef symbol" or "#ifndef symbol" is bad though. Header files have used this method to see if it has already been included for ages, windows header use it a lot and use it to set function names for Unicode or ascii. Would have been a good time to explain the underscore in symbol names. Still great simple video series worth watching.
Hi Cherno,
I know you will touch / have touched upon macros in more depth in your game engine / opengl series, but could you still make a separate video that's purely about macros (a part 2 of this one)? Because I don't follow your game engine / opengl series but I would still like to learn more about it from you.
Thanks ~
*My takeaways:*
1. Create a Macro 3:52
2. Better use of Macros 7:47
3. Using Macro to differentiate debug code and release code 9:50
4. Macros are most useful for debugging purposes 15:42
They're also useful for encapsulating OS-specific code.
Excellent C++ series. I am now a patreon.
good explained and helpful, thanks Cherno!
actually the
LOG(...);
in release mode would become
;
because the semicolon was not defined in the macro.
In some cases, you may want to define your empty macro (the release version) as "{}" or "((void)0)", such as..
#define MACRO(x) ((void)0)
This will result in the macro generating a valid line of code that doesn't actually do anything. This would be important, if for example, you wanted to use it in places such as..
if( xyz )
MACRO(x);
I usually define a special "#define EMPTY_STATEMENT ((void)0)" somewhere near the top of my code to be used in these cases. It makes the macros themselves a little more readable ( #define MACRO(x) EMPTY_STATEMENT )
Really like your C++ series.
Wondering if you could do some videos on MVS Windows GUI.
Not much out there on the Windows GUI, I know there are at least one error with MVS 17 in loading a Windows GUI setup. This is really tough for beginners.
Thanks,
what an intelligent human being.
Very good video and clear explanation
This video really helped me understand a lesson of learncpp, thanks a lot
You are an excellent teacher.
I am learning SOOOO much more than what i did i uni!
Thank you for these incredible videos. I noticed in VS Code, some C++ I had installed offered a -- *lightbulb* | "inline macro?" | -- clickable tooltip that will let you graphically resolve whatever macro you are currently hovering over. Surely there are tools in actual Visual Studio to do that globally? Or stepwise for safety.
Nice explaination 👍🏻
Elegancko
"This isn't some kind of obfuscation competition "
People watching for an obfuscation competition :....
😂
your indications are very wise, thanks a lot !!
Hey, great videos! Can you please make a video about the volatile keyword? :)
Another problem with the code is that LOG in release mode doesn't force a semicolon.
if Anyone is watching this in 2020. If your Debug Code is not recognized after checking for PR_DEBUG you just need _DEBUG now. Hope this helps.
When we can expect the video in which you are going to show macros in more details and built in macro types , mentioned in this video?
Macros are useful for writing parametrized test cases or "procedurally generated" code in general.
Clojure / Lisp take it to the next level with homoiconicity (code and data are the same thing)
Thanks
Awesome!
Java: *public static void main* is untouchable if you want your code to compile.
c++: hold my *MAIN_MARCO CHAR_EXCLAMATION*
thank you
Another reason why it might not be the best -- although IMO it's silly -- is that someone might tack a
Awesome.
Let's make Python with #define 😂
@3:02
Damn,
That was useful
Because I don't like to type
"std::cout
Often I just use printf.
You would have made an excellent Unreal Engine C++ trainer. Please do consider making a course on UE C++
The Cherno: C++
Subtitles/CC: *zip ocelots*
this is cool and all, but wouldn't this require wrapping a good portion of code with "LOG(x)" or are you just using Macros for short code to become shorter? Excuse me for being dumb here, but could you give me another example where you could use Macros to do "stuff" as it is currently shown to put shorter code instead of typing the larger amount. I do find it interesting where you showed in "Release Mode" some code can be used or not used.
3:28 ? Dont you Memories What Should You tell us Or Not?
yay!
Why can't you put template functions in.cpp files
3:33 OOP programmers: nah im gonna make everything OOP
How to use in class like Juce framework? In source code of Juce that has "class JUCE_API ClassName {}"
Both Programming and English can be learned by watching your videos
You are really great. I started learning cpp in 2013 but quit learning only because of curly brackets and over use of symbols like "
This joke has probably been cracked over 100000 times since Kernighan & Ritchie presented C in 1971.
Please don't pull another "Cherno" on us. Like you hype us with your quality content and then suddenly dissapear for half a year... :(
Where should I move on after finishing these series?
ILOVETHIS
Define macros are easy, the difficult is to read, most of the time you don't know where they are and what they do. Some code depend of some macros to be defined and the docs sometimes don't put so much effort in explain it, and that's really confusing.
For people having issues for ifdef DEBUG not showing correctly.
Use #Ifdef _DEBUG
I think the visual studio 2019 changed something for the debug :)
I have a question. Can we redefine a preprocessor directive? For instance (#define ADD_LIB #include)
it doesn't work for normall defines
as for macros it doesn't work because # has a special meaning in macros
Wouldn't it be usually better to use inline functions instead? They are safer and the performance difference is negligible. I know function calls use more cpu cycles but from my understanding inline functions are very optimized. I remember this from Effective C++ book
Can I set debug mode in Linux using vscode?
So you can create lua with macros, end is }, and so on
Wouldn't
#define LOG(x)
leave an extra semicolon in the code as it is not part of the definition?
yes it would in his example, but just a semicolon without any statements doesn't do anything
Slack in Unreal Engine uses macroses extensively and code becomes so cryptic...
Many a video about APIs I here about them all the time. I wood like to know: Wot they are and how they works?
Hey Cherno, thanks for your wonderful lectures they're really awesome and they helped me a lot! But the only tiny problem is in your lessons when you going through the lessons you speak and explain so fast lol so I'm asking if you just could be a bit slower for sharing knowledge about c++ I'll be grateful
Thanks for everything ~ 😁
Reduce the playback speed to 0.75x.
Good tutorial but if you use #define LOG(x), without anything, it compiles and works fine but the error code i get is weird? not 0 or 1.
Would using the # define WAIT std::cin.get() still be bad for debugging purposes? If I am not using vim or some text editor that doesn't have break points, that looks like a pretty quick way to use my own sort of break point, especially if I am going to delete it after I am done writing the code anyway.
/* use this at your own risk */
#define true false
#define int
#define if while
#define else
we do a large amount of trolling
very good. can you train qt. so we can make mobile application without lost of change of our code. Qt has opengl, opengl-es(angle) and vulkan implementations
Typically Mr. Cherno's videos are informative, but I found this video disappointing in many ways. I have been programming C and C++ since 1982 and believe in portability. Macros get you there.
1) It is very hard to overuse macros. I never use int, long, size_t, or double. Instead I use LSINT, LSLONG, ... so I can change their size with just a recompile. If you want to make data compatible between 32 and 64 bit programs you need that capability.
2) I have macros like LSCCPC which expands to "const char* const". That saves a bundle of typing and makes the code easier to read.
3) Never use special numbers in your code, define them as macros. So if you needed to use 3.14159 in your code you would "#define PI 3.14159" and then use PI in your code so it becomes readable and can be globally modified if needed (which would never occur with PI).
4) Never use an external call more than once. If you wanted to call "std:cin.get( )" more than once, make it into a member function with a readable name like GetInput(). If you use a macro it is duplicated in every location it appears. That is especially wasteful for strings, so don't use #define with multi-use strings (use a static instead).
5) Don't put macros into your compiler GUI! Keep them in the code where they belong. You are making your program dependent on the compiler on a specific computer! Put it in a header and include the header. I put both possibilities and then uncomment the one I want to use.
#define FOO_DEBUG 0
// #define FOO_DEBUG 1
6) One of the most important uses of macros is to unify compilers and platforms so all computing environments appear the same. Inside my call to get the available disk space I have code similar this:
#if MSDOSSYSTEM
size = msdos_diskspace( );
#elif ANYWINDOWSYSTEM
size = windows_diskspace( );
#elif LSANDROID
size = android_diskspace( );
#elif UNIXSYSTEM
size = unix_diskspace( );
#else
#error need diskspace for this platform
#endif
7) The reason you almost always use #if instead #ifdef is if you typo the macro with #if it fails during compilation. If you use #ifdef it compiles with you thinking the code was included when it wasn't because of the typo, leading to unnecessary debugging hassles and wasted time that would have been avoided with #if.
8) The standard going back to C is to capitalize macros so when you read the code it tells your mind they get substituted.
For 1) and 2) you normally would use typedefs. For 3) a macro is fine but using a const variable may do the same in some cases. For 6) I would rather put the conditionals inside my own diskspace function or define diskspace as a macro so that I don't have to potentially type these conditionals multiple times in my code.
@@darealshinji Actually I do use typedefs for 1) but since I capitalize them they look like macros and I forgot. But I do use macros with 2) when using const and pointers.
Does usage of macros effect performance or increase time in compilation since it needs to replace texts, like specially if the program has large number of macros?
If you have a large number of macros, you should probably reconsider your code.
@@angelcaru or your programming career
Do you do any consulting?
Never mind, apparently I broke my ten beer limit, so this one is on me.
Can i use macros to code in another language? By language i mean other than English.
I think
#define verdadero true
3:50 you're welcome
@Cherno What Should I start first, 'Game Engine' playlist or 'OpenGL' ?
I haven't seen either, but I guess it would make more sense to start with OpenGL
2:24 Double negative : "nothing you can't not replace" = "nothing you can replace"
On that first code you wrote, there wasn't a "return 0;"
so when do I use the Return 0;
@Peterolen You can even go crazy and have `void main();` Not that you should, ever. Seriously, don't.
I don't like that he keeps omitting the return statement in main. I guess msvc silently optimizes it to return 0 or something like that. GCC will usually warn you and using "void main()" might not even be possible.
Why does he build for x86 and win32?
Google WOW64 or watch all TheCherno clips. Imagine a customer who still wants to run your application on 32 bit windows. Imagine the effort to maintain two versions of your application. You understand?
good
They should have used an assignment operator. People would understand instantly.
How is that different from inlined functions?
Macros have nothing to do with functions, they're just text that is replaced. You could use them like a function, however you can do so much more with them. We'll explore this in later episodes.
Functions will get inlined if you use the appropriate keyword (eg. __force_inline for MSVC).
@TheChernoProject The code it will create tends to be the same though.
The fact that an "inline" function is inlined is decided by compiler, macros do not care about type safety or code syntax as they are parsed at preprocessing phase and are simple "find/replace" expressions. The most fun is to debug a macro because if for an inline function debugger will jump into function in case of a macro there is no code to jump to as the name of the macro was already replaced with specific text.
Well, yes, but macros are really useful where such text replacement is needed.
What IDE are you using or do you recommend for C/C++ development on linux?
@Artem Katerynych
Clion is available in linux
I don't use ide I use visual studio code with c++ extension and cmake extensions
Typedefs?
la gente ne büyük adam keşke
Now I realize Properties >> C/C++ >> Preprocess Def is macro.
I remember when I used static/dynamic library, I into Properties >> Linker blah blah ... hahahahahah Now I confident to use macro #pragma comment(lib, "nameLib.lib")
dont lie, u heard someone say obfuscation and you told yourself you had to use it in the video @ 6:12
still very organic tho. great job
i'll just leave this one here
#define integer int
#define main_execution main(int, char**)
#define executes {
#define wait std::cin.get()
#define then ;
#define ends_execution }
integer main_execution executes
wait then
ends_execution
Nordic nRF SDK for their microcontrollers is completely written in macros (C not C++). It's a nightmare.
I've once seen a tiny single header file PNG decoder which was written almost entirely using macros. It was... interesting.
OMG thank you.This is exactly what i was looking for. OPEN_CURLY it is. No.. WAIT
Function pointers needed