Ofnoname

摘要： EAFP 与 LBYL 是两种“防御性处理机制”，相信你一定接触过，只是可能没有深入思考过这个问题。 输入两个数，要输出相除后的结果： a, b = map(int, input().split()) print(a / b) 但是b可以等于0，我们有两种检查方式： # EAFP try: prin 阅读全文

摘要： python的可变不可变与各种浅拷贝深拷贝规则，一并梳理。 Python一切皆引用 在C++/Java里，int a = 1就是创建变量为a，赋值为1；int b = a就是创建变量b，赋值为a的值。a与b是毫不相干的，即“变量是盒子”，但是这不利于理解Python中的一个变量定义。在Python里 阅读全文

摘要： 标准库定义了许多用于操作序列的算法，大多在algorithm和numeric文件中，大多数函数的原理并不复杂，但是在很多情况下可以替代手写的情况，甚至更加优秀。 这类算法函数非常多，但是他们都有共同的结构，类似的参数特性，所以非常好记忆。比如我们最经典的std::sort(beg, end, cmp 阅读全文

摘要： 原帖地址：CSDN「隨意的風」gcc 中-O -O1 -O2 -O3 -Os -Ofast -Og优化的原理 一般来说，如果不指定优化标识的话，gcc就会产生可调试代码，每条指令之间将是独立的：可以在指令之间设置断点，使用gdb中的 p命令查看变量的值，改变变量的值等。并且把获取最快的编译速度作为它 阅读全文

摘要： 1. switch的本质 #include "stdio.h" int main() { int c = 0,k; for(k = 1;k < 3;k++) { switch (k) { default : c += k; case 2: c++; break; case 4: c += 2; br 阅读全文

摘要： “函数”是高中课本就有的概念，“关系”是大学离散数学里研究集合元素的联系时出现的更常见的概念。上课的时候其实大部分内容没有难度，给人“废话”的感觉，但是还是有些东西超出了高中的认知，还有些与程序设计结合起来后认识更深了。 什么是关系 关系(relation)：有集合$A,B$，那么$A\times 阅读全文

摘要： 数理逻辑(mathematical logic)（又称符号逻辑），是用数学方法研究逻辑或形式逻辑的学科，属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字， 阅读全文

摘要： 步骤一：锁定头像 Win+R输入gpedit.msc进入组策略编辑器，按图中所示，选择“计算机管理->管理模板->用户账户设定”，将里面唯一选项“对所有账户使用默认头像”启动。 步骤二：修改默认头像 Win+R输入目录C:\ProgramData\Microsoft\User Account Pic 阅读全文

摘要： **IEEE二进制浮点数算术标准（ANSI/IEEE Std 754-1985）**是一套规定如何用二进制表示浮点数的标准。就像“补码规则”建立了二进制位和正负数的一一对应关系一样，IEEE754规则说明了一个从二进制状态到实数集的一一映射的规则（当然事实上状态有限而实数无限，叫做“单射”更为合适） 阅读全文

摘要： 在C++中，**字面常量(literal constant)**即无需定义可以直接写出来的量。字面常量的值一望便知，但是他的数据类型往往不能被准确分辨（尤其是使用auto时）。 我们直接写出来的有确定值的量就是字面常量，如114514、3.12、'a'、1e30等，那么42的类型是什么？3.12是单 阅读全文