- 博客(6)
- 收藏
- 关注
RSS订阅原创 ADT和oop学习心得
一、ADT如何设计ADT？设计ADT：设计规约Spec->表示不变性Rep->实现Impl1.1 规约Spec的写法方法注释@param 参数说明@return 返回值说明@throw 抛出异常1.2 规约Spec的强度和评价1.2.1 规约Spec的强度：前置条件越弱，规约强度越强；后置条件越强，规约强度越强；其他情况无法比较。1.2.2 规约Spec的评价：内聚的：一个好的规约Spec应该功能单一，易于理解；信息丰富的：不产生歧义；足够“强”的：使开发
2022-04-19 14:44:18
131
原创 Redis新数据类型
BitmapsRedis提供了Bitmaps这个“数据类型”可以实现对位的操作( 1) Bitmaps本身不是一 种数据类型，实际上它就是字符串( key-value )但是它可以对字符串的位进行操作。(2)Bitmaps单独提供了一套命令，所以在Redis中使用Bitmaps和使用字符串的方法不太相同。可以把 Bitmaps想象成一个以位为单位的数组,数组的每个单元只能存储0和1，数组的下标在Bitmaps中叫做偏移量。...
2021-04-27 22:37:34
409
原创 Redis---数据类型
五大数据类型key操作.....bin/redis-cli 连接Rediskeys * 查看当前库所有keyexists key 判断某个key是否存在type key 查看你的key是什么类型del key 删除指定的key数据unlink key
2021-04-27 20:29:03
814
5
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人