Dive deep into the C++ core, and discover more!
这期开始将写一些关于宏编程的内容，讲解宏作为代码生成工具在产生式元编程中的运用。 有人可能会有疑问，已有模板作为元编程工具，为何还需要使用宏这种古老的代码生成工具？自然是因为如今模板元编程的代码生成能… 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
里缪
提到 C++，许多人的印象绝对不会少了一个词：复杂。 的确，2000 页左右的标准，甚至一些特性单独就能成一本书，怎么能不复杂？ 但也别忘了它是一门接近 40 年的编程语言。 系统大了，问题本身就很复… Continue Reading T230705 Complex C++
里缪
占位，待录。
这次谈成员初始化。 C++存在 3 种方式初始化成员，分别为： ctor member initializer list ctor body default member initializer (i… Continue Reading T230621 Member Initialization
里缪
前几天群里聊到了初始化，所以这次选择该主题。 这个主题也是一个基本内容，乃大厦之基，联系太过广泛，所以也是可深可浅。 局部值、全局值、成员值、静态值、内联值、线程值……每一个单独拿出来可能还好理解，但… Continue Reading T230612 Variable initialization
里缪
有一段时间没写 TGS 了，继续更新。 今天谈一个基本概念—— Polymorphism，这是大多数初学者最初接触的概念，要说它简单，那你可能想简单了。它是一个可以串起 C++98-26 发展历程的一… Continue Reading T230531 C++ Polymorphism
里缪
今天说一下额外 () 产生不同意义的情况。 多数情况下，额外的()是不影响语义的，但在以下 5 种情况，有无 () 则意义不同，此时 () 就有了特殊的作用。 禁止 ADL。 在「洞悉 C++ 函数重… Continue Reading T230428 Extra Parentheses, Different Meaning
里缪
今天说两个关于编译期的小技巧。 看如下例子： struct S { int val; constexpr int size() const { return val * (val + 1) / 2; … Continue Reading T230420 Unconditional compile-time expression
里缪