来源:http://akaedu.github.com/code/c_notes.html
知识点汇总 (以下知识点内容基本按照《一站式编程》章节顺序)
程序概念
指令 (代码段)
函数调用 printf()
运算(加法) a + b
条件判断 if
跳转 goto
循环 while
函数返回 return
表达式(赋值) a = 100
数据 (数据段)
变量的定义(全局变量)
指针
结构体/联合
数组(一维/二维)
开发环境(Linux 上的 C)
机器语言/汇编语言/高级语言
编译器 gcc -s (->.s)
汇编器 as (->.o)
链接器 ld (->.elf)
加载器 loader (disk->mem exec())
调度器 scheduler (执行)
程序的调试
编译时错误 compile error
语法错误 syntax (BNF 范式)
expression -> while (statement)
{
expresstion;
}
statement -> variable == statement;
链接错误
undefined referrence !
redefination ...
运行时错误 run-time error
段错误(非法访问内存)MMU权限设置
char * p; // char * p = &c;
*p = 'a'; // 权限问题
第一个程序 helloworld
int main(void)
{
return 0;
}
返回值
main 名称
入口
_start 真正入口
传入参数
void 关键词
函数体 { }
return 关键词
父进程 shell
#include
/* main function */
int main(int argc, char * argv[])
{
// print msg
printf("hello, world\n");
return 0;
}
# 预处理符
include 关键词 (文件展开)
stdio.h 文件 (库的头文件)
库 (标准C库 /lib/libc.a & libc.so)
链接标准C库 隐含链接规则 -lc (gcc main.c)
printf (基本的输入输出库) 族
参数可变长度,第一个参数 const char*
返回值 int
第一个参数里面 % 格式化 (%d, %c, %x, %s, %f, %o, %p, %u, %l, %+/-0Nx)
\n (转义字符 \t \r \b \xhh \\ \' \")
注释
// 单行,可以后跟 //
/* */ 多行,不能嵌套
数据
进制 (10-decimal 2-binary 16-hex)
逻辑运算 (与AND, 或OR, 非NOT)
算术运算 (加法ADD => 异或XOR)
MSB/LSB (Most/Least Significant Bit)
Signed/unsigned (1+1, 1+(-1), (-1)+(-1))
原码 反码 补码 3个概念
浮点数
科学记数法 float pi = 3.1415
3个部分 符号位 + 幂 + 有效位
union
{
double pi;
char buf[8];
}
常量
字符 char c = 'a';
数字 int v = 100; float pi = 3.14;
枚举 enum
{
Monday = 1,
Tuesday, Wednesday, ...
}
字符串常量 printf("hello");
char * p = "hello";
错误理解 char p[] = "hello"; 本质是数组的初始化值,归为数据段(全局变量)
变量 variable
char, short, int, long
float, double
命名规则:字母和_开头,后面跟字母,数字,下划线
2个不行:数字开头的不行,关键字的也不行
variable -> [a-z]/_ [a-z]/[0-9]/_+
int 3 = 4;
关键字 keyword
auto enum inline register restrict void
注意 NULL 不是关键字,而是宏定义
int main(void)
{
int NULL= 100;
return NULL;
}
结论: #define NULL ((void *)0)
赋值语句
int a = 100;
看这条语句在函数内,还是函数外
函数内: 则转为赋值语句,即指令
函数外: 则转为初始化值,归为数据段
以下写法为加深理解
int a : 100;
char p[] : "abcd";
int main(void)
{
return 0;
}
数字的表示
0XFULL 是不是一个数字? 答案是
表达式
l-value / r-value 左值/右值
复杂形式
+=, -=, *=, /=, %=
i++, i--
++i, --i
逻辑运算符
&&, ||, ~
移位运算符
>>, <<,
关系运算符
>, <, ==, >=, <=, !=
位运算符
&, |, ~, ^
优先级的问题
a = 0; b = 1;
if (a & b == 0)
c = 0;
else
c = 1;
最后打印 c 的值是多少? 结果是1
结合顺序是 == 先结合,然后才是 &
加括号才能解决 if ((a & b) == 0)
条件运算符
a > 1? b : c
value = c > '9'? c-'a'+10 : c-'0'
逗号运算符
b = (t = 3, t + 2) 表达式的值是5 -> b
sizeof 和 typedef
int a = 100, b[8];
sizeof a
sizeof (a)
sizeof b/sizeof b[0] --> 8
int main(void)
{
int a = 123456;
}
常量 123456 存在哪里? 不同编译器有不同的做法
方法1:存放到 .rodata 段
方法2:不单独作为一个段的数据,而是嵌到指令中间
这种数据,称为 文字池 literal pool
typedef unsigned long size_t;
#define size_t unsigned long
ASCII 码
CR, LF, DEL
0-127
可见部分 0-0x20 空格之后...... 直到 0x7E(126) ~
'\11' 代表 八进制 ==9
'\x11' 代表 16进制 ==17
int a = 011, b = 0x11;
printf("a = %d\n", a); 打印的是 9
printf("b = %d\n", b); 打印的是 17
分支结构
逻辑表达式
if语句
if/else 语句
语句块的中间可以出现局部变量
if/if/else 最后的 else 是就近结合
if 有个特殊性, if else 组合中 else 前面不能有分号
if ()
statement;
if () // 对
statement;
else
statement;
if () // 对
{
};
if () // 错!
{
};
else
{
}
利用 do while() 语句需要用分号表示结束 的特点
if () // 对
do
{
} while (0);
else
{
}
题目:请写一个宏定义 OPEN,替换 a = 1; b = 1; 这2条语句
错误举例:
#define OPEN { a = 1; b = 1; }
#define CLOSE { a = 0; b = 0; }
问题在于 OPEN 后面的分号,语法不能通过
if (btn_is_down())
OPEN;
else
CLOSE;
正确举例:
#define OPEN do { a = 1; b = 1; } while (0)
switch 语句
case 后面能跟 整型常量
每个 case 后面应该有一个 break; (也可以没有)
default 是不是必须有? 不是
break 语句
退出内层循环
循环语句
while
do/while
for
for (s1; s2; s3) 用分号间隔
s1 里面可以有 逗号
for (int i = 0; i < 100; i++)
注意:这种语法是 C99 的标准
for (;;)
{
}
continue 语句:无法跳出循环,但忽略后面的语句
label + goto
goto 语句:标号 label 后面需要有冒号 label:
(汇编语法中 .global .globl 都可以 )
数组:
数组定义时,下标可以不可以是变量?
int b = 100;
int a[b];
结论:局部变量时 可以,编译能够通过
全局变量时 不可以,编译不通过
数组名:是常量,只有右值,不能放等号左边
同时,数组名也不能作 ++ 运算
但可以作加/减运算,不能做乘除(需要强制类型转换)
数组初始化
用 {} 和 , 来表示初始化值
如果少,则剩余部分用 0 (全局和局部都会清0)
如果用 int a[] = 来初始化,则长度由后面的元素个数定
常量数组
const int day[] = {31, 28, 31...};
字符串
本质是一个字符数组,结尾用 '\0'
char str[10] = "hello,world"; (bad)
char str[] = "hello,world"; (good)
char *str = "hello,world";
综合:
char * argv[];
(char*) argv[]; (good)
char **argv; (ok)
结论: 当char * argv[] 数组作为参数传递时,
argv 不是一个数组名,也不是常量,而就是变量
[] 里面的数组大小,对于参数传递没有效果,无用
结构/联合/枚举 struct / union / enumeration
Tag: struct my_tag
{
int a;
int b;
} zhang;
zhang: 变量,注意最后要有分号 (可省略)
. 运算符 zhang.a zhang.b
题目举例: 写一个宏: 问如何获得成员 b 的偏移量
int offset_of_b = ???
#define GET_OFFSET(type, member) \
(int)&(((type *)0)->member) - (int)&(*(type *)0)
int offset = GET_OFFSET(struct mytag, b);
问题:结构体在函数传参的时候,是传地址,还是传值?
struct mytag zhang;
fun(zhang);
in fun() 对 zhang.b 做了修改
zhang.b 是修改之后的,还是原始?
结论: 是传的值,修改之后,不影响原始的值
struct mytag li;
li = zhang; 结论:是把zhang整体拷贝赋值给li
结论: 结构体在传值和赋值这些操作时,就等同于一个整型
题目:用联合union来判断机器是大端存储还是小端存储。
简单函数
在汇编语言里面,没有一个非常合适的特性来支持
在机器上最终C语言的函数,转为汇编的方法不尽相同
严格写出一个函数的 返回值,参数列表,参数类型
如果不返回值或者没有参数,都用 void 来表示
main 函数的两种写法
int func(void) {
return 0;
}
int
func(void)
{
return 0;
}
函数原型的声明,不需要说明参数的名字,但需要类型
但是在实现的地方,必须要名字,无论你用不用它
int func(int, int);
int func(int a, int b) // a, b 不可省略
{
return 0;
}
return 返回: 如果上述函数用 return; 返回,
是警告 warning 还是错误 error?
结论: 是警告,返回一个随机值
如果是提前 return 后面的代码不执行,无警告
问题: 局部变量和全局变量的区别和联系。
增量式开发 incremental development
分层设计 stratify 分解和复用
递归函数 Recursive
0,Fabonacci 数列
1,写出10的阶乘
2,逆序打印 (关键:先递归后打印)
print_str(char * s)
{
if (*s == '\0')
return;
printf_str(s+1);
putchar(*s);
}
3,快速排序
4,树的遍历(深度,广度有限)
位操作
问题:给定一个数 a ,统计二进制表示中1的个数
int counter = sum(a);
int sum(int a)
{
int counter = 0;
for (; a &= (a-1); counter++)
;
return counter;
}
典型操作
与&,或|,异或^,取反~
移位 <<, >>
设1: REG |= 1<ch
char digit2hex(int digit)
{
return "0123456789abcdef"[digit];
}
char s[10] = "01234567899" 可以吗?
字符串库函数
char * strcpy(char * s1, const char * s2);
char * strcat(char * dst, const char * src);
int strcmp(const char * s1, const char * s2);
size_t strlen(const char * s);
char * strchr(const char * s, int c);
char * strstr(const char * haystack, const char * needle);
char * strtok(char * s, const char * delim);
char * strtok_r(char * s, const char * delim, char **saveptr);
可重入函数reentrant,不可重入函数
函数调用的一种写法
(void) printf("hello, world\n");
x86汇编基础
GCC - AT&T 汇编格式
.section .globl .data .text
_start:
# 注释
mov, movl, int $0x80
_exit(0), system call
第二个程序
增加了x86指令:cmpl, je, incl, jle, jmp
x86寄存器:%eax, %ebx, %edi
汇总:%ecx, %edx, %esi, %ebp, %esp, %eip
通用: %eax, %ebx, %ecx, %edx (ah, al)
栈:%ebp(底), %esp(顶)
数据:%esi(源), %edi(目的)
ELF 格式
可执行文件.elf,可链接文件.o,动态库.so
结构组成:ELF Header, Program/Section Header Table, Segments/Sections
ELF Header: "ELF", Entry Point, Number of Sections
Size of Section Header
xxx Header Table: Section Start addr, Size, Section Name index
Sections: .text .data .bss
.symtab .strtab
.shstrtab .rel.text
关于程序的加载
.o -> sections 节
.elf -> N sections -> Segment 段 -> 内存页面(虚拟)0x1000(4K)
虚拟页面的属性:MMU 的权限保护机制 (可读,可写,可执行)
函数调用
函数栈帧 (栈上面有什么?)
1. 函数调用时传入的参数
2. 函数内部使用的局部变量
3. 被调函数完成之后的返回地址
4. 上一级主调函数的栈底指针(以便恢复上一级栈帧)
[当前的栈底就是上一级的栈顶]
Calling Convention - ABI (Application Binary Interface)
结合X86说明: call 指令完成了什么[调用发生处]
函数进入时编译器作了什么? [调用进入处]
leave 指令完成了什么? [调用结束处]
ret 指令完成了什么? [调用返回处]
main函数调用
哪些工具和库参与了 main 的链接完成? (gcc -v)
工具
cc1: 编译器 .c -> .s
as: 汇编器 .s -> .o
collect2: 链接器 .o -> .elf
库
[libc] libc.a/libc.so + [libgcc]
crt1.o crti.o crtn.o crtbegin.o crtend.o
/usr/lib/crt1.o 里面包含了 _start 的符号,才是真正的入口
/lib/ld-linux.so.2 动态链接器
变量的存储布局
全局变量 global
有初始化值的
-> 变量会分配到数据段.data
未初始化的(包括初始化值为0的)
-> 变量会分配到.bss段
局部变量 local
有初始化值的和未初始化的(包括初始化值为0的)
-> 变量会分配到栈上
静态变量 static
函数内部和函数外部的,有初始化值的
-> 变量会分配到数据段.data
函数内部和函数外部的,未初始化的(包括初始化值为0的)
-> 变量会分配到.bss段
只读变量 const
函数内部的
-> 变量会分配到栈上
函数外部的
-> 变量会分配到只读数据段.rodata
寄存器变量 register
一般都分配到寄存器上
结构体和联合体
Alignment 对齐
Padding 填充
是因为要对齐,所以才有了填充; (为什么要对齐呢?)
由此引出了一个 GCC 的扩展语法:紧致 packed
struct { ...
} __attribute__((packed)) s;
位域 bit-field
struct bit-field-demo {
int one : 1;
int tow : 3;
..
};
// 冒号的用法还可以用于某些成员变量的初始化
volatile 限定符
用 volatile 修饰变量,有以下作用:
“防止优化,强制访存”
链接详解
链接脚本 (ld --verbose) 默认链接脚本,需要得到
第1个就是 .text 代码段的起始地址: 0x8048xxx
第2个就是 .data 数据段的起始地址: 0x8049xxx
第3个就是 读写 RO 页面:.text + .rodata + .plt
RW 页面:.data + .bss + .got
第4个就是 合并 .text : { *(.text) }
.data : { *(.data) }
第5个就是 程序的入口是从 _start 开始 ENTRY(_start)
静态库
文件名 .a
生成 gcc -c -> .o
ar rs (ranlib) -> .a
r:添加或创建
s:创建索引
使用 gcc -lname -Lpath -Idir (-static)
[库的搜索路径] gcc -print-search-dir
gcc -static 静态链接
好处:如果是.a来参与链接,则只取出需要的部分来链接
共享库
文件名 .so
生成 gcc -c -fPIC -> .o
gcc -shared -> .so
使用 gcc -lname -Lpath -Idir
问题 找不到共享库,怎么办?
error while loading shared libraries: libstack.so: cannot open shared object file: No such file or directory
解决: 1. 修改环境变量 export LD_LIBRARY_PATH=
2. 修改缓存文件(/etc/ld.so.cache) vi /etc/ld.so.conf + sudo ldconfig -v
3. 拷贝文件法 cp libxxx.so /usr/lib (/lib)
4. 写死文件法 gcc -o main -Wl,-rpath,/home/akaedu/...
动态链接的过程
.plt 段:Procedure Linkage Table 指令
.got 段:Global Offset Table 数据
/lib/ld-linux.so.2 动态加载器 + 链接器
共享库的命名
real name: libc-2.5.so (libc-2.8.90.so) 真正库文件
soname: libc.so.6 符号链接
linker name: libc.so 本质上是一段链接脚本
几个重要的工具命令
readelf -a max.o/max 读ELF文件
hexdump -C max.o/max 查16进制
objdump -dS max.o/max 反汇编(加入源码)
nm max.o/max 查看符号表
ld --verbose 查看默认链接脚本
ar rs + ranlib 生成静态库
ldd main 查看可执行文件的依赖关系 (依靠哪些共享库)
ldconfig -v 生成 ld.so.cache 文件(from ld.so.conf)
ln -s old new 建立符号链接
Makefile
基本内容:目标Target,条件Prerequisite,命令Command
举例: target: prerequisite
command1
command2
...
1. 目标必须顶格,条件可以省略
2. 命令必须用 TAB 开头
更新规则:目标没有生成,条件需要更新
嵌套/递归的过程
标准情况是:命令即要执行,命令本身还要显示出来
如果多条命令,中间某一个出错了,则后面的不再执行下去
@ 作用:只执行这条命令,能看到命令执行的结果,但不再显示命令本身
@echo "here is a help"
- 作用:即使命令执行出错,也不停下来,而是继续执行后面的命令
.PHONY 作用 -- 同名的文件,则用 .PHONY: clean
约定俗成的内部名字:all, clean, install, distclean
make 的参数
make -p: 打印隐含规则
make -n: 只打印,不执行
make -C dir: 调用指定目录(dir)下的Makefile
make CFLAGS=-g: 给Makefile 传递宏变量的值
makefile 的符号
$@: 代表左边的目标
$<: 代表右边条件列表中的第一个
$^: 代表右边条件列表中所有
$?: 代表右边条件列表中的比目标新的
makefile 的变量
= 不立即展开,到最后才替换
:= 立即展开,立即替换,避免死循环
?= 如果没定义过,则相当于=;如果定义过了,则什么也不做
+= 追加到当前变量值的后面,自动添加空格
makefile 的函数
$(wildcard *.c)三连符 'a' 'h' 的处理
$(subst ee, EE, feet on the street) -> fEEt on the strEEt
$(patsubst %.c, %.o, 1.c 2.c 3.c) -> 1.o 2.o 3.o
$(strip " a b c ") -> "a b c"
$(findstring a, a b c) -> a (否则返回空)
$(filter %.c %.s, $(SRC)) -> 过滤掉不符合.c/.s的文件
$(filter-out) -> 去除掉符合模式的文件
$(sort foo bar lose) -> 排序 bar foo lose
$(dir) $(notdir) $(suffix) $(basename)
$(addsuffix) $(addprefix) $(join)
预处理
基本步骤: 1. 三连符 'a' 'h' 的处理
2. 解决 \ 多行连接成一行问题
3. 去注释问题
4. 识别 token 的过程
5. 相应的预处理,例如 include 文件的展开
6. 解决 '\n' '\t' 转义字符
7. 解决 连接字符串 的问题 "hello" "world"
8. 去空格问题 int a;
宏定义 manifest constant
#define N 100
#define PI 3.1415
#define LOOP for(;;)
#define BOOL int
#define DEBUG 不带任何值
带参数的宏(类似函数)
#define MAX(x, y) ((x) > (y)? (x) : (y))
#define TOUPPER(c) ('a'<=(c) && (c)<='z'? (c)-'a'+'A':(c))
写一个宏 hexchar2int(c) 把"0123..9abcdef" 中的字符转为0-15的数字
#define getchar() getc(stdin)
#运算符
表示转换为字符串
#define PRINT_INT(x) printf(#x "=%d\n", x)
PRINT_INT(i/j) -> printf("i/j=%d\n", i/j);
##运算符
表示连接字符串
#define MK_ID(n) i##n
MK_ID(1), MK_ID(2) i1, i2
int div_int(int x, int y)
{
return x/y;
}
float div_float(float x, float y)
{
return x/y;
}
#define MAKE_DIV_FUNC(type) \
type div_##type(type x, type y) \
{ \
return x/y; \
}
预处理器只会替换完整的记号,而不会替换记号的片段
#define SIZE 256
int BUFFER_SIZE = 0; (其中的SIZE不会替换)
#undef 宏
取消已经定义的宏,和 #define DEBUG 对应
预定义宏 (都是编译的时候进行的替换,而不是执行的时候)
__LINE__ 整型
__FILE__ 字符串
__DATE__ 字符串
__TIME__ 字符串
__STDC__ 整型
条件预处理(条件编译)
#if
...
#endif
#if defined(DEBUG) 或者 #if !defined(DEBUG)
...
#endif
#ifdef DEBUG
...
#endif
#if DEBUG
...
#else 或者 #elif
...
#endif
assert 宏的实现
#define assert(test) ((void)0)
void _Assert(char *);
#define _STR(x) _VAL(x)
#define _VAL(x) #x
#define assert(test) \
((test)? (void)0 : _Assert(...))
_Assert(__FILE__ ":" _STR(__LINE__) " " #test)
void _Assert(char * mesg)
{
fputs(mesg, stderr);
fputs("--assertion failed\n", stderr);
abort();
}
__func__ 这是一个变量名,不是预处理的宏,它的类型是一个字符串
指向指针的指针
int* *p;
指针数组
int* a[10]; 定义了一个数组,有10个元素,每个元素是 int *
int main(int argc, char * argv[])
函数原型中的 argv[] 表示的是指针,而不表示数组,等价于 **argv
这里面的 argv 能作 argv++ 吗? 答案是能。
指向数组的指针
int (*a)[10]; 定义了一个指针,指向一个数组,数组有10个元素
这样理解: typdef int t[10];
t *a;
int* a[10]; 可以拆开理解:typedef int* t;
t a[10];
二维数组作为参数传递时,必须给出一维的下标,否则编译器无法计算地址
函数指针
void f(void); 函数声明
void (*pf)(void); 函数指针(区别在于一个括号)
int (*padd)(int a, int b);
函数类型定义
typedef int F(void);
F f1, f2; => int f1(void); int f2(void);
函数指针类型定义
typedef int (*F)(void);
F pf1, pf2; => int (*pf1)(void); int (*pf2)(void);
文件操作
FILE *
stdin stdout stderr
FILE * fopen(const char * path, const char * mode);
int fclose(FILE * fp);
#define EOF (-1)
void perror(const char * s);
char * strerror(int err_num);
int fseek(FILE * fp, long offset, int whence);
long ftell(FILE * stream);
void rewind(FILE * stream);
int printf(const char * format, ...);
int fprintf(FILE * fp, const char * format, ...);
int sprintf(char * buf, const char * format, ...);
int snprintf(char * buf, size_t size, const char * fmt, ...)
int scanf(const char * format, ...);
int fscanf(FILE * fp, const char * format, ...);
int sscanf(char * buf, const char * format, ...);
int fgetc(FILE * fp);
int getchar(void);
int fputc(int c, FILE * fp);
int putchar(int c);
char * fgets(char * s, int size, FILE * fp);
char * gets(char * s);
int fputs(const char * s, FILE * fp);
int puts(char * s);
size_t fread(void * ptf, size_t size, size_t nmemb, FILE * fp);
size_t fwrite(const void * ptf, size_t size, size_t nmemb, FILE * fp);
Niklaus Wirth
数据结构 + 算法 = 程序
栈的概念
LIFO 后进先出(先进后出),不能随机访问
对于编程者,对于栈的访问接口只有 push, pop, is_empty, (peek)
栈的应用
编程题:用2个栈来解决表达式求值问题: 5+2*4, 5+2+4, 5+2*4*3-1
编程题:用栈来实现逆序打印
提示:先递归,后打印
深度优先搜索
编程题:用栈来解决迷宫问题
算法要领:把可能的路径都压栈保存,然后出栈1次测试一种可能路径
用0表示可以走,没走过
用1表示墙壁,不能走
用2表示走过了,防止重复走
所谓测试一种路径,就是把走过的0标记为2,然后再接着压栈(下一个可能的路径),重复算法
总结:这是一种深度优先搜索(DFS:Depth First Search)
如果一种测试失败,或者一条路径找到,栈里仍有节点(可能性),则可以用回溯法接着寻找下一个正确的路径
回溯法:
典型应用:解决八皇后问题
回溯法的关键是:当退回到某个可能的节点时,当时的状态应得以恢复
广度优先搜索
引入新的数据结构--队列:
特点是:2种基本操作--Enqueue (入队) & Dequeue (出队)
FIFO (先进先出)
步步为营的策略,每个方向都探索一步,将前线推进一步,始终保持队列中的元素总是由前线的点组成
所以广度优先的搜索,导致的结果是可以找到最短路径。
环形队列
因为队列这种数据结构,有一个不足之处:入队出队后的空间不能重复利用,所以组成一个圆,用head表示出队位置,用tail表示入队位置
判断队列满的条件转变成为了 tail 是否能够追赶上 head
判断队列空的条件转变成为了 head 是否能够追赶上 tail
链表
考核的知识点包含:结构体,指针,内存操作,函数,传参,搜索,排序算法
单链表的几种操作
定义节点 struct node, typedef, link next;
创建节点 make_node, malloc, NULL,
插入节点 insert_node, head
查找节点 p=search(key), 比较节点传 compare 函数指针 (man qsort)
删除节点 delete_node(p), head
遍历链表 traverse, visit 函数指针
销毁节点 free_node(p), free(p)
销毁链表 destroy,
编程题:用链表来实现栈操作 push & pop
双向链表 Doubly Lined List
特点:引入一个前趋指针
Sentinel 节点:界定表头和表尾
编程题:用链表来实现队列操作 enqueue & dequeue
推荐参考:可以去查看一下Linux内核中的链表实现,抽象程度更高
/include/linux/list.h 900行左右的实现
其中包括了 inline 内联函数实现的链表操作,以及 常用的宏操作
二叉树 Binary Tree
节点的定义:link l, r;
满二叉树:所有子节点都有左右子树,节点总数是 1,3,7 (2^N-1)
完全二叉树:最后一层可以不满,叶子靠左
平衡二叉树:层数的差别小于等于1
排序二叉树:
二叉树的遍历
后序,前序,中序
其中 中序 遍历的结果通常和排序二叉树有关
前序和中序遍历的结果合在一起,就可以唯一确定二叉树的形态(ok)
后序和中序遍历的结果合在一起,就可以唯一确定二叉树的形态(ok)
前序和后序遍历的结果合在一起,能否唯一确定二叉树的形态?(NO)
二叉树的几种常用操作
定义树节点 struct node, typedef, link l, r;
创建树节点 make_node, malloc, NULL,
初始化树:init, 给定中序和前序(后序)的遍历结果,递归实现
前序遍历:pre_order, 递归实现, visit 函数指针
中序遍历:in_order, 递归实现, visit 函数指针
后序遍历:post_order, 递归实现, visit 函数指针
统计节点:count(), 计算所有节点总数, 递归实现
计算深度:depth(), 计算二叉树的深度(最深的子树), 递归实现
销毁树节点: free_node(p), free(p)
销毁整棵树: destroy, 必须用后序遍历实现,Why?
排序二叉树 BST: Binary Search Tree
概念:所有左子树都比根节点小,所有右子树都比根节点大,并且递归
特点:排序二叉树中序遍历的结果,就是从小到大排列的。
排序二叉树的几种常用操作
插入节点 insert, key, 递归实现, 第一个插入的就是根节点
比根小,则放左边;比根大或者相等,则放右边
root = insert(root, key);
查找节点 search(root, key), 递归实现
if (search(root, key))
delete(root, key);
删除节点 delete_node(root, key), 递归实现
比根小,则在左子树里面删除;
比根大,则在右子树里面删除;
如果就是根,就需要选举出一个新的根
选举办法:1. 如果没有子节点了,那就直接删除,返回NULL
2. 如果有左子树,则选用在左子树的最右边的节点(左边最大的)
3. 如果有右子树,则选用在右子树的最左边的节点(右边最小的)
排序和查找
算法 Algorithm
排序算法
1. 冒泡排序:bubble_sort
算法思想:相邻交换,最大数下沉,然后调整范围,接着找次大数。
2. 归并排序 merge_sort
算法思想:递归,分而治之,对半划分,然后左右递归,再进行合并排序
缺点:过多占用存储空间
3. 快速排序 quick_sort
算法思想:递归,分而治之,现选第一个数,为这个数找到它应该的位置,同时保证左边都比它小,右边都比它大,然后左右递归
优点:没有过多占用存储空间
查找算法
1. 线性查找
算法思想:顺序查找
2. 折半查找
算法思想:Binary Search (二分法)
算法复杂度:O(lgN)
补充内容:
计算机体系结构基础
MMU
虚拟地址和物理地址 VA & PA
页帧(Page Frame)
MMU会查找页表来确定一个VA应该映射到什么PA
编码风格
缩进和空白, 注释, 标识符命名, 函数, indent工具
gdb
相关命令用法