寫有符號整數，就好像它是在C++

Question

簽名是reinterpret_cast安全的這一點，是它這樣做的最佳方式？

例如，在下面的代碼中，我有一個名爲ibytestream的類，它允許從中讀取uint16_t s和int16_t s。 ibytestream::next是vector<unsigned char>::iterator。

inline ibytestream& operator>>(ibytestream& stream, uint16_t& data) { 
    data = 0; 
    data |= *stream.next++; 
    data <<= 8; 
    data |= *stream.next++; 
    return stream; 
} 

inline ibytestream& operator>>(ibytestream& stream, int16_t& data) { 
    return stream >> reinterpret_cast<uint16_t&>(data); 
} 

我不想重複的代碼轉換字節爲整數，所以我用reinterpret_cast的簽名版本重用無符號版本的代碼。它可以在我的機器上正常工作，但它是否可以在其他現代機器上運行？

Answer 1

是的，這是安全的。標準的

三個部分適用於做出這個確定：

1. 的對齊要求符號和無符號類型相同
2. 指針指針之間投射到類型具有相同的對準要求被允許
3. 當執行glvalues之間的轉換，如果相應指針之間的轉換有效，則轉換有效。

對於每個標準符號整數類型，存在一個相應的（但不同）的標準的無符號整數類型：unsigned char，unsigned short int，unsigned int，unsigned long int， 和unsigned long long int，其中的每一個佔據相同量的存儲並具有相同的對齊要求。

對象指針可以顯式轉換爲不同類型的對象指針。轉換類型的prvalue「指針T1」的類型「指針T2」（其​​中，T1和T2是對象類型，並且其中T2的對準要求並不比T1的更嚴格的），並返回到其原始類型產生的原始指針值。

類型T1的glvalue表達可以轉換爲類型「參照T2」如果類型「指針T1」的表達可顯式轉換爲類型「指針T2」使用的reinterpret_cast。結果是指 同一個對象作爲源glvalue，但與指定的類型。

Answer 2

是的，這應該是完全正常的。 （整數和字節數組之間移動具有潛在的字節序的問題，但是這是一個適用於有符號和無符號數另當別論。）

完全不同的東西：該位：

data = 0; 
data |= *stream.next++; 

...能被簡化：

data = *stream.next++;