[問題] 此段程式哪裡有問題

[chiya1908 (leowu)]

開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1709887496.A.B2B.html
→ nh60211as: number - 1 遇到 number==0 會 overflow
推 gusion: code看起來好像沒問題，不過可以簡化，if判斷拿掉，for的
→ gusion: 條件改成i < number看起來比較乾淨
→ firejox: 考題應該沒有if
推 amamoimi: number==0直接就不會進迴圈了吧
→ chiya1908: 考題有if 這是我直接複製下來的
→ chiya1908: 我也記得他好像是說number的地方要改
推 simon860730: for裡面的條件改成 i < number  應該連if都不用包了
→ nh60211as: int 比 uint 還是要轉型，那就有可能不是你預期的比較
→ nh60211as: 結果
→ nh60211as: 阿抱歉看錯
推 KaryuuIssen: 邏輯上沒什麼問題  難道他是希望你把number和i的型別
→ KaryuuIssen: 換成size_t ?
→ nh60211as: 實際跑了一下，好像 clean_buffer(int* A, unsigned
→ nh60211as: 比較像正常的寫法
推 Richun: 該不會是說int不一定對齊記憶體大小，要用unsigned long吧
→ Richun: 有可能就是K大講的那個，要size_t去對到CPU定址能力。
推 stupid0319: 可能要檢查 A != NULL 吧
推 Dracarys: 答案應該是unsigned int有可能無法表達std::size_t所有
→ Dracarys: 的數，可以用T (&A)[N]
→ Dracarys: https://godbolt.org/z/GMxdPcrYz
推 Dracarys: int* A比較正常的說法聽起來怪怪的，因為本來就一樣
→ Dracarys: https://eel.is/c++draft/dcl.fct#5.sentence-3
推 wulouise: 沒說這題是考c還是c++啊
→ peter98: 會不會是你記錯題目?  考題裡的i是不是int而不是你記得的
→ peter98: unsigned int? 如果i的型別是int的話會有問題
→ peter98: 但我想想又有矛盾，如果是因為i的型別為int而造成的over
→ peter98: flow，那那個number會很大，而這個number又是array size
→ peter98: 理論上應該沒這麼大的array才對。。。
→ peter98: 如果array是動態配置的可能可以，但如果array是動態配置
→ peter98: function參數寫int []我會想砍人
→ cylee: 是我的話會用 memset;不過搞不好是禁用?
推 wulouise: 我覺得這題應該要問Caller
推 shibin: 認同一樓說的，number==0會變無窮迴圈
推 chuegou: 認同上面兩樓 問caller
推 manmay: 如果是說未定義記憶體位置有說陣列長度為多少嗎
→ manmay: number-1的索引
→ manmay: 是否超過原本陣列的大小
推 hongsiangfu: number過大會造成A位址回卷，因為A不是對齊bit0（猜
推 rnoro: 認同一樓，unsigned int的-1是-1的補數，通常非常非常大XD
推 joefaq: number == UINT_MAX 會變無窮迴圈
推 wulouise: 外面有number>0，overflow的情況裡面不會出現吧
→ Lipraxde: 你會不會其實不小心把答案跟題目弄反了？一般用 unsign
→ Lipraxde: ed 可能寫成 for (unsigned i; i < n; ++i)，沒意識到
→ Lipraxde: n 可能是 0？
推 sanctitysky: 會計算 n+1次 n-1 很浪費效能？
推 sanctitysky: 還是char*？for buffer？
推 ddavid: number 為 0 就已經被 if(number > 0) 擋掉了，不會出事啊
→ ddavid: 至於 number 過大，原Po已經說「考官有提到number 跟
→ ddavid: array A[] 的size是一樣的」，你要搞出一個 stack 宣告得
→ ddavid: 出來但是 unsigned int 存不下的陣列大小？
推 ddavid: 因為是 int 陣列，似乎需要 > 16GB 的 stack 大小呢XD
→ ddavid: 在這之前，這個陣列要怎麼宣告出來XD
推 shibin: 喔喔，那個if被我無視了，那應該不是這問題
推 Fenikso: 為什麼一定要放stack XD
推 adamkk: 看不出來，就算是alignment的問題，array的記憶體位置也會
→ adamkk: shift到對的位置。目前看得比較會是i <= number - 1的編譯
→ adamkk: 順序會不會不一樣
推 wulouise: 看起來最有可能的是caller給的size會超過uint吧，清不乾
→ wulouise: 淨
→ firejox: 我有點好奇是否有因為optimization 省略if的情況
推 LPH66: 最佳化的話可能要編譯器能 (1) 把迴圈化簡成 memset 之後
→ LPH66: (2) 這個函數被 inline (3) if 的條件在上層函數已滿足
→ LPH66: 不過 (3) 這個條件記得不容易滿足 (技術上&實際程式上都是)
→ firejox: 了解，仔細想caller給的size超過unsigned是有可能的，以
→ firejox: c標準而言，unsigned是有可能16bit的。
推 bizer: 會不會是number給的size是byte,也就是 sizeof (unsigned in
→ bizer: t)計算byte，但你是用unsigned int去做index所以會爆掉？
→ bizer: int A[i]會位移爆掉？