アーキテクチャ依存しないコード

Question

私は目的は、受信したパケットが有効であるかどうかを決定するためのコードのこの部分を持っている：CPUは64ビットの1つであるため

size_t offset_to_a, offset_to_b; 
u_int32_t file_name_length; 
u_int32_t packet_length; 

if ((offset_to_a + offset_to_b + file_name_length) > packet_length) { 
    // Invalid packet 
} 

size_tは、おそらくu_int64_tあります。 file_name_lengthは（無効）値0xFFFFFFFFを有する場合

次に、パケットは無効とみなされます。

しかしsize_tが原因で基盤となるアーキテクチャのu_int32_tになった場合、その後、file_name_lengthの同じ値のため、条件値はラップアラウンドしまうので失敗し、パケットが有効であると考えられます。

どのようにしてこの条件を32/64-bit両方のアーキテクチャーで動作させるのに十分なものにすることができますか？

ありがとうございます！

Answer 1

トリックは減算のみを使用し、減算がラップしないことを確認した後で減算することです。

if (offset_to_a > packet_length || packet_length - offset_to_a < file_name_length) { 
    // invalid packet 
} 
size_t remain = packet_length - offset_to_a; 
if (offset_to_b > remain || remain - offset_to_b < file_name_length) { 
    // invalid packet 
}