Cpp 未定义行为/小坑/冷知识
未定义行为 概述 C/C++存在很多的未定义行为,如果程序中使用了未定义行为,那么得到的结果是不可知的,编译器给出任何反馈都是符合语法标准的,因为未定义行为导致的BUG是难以察觉的。 未定义行为可能会导致编译报错,也可能导致运行出错等,还可能无事发生,具体结果可能与平台/编译器有关,不过在大部分情况下不同编译器会得到类似的结果。 未定义行为的存在是有客观原因的,一方面语法标准无法穷尽所有的可能情况;另一方面有些可能非法的行为(例如下标越界)在编译期难以直接检测,如果在运行期进行检测(例如检查下标越界),又会牺牲很多的运行效率。 如果我们在不经意间使用了未定义行为,那么即使是相同的代码,在C++的编译器不同等级的优化措施下,也可能得到完全不同的结果,例如: Debug模式正常,Release模式异常 例如产生随机的结果,通常的原因是使用没有正确初始化的变量,在Debug模式下被编译器初始化为0,但是Release模式下直接使用了内存中的随机值; 其它未定义行为,在Release模式下经过编译器优化中,产生不合理的结果。 Debug模式异常,Release模式正常 代码中的未...
编程语言中的整数和浮点数
整理一下编程语言中的整数和浮点数的相关内容,针对的情景是科学计算。 整数 整数模型 编程语言中的整数类型不同于数学意义上的整数,而只是它的一个有限子集,因为计算机为了计算效率,会使用固定的字节数来存储一个整数数据,例如 \(n\) 个字节,这意味这只有 \(2^{8n}\) 个不同状态,只能表示 \(2^{8n}\) 个整数。 将 \(n\) 个字节所对应的 \(8n\) 比特的值依次记作 \(a_i \in \{0,1\}\),这里 \(i=0,\dots,8n-1\),那么通常有两类方案: 第一种方案是无符号整数,表示的值 \(V\) 为 \[ V = 2^0 a_0 + 2^1 a_1 + \dots + 2^{8n-2} a_{8n-2} + 2^{8n-1} a_{8n-1} \] 表示的范围为 \[ [0,2^{8n}-1] \] 第二种方案是有符号整数,表示的值 \(V\) 为 \[ V = 2^0 a_0 + 2^1 a_1 + \dots + 2^{8n-2} a_{8n-2} - 2^{8n-1} a_{8n-1} \] 表示的范围为 \[ [-2^{8n-1...
Zotero 7 配置笔记
磨刀不误砍柴工,文献管理软件这把刀确实是值得打磨的,选择Zotero而非其它文献管理工具,主要是看重了它的免费和可配置性,适合重度使用。 最新版 Zotero 7 在 Zotero 6 的基础上,进行了升级,包括非常多的优化,例如最基础的UI看着更漂亮了,等我把它的各种插件和配置都鼓捣好了,就更有动力(但愿吧)打开来看文献了。 网上关于Zotero有很多分享教程,但是绝大部分都是入门级的配置笔记,参考价值并不大,本文最主要的参考是Zotero非官方中文社区。 基础 本地安装 直接从官网下载 Zotero 7,然后傻瓜式安装即可,需要注意的是两个位置: 首先是软件安装位置,可以使用自定义安装方式,挑一个合适的位置即可,例如D:\ProgramMain\Zotero7; 然后是本地数据存储位置,默认是~/Zotero。 数据存储位置比较占地方,我想将其迁移到别的位置,例如E:\<user>\Documents\Zotero7,首先需要在设置中更改 1编辑 -> 设置 -> 高级 -> 数据存储位置 将其更改为自定义的目标路径,然后根据提示进行操作:将...
Cpp lambda 表达式笔记
在另一篇关于可调用对象的笔记中已经对lambda表达式的语法本质和应用情景进行了整理, 这篇笔记主要是整理lambda表达式的语法细节,假定读者对lambda表达式已经有了基本的概念。 虽然早在C++11中就提出了lambda表达式,但是相关的语法细节始终在不断地发展和完善(C++实在是太复杂了!), 本文以C++20已经支持的语法为主,对于最新的C++23增加的语法不作讨论,例如Deducing This等内容。 基础 基本捕获 首先介绍两种隐式捕获符: [=]:全部按值捕获 [&]:全部按引用捕获 它们会自动地捕获在lambda表达式中所有实际被使用的局部变量,无需我们逐个列出被使用变量对应的名称。 这里存在一个问题:如果当前处于一个普通成员函数中,如何处理特殊的this/*this所代表的当前对象?见下文中的讨论。 在默认捕获符的基础上,我们可以进行一些微调,例如: [=, &a, &b]:表示除了后面明确提到的这些变量按引用捕获,其它情况下默认按值捕获 [&, a, b]:表示除了后面明确提到的这些变量按值捕获,其它情况下默认按引...
Cpp 可调用对象笔记
概述 在C++中,可调对象(Callable Objects)是指可以像函数一样被调用的对象,通常包括: 函数指针 仿函数 std::function lambda 表达式 它们大部分都是基于面向对象实现的,但是函数指针是个例外,因此给对象两个字加上引号其实更合适。 可调用对象是函数的扩展概念,引入它们的主要目的就是补上函数天生的短板: 函数在语法上不可以像变量一样作为参数被传递给其它函数;可调用对象可以。 函数在语法上通常不具有内部状态,或者即使有,也只是通过局部静态变量实现的唯一内部状态;每一个可调用对象都可以拥有独立的内部状态。 这使得可调用对象在泛型编程、回调函数和函数式编程中发挥重要的作用。 函数的这两个短板是针对C/C++这种系统级编程语言来说的,但是对于某些高级语言来说,这些完全不是问题, 例如对于JavaScript、Python和Lua来说,函数在语法上就是一个可调用的变量,可以像普通变量一样直接作为参数传递给其他函数,并且允许拥有内部状态,称之为闭包可能更合适。 因为这些高级语言的执行由其解释器或虚拟机负责,而C/C++需要直接执行。 TODO:...
高精度时间戳的获取
获取毫秒级的高精度时间戳是一个很常见的需求,尤其在向日志文件中输出信息时通常需要附带格式化的时间戳, 下面在不同的语言中尝试生成形如[2024-07-30 00:52:47.379]的高精度时间戳。(虽然在大部分语境下,时间戳是一个非负整数,但是为了方便使用,这里统一为含毫秒的固定格式的时间字符串) C++ 对于C++,标准库chrono可以获取高精度的时间, 然后通过localtime函数进行格式化,由于它不支持毫秒部分的格式化,我们还需要对毫秒进行额外处理。 下面是一个生成时间戳的示例函数 12345678910111213141516static std::string time_stamp() { // unsafe auto now = std::chrono::system_clock::now(); auto now_time_t = std::chrono::system_clock::to_time_t(now); auto now_ms = std::chrono::duration_cast<std::chrono::mil...
XMake 速成笔记
虽然xmake的使用远没有cmake那么普及,cmake在可预见的将来都还是c++项目事实上的标准, 但是对于一些个人的小项目,直接使用xmake看起来还是更方便的,因此简单学习一下使用方式。 下载安装 虽然XMake支持了很多种安装方式,但是我还是选择了纯净版安装。 在Github仓库中选择xmake-[version]-win64.zip下载到本地解压,然后把对应路径添加到PATH环境变量即可。 Demo项目 xmake可以直接生成C++的HelloWorld项目 1xmake create -l c++ -P ./demo 这个命令会在当前位置下创建./demo文件夹,在其中自动生成如下文件结构 12345demo├── src│ └── main.cpp├── .gitignore└── xmake.lua 其中xmake的核心配置文件xmake.lua有效内容如下 12345add_rules("mode.debug", "mode.release")target("demo") set_kind(&...
Lua 速成笔记
简单学一下Lua这个有点过时的轻量级脚本语言吧,因为很多工具(nvim、xmake、MySQL等)都采用了Lua脚本提供配置, 而且直到现在,在c++项目使用Lua脚本提供配置也是一个可以考虑的方案。 关于Lua的教程很多都是速成版的,因为内容实在比较简单,比如Learn Lua in Y minutes。 编译安装 Lua是一种开源的脚本语言,完全使用C语言编写,Lua官网直接提供了源码, 在Linux系统中的下载和源码编译流程如下 1234curl -L -R -O https://www.lua.org/ftp/lua-5.4.7.tar.gztar zxf lua-5.4.7.tar.gzcd lua-5.4.7make all test 编译命令非常简单,编译完成后可以得到两个产物:lua和luac,两者仍然存放在src/文件夹中,将其移动到其它位置, 然后将路径添加到环境变量即可。其实编译产物中还有一个Lua库,用于嵌入到C语言项目中,但是暂时不需要。 由于Lua的源码编译过程本身非常简单,我们可以迁移到Windows上进行源码编译,为了方便还可以把Makefile改...
Cpp 智能指针
概述 C++标准库主要提供了三种智能指针:(都在<memory头文件中) shared_ptr:共享指针,允许资源共享,在内部维持一个引用计数,复制会增加引用计数,析构则会减少引用计数,引用计数为零则释放资源 unique_ptr:独享指针,独自负责资源的管理,析构时释放资源 weak_ptr:弱共享指针,作为共享指针的辅助手段,可以指向共享指针的内容但是不参与引用计数,主要为了解决共享指针的循环引用问题 除此之外,在早期还提供了auto_ptr,但是目前已经被废弃。下面先介绍RAII思想,然后介绍三种智能指针的使用。 简单示例与RAII 先给出使用原始指针和unique_ptr管理资源的对比示例 123456789101112131415{ int* p = new int(100); // ... delete p; // 必须记得手动释放内存}{ std::unique_ptr<int> up = std::make_unique<int>(200); //... // u...
Cpp 多线程学习笔记——3. future 异步编程
概述 C++通过<future>头文件提供了一组支持异步编程的工具,使用这些工具比直接进行多线程操作更加高级、更加简便。 主要包括如下的类型: std::future:表示异步操作的结果,这个结果在未来可能可用,支持查询操作的状态,等待操作完成和获取结果。注意用于获取结果的get()方法调用会阻塞当前执行流,直到结果准备就绪。 std::promise:承诺在未来提供一个可用的值,通常与 std::future 配对使用,set_result()可以设置异步操作的结果。可用get_future()提取获得一个关联的std::future对象。 std::packaged_task:封装一个函数或可调用对象,使其可以作为异步任务执行。可用get_future()获得一个关联的std::future对象。 还包括如下的函数: std::async:用于启动异步任务,返回一个std::future对象代表任务的结果,注意我们必须要用变量接收这个返回值,否则当前语句会阻塞式的等待任务结束,因为只有异步任务结束才会销毁返回的临时变量! 这里std::future和st...
