程序按功能划分可分为数值运算、符号处理和I/O操作三类,符号处理程序占相当大的比例,符号处理程序无处不在,编译器、浏览器、Office套件等程序的主要功能都是符号处理。无论多复杂的符号处理都是由各种基本的字符串操作组成的,本节介绍如何用C语言的库函数做字符串初始化、取长度、拷贝、连接、比较、搜索等基本操作。
#include <string.h> void *memset(void *s, int c, size_t n); 返回值:s指向哪,返回的指针就指向哪
memset
函数把s
所指的内存地址开始的n
个字节都填充为c
的值。通常c
的值为0,把一块内存区清零。例如定义char buf[10];
,如果它是全局变量或静态变量,则自动初始化为0(位于.bss
段),如果它是函数的局部变量,则初值不确定,可以用memset(buf, 0, 10)
清零,由malloc
分配的内存初值也是不确定的,也可以用memset
清零。
#include <string.h> size_t strlen(const char *s); 返回值:字符串的长度
strlen
函数返回s
所指的字符串的长度。该函数从s
所指的第一个字符开始找'\0'
字符,一旦找到就返回,返回的长度不包括'\0'
字符在内。例如定义char buf[] = "hello";
,则strlen(buf)
的值是5,但要注意,如果定义char buf[5] = "hello";
,则调用strlen(buf)
是危险的,会造成数组访问越界。
在“本章的预备知识”一节中介绍了strcpy
和strncpy
函数,拷贝以'\0'
结尾的字符串,strncpy
还带一个参数指定最多拷贝多少个字节,此外,strncpy
并不保证缓冲区以'\0'
结尾。现在介绍memcpy
和memmove
函数。
#include <string.h> void *memcpy(void *dest, const void *src, size_t n); void *memmove(void *dest, const void *src, size_t n); 返回值:dest指向哪,返回的指针就指向哪
memcpy
函数从src
所指的内存地址拷贝n
个字节到dest
所指的内存地址,和strncpy
不同,memcpy
并不是遇到'\0'
就结束,而是一定会拷贝完n
个字节。这里的命名规律是,以str
开头的函数处理以'\0'
结尾的字符串,而以mem
开头的函数则不关心'\0'
字符,或者说这些函数并不把参数当字符串看待,因此参数的指针类型是void *
而非char *
。
memmove
也是从src
所指的内存地址拷贝n
个字节到dest
所指的内存地址,虽然叫move但其实也是拷贝而非移动。但是和memcpy
有一点不同,memcpy
的两个参数src
和dest
所指的内存区间如果重叠则无法保证正确拷贝,而memmove
却可以正确拷贝。假设定义了一个数组char buf[20] = "hello world\n";
,如果想把其中的字符串往后移动一个字节(变成"hhello world\n"
),调用memcpy(buf + 1, buf, 13)
是无法保证正确拷贝的:
#include <stdio.h> #include <string.h> int main(void) { char buf[20] = "hello world\n"; memcpy(buf + 1, buf, 13); printf(buf); return 0; }
在我的机器上运行的结果是hhhllooworrd
。如果把代码中的memcpy
改成memmove
则可以保证正确拷贝。memmove
可以这样实现:
void *memmove(void *dest, const void *src, size_t n) { char temp[n]; int i; char *d = dest; const char *s = src; for (i = 0; i < n; i++) temp[i] = s[i]; for (i = 0; i < n; i++) d[i] = temp[i]; return dest; }
借助于一个临时缓冲区temp
,即使src
和dest
所指的内存区间有重叠也能正确拷贝。思考一下,如果不借助于临时缓冲区能不能正确处理重叠内存区间的拷贝?
用memcpy
如果得到的结果是hhhhhhhhhhhhhh
倒不奇怪,可为什么会得到hhhllooworrd
这个奇怪的结果呢?根据这个结果猜测的一种可能的实现是:
void *memcpy(void *dest, const void *src, size_t n) { char *d = dest; const char *s = src; int *di; const int *si; int r = n % 4; while (r--) *d++ = *s++; di = (int *)d; si = (const int *)s; n /= 4; while (n--) *di++ = *si++; return dest; }
在32位的x86平台上,每次拷贝1个字节需要一条指令,每次拷贝4个字节也只需要一条指令,memcpy
函数的实现尽可能4个字节4个字节地拷贝,因而得到上述结果。
restrict
关键字我们来看一个跟memcpy
/memmove
类似的问题。下面的函数将两个数组中对应的元素相加,结果保存在第三个数组中。
void vector_add(float *x, float *y, float *result) { int i; for (i = 0; i < 64; ++i) result[i] = x[i] + y[i]; }
如果这个函数要在多处理器的计算机上执行,编译器可以做这样的优化:把这一个循环拆成两个循环,一个处理器计算i值从0到31的循环,另一个处理器计算i值从32到63的循环,这样两个处理器可以同时工作,使计算时间缩短一半。但是这样的编译优化能保证得出正确结果吗?假如result
和x
所指的内存区间是重叠的,result[0]
其实是x[1]
,result[i]
其实是x[i+1]
,这两个处理器就不能各干各的事情了,因为第二个处理器的工作依赖于第一个处理器的最终计算结果,这种情况下编译优化的结果是错的。这样看来编译器是不敢随便做优化了,那么多处理器提供的并行性就无法利用,岂不可惜?为此,C99引入restrict
关键字,如果程序员把上面的函数声明为void vector_add(float *restrict x, float *restrict y, float *restrict result)
,就是告诉编译器可以放心地对这个函数做优化,程序员自己会保证这些指针所指的内存区间互不重叠。
由于restrict
是C99引入的新关键字,目前Linux的Man Page还没有更新,所以都没有restrict
关键字,本书的函数原型都取自Man Page,所以也都没有restrict
关键字。但在C99标准中库函数的原型都在必要的地方加了restrict
关键字,在C99中memcpy
的原型是void *memcpy(void * restrict s1, const void * restrict s2, size_t n);
,就是告诉调用者,这个函数的实现可能会做些优化,编译器也可能会做些优化,传进来的指针不允许指向重叠的内存区间,否则结果可能是错的,而memmove
的原型是void *memmove(void *s1, const void *s2, size_t n);
,没有restrict
关键字,说明传给这个函数的指针允许指向重叠的内存区间。在restrict
关键字出现之前都是用自然语言描述哪些函数的参数不允许指向重叠的内存区间,例如在C89标准的库函数一章开头提到,本章描述的所有函数,除非特别说明,都不应该接收两个指针参数指向重叠的内存区间,例如调用sprintf
时传进来的格式化字符串和结果字符串的首地址相同,诸如此类的调用都是非法的。本书也遵循这一惯例,除非像memmove
这样特别说明之外,都表示“不允许”。
关于restrict
关键字更详细的解释可以参考[BeganFORTRAN]。
字符串的拷贝也可以用strdup(3)
函数,这个函数不属于C标准库,而是属于POSIX标准。
#include <string.h> char *strdup(const char *s); 返回值:指向新分配的字符串
这个函数调用malloc
动态分配内存,把字符串s
拷贝到新分配的内存中然后返回。用这个函数省去了事先为新字符串分配内存的麻烦,但是用完之后要记得调用free
释放新字符串的内存。
#include <string.h> char *strcat(char *dest, const char *src); char *strncat(char *dest, const char *src, size_t n); 返回值:dest指向哪,返回的指针就指向哪
#include <string.h> int memcmp(const void *s1, const void *s2, size_t n);
#include <string.h> int strcmp(const char *s1, const char *s2); int strncmp(const char *s1, const char *s2, size_t n);
#include <strings.h> int strcasecmp(const char *s1, const char *s2); int strncasecmp(const char *s1, const char *s2, size_t n);
#include <string.h> char *strchr(const char *s, int c); char *strrchr(const char *s, int c);
#include <string.h> char *strstr(const char *haystack, const char *needle);