C++小知識(shí):大于0并不意味著等于1
注:本文所指出的錯(cuò)誤例子其實(shí)非常簡(jiǎn)單,任何 C++ 的初學(xué)者都能看懂。但是這個(gè)錯(cuò)誤也非常典型,估計(jì)很多非常嚴(yán)肅的代碼里面都存在這樣的錯(cuò)誤。
這個(gè) Bug 是來(lái)自于 CoreCLR 源代碼。
錯(cuò)誤代碼:
bool operator( )(const GUID& _Key1, const GUID& _Key2) const { return memcmp(&_Key1, &_Key2, sizeof(GUID)) == -1; }
解釋:
你不能將 memcpy()、strcmp() 以及其他一些標(biāo)準(zhǔn)函數(shù)的返回值,和 1、-1 這些具體的數(shù)字做比較,因?yàn)檫@些函數(shù)的返回值只保證大于 0 或者小于 0(譯注:而并不保證大于0就等于1,小于0就等于-1)。
上面那段錯(cuò)誤的代碼可能在很長(zhǎng)時(shí)間內(nèi)都能正常工作。不過(guò)那僅僅是因?yàn)檫\(yùn)氣好而已,沒(méi)什么其他原因。某一天你寫(xiě)的函數(shù)很可能突然間就崩潰了 —— 比如,你換了一個(gè)編譯器編譯源代碼,或者通過(guò)其他方式優(yōu)化了 memcpy() 函數(shù)。然后你的代碼就不能正常工作了。
正確的代碼:
bool operator( )(const GUID& _Key1, const GUID& _Key2) const { return memcmp(&_Key1, &_Key2, sizeof(GUID)) < 0; }
建議:
不要依賴函數(shù)本身的行為。如果文檔上說(shuō)一個(gè)函數(shù)能返回一個(gè)不等于 0 的值,那它就是這么實(shí)現(xiàn)的。也就是說(shuō)這個(gè)函數(shù)可能返回 -10、2 或者 1024。你可能經(jīng)常看到函數(shù)的返回值就是 -1、0 或者 1,但是這并不能保證它每次都會(huì)這么做。
這個(gè)錯(cuò)誤是通過(guò) PSV-Studio 靜態(tài)分析工具掃描分析得到的。錯(cuò)誤文本如下:V698 表達(dá)式 “memcmp(…) == -1“ 是不正確的。這個(gè)函數(shù)可能的返回值不一定只有“-1”,而可能是任何負(fù)數(shù)。請(qǐng)考慮到使用 “memcmp(…) < 0 ”來(lái)替換。
總結(jié)
以上就是這篇文章的全部?jī)?nèi)容了,希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,謝謝大家對(duì)腳本之家的支持。如果你想了解更多相關(guān)內(nèi)容請(qǐng)查看下面相關(guān)鏈接
- C++實(shí)踐排序函數(shù)模板項(xiàng)目的參考方法
- C++二維數(shù)組中數(shù)組元素存儲(chǔ)地址的計(jì)算疑問(wèn)講解
- 劍指offer之C++語(yǔ)言實(shí)現(xiàn)鏈表(兩種刪除節(jié)點(diǎn)方式)
- Android Java調(diào)用自己C++類庫(kù)的實(shí)例講解
- Python使用ctypes調(diào)用C/C++的方法
- C++小知識(shí):盡可能使用枚舉類
- C++小知識(shí):用++i替代i++
- C++小知識(shí):用合適的工具來(lái)分析你的代碼
- C++小知識(shí):不要去做編譯器的工作
- C++實(shí)踐分?jǐn)?shù)類中運(yùn)算符重載的方法參考
相關(guān)文章
C++ 數(shù)據(jù)結(jié)構(gòu)之水洼的數(shù)量算法
這篇文章主要介紹了C++ 數(shù)據(jù)結(jié)構(gòu)之水洼的數(shù)量算法的相關(guān)資料,需要的朋友可以參考下2017-06-06C/C++獲取當(dāng)前時(shí)間的方法總結(jié)(最全)
這篇文章主要為大家整理了C/C++中獲取當(dāng)前時(shí)間的最全方法,文中的示例代碼講解詳細(xì),具有一定的學(xué)習(xí)和借鑒價(jià)值,需要的可以了解一下2023-03-03探討:程序在內(nèi)存中的分配(常量,局部變量,全局變量,程序代碼)問(wèn)題
本篇文章是對(duì)程序在的內(nèi)存中分配(常量,局部變量,全局變量,程序代碼)的問(wèn)題進(jìn)行了詳細(xì)的分析介紹,需要的朋友參考下2013-05-05C++實(shí)現(xiàn)棧與分析棧的知識(shí)點(diǎn)
這篇文章主要介紹了C++實(shí)現(xiàn)棧與分析棧的知識(shí)點(diǎn),棧(stack)是計(jì)算機(jī)中常用的一種線性數(shù)據(jù)結(jié)構(gòu),經(jīng)常有資料使用“操作受限”來(lái)形容棧,因?yàn)樗膲喝霔:蛷棾鰲2僮髦荒茉跅m斶M(jìn)行,下文更多相關(guān)資料,需要的小伙伴可以參考一下2022-03-03C++11中std::declval的實(shí)現(xiàn)機(jī)制淺析
這篇文章主要給大家介紹了關(guān)于C++11中std::declval實(shí)現(xiàn)機(jī)制的相關(guān)資料,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面來(lái)一起看看吧。2017-07-07C++11關(guān)于auto關(guān)鍵字的使用示例
今天小編就為大家分享一篇關(guān)于C++11關(guān)于auto關(guān)鍵字的使用示例,小編覺(jué)得內(nèi)容挺不錯(cuò)的,現(xiàn)在分享給大家,具有很好的參考價(jià)值,需要的朋友一起跟隨小編來(lái)看看吧2018-12-12C語(yǔ)言數(shù)據(jù)結(jié)構(gòu)之鏈隊(duì)列的基本操作
這篇文章主要為大家介紹了C語(yǔ)言之鏈隊(duì)列的基本操作,具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下,希望能夠給你帶來(lái)幫助2021-12-12