搜索结果
查询Tags标签： ...，共有 1986条记录-
Hoare Logic Notes
The Hoare assignment axiom \[\vdash \{P[E/V]\} V:=E \{P\} \]The Floyd assignment axiom \[\vdash \{P\} V:=E \{\exist v.\ (V=E[v/V]) \wedge P[v/V]\} \]Precondition strengthening \[\frac{\vdash P \Rightarrow P,\vdash\{P\}C\{Q\}}{\vdash\{P\}C\{Q\}} \]Post…
2022/9/5 23:54:00 人评论 次浏览 -
C++随笔cout.precision(n)的作用
是C++输出函数cout的一个格式控制函数,用以控制输出数据的精度(保留小数点后几位) ... cout.precision(n); ...用于控制小数输出位数，例如 a = 1.2345; cout.precision(2); cout<<a<<endl; //输出1.23
2022/9/5 1:23:19 人评论 次浏览 -
[Java]《On Java》阅读记录之 -- 可变参数重载问题
《On Java》阅读记录之 -- 可变参数重载问题 有下面一段代码： public class OverloadingVarargs2 {static void f(float i , Character... args) {System.out.println("first");}static void f(Character... args) {System.out.println("second");}p…
2022/9/4 1:25:16 人评论 次浏览 -
MySQL教程 - DML操作
更新记录 转载请注明出处。 2022年9月2日 发布。 2022年9月2日 从笔记迁移到博客。删除 DELETE FROM 表 WHERE 条件;清空 TRUNCATE TABLE 表;DELETE 和 TRUNCATE 对比：DELETE 可以加 WHERE 条件，TRUNCATE 不能加。TRUNCATE 删除，效率高会一些。假如要删除的表中有自增…
2022/9/3 2:22:51 人评论 次浏览 -
查看Oracle当前用户下的（表，视图，同义词，索引等...）
copy自：查看Oracle当前用户下的（表，视图，同义词，索引等...） 表空间– 查看当前用户表空间select username,default_tablespace from user_users; select default_tablespace from dba_users where username=用户名– 查询表空间下的用户select distinct s.owner fro…
2022/9/3 2:22:47 人评论 次浏览 -
14 | JAVA常用工具类Math、Random、SecureRandom
常用的工具类 1.Math 求绝对值： Math.abs(-100); // 100 Math.abs(-7.8); // 7.8取最大或最小值： Math.max(100, 99); // 100 Math.min(1.2, 2.3); // 1.2计算xy次方： Math.pow(2, 10); // 2的10次方=1024计算√x： Math.sqrt(2); // 1.414...计算ex次方： Math.exp(2)…
2022/9/3 1:26:07 人评论 次浏览 -
ubuntu 16.04 vs code中调试ORB-SLAM3
如果是在vs code中编译，在vs code中调试，那么执行如下，如果还是在终端中编译，只在vscode中调试，那么应该可以忽略(1-3) 注意 修改build.sh文件中最下面的DCMAKE_BUILD_TYPE为Debug，如果没改加不了断点(1) 创建c_cpp_properties.json ctrl + shift + P后输入C/C++: E…
2022/9/2 5:22:46 人评论 次浏览 -
记一次feign调用报错：feign.codec.DecodeException: Error while extracting response for type [java...
一直以为是被调用法的返回对象类型和调用方接收的对象类型不一致导致的解析失败 甚至以为无法传递除Jsondate以外的类型实际问题： 多服务调用 导出用到多线程 token无法所线程共享 解决思路： feign多层调用打断点 大概率调用存在问题 -》 token多线程调用 不传递 与导出…
2022/9/2 1:24:31 人评论 次浏览 -
JAVA常用集合解析
JAVA常用集合解析常用集合属性详解 集合底层实现原理 常用集合适用场景分析集合属性详解 集合是一个存放对象的引用的容器，在Java中它存在于java.util包下，List、Set、Vector、Map等都继承与Collection接口。 1. MapHashMapHashTableTreeMapHashMap常用方法 containsVal…
2022/9/2 1:23:12 人评论 次浏览 -
C# using()的本质
“ 程序世界没有秘密，所有答案都在源码里 ” 源自【公众号：刘先生的IT乐园】 原文链接： C# using()的本质01.点明观点 C#中，非托管资源使用之后必须释放，而using()是使用非托管资源的最佳方式，可以确保资源在代码块结束之后被正确释放，并且代码更简洁。 这里说的…
2022/9/2 1:23:05 人评论 次浏览 -
常用知识整理
本文持续更新。裴蜀定理：若 \(a,b\) 为不全为 \(0\) 的整数，存在整数 \(x,y\)，使 \(ax+by=\gcd(a,b)\)。推论 1（多元）：若 \(a_1,a_2,...,a_m\) 为不全为 \(0\) 的整数，存在整数 \(b_1,b_2,...,b_m\)，使 \(\sum_{k=1}^ma_kb_k=\gcd(a_1,a_2,...,a_m)\)。 推论 2（最…
2022/9/1 23:26:17 人评论 次浏览 -
Vuex中的辅助函数
一、组件访问state从 vuex 中导入 mapState 函数import { mapState } from vuex映射为当前组件的computed计算属性：...mapState([count])3.添加到组件 <template><div><h1>count值：{{count}}</h1></div> </template><script>…
2022/9/1 23:25:33 人评论 次浏览 -
if判断语法
1.什么是if判断 如果....，我就.... 2.为什么要有if判断 为了让计算机具体判断某种条件，该执行什么操作！ 3.怎么用if判断 基本语法： if 条件1： #if下面是条件成立时执行下面的代码代码1代码2... elif 条件2： # 条件1不成立且条件2成立执行的代码,elif可以有多个代…
2022/9/1 23:22:49 人评论 次浏览 -
HTML——div标签
可定义文档中的分区或节（division/section）<div> 标签可以把文档分割为独立的、不同的部分。它可以用作严格的组织工具，并且不使用任何格式与其关联。 如果用 id 或 class 来标记 <div>，那么该标签的作用会变得更加有效。 <div> 是一个块级元素，也…
2022/8/31 23:24:46 人评论 次浏览 -
SQL2 - 查询多列 - SELECT查询指定列用法
题目链接 戳这里 题解 语法：SELECT 列名1, 列名2... FROM 表名 SELECT device_id, gender, age, university FROM user_profile
2022/8/31 2:24:09 人评论 次浏览
