🤣

SFINAE 与 type_traits SFINAE 替换失败不是错误 (Substitution Failure Is Not An Error)，此特性被用于模板元编程。 在函数模板的重载决议中应用此规则，当将模板形参替换为显式指定的类型或推导的类型失败时，从重载集中丢弃这个特化，而非导致编译失败。 type_traits 类型特性 定义一个编译时基于模板的结构，以查询或修改类型的属性，是一种类型萃取技术。 type_traits 在 C++ 中是基于 SFINAE 实现的，通过模板的偏特化来查询或者修改类型的属性，无运行时开销。 其核心是整数常量模板 integral_c...

C++ 虚函数分析 虚函数调用属于运行时多态，在类的继承关系中，通过父类指针来调用不同子类对象的同名方法，而产生不同的效果。 C++ 中的多态是通过晚绑定（对象构造时）来实现的。 用法 在函数之前声明关键字virtual表示这是一个虚函数，在函数后增加一个 = 0 表示这是一个纯虚函数，纯虚函数的类不能创建具体实例。 该示例作后文分析使用，一个包含纯虚函数的父类，一个重写了父类方法的子类，一个无继承的类。 struct Base { Base() : val(7777) {} virtual int ***(int a) = 0; int val; }; s...

lambda 表达式分析 构造闭包：能够捕获作用域中变量的匿名函数的对象，Lambda 表达式是纯右值表达式，其类型是独有的无名非联合非聚合类类型，被称为闭包类型（closure type），所以在声明的时候必须使用 auto 来声明。 在其它语言如lua中，闭包的格式相对更为简单，可以使用 lambda 表达式作用域的所有变量，并且返回闭包 local function add10(arg) local i = 10 local ret = function() i = i - 1 return i + arg end r...

引用 左值引用，建立既存对象的别名 右值引用，可用于为临时对象延长生命周期 转发引用，保持函数实参的类别 悬置引用，对象生命周期已经结束的引用，访问改引用为未定义行为 值类别，左值，纯右值，亡值 std::move, std::forward 类型推导 引用塌缩（折叠） 可以通过模板或者 typedef 中的类型操作构成引用的引用，但是C++不认识多个& 的，所以就产生一个规则，左值引用 &， 右值引用 &&，在结合的时候，可以把左值引用看作是显性基因，只要有左值引用，那么结合就折叠成左值引用，要两个都是隐形基因（&...

new new 是C++ 中的关键字，有两个含义 new 表达式 作为运算符的函数名，也就是 operator new new 表达式 提供一个特定的内存分配格式，返回在存储空间上构造的对象或对象数组的一个 纯右值 指针。 语法 :: (可选) new (布置参数)(可选) (类型) 初始化器(可选) :: (可选) new (布置参数)(可选) 类型 初始化器(可选) 说明 布置参数为分配的内存 初始化器则有两种，分别是() 和 {} 初始化方式，可以包括 auto decltype(auto) 等占位类型说明符 char* pt...

spdlog 基本结构分析 代码取自 V1.5.0, 代码堪称美学。 spdlog 是一个只有头文件的C++日志库，速度非常快，扩展性很强，更重要的是 社区活跃，文档齐全。 使用 参考官方的 example. {fmt} 的格式使用也需要熟悉一下，毕竟也进 C++20 了，什么垃圾流就快扫进历史的垃圾堆吧. 分析 这里选择了三个点来做分析： 提供的 日志格式 非常丰富，并且允许用户自定义需要的格式。 对日志文件的类型也做了充分扩展，支持控制台，普通文件，按大小滚动文件，按时间滚动文件，如果不能满足需要，可以自己扩展格式，见 spdlog/sinks/bas...

limlog 作一篇文章记录实现，驱动优化迭代。 代码仓库 用法 实现 后端实现 前端实现 日期时间的处理 线程id的获取 日志行的其他项处理 优化 整形字符串格式化优化 测试 benchmark 性能分析 TODO Change Log 参考 对日志库的 特点期望： 正确性，这个是最重要也是最基本的，包括 全部写入. 多个线程间的日志不穿插干扰. 日...

链接 在实际操作的过程中，测试的数据和 CS:APP 里面的内容有一些出入了，如重定位的方式，现在默认都使用 GOT+PLT 的方式进行重定位，与此带来的是 .rel.data ***掉，使用 GOT 的方式访问。 编译过程 静态链接 目标文件 可重定位目标文件 符号解析 链接静态库 重定位 可执行目标文件 共享库与位置无关代码 PIC 数据引用 PIC 函数调用 总结 参考 readelf 和 objdump 两个工具可以很好的分析生产的目标文件内容。 编译过程 cpp -> cc1 ->...

Graphviz Graphviz 是一个自动排版的作图软件，可以生成 png pdf 等格式。 dot 语法介绍 部分图形属性介绍 示例 使用VSCode进行预览生成 参考 dot 语言 Graphviz 构建组件为 图，节点，边，用属性对其进行描述。 以下是定义DOT语言的抽象语法，约束的规则如下： 元素的终止以 粗体 显示 文字字符用单引号 '' 引起来 圆括号 () 的内容为必选项 方括号 [] 为可选项目 竖杠 | 为择一选择 声明 结构 graph ...

C 表达式中的汇编指令 asm 为 gcc 中的关键字，asm 表达式为在 C代码中嵌套汇编指令，该表达式只是单纯的替换出汇编代码，并不对汇编代码的含义进行解析。 asm 表达式有两种形式，第二种 asm-qualifiers 包含了 goto 语句。 第一种形式为常见的用法，AssemblerTemplate 和 OutputOperands 必须存在, 其中 Clobbers 存在需要 InputOperands 也出现。 asm asm-qualifiers ( AssemblerTemplate : OutputOperands ...

epoll(2) 源码分析 文本内核代码取自 5.0.18 版本，和上一篇文章中的版本不同是因为另一个电脑出了问题，但是总体差异不大。 引子留下的问题 关键数据结构 提供的系统调用 就绪事件相关逻辑 epoll 间的相互影响及处理 问题的解答 引子留下的问题 在上一篇文章中留下了几个问题，本文将针对这几个问题进行分析： epoll(2) 得到就绪事件的复杂度为何是 \(O(1)\) epoll(2) 和普通的文件相比的区别在哪里，比如和 eventfd(2) 比较 epoll(2) 相对 poll(2)/select(2) 多提供了 EPO...

epoll(2) 使用及源码分析的引子 本文代码取自内核版本 4.17 epoll(2) - I/O 事件通知设施。 epoll 是内核在2.6版本后实现的，是对 select(2)/poll(2) 更高效的改进，同时它自身也是一种文件，不恰当的比方可以看作 eventfd + poll。 多路复用也是一直在改进的，经历的几个阶段 select(2) - 只能关注 1024 个文件描述符，并且范围固定在 0 - 1023，每次函数调用都需要把所有关注的数据复制进内核空间，再对所有的描述符集合进行遍历判断。 poll(2) - 改进 select(2) 前面两个缺点，可以自定...