このコードはどのような変換をしていますか？

Question

私は、彼らが

int val[5]; 
union { 
    int i; 
    float f; 
} conv; 

... 
val is updated with some value 
... 
case OUT_FORMAT_FLOAT: 
for (i = 0; i < count; i++) { 
    conv.f = val[i]; 
    val[i] = conv.i; 
} 

をintにfloat型から変換しようとしているこのコードは、全体で走ったんだけど、これがどのように動作するかを理解することはできませんよ。 val[i]はconv.fに割り当てられ、その後conv.iはval[i]にストアバック値に使用されます。 convは、fを使用しているため、ユニオンタイプです。iは有効な値ではありません。

は、私はここで何かが足りないのですか？

Answer 1

それはtype punningと呼ばれる何かをやっています。

ここで覚えておくべきことは、浮動小数点値は整数（通常はIEEE floating point format）とは非常に異なる形式で格納されることが多く、ユニオンの使用は生浮動小数点形式を取得することです。

具体的には、これは何が起こるかです：

1. 割り当てconv.f = val[i]。 val[i]の整数が浮動小数点値に変換され、conv.fに格納されます。
2. 割当val[i] = conv.i。これにより、ユニオンに格納されている生の浮動小数点ビットパターンが取得され、val[i]に割り当てられます。

組合は、別のメンバを持つ構造体のようではありませんので、これは動作します。組合では全員シェアーは同じメモリです。ユニオンの1つのメンバーを変更すると、すべてのメンバーが変更されます。

---

組合が使用されている理由についての注意

：しかしタイプpunningための組合が許可されている使用して、この変換は、他の方法で作ることができるが、その後それは the strict aliasing ruleを破ります。

Answer 2

unionは異なるデータ型が同じ場所に保存することを可能にします。スペースは、最大値がsizeof(member)のメンバーのみに割り当てられます。

部材fが初期化されると、iはその場所からアクセスすることができます。