- 博客(9)
- 收藏
- 关注
RSS订阅原创 Linux——Boost库源码编译安装(包教包会）
Boost是一个开源的C++第三方库集合，被誉为"C++标准库的延伸"。文章详细介绍了在Linux环境下安装配置Boost库的过程：首先获取源码包并解压，通过VMware虚拟机和winscp工具上传文件；然后运行bootstrap.sh和b2程序进行编译；最后以root用户身份完成安装。安装完成后通过测试代码验证功能，成功输出"zhangsan say: hello world!"表示安装成功。整个流程包括环境准备、编译安装和验证三个主要步骤，适用于需要在Linux系
2025-06-29 09:42:48
922
原创 离散数学-命题逻辑学习笔记-4
这篇文章介绍了命题逻辑中求主析取范式和主合取范式的两种方法：真值表法和等值公式法。通过例题((P∧Q)→R)∧(P↔Q)详细演示了真值表法的五个步骤，包括构建真值表、识别真值赋值、构建极小项等。对于等值公式法，以(P→Q)∧R为例展示了如何通过等价转换和分配律推导主范式。文章还讨论了主范式的性质、应用（如判定永真式、证明等价性、解决实际问题）以及命题逻辑的推理理论，包括有效结论的定义和三种判断方法（真值表法、等值演算法、主析取范式法）。最后预告将详细展开推理方法的内容。
2025-06-28 15:01:46
610
原创 C++实现简易连接池（详细版）下
本文详细介绍了基于C++的MySQL数据库连接池实现方案。通过生产者-消费者模型，实现了连接的动态管理，包括：1)生产者线程负责创建新连接；2)消费者线程获取连接并使用后自动归还；3)清理线程定期回收空闲连接。采用智能指针结合自定义删除器确保连接正确回收，使用互斥锁和条件变量保证线程安全。完整代码实现了连接池的单例模式、MySQL操作封装和配置文件读取等功能，支持初始化连接数、最大连接数、空闲超时等参数配置。该方案有效提高了数据库连接复用率，降低了频繁创建/销毁连接的开销。
2025-06-28 08:24:00
384
原创 离散数学-命题逻辑学习笔记-3
本文介绍了命题逻辑中的对偶原理及其应用。首先定义了对偶公式的构造方法：将合取与析取互换、真值与假值互换。随后提出三个重要定理：对偶等价关系、对偶原理以及逆对偶关系。接着讲解了联结词的完备集概念及其判定标准，并列举了多个极小完备集的例子。文章还详细介绍了析取范式与合取范式的定义、性质及求解方法，并通过具体例题展示了范式转换过程。最后阐述了主析取范式和主合取范式的概念，讨论了极小项和极大项的编码方法及其性质，强调任何命题公式的主范式存在且唯一。
2025-06-27 16:13:08
952
原创 C++实现简易连接池（详细版）上
《数据库连接池技术介绍与实现》 摘要：本文介绍了一个数据库连接池的实现方案，旨在提高高并发场景下的数据库访问效率。该连接池基于C++11开发，采用单例模式设计，包含初始连接量、最大连接量、最大空闲时间和连接超时时间等核心功能点。项目涉及MySQL编程、线程同步互斥、智能指针管理、生产者消费者模型等多个关键技术。作者详细讲解了连接池的工作原理，通过预先建立连接避免频繁的TCP握手和验证过程，并提供了配置文件读取、线程安全队列等具体实现细节。文章还预告了后续将介绍的连接类实现、连接回收等功能。该项目适用于需要优
2025-06-27 08:53:35
976
原创 离散数学-命题逻辑学习笔记-2
本文是离散数学命题逻辑学习笔记的续篇，主要介绍了命题逻辑中的三种特殊公式（G1恒真、G2可假可真、G3恒假）、重言式（永真公式）和永假式（矛盾式）的定义及判定方法。重点讲解了恒等式的概念与定理，强调摩根定律的重要性，并详细说明了永真蕴含式及其传递性。文章还介绍了代入定理和替换定理两个重要工具，通过具体例题展示了如何判定永真公式和验证逻辑等价关系。笔记内容详实，逻辑严谨，最后预告了后续连载内容。
2025-06-26 12:52:32
791
原创 C++实现简易内存池（详细版）
内存池是一种预先分配和管理内存的技术，通过预先分配大块内存（内存池）并自主管理分配/释放，可以提高内存分配效率、减少内存碎片。本文介绍了可变长内存池的设计与实现：1. 小内存分配（小于设定阈值）通过small_block链表管理，动态扩容时会创建新内存块；2. 大内存分配直接开辟新内存块，由big_block链表管理。实现采用单例模式，包含创建/销毁内存池、大小内存分配等核心接口。测试案例验证了内存池的基本功能，包括小内存多次分配、扩容处理和大内存管理。该设计参考了Nginx内存池的实现思路，用C++进行了
2025-06-26 08:47:37
1054
原创 离散数学-命题逻辑学习笔记-1
(3) 如果P，Q是公式，则P∧Q﹑ P∨Q﹑ P→Q﹑ P↔Q也是公式；公式常用符号G﹑ H…否定¬常用“非”、“没有”、“不”，合取∧常用“并且”、“和”，析取常用“或者”、“或”、“近似或”等等，蕴含常用“如果，，，那么，，，”、“，，仅当，，，”，等价常用“当且仅当”。简单命题是不可拆分的命题，相反复合命题就是由简单命题复合而成。注意：蕴含→有多种叫法，P→Q，那么P是Q的充分条件，Q是P的必要条件。(¬ P∧Q)是命题公式，(P →Q )∧¬ Q)就不是。→（P→Q指的是如果P，那么Q）、
2025-06-25 15:34:41
624
原创 C语言实现简易内存池
上述链接较为系统讲述了内存池，以及完整实现简易内存池的代码和思路。需要学习内存池的可以直接跳转进行学习。本帖子是基于此贴进行打补丁，或者说介绍本人在学习过程中遇到的问题，以及如何解决。
2025-06-24 20:31:05
198
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人