OO第三单元——JML与规格化设计 2019-05-22 JML语言及应用工具链 JML理论基础 JML（Java Modeling Language）是一种行为接口规格语言，用于对Java程序进行规格化设计。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Solver等工 ...
分类：
其他好文 时间：
2019-05-22 19:18:42
阅读次数：
94
1.创建list 直接法 ：a=[]、 b=["6"] list()法： 如果传入参数为字符串，会将字符串拆分为单个字符或文字 2.访问列表 使用下标操作，也叫索引。注意从是从下标0开始 3.切片（截取）操作 对列表任意一段进行截 截取之后，创建一个新列表。如想有后续操作需用新变量接收（可通过id（ ...
分类：
编程语言 时间：
2019-05-08 12:10:23
阅读次数：
154
4、集合（集合（set）类型也是用来保存多个的字符串元素，但和列表类型不一样的是，集合中不允许有重复元素，并且集合中的元素是无序的，不能通过索引下标获取元素。） 1、命令 .集合内操作 1、添加元素 sadd key element [element ...]返回结果为添加成功的元素个数。 2、删除 ...
分类：
其他好文 时间：
2019-05-05 12:01:54
阅读次数：
162
数组是指一组数据的集合，数组中的每一个数据被称作元素。在数组中可以存放任何类型的数据，但同一个数组里存放的元素类型必须一样。 数组：数组元素可以通过索引下标来读取或者修改元素数据，索引从0开始以此类推。数组初始化以后，大小不能更改。 声明数组的语法格式：var 变量名 [数组长度]数据类型这是一维数 ...
分类：
编程语言 时间：
2019-04-27 19:34:03
阅读次数：
136
基本用法 stus = ["小何","小黑","小白"] list 列表 数组 索引、下标、角标 stus2 = [] 空的列表 stus3 = list() 空的列表 增 stus.append("小刘") 在list的末尾增加一个元素 stus.insert(0,"神仙") 在指定的位置插入元素 ...
分类：
编程语言 时间：
2019-04-18 20:22:38
阅读次数：
123
1.C中数组和指针的关系 对于任意类型的数组arr，对于同类型的指针类型parr（确切一点，可以假设类型为int，即 ）。它们之间有如下"内幕"： 1. 数组的名称arr本身就是一个指针，这个指针指向数组的第一个元素 2. 因为名称arr本身是指针，所以可以直接赋值给同类型的指针parr： ，这使得 ...
分类：
编程语言 时间：
2019-03-24 21:37:56
阅读次数：
144
数组的定义 数组是相同类型数据的有序集合。数组描述的是相同类型的若干个数据，按照一定的先后次序排列组合而成。其中，每一个数据称作一个元素，每个元素可以通过一个索引(下标)来访问它们。数组的三个基本特点： 1. 长度是确定的。数组一旦被创建，它的大小就是不可以改变的。 2. 其元素必须是相同类型，不允 ...
分类：
编程语言 时间：
2019-03-15 00:47:34
阅读次数：
480
Numpy数组创建 Numpy的ndarray对象属性： 数组的维度：array.shape 元素的类型：array.dtype 数组元素的个数：array.size 数组的索引（下标）:array[0] ...
分类：
编程语言 时间：
2019-01-23 12:32:30
阅读次数：
196
使用enumerate，可以自动进行索引下标的赋值，本例代码中使用enumerate，进行excel单元格的赋值操作。 代码如果重复被调用，可将该代码封装成类进行使用 ...
分类：
编程语言 时间：
2019-01-10 22:54:58
阅读次数：
219
字符串类型 字符串是不可变的数据类型 索引(下标) 我们在日常生活中会遇到很多类似的情况,例如吃饭排队叫号,在学校时会有学号,工作时会有工号,这些就是一种能保证唯一准确的手段,在计算机中也是一样,它就叫索引,也叫下标, 注意:索引都是从0开始,只有有序的对象才会有索引 切片 只取字符串中某一部分的, ...
分类：
编程语言 时间：
2019-01-07 21:23:59
阅读次数：
184
