MFC 14 以訊息為基礎，以事件驅動之 / 007 ㆒個具體而微的 Win32 程式 / 009 程式進入點 WinMain / 015 視窗類別之註冊與視窗之誕生 / 016 訊息迴路 / 018 視窗的生命㆗樞 - 視窗函式 / 019 * 奇怪的視窗類別名稱 Afx:b:14ae:6:3e8f / 387 視窗顯示與更新 / 389 CWinApp::Run - 程式生命的活水源頭 / 390 把訊息與處理函式串接在㆒起：Message Map 機制 /394 來龍去脈總整理 / 397 Callback 但是，还没学会走之前，连跑都别想！ 虽然这是一本深入讲解MFC 程序设计的书，我仍坚持要安排这第一章，介绍Win32 的 基本程序设计原理（也就是所谓的SDK 程序设计原理）。 从来不曾学习过在「事件驱动（event driven）系统」中撰写「以消息为基础（message based） 之应用程序」者，能否一步跨入MFC 领域，直接以application framework 开发Windows

3.3 右值引用 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 左值、右值的纯右值、将亡值、右值 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 右值引用和左值引用 . . 运行期进行了大量的强化，Lambda 表达式的出 现让 C++ 具有了『匿名函数』的『闭包』特性，而这一特性几乎在现代的编程语言（诸如 Python/Swift/. . . ）中已经司空见惯，右值引用的出现解决了 C++ 长期以来被人诟病的临时对象效率问题等等。 C++17 则是近三年依赖 C++ 社区一致推进的方向，也指出了 现代 C++ 编程的一个重要发展方 向。尽管它的出现并不如 C++11 还提供了统一的语法来初始化任意的对象，例如： Foo foo2 {3, 4}; 结构化绑定 结构化绑定提供了类似其他语言中提供的多返回值的功能。在容器一章中，我们会学到 C++11 新 增了 std::tuple 容器用于构造一个元组，进而囊括多个返回值。但缺陷是，C++11/14 并没有提供一种 简单的方法直接从元组中拿到并定义元组中的元素，尽管我们可以使用 std::tie 对元组进行拆包，但

取决于内存的随机值 编译器默认生成的构造函数：无参数（ POD 陷阱解决方案） • 不过我们可以手动指定初始化 weight 为 0 。 • 通过 {} 语法指定的初始化值，会在编译器自 动生成的构造函数里执行。 编译器默认生成的构造函数：无参数（ POD 陷阱解决方案，续） • 不过我们可以手动指定初始化 weight 为 0 。 • 通过 {} 语法指定的初始化值，不仅会在编译 • int x{}; • void *p{}; • 与 • int x{0}; • void *p{nullptr}; • 等价，都会零初始化。但是你不写那个空括号就会 变成内存中随机的值。 • 再比如： std::cout << int{}; 会打印出 0 编译器默认生成的构造函数：初始化列表（感谢 C++11 ） • 当一个类（和他的基类）没有定义任何构造函 数，这时编译器会自动生成一个参数个数和成 ，剩余的为默认 值） • 这个编译器自动生成的初始化列表构造函 数，除了可以指定全部成员来构造以外， 还可以指定部分的成员，剩余没指定的保 持默认。 • 不过你得保证那个没指定的有在类成员定 义里写明 {} 初始化，否则有可能会变成内 存里的随机值。 • 顺便一提， C++20 中还可以通过指定名称来跳顺序： 编译器默认生成的构造函数：初始化列表（妙用，解决函数多返回值） • 典型的例子包括，图形学某知名应用中，

