几年前想学习spring源码，每次打开书都是构建源码开始，结果每次都是卡在源码构建环境上了。 由于spring源码使用gradle构建并且还依赖了一些其他环境的安装，所以想要顺利完成环境搭建并完整构建成功还是稍微有点麻烦。 折腾几次后就放弃强迫症了，索性下载了原版源码后删减了一些模块并且把构建工具换 ...
分类：
编程语言 时间：
2021-06-02 17:05:06
阅读次数：
0
OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
0
其实在很多文章都会写call，apply，bind的应用和区别，但是总感觉不是要的东西，所以自己总结一下，继续关注我，后续我会仔细讲解call，apply，bind的内部实现。喜欢的可以关注 如果出现错误，请在评论中指出，我也好自己纠正自己的错误 author： thomaszhou call、ap ...
分类：
移动开发 时间：
2021-06-02 16:52:39
阅读次数：
0
第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
16个相机参数摘要：本文首先介绍了针孔相机模型，然后推导四个坐标轴变换的关系，引出R、T、K、D中包含相机的5个内参，6个外参，5个畸变参数。相机的标定是从空间点及其对应的像素点，获得相机的位置信息和内部参数信息的过程，16个相机参数的总结为此提供了模型基础。 一、针孔相机模型 2.5 畸变参数 2 ...
分类：
其他好文 时间：
2021-06-02 16:09:04
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
为什么写博客 总结+思考 提升逻辑思维能力 结交朋友 Markdown语法 标题 #为一级标题 ##为一级标题 以此类推 字体 两边加为粗体 两边加为斜体 两边加为加粗+斜体 引用：> 为引用 分割线： 为分割线 图片：！ 感叹号要英 超链接：要用英文 列表 有序列表：1.加空格 无序列表：- 或+ ...
分类：
其他好文 时间：
2021-06-02 15:51:25
阅读次数：
0
1.变量名的作用域（the scope of name） 对象的生命周期（the lifetime of an object） 2.各源文件（.cpp）可以单独编译得到目标代码（.obj），所有目标代码链接得到可执行程序（.exe） 3.局部静态对象 local static objects 在通过 ...
分类：
编程语言 时间：
2021-06-02 15:48:31
阅读次数：
0
1.面向对象编程：数据抽象，继承，动态绑定。 2.数据抽象：接口和类实现分开。继承：可以建模相似类型之间的关系的类。动态绑定：使用不同类型的对象并忽略它们的不同。 3. 基类将依赖类型的函数与期望其派生类不加更改地继承的函数区分开来。 基类定义虚函数使得派生类可以自定义该函数。 4.类派生列表指定了 ...
分类：
编程语言 时间：
2021-06-02 15:36:04
阅读次数：
0
BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L ...
分类：
其他好文 时间：
2021-06-02 15:32:43
阅读次数：
0
