摘要：1.规则化发展历史 形式化方法的研究高潮始于20世纪60年代后期，针对当时所谓“软件危机”,人们提出种种解决方法,归纳起来有两类：一是采用工程方法来组织、管理软件的开发过程；二是深入探讨程 序和程序开发过程的规律，建立严密的理论，以其用来指导软件开发实践。前者导致“软件工程”的出现和发展，后者则推动 阅读全文

摘要：例如printf（） 阅读全文

摘要：常见的预处理指令如下： 2.#define: 有关#define这个宏定义，在C语言中使用的很多，因为#define存在一些不足，C++强调使用const来定义常量。宏定义了一个代表特定内容的标识符。预处理过程会把源代码中出现的宏标识符替换成宏定义时的值。记住仅仅是进行标识符的替换。 在宏定义中尽量 阅读全文

摘要：第一篇 希望能养成写博客的新的习惯（好久没有养成新习惯了） 记个日期 15:03 2018/5/6 最近查找学习的东西都记录下来（转发）吧 当当当~~~ 阅读全文

摘要：oo第二次博客总结 一、前言 从三部多线程电梯开始，oo终于进入了多线程的控制。多线程中的线程安全是非常重要的方面，需要更多的精力和更加小心的去设计代码和修改bug 二、多线程电梯 在三部多线程电梯中，我的设计并不完善，其中从输入到调度器再从调度器到托盘的过程若均使用生产者消费者模型会因为无输入而导 阅读全文