北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 ...
分类：
其他好文 时间：
2021-06-02 15:13:27
阅读次数：
0
#作用域 #全局变量：在全局作用域下的变量，在函数内部没有关键字声明的变量也是全局变量 浏览器关闭才会销毁，占内存 #局部变量：在局部作用域下的变量，在函数内部的变量，形参 函数代码块执行结束后，销毁局部变量 #块级作用域 #作用域链 函数嵌套逐级向上查找 ...
分类：
其他好文 时间：
2021-06-02 15:12:27
阅读次数：
0
#es6中的块级作用域let consat ##相对于es5，es5只有var。没有作用域，相当于是全局作用域。而es6中let 和consat都是有作用域的 <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <title> ...
分类：
其他好文 时间：
2021-06-02 15:08:50
阅读次数：
0
循环结构 for for(初始化语句; 条件判断语句; 条件控制语句){ 循环体; } for(数据类型 变量名 : 数组名称){ 循环体 } while while(流程判断语句){ 语句体; 流程控制语句; } do ... while(了解) 区别 for, while 最低执行 0 次, d ...
分类：
其他好文 时间：
2021-06-02 15:06:24
阅读次数：
0
现在我们从源码来分析(一)中所涉及的东西 提问 问一下自己想从源码中知道什么, 带着目的去看源码才容易搞懂. 从下述的代码中发现定义了一个Function的Bean和在yaml中定义了definition, 那么这两个定义的作用是什么呢? Function是怎么样去绑定、注册的呢? 带着问题我们就可 ...
分类：
编程语言 时间：
2021-06-02 14:52:40
阅读次数：
0
1. kubeconfig配置文件 kubectl使用kubeconfig认证文件连接K8s集群，使用kubectl config指令生成kubeconfig文件。 2. kubectl管理命令概要 官方文档参考地址：https://kubernetes.io/zh/docs/reference/k ...
分类：
其他好文 时间：
2021-06-02 14:42:54
阅读次数：
0
1. namespace命名空间 命名空间（Namespace）：kubernetes蒋资源对象逻辑上隔离，从而形成多个虚拟集群 应用场景： 根据不同团队划分命名空间 根据项目划分命名空间 kubectl_get namespace default：默认命名空间 kube-system：k8s系统方 ...
分类：
其他好文 时间：
2021-06-02 14:39:41
阅读次数：
0
幂等性概念 数学中的定义：其任意多次执行所产生的影响均与一次执行的影响相同。比如f(f(x)) = f(x). HTTP协议中的定义：在HTTP/1.1规范中幂等性的定义是：HTTP方法的幂等性是指一次和多次请求某一个资源应该具有同样的副作用。其中GET,PUT, DELETE 如何测试幂等性 幂等 ...
分类：
其他好文 时间：
2021-06-02 14:05:20
阅读次数：
0
STP 概述 STP算法步骤 BPDU STP状态 概述 实际中交换网络环路会产生 *广播风暴 *多帧复制 *MAC地址表紊乱 STP（Spanning Tree Protocol）生成树协议 逻辑上断开环路，防止广播风暴的产生 当线路故障，阻塞接口被激活，恢复通信，起备份线路的作用 SPD算法步骤 ...
分类：
其他好文 时间：
2021-06-02 13:56:09
阅读次数：
0
class Main { public static void main(String[] args) { b bb = new b(); } } class a{ // a(){ 注释我会报错 // System.out.println("a"); // } a(int a){ System.ou ...
分类：
编程语言 时间：
2021-06-02 13:54:11
阅读次数：
0
