12 2021 档案

摘要：有时候你会遇到虚线莫名看上去成了实线的问题，可以尝试用 re 命令刷新一下。 阅读全文

摘要：今天在 VSCode 上写 Markdown，插入了几个 ✅。 后来将文件关闭再重新打开，发现 Emoji 都变成了问号。 问题原因：我保存该 Markdown 用的是 GB 2312 编码集，也就是简体中文。估计是 VSCode 错误猜测了文件所用的编码集，所以 Emoji 没能正常显示。 我这里 阅读全文

摘要：编译时（Compile time） 编译时指将源代码转换为计算机可识别的二进制代码的这段时间。它开始于翻译程序开始翻译源代码，结束于源代码翻译完毕。 “编译时错误”即在翻译过程中由翻译程序发现的源代码错误（比如语法错误）。 编译时错误包括: 语法错误 类型检查错误 编译器崩溃（很少发生） 编译时顺利 阅读全文

摘要：译自 Preconditions and Postconditions 在这篇文章中，我们将讨论术语前置条件（Precondition）和后置条件（Postcondition）。 前言 “前置条件”和“后置条件”这两个词看起来很吓人，但理解起来并不复杂。 定义 首先，让我们以一种正式的方式来定义“前 阅读全文

摘要：比如现在想要改变当前页的页面方向，在页面布局的纸张方向下更改。 但更改后发现整个文档的页面方向都变了。 解决方法是在当前页面的前后插入分节符。 然后再更改页面方向。 阅读全文