作者chiya1908 (leowu)
看板C_and_CPP
標題[問題] 此段程式哪裡有問題
時間Fri Mar 8 16:44:54 2024
開發平台(Platform): (Ex: Win10, Linux, ...)
windows
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
GCC
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
NO
問題(Question)：
此段程式有甚麼risks 跟 如何改進他
程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔)
void clean_buffer(int A[], unsigned int number){
unsigned int i;
if(number > 0){
for(i = 0; i <= number - 1; i++){
A[i] = 0;
}
}
}
這題是去年在NV面試時遇到的考題
考官有提到number 跟 array A[] 的size是一樣的
但答案是跟 overflow 或是 踩到未定義記憶體位址有關係
實在是忘記當初的答案 最近想到這題實在是太想知道答案
無奈chatgpt沒辦法給出正確的回答 上來請教各位大大 再麻煩幫忙解惑了
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 163.116.222.124 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1709887496.A.B2B.html
1F：→ nh60211as: number - 1 遇到 number==0 會 overflow 03/08 17:40
2F：推 gusion: code看起來好像沒問題，不過可以簡化，if判斷拿掉，for的 03/08 17:48
3F：→ gusion: 條件改成i < number看起來比較乾淨 03/08 17:48
4F：→ firejox: 考題應該沒有if 03/08 17:51
5F：推 amamoimi: number==0直接就不會進迴圈了吧 03/08 17:52
6F：→ chiya1908: 考題有if 這是我直接複製下來的 03/08 17:57
7F：→ chiya1908: 我也記得他好像是說number的地方要改 03/08 17:58
8F：推 simon860730: for裡面的條件改成 i < number 應該連if都不用包了 03/08 18:06
9F：→ nh60211as: int 比 uint 還是要轉型，那就有可能不是你預期的比較 03/08 19:33
10F：→ nh60211as: 結果 03/08 19:33
11F：→ nh60211as: 阿抱歉看錯 03/08 19:34
12F：推 KaryuuIssen: 邏輯上沒什麼問題 難道他是希望你把number和i的型別 03/08 19:34
13F：→ KaryuuIssen: 換成size_t ? 03/08 19:34
14F：→ nh60211as: 實際跑了一下，好像 clean_buffer(int* A, unsigned 03/08 20:00
15F：→ nh60211as: 比較像正常的寫法 03/08 20:00
16F：推 Richun: 該不會是說int不一定對齊記憶體大小，要用unsigned long吧 03/08 20:26
17F：→ Richun: 有可能就是K大講的那個，要size_t去對到CPU定址能力。 03/08 20:28
18F：推 stupid0319: 可能要檢查 A != NULL 吧 03/08 21:11
19F：推 Dracarys: 答案應該是unsigned int有可能無法表達std::size_t所有 03/08 22:21
20F：→ Dracarys: 的數，可以用T (&A)[N] 03/08 22:21
22F：推 Dracarys: int* A比較正常的說法聽起來怪怪的，因為本來就一樣 03/08 22:24
24F：推 wulouise: 沒說這題是考c還是c++啊 03/08 22:48
25F：→ peter98: 會不會是你記錯題目? 考題裡的i是不是int而不是你記得的 03/09 05:41
26F：→ peter98: unsigned int? 如果i的型別是int的話會有問題 03/09 05:42
27F：→ peter98: 但我想想又有矛盾，如果是因為i的型別為int而造成的over 03/09 05:55
28F：→ peter98: flow，那那個number會很大，而這個number又是array size 03/09 05:55
29F：→ peter98: 理論上應該沒這麼大的array才對。。。 03/09 05:56
30F：→ peter98: 如果array是動態配置的可能可以，但如果array是動態配置 03/09 05:59
31F：→ peter98: function參數寫int []我會想砍人 03/09 05:59
32F：→ cylee: 是我的話會用 memset;不過搞不好是禁用? 03/09 11:06
33F：推 wulouise: 我覺得這題應該要問Caller 03/09 17:20
34F：推 shibin: 認同一樓說的，number==0會變無窮迴圈 03/10 00:39
35F：推 chuegou: 認同上面兩樓 問caller 03/10 22:00
36F：推 manmay: 如果是說未定義記憶體位置有說陣列長度為多少嗎 03/11 19:56
37F：→ manmay: number-1的索引 03/11 19:56
38F：→ manmay: 是否超過原本陣列的大小 03/11 19:56
39F：推 hongsiangfu: number過大會造成A位址回卷，因為A不是對齊bit0（猜 03/12 09:03
40F：推 rnoro: 認同一樓，unsigned int的-1是-1的補數，通常非常非常大XD 03/13 08:17
41F：推 joefaq: number == UINT_MAX 會變無窮迴圈 03/17 04:29
42F：推 wulouise: 外面有number>0，overflow的情況裡面不會出現吧 03/17 19:20
43F：→ Lipraxde: 你會不會其實不小心把答案跟題目弄反了？一般用 unsign 03/17 20:23
44F：→ Lipraxde: ed 可能寫成 for (unsigned i; i < n; ++i)，沒意識到 03/17 20:23
45F：→ Lipraxde: n 可能是 0？ 03/17 20:23
46F：推 sanctitysky: 會計算 n+1次 n-1 很浪費效能？ 03/18 02:50
47F：推 sanctitysky: 還是char*？for buffer？ 03/18 02:53
48F：推 ddavid: number 為 0 就已經被 if(number > 0) 擋掉了，不會出事啊 03/18 12:39
49F：→ ddavid: 至於 number 過大，原Po已經說「考官有提到number 跟 03/18 12:39
50F：→ ddavid: array A[] 的size是一樣的」，你要搞出一個 stack 宣告得 03/18 12:43
51F：→ ddavid: 出來但是 unsigned int 存不下的陣列大小？ 03/18 12:43
52F：推 ddavid: 因為是 int 陣列，似乎需要 > 16GB 的 stack 大小呢XD 03/18 12:50
53F：→ ddavid: 在這之前，這個陣列要怎麼宣告出來XD 03/18 12:51
54F：推 shibin: 喔喔，那個if被我無視了，那應該不是這問題 03/18 17:01
55F：推 Fenikso: 為什麼一定要放stack XD 03/20 22:28
56F：推 adamkk: 看不出來，就算是alignment的問題，array的記憶體位置也會 04/03 23:15
57F：→ adamkk: shift到對的位置。目前看得比較會是i <= number - 1的編譯 04/03 23:16
58F：→ adamkk: 順序會不會不一樣 04/03 23:19
59F：推 wulouise: 看起來最有可能的是caller給的size會超過uint吧，清不乾 04/04 17:04
60F：→ wulouise: 淨 04/04 17:04
61F：→ firejox: 我有點好奇是否有因為optimization 省略if的情況 04/05 08:40
62F：推 LPH66: 最佳化的話可能要編譯器能 (1) 把迴圈化簡成 memset 之後 04/05 23:57
63F：→ LPH66: (2) 這個函數被 inline (3) if 的條件在上層函數已滿足 04/05 23:57
64F：→ LPH66: 不過 (3) 這個條件記得不容易滿足 (技術上&實際程式上都是) 04/05 23:59
65F：→ firejox: 了解，仔細想caller給的size超過unsigned是有可能的，以 04/06 21:31
66F：→ firejox: c標準而言，unsigned是有可能16bit的。 04/06 21:31
67F：推 bizer: 會不會是number給的size是byte,也就是 sizeof (unsigned in 04/19 11:04
68F：→ bizer: t)計算byte，但你是用unsigned int去做index所以會爆掉？ 04/19 11:04
69F：→ bizer: int A[i]會位移爆掉？ 04/19 11:06
70F：推 adamkk: 會不會跟32bit記憶體定址有關? 05/18 23:44