應聘Linux C程式設計師中的strcpy()函式(轉)
阿新 • • 發佈：2019-01-29
很多公司用這個函式考察應聘者的一些技能，如程式碼風格、程式碼成熟度等。
首先要避免國內一些教科書的誤導的諸如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型別；
首先要避免國內一些教科書的誤導的諸如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型別；