Read these Expert C snippets line by line — each one comes with a written breakdown of what the code does and why.
Strict aliasing allows the compiler to assume that pointers of different types do not alias the same memory. The 'restrict' qualifier (C99) explicitly informs the compiler that for the lifetime of…
Open snippet →CPUs often access memory in multi-byte chunks (word size). To optimize access, compilers align structure members to specific boundaries. This results in 'padding'—wasted space between members. Expe…
Open snippet →Instead of using large switch-case blocks for state machines or instruction decoding, expert C code uses dispatch tables. These are arrays of function pointers indexed by an enum or opcode. This pa…
Open snippet →A flexible array member is an unsized array declaration at the end of a struct. It allows for a single contiguous memory allocation for both the metadata (header) and the payload (data). This avoid…
Open snippet →The 'volatile' qualifier prevents the compiler from caching a variable's value in a register, forcing it to read from memory every time. 'sig_atomic_t' is a type that can be accessed as an atomic e…
Open snippet →Duff's Device is a famous C idiom that implements loop unrolling by interweaving a switch statement with a do-while loop. This allows the program to jump into the middle of the loop to handle the r…
Open snippet →Opaque pointers (often called 'handles' or the PIMPL idiom) allow for complete data encapsulation in C. By only providing a forward declaration in the header and defining the structure in the sourc…
Open snippet →setjmp and longjmp provide a way to perform non-local jumps, bypassing the normal function return mechanism. setjmp saves the execution environment (stack pointer, program counter), and longjmp res…
Open snippet →The X-Macro pattern is a powerful preprocessor technique used to maintain multiple related lists (like enums, strings, or switch cases) in sync. You define a list once and then 'apply' it by redefi…
Open snippet →Introduced in C11, the _Generic keyword allows for compile-time type-based selection. It is often used in macros to provide a form of polymorphism or function overloading. The preprocessor selects…
Open snippet →Uses C11's stdatomic.h to perform a lock-free update. atomic_compare_exchange_weak checks if the current value matches 'expected'; if so, it updates it to 'desired'. If not, it updates 'expected' w…
Open snippet →Compound literals allow creating unnamed objects on the fly. They are lvalues, meaning you can even take their address. This is extremely useful for passing complex arguments to functions without c…
Open snippet →The __VA_ARGS__ identifier is used in the macro expansion to represent the variable arguments passed to the macro. This allows creating powerful wrappers around functions like printf while automati…
Open snippet →Introduced in C11, _Static_assert allows checking conditions at compile time rather than runtime. If the expression is false, the compiler generates an error with the provided string, ensuring that…
Open snippet →Designated initializers allow you to initialize specific array indices or struct members by name/index. For arrays, this is particularly useful for mapping non-sequential constants (like error code…
Open snippet →Introduced in C11, the _Thread_local storage class specifier defines variables that have thread storage duration. Each thread receives its own separate instance of the variable, initialized once pe…
Open snippet →Using a pointer to an array with a variable size (VLA) as a function parameter allows for natural multidimensional indexing (matrix[i][j]) while maintaining type safety. Unlike a pointer-to-pointer…
Open snippet →The _Noreturn keyword (C11) indicates that a function will not return to its caller, typically because it terminates the program or performs a long jump. This provides a hint to the compiler for op…
Open snippet →In C, arithmetic operations on types smaller than 'int' (like char or short) trigger 'integer promotion', converting the operand to an 'int' first. Performing a bitwise NOT (~) on an unsigned char…
Open snippet →The result of subtracting two pointers is of the signed integer type 'ptrdiff_t'. This operation is only defined if both pointers point to elements within the same array or one past the last elemen…
Open snippet →Introduced in C11, _Generic provides a way to write type-generic macros. It acts like a compile-time switch statement that selects an expression based on the type of a controlling expression, allow…
Open snippet →setjmp and longjmp allow for non-local jumps that bypass the standard function call/return mechanism. This is often used to implement exception-like error recovery where a deeply nested function ca…
Open snippet →Opaque pointers (or 'PIMPL' in C) hide the implementation details of a struct from the user. By only providing a forward declaration in the header, the compiler prevents users from accessing intern…
Open snippet →X-Macros are a preprocessor technique for generating repetitive code from a single master list. This ensures that enums, string arrays, and other related structures remain synchronized, reducing ma…
Open snippet →Duff's Device is a famous C idiom that uses a switch statement's fall-through behavior to jump into the middle of a loop. It performs manual loop unrolling, reducing the number of branch instructio…
Open snippet →Flexible Array Members (introduced in C99) allow a structure to end with an unsized array. This technique enables a single heap allocation to contain both the metadata header and the variable-lengt…
Open snippet →Bit-fields allow the definition of structure members with explicit bit widths. This is essential for hardware-level programming or compacting data for network protocols. However, bit-field layout i…
Open snippet →Function pointers enable polymorphism in C. By using 'void*' parameters in a callback signature, you can create generic algorithms (like qsort) that operate on any data type. The callback abstracts…
Open snippet →'sig_atomic_t' is an integer type that can be accessed as an atomic entity even in the presence of asynchronous interrupts (signals). Combined with 'volatile', it prevents the compiler from caching…
Open snippet →