里缪

83

里缪 's Posts

衔引 原理毕，复用续。历观编程概念，避及重复，提其不变，于迭代与递归为甚。产生式元编程，乃欲自动产生百千代码，迭代递归，自是重要组件，不可不备。 本章以 FOR_EACH 为例，渐次派生问题，引出技术… Continue Reading 《产生式元编程》第二章 自复用代码生成技

宏编程的基本原理都已暗含于解决前两节问题的过程当中，本节开始，依此继续展开。 经由前面的努力，我们已掌握条件逻辑在宏编程的表示，代码生成往往涉及循环，所以今天来讲如何实现一个 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