參考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都是基于內存內容來工作的。