JML语言的理论基础、应用工具链 JML语言 JML是一种面向JAVA，形式化的行为接口规格语言。 JML表达式 原子表达式 ：方法执行后的返回值 ：一个表达式 在相应方法执行前的取值 ：返回 表示括号中的变量在方法执行过程中没有被赋值， 则表示被赋值 ：限制括号中的变量在方法执行期间取值不发生变化 ...
分类：
其他好文 时间：
2020-05-23 20:25:38
阅读次数：
59
import java.util.ArrayList;import java.util.List;/** * 描述：List拆分操作 * * @auther husheng * @date 2020/5/23 1:42 */public class ListOperation { public st ...
分类：
其他好文 时间：
2020-05-23 09:56:11
阅读次数：
122
继承层级关系 以下内容参考自 "JavaGuide randomaccess接口" 实际上 接口中什么都没有定义。所以，在我看来 接口不过是一个标识。标识什么？标识实现这个接口的类具有随机访问功能。 在 方法中，它要判断传入的list是否 的实例，如果是，调用 方法，如果不是，那么调用 方法。 ja ...
分类：
其他好文 时间：
2020-05-22 16:56:55
阅读次数：
58
//新增的所有数据List<Admin> adminList = new ArrayList<>();//数据库中的所有数据List<Admin> adList = adminDao.find(new Admin());//新增数据的所有idList<String> adminIdList = ne ...
分类：
数据库 时间：
2020-05-22 13:02:50
阅读次数：
82
import java.util.ArrayList; import java.util.HashMap; import java.util.List; import java.util.Map; public class MapList { public static void main(Stri ...
分类：
编程语言 时间：
2020-05-21 21:06:10
阅读次数：
68
Java初始化List的5种方法 第一种 /** * 第一种方式 * 常规方式 */ @Test public void one(){ List<String> languages = new ArrayList<>(); languages.add("Java"); languages.add(" ...
分类：
编程语言 时间：
2020-05-21 19:26:24
阅读次数：
84
泛型 泛型是一种“代码模板”，可以用一套代码套用各种类型。 1. 泛型 Java标准库提供的ArrayList可以看作“可变长度”的数组，实际上它内部就是一个Object[]数组，配合存储一个当前分配的长度，就可以充当“可变数组”。如果用ArrayList存储String类型，会有以下缺点：①需要强 ...
分类：
编程语言 时间：
2020-05-21 16:10:55
阅读次数：
56
本文通过MetaWeblog自动发布，原文及更新链接：https://extendswind.top/posts/technical/java_toarray_return_and_generic_type_erase 在将ArrayList等Collection转为数组时，函数的返回值并不是泛型类... ...
分类：
编程语言 时间：
2020-05-20 23:58:48
阅读次数：
91
顶部注释告诉我们的信息 + ArrayList是实现了List接口的可变长数组（ArrayList的底层是基于数组实现的） + ArrayList允许内部存在null元素 + ArrayList除了不是线程安全的之外，和Vector基本差不多。（如果想使用线程安全的ArrayList：List li ...
分类：
其他好文 时间：
2020-05-20 20:13:49
阅读次数：
54
1 package test_17_4; 2 3 import java.util.ArrayList; 4 import java.util.Arrays; 5 import java.util.Collection; 6 import java.util.HashSet; 7 import ja ...
分类：
编程语言 时间：
2020-05-20 17:13:02
阅读次数：
52
