Dive deep into the C++ core, and discover more!
宏编程的基本原理都已暗含于解决前两节问题的过程当中，本节开始，依此继续展开。 经由前面的努力，我们已掌握条件逻辑在宏编程的表示，代码生成往往涉及循环，所以今天来讲如何实现一个 FOR_EACH。 FO… Continue Reading T230925 Generative Metaprogramming with Macro Preprocessor (Part 3)
里缪
经过上篇分析实现，第一个需求「计算可变宏参数个数」已由 COUNT_VARARGS 基本实现。 让我们先总结一下用到的思想和发现的技术，再进入下一步。 2.1 通过增加一个间接层，能够解决无法直接解决… Continue Reading T230920 Generative Metaprogramming with Macro Preprocessor (Part 2)
里缪
这期开始将写一些关于宏编程的内容，讲解宏作为代码生成工具在产生式元编程中的运用。 有人可能会有疑问，已有模板作为元编程工具，为何还需要使用宏这种古老的代码生成工具？自然是因为如今模板元编程的代码生成能… Continue Reading T230917 Generative Metaprogramming with Macro Preprocessor (Part 1)
里缪
今天讲消息分发的一种编译期实现法。 编程是一门非常依赖逻辑的学科，逻辑分为形式逻辑和非形式逻辑，编程就属于形式逻辑。形式逻辑指的是用数学的方式去抽象地分析命题，它有一套严谨的标准和公理系统，对错分明；… Continue Reading Compile time dispatching in C++20
里缪
今天这篇讲 Monads，对 C++ devs 来说是一个比较新的概念，也是一个比较难理解的概念。本文将概念和实践串起来讲，先讲抽象理论，后面讲具体实现和使用，以全面理解其定位。 Language 编… Continue Reading Monads in Modern C++, What, Why, and How
今天再来看看 C++23 Monadic std::optional，在 Overview of C++23 Features 只是简单介绍了用法，这里来说说设计原理。 std::optional 是… Continue Reading T230807 Reviewing C++23 Monadic std::optional
里缪
What and Why 这次单独说一下 std::exchange，它是 C++14 <utility> 提供的一个函数模板，实现很简单。 template<class T, cl… Continue Reading std::exchange use cases
里缪
今天讲一个 Idiom 加一些 Tricks。 本次内容紧紧围绕着 The Rule of the Big Five，即 destructor copy constructor copy assign… Continue Reading T230723 copy-and-swap Idiom and More Tricks
里缪
本次谈逻辑分派。 三种最基本的逻辑关系为相似、承接和因果关系。 逻辑分派主要指的是因果关系，因果关系里面又包含条件关系。因果关系是一种非常特殊且重要的关系，表示两个功能块之间具备极强的依赖性。功能 B… Continue Reading T230713 Dispatch table
里缪
今天谈谈 inline constexpr。 上次讲过 static constexpr，它用于 function scope/class scope ，此时 constexpr 会隐式 inline… Continue Reading T230707 inline constexpr
里缪