十七号路-CSDN博客

原创 redis为什么快

基于内存实现高效的数据结构：简单动态字符串、双端列表、压缩列表、字典、跳跃表压缩列表：用来存小数据合理的数据编码合适的线程模型 IO多路复用 reactor单线程模型无法利用多核，但避免上下文切换、减少耗时。避免同步机制的开销，避免加锁的开销。简单可维护如果不考虑 RDB/AOF 等持久化方案，Redis 是完全的纯内存操作，执行速度是非常快的，因此这部分操作通常..

2021-05-24 10:34:33 107

C++语句结束处分号(;)问题一、前言C++中大多数语言以分号结束。也存在空语句，即单独一个分号。但是多余的空语句并非总是无害的。特记录何时该加分号何时不该加。二、何时该加分号一条语句结束处应加分号复合语句(块)是指用花括号（{ }）括起来的语句序列。块后面不需要分号，因为在程序中，语法上需要一条语句，但是逻辑上需要多条语句就会用到块。如：for、if、while后不止一条语句时而使用块，块结束处不需要分号。注：do while的while后仍需要分号，因为它不是以块结束。类体右侧表示结束的

2020-08-12 10:28:47 1940

原创变量声明和定义(extern关键字详解)

文章目录声明和定义(extern关键字详解)一、C++中extern关键字的意义1.1 分离式编译1.2 声明与定义1.3 extern关键字二、声明与定义2.1 函数的声明和定义2.2 变量的声明和定义三、extern关键字详解3.1 基本理解3.2 extern的作用3.3 extern的注意事项3.4 extern和static3.5 extern 和const声明和定义(extern关键字详解)一、C++中extern关键字的意义1.1 分离式编译C++支持分离式编译机制，该机制允许将程序

2020-08-06 14:25:58 3084

原创 coq使用笔记

Coq 使用笔记Coq中可分三部分：1、vernacular：用来处理定义，使用大写字母开头，例如Theorem、Proof、Qed2、tactics：用作证明过程，以小写字母开头，例如intros、exact3、Gallina：用来描述定理，例如(forall A : Prop, A -> A)基本形式Theorem ident body: type.Proof. ...

2020-04-10 21:26:37 2823 3

原创 Linux常用命令

Linux常用命令前言近期复习了Linux相关命令，命令的学习须在使用中掌握。以下命令是对最近工作中常用命令的总结。因为大概知道其使用用法，只是对部分细节有所遗忘，特整理出来以供之后复习。可能不太适合新手用来学习Linux命令，更像是工具文档。大纲文件管理：cat、 chmod、 chown、diff、mkdir、touch、more、mv、cp、rm、 wc -l、 tar、 find、...

2019-05-28 19:41:14 393

转载 MarkDown使用手册（macdowm）

MarkDown使用手册（macdowm）Markdown是一种纯文本格式的标记语言。通过简单的标记语法，它可以使普通文本内容具有一定的格式。优点：1、纯文本编辑，只要支持markdown格式均可获得同样的编辑效果，即所见即所得。2、格式转换方便，可轻松转为html或pdf。可保存为纯文本。2、操作简单缺点：1、需学习基本语法2、必须支持markdown格式编辑器：window...

2019-05-10 11:30:21 433

原创 Linux CentOS 下源码安装特定版本wireshark

大体流程：下载源码->解压->进入解压文件运行configure->运行make编译->make install。源码安装流程介绍：1、执行configure文件，此步骤有两个功能：（1）让用户选定编译特性；（2）检查编译环境，是否有编译时所需的库，以及库的版本是否满足编译的需要等。configure执行后将生成MakeFile文件。–-pre...

2019-04-18 14:18:00 1365

原创 String 的三种实现&写时复制的C++实现

string的实现深拷贝写时复制 sso(short string optimatization)短字符串优化当字符串小于15字节时，直接开在栈上。大于15个字节时开在堆上写时复制技术（浅拷贝+引用计数）写实复制的代码实现： https://github.com/tx23/cpp/tree/master/CowString(1)当对象发生...

2019-03-25 17:00:22 768

原创 C++易错知识点归纳

本文由于复试时的C++笔试而特意整理，知识点不求全，不求细，只整理出个人觉得易遗忘或者较重要的知识点。有不足之处，欢迎指出。图片来源：菜鸟教程。面向对象开发的四大特性：封装：类、函数。封装是指把数据和实现操作的代码集中起来放在对象内部，并尽可能隐蔽对象的内部细节。抽象：将有关事物的共性归纳、集中的过程。面向对象程序设计中的抽象包括两个方面数据抽象和代码抽象。类。接口和实现分离。 ...

2019-03-25 16:55:07 414

原创 C++易混淆代码：常量指针与指针常量、数组指针与指针数组、函数指针与指针函数

常量指针：指向常量的指针//const在*的左边（const int *p等价于int const *p）。指针常量：指针本身为常量。它所指地址是不变的，但内容可变。（int *const p）个人觉得好记的方式：const在最前面即该变量的值为常量。const在变量前即指针为常量。数组指针//指向数组的指针int (*)[]指针数组//指针本身为数组int *a[]函数指针...

2019-03-25 16:29:58 161

十七号路的博客