• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>

            loop_in_codes

            低調做技術__歡迎移步我的獨立博客 codemaro.com 微博 kevinlynx

            使用memcmp比較兩個變量結果一定嗎?

            參考Is using memcmp on array of int strictly conforming?

            以下代碼一定會輸出ok嗎?

            #include <stdio.h>
            #include <string.h>
            
            struct S { int array[2]; };
            
            int main () {
                struct S a = { { 1, 2 } };
                struct S b;
                b = a;
                if (memcmp(b.array, a.array, sizeof(b.array)) == 0) {
                    puts("ok");
                }
                return 0;
            }
            

            我在vs2005以及gcc4.4.3上做了測試,都輸出了ok。但這并不意味這個代碼會永遠輸出ok。問題主要集中于這里使用了賦值語句來復制值,但卻使用了memcmp這個基于內存數據比較的函數來比較值。

            c語言中的賦值運算符(=)被定義為基于值的復制,而不是基于內存內容的復制。

            C99 section 6.5.16.1 p2: In simple assignment (=), the value of the right operand is converted to the type of the assignment expression and replaces the value stored in the object designated by the left operand.

            這個其實很好理解,尤其在不同類型的數字類型間復制時,例如:

            float a = 1.1;
            int b = a;
            

            因為浮點數和整形數的內存布局不一樣,所以肯定是基于值的一種復制。另外,按照語言標準的思路來看,內存布局這種東西一般都屬于實現相關的,所以語言標準是不會依賴實現去定義語言的。

            上面的定理同樣用于復雜數據類型,例如結構體。我們都知道結構體每個成員之間可能會有字節補齊,而使用賦值運算符來復制時,會不會復制這些補齊字節的內容,是語言標準未規定的。這意味著使用memcmp比較兩個通過賦值運算符復制的兩個結構體時,其結果是未定的。

            但是上面的代碼例子中,比較的其實是兩個int數組。這也無法確認結果嗎?這個問題最終集中于,難道int也會有不確定的補齊字節數據?

            C99 6.2.6.2 integer types For signed integer types, the bits of the object representation shall be divided into three groups: value bits, padding bits, and the sign bit. […] The values of any padding bits are unspecified.

            這話其實我也不太懂。一個有符號整數int,其內也有補齊二進制位(bits)?

            但無論如何,這個例子都不算嚴謹的代碼。人們的建議是使用memcpy來復制這種數據,因為memcpy和memcmp都是基于內存內容來工作的。

            posted on 2012-08-17 14:07 Kevin Lynx 閱讀(3964) 評論(2)  編輯 收藏 引用 所屬分類: c/c++ 、tips

            評論

            # re: 使用memcmp比較兩個變量結果一定嗎? 2012-08-18 00:59 路過

            我還一直以為默認賦值運算就是內存賦值是標準內容呢,原來是未定義。  回復  更多評論   

            久久精品夜色噜噜亚洲A∨| 久久国产高潮流白浆免费观看| 久久精品国产精品青草app| 99久久精品免费看国产| 亚洲国产成人精品91久久久 | 91久久精品视频| 久久精品国产精品亜洲毛片| 一本色道久久综合亚洲精品| 久久最近最新中文字幕大全| 伊人久久大香线蕉综合热线| 大伊人青草狠狠久久| 18禁黄久久久AAA片| 99久久综合狠狠综合久久| 精品无码久久久久国产动漫3d| 精品人妻伦九区久久AAA片69 | 性高湖久久久久久久久| 99久久人人爽亚洲精品美女| 亚洲av伊人久久综合密臀性色| 久久精品国产99久久久香蕉| 国产精品99精品久久免费| 国色天香久久久久久久小说| 久久亚洲国产精品五月天婷| Xx性欧美肥妇精品久久久久久| 久久久久久午夜成人影院| 久久国产免费直播| 香蕉99久久国产综合精品宅男自 | 亚洲国产综合久久天堂| 亚洲综合婷婷久久| 国产精品99久久久久久人| 欧美丰满熟妇BBB久久久| 久久精品国产亚洲AV久| 亚洲国产成人久久一区WWW| 久久亚洲欧洲国产综合| 久久久久久极精品久久久| 久久精品国产99国产精品 | 亚洲AV无码久久精品蜜桃| 亚洲AV成人无码久久精品老人| 人妻无码αv中文字幕久久| 久久精品国产亚洲AV无码麻豆| 久久亚洲私人国产精品| 99久久婷婷国产综合亚洲|