條件跳轉或移動依賴於未初始化值

Question

我有一個問題，這一點我的代碼：

unsigned long me_hash(MEntry *me, unsigned long size){ 
    unsigned long hashval=0; 
    int i=0; 
    for(i=0; me->surname[i];i++) hashval +=me->surname[i] + 28 * hashval;; 

    for(i=0; me->surname[i];i++){ 
     if(me->postcode[i]) { 
     hashval += me->postcode[i] + 28 * hashval; 
     } 
    } 
    hashval += me->house_number; 
    return (hashval%size); 
} 

當我運行Valgrind是

==4480== Conditional jump or move depends on uninitialised value(s) 
==4480== at 0x8048EB7: me_hash (mentry.c:66) 
==4480== by 0x8048B3E: ml_lookup (mlist.c:91) 
==4480== by 0x80488D2: main (finddupl.c:43) 
==4480== 

我不知道這是我得到的消息知道如何解決這個問題。你可以幫幫我嗎？

Answer 1

Conditional jump or move depends on uninitialised value(s)

這是Valgrind的真正偉大的信息。

它基本上說，如果或你的條件取決於未初始化的值。每次例如for循環的條件都是真實的，執行就會在其正文的開始處跳回。

換句話說，該消息意味着您正在訪問尚未初始化的內存，如在this答案中所述。這些值是me->surname[i]或me->postcode[i]。在使用前打印它們，看看它們是否真的有一些垃圾值（我想他們會）。

---

使用Valgrind的選項--track-origins=yes有它跟蹤未初始化值的由來。這會讓它變慢並佔用更多內存，但是如果您需要追蹤未初始化值的來源，它會非常有幫助。

建議在this的答案。