&operator[](size_t i) const noexcept; vector 容器：构造函数 • 除了先指定大小再一个个构造之外，还可 以直接利用初始化列表（ C++11 新特性） 在构造时就初始化其中元素的值。 • 例如创建具有 6, 1, 7, 4 四个元素的 vector ： • vector a = {6, 1, 7, 4}; • 和刚刚先创建再赋值的方法相比更直观。 • ve 会初始化为空字符串，指针类型会初始化为 nullptr ） • explicit vector(size_t n); vector 容器：构造函数 • 这个显式构造函数还可以指定第二个参数，这样 就可以用 0 以外的值初始化整个数组了。 • 比如要创建 4 个 233 组成的数组就可以写： • vector a(4, 233); • 等价于 • vector a = {233, 233, • a.resize(4); • void resize(size_t n); vector 容器： resize • 当然， resize 也有一个接受第二参数的重载 ，他会用这个参数的值填充所有新建的元素。 • vector a(4, 233); • 等价于： • vector a; • a.resize(4, 233); • void resize(size_t

6. 通过实战案例来学习 STL 算法库 7. C++ 标准输入输出流 & 字符串格式化 8. traits 技术，用户自定义迭代器与算法 9. allocator ，内存管理与对象生命周期 ASCII 码 第 1 章 计算机如何表达字符 https://zh.wikipedia.org/wiki/ASCII 计算机如何表达字符 • 众所周知，计算机只能处理二进制 整数，字符要怎么办呢？ 。因为 ‘ y’ 是数字 部分结束的地方，而 ‘ y’ 是第三个字符，但是计算机数数从 0 开始，所以计 算机说这是第 2 个字符，没毛病。 • 为什么要指针？因为 stoi 的返回值已经是 int 了，要额外的返回值只能这样 。 stoi 的第二参数： &pos stoi 的 &pos 参数实战案例 stoi 抛出异常的情况 • 如果字符串的开头不是数字，则 stoi 会抛出 std::invalid_argument icatchthecat”.find(‘c’, 4) 会返回 4 。 find 寻找子字符串 (size_t)-1 更专业的写法 • 其实 string 类里定义了一个静态常量 npos ，其值为 (size_t)- 1 。 • 我们使用时，可以用 std::string::npos 代替看起来很不专业的 - 1 。 • 因此，要查询一个字符串是否包含某一字符，可以写： 1. s.find(c)

std::thread 的解构函数会销毁线程 • 作为一个 C++ 类， std::thread 同样遵循 RAII 思想和三五法则：因为管理着资源， 他自定义了解构函数，删除了拷贝构造 / 赋 值函数，但是提供了移动构造 / 赋值函数。 • 因此，当 t1 所在的函数退出时，就会调用 std::thread 的解构函数，这会销毁 t1 线程 。 • 所以， download 函数才会出师未捷身先死 分离该 线程——意味着线程的生命周期不再由当 前 std::thread 对象管理，而是在线程退 出以后自动销毁自己。 • 不过这样还是会在进程退出时候自动退出 。 解构函数不再销毁线程：移动到全局线程池 • 但是 detach 的问题是进程退出时候不会 等待所有子线程执行完毕。所以另一种解 法是把 t1 对象移动到一个全局变量去， 从而延长其生命周期到 myfunc 函数体外 zeno 也用了 opengl ，但他用多进程成功在 opengl 的百般拖后腿下实现了 并发。 第 2 章：异步 异步好帮手： std::async • std::async 接受一个带返回值的 lambda ，自身返回一个 std::future 对象 。 • lambda 的函数体将在另一个线程里执行 。 • 接下来你可以在 main 里面做一些别的事 情， download

数据结构与算法的关系 如图 1‑4 所示，数据结构与算法高度相关、紧密结合，具体表现在以下三个方面。 ‧ 数据结构是算法的基石。数据结构为算法提供了结构化存储的数据，以及操作数据的方法。 ‧ 算法为数据结构注入生命力。数据结构本身仅存储数据信息，结合算法才能解决特定问题。 ‧ 算法通常可以基于不同的数据结构实现，但执行效率可能相差很大，选择合适的数据结构是关键。 图 1‑4 数据结构与算法的关系 数据结构与算法犹如图 前看来最好的选择。 ‧ 算法是在有限时间内解决特定问题的一组指令或操作步骤，而数据结构是计算机中组织和存储数据的 方式。 ‧ 数据结构与算法紧密相连。数据结构是算法的基石，而算法为数据结构注入生命力。 ‧ 我们可以将数据结构与算法类比为拼装积木，积木代表数据，积木的形状和连接方式等代表数据结构， 拼装积木的步骤则对应算法。 1. Q & A Q：作为一名程序员，我在日常工作中从未用算 ace complexity）。 ‧“随着输入数据大小的增加”意味着复杂度反映了算法运行效率与输入数据体量之间的关系。 ‧“时间和空间的增长趋势”表示复杂度分析关注的不是运行时间或占用空间的具体值，而是时间或空间 增长的“快慢”。 复杂度分析克服了实际测试方法的弊端，体现在以下几个方面。 第 2 章 复杂度分析 www.hello‑algo.com 19 ‧ 它无需实际运行代码，更加绿色节能。

glm::vec3 V> // 错误！ 模板参数：多个模板参数 • int N 和 class T 可以一起使用。 • 你只需要指定其中一部分参数即可，会自 动根据参数类型（ T msg ）、默认值（ int N = 1 ），推断尖括号里没有指定的那些参 数。 模板参数：参数部分特化 1. func(T t) 完全让参数类型取决于调用者 。 2. func(vector t) if constexpr 的表达式不能用运行时变量，模板尖括号内的参数也不能： • 可以在 bool debug 变量的定义前面加上 constexpr 来解决： • 但这样 debug = 右边的值也必须为编译期常量，否则出错： 模板的难题：编译期常函数 • 编译期 constexpr 的表达式，一般是无法调用其他函数的。 • 解决：如果能保证 isnegative 里都可以在编译期求值，将他前面也标上 引入了 auto ，使用 auto 定义的变量，其类型会自动根据等号右边的值来确定 ： 自动类型推导：一些局限性 • 不过 auto 也并非万能，他也有很多限制。 • 因为需要等号右边的类型信息，所以没有 = 单独声明一个 auto 变量是不行的： • 而且，类成员也不可以定义为 auto ： 自动类型推导：函数返回值 • 除了可以用于定义变量，还可以用作函数的返回类型： • 使用 auto

lambda 表达式知多少 6. 通过实战案例来学习 STL 算法库 7. C++ 标准输入输出流 & 字符串格式化 8. traits 技术，用户自定义迭代器与算法 9. allocator ，内存管理与对象生命周期 set 和 vector 的区别 • 都是能存储一连串数据的容器 。 • 区别 1 ： set 会自动给其中的 元素从小到大排序，而 vector 会保持插入时的顺序。 • 区别 2 会把重复的元素 去除，只保留一个，即去重。 • 区别 3 ： vector 中的元素在内 存中是连续的，可以高效地按 索引随机访问， set 则不行。 • 区别 4 ： set 中的元素可以高 效地按值查找，而 vector 则 低效。 set 的排序： string 会按“字典序”来排 • set 会从小到大排序，对 int 来 说就是数值的大小比较。那么对 字符串类型 string 要怎么排序 会返回自增后迭代器 。 • 还有 std::advance 会就地自增作为引 用传入的迭代器，他同样会判断是否支 持 += 来决定要采用哪一种实现。 • 区别： advance 就地修改迭代器，没 有返回值； next 修改迭代器后返回， 不会改变原迭代器。 • advance 相当于 += ， next 相当于 + 。 next 和 advance 同样支持负数 • next 的第二个参数 n

流水线如何应付跳转指令：分支预测 • 但是问题是烧开水被烫伤只是个小概率事件！为了这个千分之一的概率而故意等着不刷牙是 否有点因噎废食？所以现在的 CPU 都有分支预测的能力。举例来说：你每天都执行刚刚 说的那个“早间活动”的任务清单。你发现“如果烧开水被烫伤”这件事似乎从来没发生过，于 是你渐渐意识到，被烫伤是个小概率事件，所以你“预判”到今天应该也不会发生意外，不再 等待烧完开水才开始刷牙， 处，否则不跳转继续往下执行。 • setle al 上一次比较结果为小于等于时，把 al 设为 1 ，否则设为 0 。 • cmovle eax, edi 上一次比较结果为小于等于时，把 eax 设为 edi 的值，否则 eax 保持 不变。 • 因为不用破坏流水线，不需要分支预测，无分支指令往往更加高效， CPU 执行效率更高 。 • j 系列指令有 jle ， jge ， jl ， je 等等。 set int 类型（ movzx 把 1 字节的 al 转换成 4 字节的 eax ，零扩展：高 3 字节 填充零） • 返回类型 int 占据 4 字节（ eax 寄存器就是 4 字节的） • 返回值都放 eax 寄存器（刚刚算得的就在 eax ，直接返 回） 无分支优化：从语法角度分析 • 刚刚其实是利用了 C 语言把 bool 类型的 true 当做 1 ， false 当做 0 的特性。