面试题之strcpy/strlen/strcat/strcmp的实现

阿里的电面要我用C/C++实现一个字符串拷贝的函数，虽然以前写过 strcpy 的函数实现，但时间过去很久了，再加上有点紧张，突然就措手不及了。最后写是写出来了，但没考虑异常的情况，面试官好像很不满意。(T_T)，写篇文章记录一下，以免日后重蹈覆辙。

一、字符串拷贝strcpy

函数strcpy的原型是char*
strcpy(char* des , const char* src)，des 和 src 所指内存区域不可以重叠且 des 必须有足够的空间来容纳 src 的字符串。

#include <assert.h>
#include <stdio.h>

char* strcpy(char* des, const char* src)
{
	assert((des!=NULL) && (src!=NULL));
	char *address = des;
	while((*des++ = *src++) != '\0')
		;
	return address;
}

要知道 strcpy 会拷贝'\0'，还有要注意：

• 源指针所指的字符串内容是不能修改的，因此应该声明为 const 类型。

• 要判断源指针和目的指针为空的情况，思维要严谨，这里使用assert（见文末）。

• 要用一个临时变量保存目的串的首地址，最后返回这个首地址。

• 函数返回 char* 的目的是为了支持链式表达式，即strcpy可以作为其他函数的实参。

二、字符串长度strlen

函数strlen的原型是size_t
strlen(const char *s)，其中 size_t 就是 unsigned int。

#include <assert.h>
#include <stdio.h>

int strlen(const char* str)
{
	assert(str != NULL);
	int len = 0;
	while((*str++) != '\0')
		++len;
	return len;
}

strlen 与 sizeof 的区别：

• sizeof是运算符，strlen是库函数。

• sizeof可以用类型、变量做参数，而strlen只能用 char* 变量做参数，且必须以\0结尾。

• sizeof是在编译的时候计算类型或变量所占内存的大小，而strlen的结果要在运行的时候才能计算出来，用来计算字符串的长度。

• 数组做sizeof的参数不退化，传递给strlen就退化为指针了。

三、字符串连接strcat

函数strcat的原型是char*
strcat(char* des, char* src)，des 和 src 所指内存区域不可以重叠且 des 必须有足够的空间来容纳 src 的字符串。

#include <assert.h>
#include <stdio.h>

char* strcat(char* des, const char* src)   // const表明为输入参数
{
	assert((des!=NULL) && (src!=NULL));
	char* address = des;
	while(*des != '\0')  // 移动到字符串末尾
		++des;
	while(*des++ = *src++)
		;
	return address;
}

四、字符串比较strcmp

函数strcmp的原型是int
strcmp(const char *s1,const char *s2)。

• 若s1==s2，返回零；
• 若s1>s2，返回正数；
• 若s1<s2，返回负数。

即：两个字符串自左向右逐个字符相比（按ASCII值大小相比较），直到出现不同的字符或遇\0为止。

#include <assert.h>
#include <stdio.h>

int strcmp(const char *s1,const char *s2)
{
	assert((s1!=NULL) && (s2!=NULL));
    while(*s1 == *s2)
    {
        if(*s1 == '\0')
            return 0;

        ++s1;
        ++s2;
    }
    return *s1 - *s2;
}

附：assert()断言

assert是宏，而不是函数。它的原型定义在头文件 assert.h 中：

void assert( int expression );

宏 assert 经常用于在函数开始处检验传入参数的合法性，可以将其看作是异常处理的一种高级形式。assert 的作用是先计算表达式expression，然后判断：

• 如果表达式值为假，那么它先向stderr打印错误信息，然后通过调用 abort 来终止程序运行。

• 如果表达式值为真，继续运行后面的程序。

注意：assert只在 DEBUG 下生效，在调试结束后，可以通过在#include
<assert.h>语句之前插入#define NDEBUG来禁用assert调用。

个人站点：http://songlee24.github.com