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 →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 →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 →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 →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 →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 →Non-local jumps allow control flow to bypass normal function call and return sequences across the call stack. Calling `setjmp` saves the current execution state (registers and stack context) into a…
Open snippet →Duff's Device is a famous technique relying on legal C syntax where a `switch` statement interleaves directly into a `do-while` loop. It achieves manual loop unrolling with minimal branch condition…
Open snippet →Intrusive linked lists embed node pointers directly inside payload structures rather than wrapping payload pointers inside list nodes. The `container_of` macro uses `offsetof` from `<stddef.h>` to…
Open snippet →An Arena Allocator manages linear bump allocation over a fixed byte buffer to avoid malloc overhead and fragmentation. High-performance systems require data memory addresses aligned to hardware bou…
Open snippet →C11 introduced the _Generic keyword, enabling type-based compile-time macro dispatch without runtime overhead or name mangling. The compiler evaluates the static type of the controlling expression…
Open snippet →Object-oriented dynamic dispatch can be cleanly implemented in standard C by nesting a base structure containing a pointer to a virtual method table (VTable). Sub-structures place the base struct a…
Open snippet →Branch mispredictions in performance-critical loops trigger severe CPU pipeline flushes. By leveraging arithmetic bit-shifts to construct sign masks, conditional selections like maximum or absolute…
Open snippet →