strcpy()函数llll

最新推荐文章于 2021-05-08 23:58:56 发布

原创最新推荐文章于 2021-05-08 23:58:56 发布 · 938 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#include #c

本文介绍了一个安全的字符串复制函数实现，通过宏定义进行边界检查，防止指针越界导致的安全问题。文章详细解释了宏中逻辑运算符和逗号运算符的用法，并探讨了不同数据类型的作用及寄存器使用的优化策略。

很多公司用这个函数考察应聘者的一些技能，如代码风格、代码成熟度等。
首先要避免国内一些教科书的误导的诸如while(*dest++=*src++)这样的代码。
我把参考写法如下(纯C代码)：
-----------------------------------------------------------------------------
000
001   # include <stddef.h>
002
003   # define BOUNDS_VIOLATED (__builtin_trap (), 0)
004
005   # define CHECK_BOUNDS_LOW(ARG)                   /
006      (((__ptrvalue (ARG) < __ptrlow (ARG)) && BOUNDS_VIOLATED),   /
007       __ptrvalue (ARG))
008
009   # define CHECK_BOUNDS_HIGH(ARG)               /
010      (((__ptrvalue (ARG) > __ptrhigh (ARG)) && BOUNDS_VIOLATED),   /
011       __ptrvalue (ARG))
012
013   /* copy src to dest */
014   char *
015   strcpy ( char *dest, const char *src)
016   {
017        register char c;
018        char *__unbounded s = (char *__unbounded) CHECK_BOUNDS_LOW (src);
019        const ptrdiff_t off = CHECK_BOUNDS_LOW (dest) - s - 1;
020        size_t n;
021        do {
022            c = *s++;
023            s[off] = c;
024        } while (c != '/0');
025        n = s - src;
026        (void) CHECK_BOUNDS_HIGH (src + n);
027        (void) CHECK_BOUNDS_HIGH (dest + n);
028        return dest;
029   }
030

1、第003行宏调用的函数为指针越界陷阱系统调用(bounds check，即int $5);
2、第006行的‘&&’和‘,’符号在宏中的用法；
3、数据类型的定义，诸如ptrdiff_t, size_t等的使用；
4、第023的s指针为什么高效，如寄存器使用数量是最少的；
5、第026行为什么要返回void类型；