1.类和对象 类:是一个模板,抽象 . 对象是一个具体的实例 2.方法 方法的定义,方法的调用,方法的重载... 3.基本类型 , 对象是通过引用来操作的 >栈 >堆 4.属性 : 字段 field 或者叫成员变量 默认初始化: 数字 0 , 0.0 char \u0000 boolean fals ...
分类：
其他好文 时间：
2020-05-24 14:03:01
阅读次数：
53
getter 和setter 子类中为什么要写get和set方法获取释放数据，不写会怎样?在什么情况下要用getter和setter？ getter通常与一个私有的实例变量对应，用于返回该变量的值 public int getXxxx(){ return "相应的实例变量";} setter通常与一 ...
分类：
其他好文 时间：
2020-05-24 13:54:09
阅读次数：
70
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
JML理论基础： 在大一的离散结构课程中，我们学习叻关于谓词逻辑的相关知识。作为一名周六还得补考离散二的菜鸡，我只能爬。我个人理解上JML语法格式是谓词逻辑和java的生动结合，让读者在理解与讨论的过程中收获极大的欢乐，并基于契约化编程的思想来解放程序员于bug之中->如果完全按照规格实现，那么WA ...
分类：
其他好文 时间：
2020-05-23 00:09:49
阅读次数：
58
一、命名规范 匈牙利命名法：变量名=属性+类型+对象描述，其中每一对象的名称都要求有明确含义，可以取对象名字全称或名字的一部分。 驼峰法：混合使用大小写字母来构成变量和函数的名字，如同驼峰一般起伏。 #### 样例 #### # g_:全局变量 # m_:类成员变量 # s_:静态变量 # c_:常 ...
分类：
其他好文 时间：
2020-05-23 00:07:39
阅读次数：
97
1. 基础类型 有12种 布尔值 let isDone: boolean = false; 数字 let dec: number = 6; 字符串 let name : string = 'bob'; 数组 let list: number[] = [1, 2, 3]; 元组 let x : [st ...
分类：
其他好文 时间：
2020-05-21 21:13:21
阅读次数：
79
访问修饰符 类的每一个成员（包括成员变量，方法和构造器）都有一个访问修饰符用来判断谁可以访问该成员 Java为类中的成员提供了四种访问级别，按照访问权限由大到小排列如下： 1、公开访问级别：public2、受保护访问级别：protected3、默认访问级别：为空4、私有访问级别：private用pu ...
分类：
编程语言 时间：
2020-05-21 16:06:53
阅读次数：
54
我在本地使用@InjectMocks注入依赖时发现@InjectMocks并不能将“被注入类”中所有“被Mook的类”都用“Mook的类”的替换掉，注入的方式似乎没有规则，目前测试结果如下： @InjectMocks只会注入给一个成员变量，只注入一次。优先级从大到小：没有创建对象的成员变量(无论申明 ...
分类：
其他好文 时间：
2020-05-21 12:02:07
阅读次数：
236
java注解篇 什么是注解？ 注释是给开发者看的，可以提升代码的可阅读性和可维护性，但是对于java编译器和虚拟机来说是没有意义的，编译后的字节码文件中没有任何注释信息。 而注解和注释有些类似，不过注解是给编译器和虚拟机看的。编译器和虚拟机可以在运行过程中获取注解信息，然后根据注解信息做各种想做的事 ...
分类：
编程语言 时间：
2020-05-20 09:42:39
阅读次数：
53
内部类 [TOC] 内部类 内部类 ? | 非静态内部类 (成员内部类) ? | 静态内部类 (类内部类) ? | 局部内部类 ? | 匿名内部类 非静态内部类 相当于Outer的成员变量, 可以访问实例变量,实例方法, 但是不能访问类变量 通过 来调用 如果外部类和内部类具有相同的成员变量或方法, ...
分类：
其他好文 时间：
2020-05-19 22:28:32
阅读次数：
60
