char * a，* b;什麼類型（b-a），以及如何打印它？

Question

{ 
    char *a, *b; 

    printf("%lx\n",(b-a)); 
} 

通常工作，其實我無法想象它給予警告或者失敗的32位或64位計算機上。但是對於ANSI C和尺寸意識來說，這是正確的嗎？我希望這個代碼能夠在任何可能的平臺上工作，包括非Unix和嵌入式系統。

Answer 1

b - a是一個ptrdiff_t，您可以使用您的printf格式打印%td。從規範部分6.5.6 加法運算符：

當兩個指針相減，既應指向同一陣列對象，或一個過去的數組對象的最後一個元素的元素;結果是兩個數組元素的下標差異。結果的大小是實現定義的，其類型（帶符號的整數型）是ptrdiff_t在<stddef.h>頭中定義。

printf對於和相關的功能，部分7.19.6 格式的輸入/輸出功能：

t指定一個以下d，i，o，u，x，或X轉換說明適用於ptrdiff_t或相應的無符號整數類型參數;或一個以下n轉換說明適用於一個指針指向一個ptrdiff_t參數。

我在規範中一些更戳左右，而這似乎表明，兩個指針的差異可能甚至不適合在ptrdiff_t，在這種情況下的行爲是不明確的：

J. 2未定義的行爲
- 減去兩個指針的結果在ptrdiff_t（6.5.6）類型的對象中不可表示。

雖然我無法想象任何可能出現的實現。我想你可以檢查PTRDIFF_MIN和PTRDIFF_MAX在<stdint.h>是非常確定的。

Answer 2

由於您尚未初始化變量a和b，代碼給出了未定義的行爲。但除此之外，類型B-A是ptrdiff_t型，這是大到足以容納結果。如果你有足夠的現代化C，你可以用％TX的printf它。

如果你不想使用％TX，你應該轉換結果所以實際上它會匹配（不只是偶然）的格式說明：

printf("%lx", (unsigned long)(a-b)); 

不難想象，一個系統可能有例如一個32位地址空間和一個32位ptrdiff_t，但64位長，然後你的printf將失敗。

Answer 3

這是ptrdiff_t。從man stddef.h：

 
ptrdiff_t 
       Signed integer type of the result of subtracting two pointers. 

與%td打印。

Answer 4

b - a的結果僅在a和b都指向相同字符數組的元素時才定義。這個要求也可以解釋爲指向屬於同一個對象的字節的a和b，因爲每個對象都可以被重新解釋爲一個字符數組。

否則，結果是未定義的。即試圖減去這樣的指針會導致未定義的行爲。

當定義結果時，它有ptrdiff_t類型。 ptrdiff_t是一個typedef名稱，隱藏在該typedef名稱後面的是執行定義的類型。該類型已知被簽名。

另請注意，即使指針指向相同數組的元素，C語言也不能保證ptrdiff_t足夠大以容納任何減法的結果。如果指針與ptrdiff_t類型相距太遠而不能適應結果，則行爲不確定。

有沒有具體的printf格式說明爲ptrdiff_t，即使在C99，所以你可能會更好將其轉換爲一個足夠大的有符號整數類型和使用的格式說明該類型

printf("%ld\n", (long) (b - a)); 

修正： C99確實有一個長度修飾符ptrdiff_t。正確的方法來打印結果C99將

printf("%td\n", b - a); 

注意t是一個長度修飾符。它可以與d,o,u,x或X轉換說明符結合使用，具體取決於您想要獲得的輸出格式。在C89/90中，您仍然需要堅持使用足夠大的簽名類型。

P.S.你說你無法想象它在32位或64位機器上失敗。事實上，很容易想象（或實際上使其失敗）。您看到32位機器上的ptrdiff_t通常是32位類型。由於它是有符號類型，因此它只有31位可用來表示值的大小。如果你採用兩個分開的指針（即需要32位來表示「距離」），b - a的結果會溢出並且沒有意義。爲了防止這種失敗，您需要在32位機器上至少有33位有符號ptrdiff_t，並且在64位機器上至少有65位有符號ptrdiff_t。實現通常不會這樣做，它們只是使用標準的「權限」在溢出上產生未定義的行爲。

Answer 5

b-a的類型是ptrdiff_t