Dive deep into the C++ core, and discover more!
回顾上篇实现，可见会遇到内存重新分配问题，大文件读取存在隐性开销。 using result_type = std::vector<std::vector<std::string>&… Continue Reading Memory Reallocation when Parsing CSV Files
Li Miu
开窗见月，霜天悄然，欲更小文，以为消遣。 本篇以解析 CSV 为例，再谈 C++20 的使用。网上方法，颇为陈旧，看新方式何以优雅实现。 开始之前，定义为先： Comma-separated valu… Continue Reading Parsing CSV Files in C++20
Li Miu
前两章主要集中于应用实践，理论概念都是蜻蜓点水，本章将重点放在这些概念原理上，深入讲解一下。 宏二段替换 源文件扫描后，宏被替换为目标内容，替换实际上分为两个阶段。 第一阶段的替换发生在参数替换之时。… Continue Reading 《产生式元编程》第三章 替换蓝染概念纤悉
Li Miu
上篇讲解了 Compile time for，它是遍历技术中的迭代方式之一，特别常用。 它一般与 Fold expressions 组合使用，它们两个，一个相当于编译期的 Range-based fo… Continue Reading T231119 几种遍历技术实现结构体成员计数的比较
Li Miu
先说明，本篇并不是说 Expansion statements。 遍历方式分为两种，自下而上叫迭代，自上而下叫递归。 递归往往需要多个函数（if constexpr 可以避免），一般迭代是一种更加自然… Continue Reading T231111 Compile time for
Li Miu
这篇稍微总结一下异构类型的迭代方法。 首先是静态异构类型，主要指的就是 tuple like 类型，它们可以使用 std::apply 迭代。 void print(auto tuple_like_v… Continue Reading T231104 异构类型迭代法
Li Miu
这篇写个平时易被忽略的小知识点，一元 + 操作符的使用技巧。 一般二元 + 操作符用得较多，只有一个操作数时，没人会多此一举地把 1 写成 +1。 不过若是操作数为整数或无作用域枚举类型，一元 + 操… Continue Reading “+” 的几个使用小技巧，你了解吗
衔引 原理毕，复用续。历观编程概念，避及重复，提其不变，于迭代与递归为甚。产生式元编程，乃欲自动产生百千代码，迭代递归，自是重要组件，不可不备。 本章以 FOR_EACH 为例，渐次派生问题，引出技术… Continue Reading 《产生式元编程》第二章 自复用代码生成技
Li Miu
引言 自 C 以来，宏为代码生成工具。至 C++98 则有模板，泛型编程日益盛行。迄于 C++20，引编译期表达式，添 Concepts，元编程基础支持始渐完善。由此元编程之技稍简。而静态反射乃元编程… Continue Reading 《产生式元编程》第一章 宏编程计数引原理
Li Miu
宏编程的基本原理都已暗含于解决前两节问题的过程当中，本节开始，依此继续展开。 经由前面的努力，我们已掌握条件逻辑在宏编程的表示，代码生成往往涉及循环，所以今天来讲如何实现一个 FOR_EACH。 FO… Continue Reading T230925 Generative Metaprogramming with Macro Preprocessor (Part 3)
Li Miu
经过上篇分析实现，第一个需求「计算可变宏参数个数」已由 COUNT_VARARGS 基本实现。 让我们先总结一下用到的思想和发现的技术，再进入下一步。 2.1 通过增加一个间接层，能够解决无法直接解决… Continue Reading T230920 Generative Metaprogramming with Macro Preprocessor (Part 2)
Li Miu
这期开始将写一些关于宏编程的内容，讲解宏作为代码生成工具在产生式元编程中的运用。 有人可能会有疑问，已有模板作为元编程工具，为何还需要使用宏这种古老的代码生成工具？自然是因为如今模板元编程的代码生成能… Continue Reading T230917 Generative Metaprogramming with Macro Preprocessor (Part 1)
Li Miu
今天讲消息分发的一种编译期实现法。 编程是一门非常依赖逻辑的学科，逻辑分为形式逻辑和非形式逻辑，编程就属于形式逻辑。形式逻辑指的是用数学的方式去抽象地分析命题，它有一套严谨的标准和公理系统，对错分明；… Continue Reading Compile time dispatching in C++20
Li Miu
今天这篇讲 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
Li Miu