欧美一区二区三区久久综,亚洲综合精品香蕉久久网97,久久久久久综合网天天

需要判斷指針為空嗎

前幾天，KOK3客戶端因?yàn)槲业馁Y源配置錯(cuò)誤而崩潰了。
調(diào)試器帶我到了出錯(cuò)的代碼行，是一個(gè)空指針解引用。
代碼大致如下：

   Item* pItem = itemList.getItem(index);
   return *pItem;

getItem方法如下：

Item* ItemList::getItem(int index)
{
   if (index < 0) return NULL;
   if (index >= size()) return NULL;
   return _list[index];
}

錯(cuò)誤是因?yàn)橘Y源加載出錯(cuò)，列表為空，所以getItem()返回NULL.

對(duì)于資源加載出錯(cuò)，應(yīng)該加載時(shí)就提示出錯(cuò)，不應(yīng)該在使用時(shí)才報(bào)錯(cuò)。

getItem()做了索引越界出錯(cuò)處理，所以它的調(diào)用者必須檢查其返回值。

假設(shè)ItemList的指針元素保證不為空，正常情況下，索引正確情況下都不會(huì)返回空指針。
這種情況下，添加斷言是必要的。

   Item* pItem = itemList.getItem(index);
   assert(pItem);
   return *pItem;

Item* ItemList::getItem(int index)
{
   ...
   assert(_list[index]);
   return _list[index];
}


對(duì)與索引值，還是用無符號(hào)數(shù)為好，可省去下界溢出斷。

posted on 2010-02-11 09:48 金慶閱讀(4495) 評(píng)論(11) 編輯收藏引用所屬分類: 1. C/C++ 、2. 網(wǎng)游開發(fā)

評(píng)論

# re: 需要判斷指針為空嗎[未登錄] 2010-02-11 10:19 Bill Hsu

樓主是巨人的？回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎[未登錄] 2010-02-11 10:49 kevin lynx

這個(gè)問題在我們組里也備受爭(zhēng)議。有人覺得對(duì)每個(gè)指針進(jìn)行拿捏然后再?zèng)Q定判斷，很多余，所以索性對(duì)所有指針進(jìn)行空判斷；有人覺得沒必要寫那么多冗余代碼，需要對(duì)每個(gè)指針進(jìn)行上下文審查。

拿一個(gè)接口為例，接口實(shí)現(xiàn)里是否有必要對(duì)參數(shù)進(jìn)行判斷?接口調(diào)用者是否需要對(duì)返回值做判斷?反正這種事情挺糾結(jié)的. 回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎 2010-02-11 11:19 Jimixu

簡(jiǎn)簡(jiǎn)單單的從兩個(gè)if不寫在一起，用||隔開就看出LZ功力非凡，可以節(jié)省很多不必要的判斷
Item* ItemList::getItem(int index)
{
if (index < 0) return NULL;
if (index >= size()) return NULL;
return _list[index];
}
回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎[未登錄] 2010-02-11 11:50 zz

@Jimixu
兩個(gè)if寫在一起用||隔開會(huì)增加很多判斷嗎？不解。
如果第一個(gè)條件成立，||的后一個(gè)條件不是不會(huì)判斷了嗎？回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎 2010-02-11 11:58 jQuery

@Jimixu

=_=
回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎[未登錄] 2010-02-11 12:37 絕對(duì)零度

@Jimixu
有這種講解嗎？回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎 2010-02-11 16:18 金慶

@kevin lynx
我的觀點(diǎn)是：只要有可能為空的，就一定要判斷是否為空; 不可能為空的，可以用一個(gè)assert斷言來表達(dá)。
關(guān)鍵在于判斷是否有可能為空。由函數(shù)調(diào)用者保證不為空的，就認(rèn)為不可能為空，可在函數(shù)說明中注釋并在函數(shù)開始處加個(gè)斷言。由進(jìn)程以外輸入決定的，如用戶輸入，文件輸入，或其他進(jìn)程傳入數(shù)據(jù)決定的指針，即使外部接口規(guī)定了不會(huì)造成空指針，但仍應(yīng)該對(duì)輸入判斷。外部輸入錯(cuò)誤不應(yīng)該造成程序錯(cuò)誤。回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎 2010-02-13 17:01 陳梓瀚(vczh)

理論上，對(duì)于一個(gè)對(duì)象A，如果他不能在這個(gè)上下文里面取到所有類型T的值，那么A的類型就不能是T。

舉個(gè)例子，句柄可以是個(gè)指針。但是如果有規(guī)定是不能為空，那就去搞個(gè)句柄類。無論你在哪里使用，都可以在復(fù)制和構(gòu)造的時(shí)候集中檢查。譬如，句柄的構(gòu)造函數(shù)可以檢查傳入的指針，為空就崩潰。只要構(gòu)造成功了，那么句柄里面的內(nèi)部指針肯定不會(huì)是空的。回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎[未登錄] 2010-02-15 16:24 Steven

我是比較推崇這樣的寫法的
if (index < 0) return NULL;
if (index >= size()) return NULL;
雖然用 || 可以生成一樣的匯編代碼，但是對(duì)于調(diào)試維護(hù)來說是有區(qū)別的
如果我用 || 的話，并且在return 之前，輸出一些錯(cuò)誤log
if (index < 0 || index >= size())
{
cout << "invalide index";
return null;
}
當(dāng)我看到這個(gè)log的時(shí)候，你怎么才能知道到底是哪個(gè)判斷出錯(cuò)了呢？index是太大還是太小呢？當(dāng)然你可以說我應(yīng)該把index的值也一并輸出出來，但是在實(shí)踐中很多判斷是很復(fù)雜的，很難輸出所有的值，比如長(zhǎng)字符串的比較，總不能輸出那么多東西到log里吧。回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎 2010-05-12 22:00 classyk

索引值用無符號(hào)數(shù)并不能減少判斷，反而更加麻煩回復(fù) 更多評(píng)論

# re: 需要判斷指針為空嗎 2010-05-13 09:38 金慶

@classyk
傳統(tǒng)的C程序中是int類型到處使用，而在C++中更傾向于各種功能用不同的類型，如容器大小用size_t. 用無符號(hào)數(shù)減少了小于0的判斷，“更加麻煩”在哪里？回復(fù) 更多評(píng)論

刷新評(píng)論列表

只有注冊(cè)用戶登錄后才能發(fā)表評(píng)論。
【推薦】100%開源！大型工業(yè)跨平臺(tái)軟件C++源碼提供，建模，組態(tài)！

相關(guān)文章: How are dtLinks created in NavMesh C++ parameter passing rules Naming Conventions for Accessors Visual Studio 2019 Compiler Hangs Fbx File Format Identifier 查找內(nèi)存錯(cuò)誤 std::thread 中的異常會(huì)丟失調(diào)用棧用賦值代替 protobuf CopyFrom() vs2017 linux 編譯輸出改成 vs 格式為 LiteIDE 添加選中標(biāo)記

網(wǎng)站導(dǎo)航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

金慶的專欄

公告

留言簿(12)

隨筆分類(502)

隨筆檔案(423)

相冊(cè)

搜索

積分與排名

最新評(píng)論

閱讀排行榜

評(píng)論排行榜

評(píng)論