第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
ps：getchar()只读入一个字符 快读快写的应用情景：数据量较大时（数据很小的时候没什么用还浪费写代码的时间） 优点：快 应用限制：只能读入整数 原理：通过读入字符的方式来优化数的读入(这里认为字符的输入比传统型整数的输入更快) 快读模板： inline int read() { int x= ...
分类：
其他好文 时间：
2021-06-02 14:14:44
阅读次数：
0
问题概述： Windows 10 默认的环境变量编辑器有对变量的值长度限制，单个变量的值超过2047个字符会抛出“此环境变量太大。此对话框允许将值设置为最长2047个字符。" 的异常。 解决方法：直接在注册表添加路径。 1.打开注册表 下面是在 Windows 10 中打开注册表编辑器的3种方法： ...
分类：
其他好文 时间：
2021-06-02 13:44:09
阅读次数：
0
百度云下载加速 使用浏览器插件 一、在线油猴插件+IDM解析 1、百度网盘直链提取 ??? 插件地址: 百度网盘直链提取 2、多线程下载器 IDM 插件地址: 多线程下载器 IDM ?? 以上插件不适合下载大文件(>3GB),当然如果无时间限制,可以等待下载完成！ 相关推荐: 全网最强下载神器IDM ...
分类：
其他好文 时间：
2021-06-02 12:54:03
阅读次数：
0
MySQL在处理join查询时，遍历驱动表的记录，把驱动表的记录传递给被驱动表，然后根据join连接条件进行匹配。优化器通常会将更小的表作为驱动表，通过在驱动表上做额外的where条件过滤（Condition Filtering），能够将驱动表限制在一个更小的范围，以便优化器能够做出更优的执行计划。 ...
分类：
数据库 时间：
2021-06-02 12:48:15
阅读次数：
0
1.修改远程访问限制： 修改webapps/manager/META-INF/context.xml和webapps/host-manager/META-INF/context.xml，在<Context>下<Value>属性，可看到allow属性，它用正则表达式表示，默认仅允许本机访问，例如可修改 ...
分类：
其他好文 时间：
2021-06-02 12:03:01
阅读次数：
0
今天发现个奇怪的事情，有一个项目，用vs2019打开，报错，说是找不到相应的sdk，但是我把这个项目放到桌面，就能打开。 发现在该目录下有一个json文件： { "sdk": { "version": "3.1.403" } } 删除掉就可以了 ...
分类：
Web程序 时间：
2021-06-02 12:01:38
阅读次数：
0
今天在火狐浏览器上调试swagger接口遇到一个浏览器报错： too much recursion 刚开始以为接口出问题了，但是调试之后发现，后台有数据返回，往下一拉，看到了差不多两千多条数据，一下子就懂了。估计是数据太多，浏览器加载不出来了。 差不多两千条数据，估计是给浏览器整傻了。后面换了个浏览 ...
分类：
其他好文 时间：
2021-06-02 11:27:53
阅读次数：
0
对象存储（Cloud Object Storage，COS）是由腾讯云推出的无目录层次结构、无数据格式限制，可容纳海量数据且支持 HTTP/HTTPS 协议访问的分布式存储服务。腾讯云 COS 的存储桶空间无容量上限，无需分区管理，适用于 CDN 数据分发、数据万象处理或大数据计算与分析的数据湖等多 ...
分类：
其他好文 时间：
2021-05-25 18:15:53
阅读次数：
0
1.vlan概述 VLAN（虚拟局域网）是对连接到的第二层交换机端口的网络用户的逻辑分段，不受网络用户的物理位置限制而根据用户需求进行网络分段。一个VLAN可以在一个交换机或者跨交换机实现。 VLAN可以根据网络用户的位置、作用、部门或者根据网络用户所使用的应用程序和协议来进行分组。基于交换机的虚拟 ...
分类：
其他好文 时间：
2021-05-25 18:08:15
阅读次数：
0
