同时也是各大院校计算机专业的基本语言课程。strcpy 函数由于不对数组边界进行检查，而非常容易造成各种

缓冲区溢出的漏洞。这些漏洞很容易被利用，而造成严重的系统问题。在使用 strcpy 函数时，要小心谨慎。

以下就 Strcpy 函数中的缓冲区溢出问题和防范进行讨论。

缓冲区的溢出就是程序在动态分配的缓冲区中写入了太多的数据，使这个分配区发生了溢出。一旦一个缓冲区利用程序能将运行的指令放在有 root权限的内存中，运行这些指令，就可以利用 root 权限来控制计算机了。

在编程时，加入错误检查，就可及时发现错误，并且对出现的异常进行处理。在编写 strcpy 函数时，首先尽量使目的缓冲区长度足够长，另外要检测目的缓冲区和源缓冲区。如果目的缓冲区或源缓冲区是空，就要在异常处理中结束程序。如果，源字符串比目的缓冲区长度不长，也要在异常处理中结束程序，以防止出现溢出情况。任何程序都很难说是绝对安全，只能以尽可能安全的方式来处理 strcpy 函数。只要输入的字符串不以空字符结束，函数就会随时终止。这种检测容易实现。但是这样的检测也并不能确定函数一定安全。

另外，每添加一个错误检查，就会使程序更复杂，而且可能产生很多的 bug，增加很多的工作量。最重要的是，即使设计程序时非常仔细，也有可能会忽略一些细节问题，导致不可弥补的错误。所以，在编写程序时，最安全的方法，就是尽可能不去使用 strcpy 函数。可以在程序的开头加上 #define strcpy Unsafe_strcpy。这样，就会使 strcpy 函数在编译时产生错误，从而使我们在编程时可以完全摒弃strcpy 函数。在完全丢弃 strcpy 函数的同时，也就丢掉了众多依附于 strcpy 函数的 bug。

已知strcpy函数的原型是：

char * strcpy(char * strDest,const char * strSrc);

1.不调用库函数，实现strcpy函数。

2.解释为什么要返回char *。

strcpy的实现代码

错误的做法[1]：

（A）不检查指针的有效性，说明答题者不注重代码的健壮性。

（B）检查指针的有效性时使用（（！strDest)||(!strSrc））或（！（strDest&&strSrc）），说明答题者对C语言中类型的隐式转换没有深刻认识。在本例中char *转换为bool即是类型隐式转换，这种功能虽然灵活，但更多的是导致出错概率增大和维护成本升高。所以C++专门增加了bool、true、false三个关键字以提供更安全的条件表达式。

（C）检查指针的有效性时使用（（strDest==0)||(strSrc==0）），说明答题者不知道使用常量的好处。直接使用字面常量（如本例中的0）会减少程序的可维护性。0虽然简单，但程序中可能出现很多处对指针的检查，万一出现笔误，编译器不能发现，生成的程序内含逻辑错误，很难排除。而使用NULL代替0，如果出现拼写错误，编译器就会检查出来。

错误的做法[2]：

内存泄漏也没有警惕心。从函数中返回函数体内分配的内存是十分危险的做法，他把释放内存的义务抛给不知情的调用者，绝大多数情况下，调用者不会释放内存，这导致内存泄漏。

（B)return 0；，说明答题者没有掌握异常机制。调用者有可能忘记检查返回值，调用者还可能无法检查返回值（见后面的链式表达式）。妄想让返回值肩负返回正确值和异常值的双重功能，其结果往往是两种功能都失效。应该以抛出异常来代替返回值，这样可以减轻调用者的负担、使错误不会被忽略、增强程序的可维护性。

错误的做法[3]：

（A）忘记保存原始的strDest值，说明答题者逻辑思维不严密。

错误的做法[4]：

（A）循环写成while (*strDestCopy++=*strSrc++）；，同[1]（B）。

返回strDest的原始值使函数能够支持链式表达式，增加了函数的“附加值”。同样功能的函数，如果能合理地提高的可用性，自然就更加理想。

链式表达式的形式如：

int iLength=strlen(strcpy(strA,strB));

又如：

char * strA=strcpy(new char[10],strB);

返回strSrc的原始值是错误的。其一，源字符串肯定是已知的，返回它没有意义。其二，不能支持形如第二例的表达式。其三，为了保护源字符串，形参用const限定strSrc所指的内容，把const char *作为char *返回，类型不符，编译报错。

在上面的语句中，循环语句

较难理解，可以把这句理解为以下操作。

第一种：

第二种：

//实例1：将一个字符串拷贝到一个足够长的字符数组中。本例中字符数组为a，长度为20。

//缺点：若数组长度不足以容纳整个字符串，则程序运行崩溃。

//实例2：预设两个字符指针，一个指向字符串，另一个为NULL，在程序运行过程中拷贝。

第一种情况：

第二种情况：