In C++, SFINAE and Concepts are both core techniques in C++ template metaprogramming, used to constrain and filter template parameters at compile time, enabling more flexible and safer generic programming. 1. SFINAE (Substitution Failure Is Not An Error) 1. Definition SFINAE is a compile-time mechanism in C++ template programming, which means: When template parameter substitution … Read more
1. ConceptC++ Variadic Templates are a core feature introduced in C++11 that allows templates (class templates or function templates) to accept zero or more parameters of any type / non-type, overcoming the limitation of traditional templates that can only have a fixed number of parameters. The core concepts are “parameter packs” and “pack expansion,” enabling … Read more
In the previous section of the analysis of libc++ STL source code – type_trait, I provided a brief introduction to the type_traits of libc++’s STL library. In this section, we will explain and analyze the following five traits: add_cv_quals add_pointer add_reference aligned_storage aligned_union Before analyzing this part of the source code, we will first introduce … Read more
In the previous section, we explained the concept of SFINAE. Although concepts were introduced in C++20, most of the experimental features in the standard library still utilize the SFINAE principle. Therefore, understanding this concept is key to comprehending the STL source code. Why start with type traits? Type traits are relatively simple, which can enhance … Read more
Detailed Explanation of Advanced Python Features: Writing More Elegant Code On the advanced path of Python programming, mastering advanced features not only makes your code more concise and efficient but also reflects a professional programming mindset. This article will delve into the most practical advanced features in Python, from basic syntax techniques to complex metaprogramming … Read more
Boost.Hana: A Modern Metaprogramming Library in C++ Boost.Hana is a powerful C++ library that provides developers with a new way to handle type-level and value-level computations. By unifying heterogeneous computations and type-level computations, it simplifies and makes complex metaprogramming tasks more intuitive. Core Features and Characteristics The core features of Boost.Hana can be divided into … Read more
1. Concepts and Variable Templates Concepts (C++20) and variable templates (C++14) are both introduced in newer standards, so related technical standards may not immediately follow suit. In previous studies, we learned about functions that take other functions as parameters, known as higher-order functions. Similarly, in template programming, there are templates that take templates as parameters, … Read more
(Search Attributes: C++ Variadic Templates Tutorial, Template Metaprogramming in Practice, Application of Fold Expressions) Three Stages of Technical Evolution 1. C-style Approach: Flexible but Risky #include <cstdarg> double cstyle_sum(int count, …) { va_list args; va_start(args, count); // Manual maintenance of parameter count double total = 0; for(int i=0; i<count; i++) { double num = va_arg(args, … Read more
Click the blue text to follow the author 1. Introduction Templates are a powerful feature of modern C++, originally intended for generic programming. You can write code once and use it with different data types without having to write separate functions or classes for each type. C++ templates are mainly divided into two types: Function … Read more
Hello everyone! I am Xiaokang. Today, we are going to discuss a topic that sounds dull but actually hides a lot of secrets — C language macros. ⚡ Friendly Reminder: Follow me to stay updated! There will be more hardcore technical articles shared later, guiding you through Linux C/C++ programming! 😆 What? Macros? Isn’t that … Read more