1.C語言編碼需要保證變長數組的長度參數位于合法范圍之內
例如以下代碼:
void func(size_t s) { int vla[s]; /*...*/}/*...*/func(size);/*...*/
解決方案如下:
enum {MAX_ARRAY = 1024};void func(size_t s) { if(s < MAX_ARRAY && s != 0) { int vla[s]; /*...*/ } else { //錯誤處理 }}/*...*/func(size);/*...*/
2.需要保證復制的目標具有足夠的存儲空間
參考代碼如下所示:
enum {WORKSPACE_SIZE = 256};void func(const int src[], size_t len) { int dest[WORKSPACE_SIZE]; if(len > WORKSPACE_SIZE) { //錯誤處理 } memcpy(dest, src, sizeof(int) * len); /*...*/}
3.不要把一個指向非數組對象的指針加上或減去一個整數
錯誤代碼如下所示:
struct numbers { short num1; short num2; /*...*/ short num9;};int sum_numbers(const struct numbers *numb) { int total = 0; const int *numb_ptr; for(numb_ptr = &numb->num1; numb_ptr <= &numb->num9; numb_ptr++) { total += *(numb_ptr); } return total;}int main(void) { struct numbers my_numbers = {1,2,3,4,5,6,7,8,9}; sum_numbers(&my_numbers); return 0;}
上面的代碼試圖用指針運算訪問結構的元素,這是危險的,因為結構中的字段并不保證在內存中是連續的
解決方案(使用數組)如下:
struct numbers { short num1; short num2; /*...*/ short num9;};int sum_numbers(const short *numb, size_t dim) { int total = 0; const int *numb_ptr; for(numb_ptr = numb; numb_ptr < numb + dim; numb_ptr++) { total += *(numb_ptr); } return total;}int main(void) { short my_numbers[9] = {1,2,3,4,5,6,7,8,9}; sum_numbers(my_numbers, sizeof(my_numbers) / sizeof(my_numbers[0])); return 0;}
新聞熱點
疑難解答
圖片精選