C のトラップ表現とは何ですか?また、未定義の動作との違いは何ですか?

C でのトラップ表現: 詳細

トラップ表現とは何ですか?

C99型のサイズを占有するビット パターンを説明するために「トラップ表現」という用語が導入されました。その型の値として使用すると、未定義の動作がトリガーされます。これらのパターンの存在は、それらを回避することが保証されている unsigned char を除き、オプションです。

トラップ表現の一例は、浮動小数点型のシグナル NaN です。 IEC 60559 でその処理が指定されているにもかかわらず、その動作は C99 では未定義です。

Null ポインターとトラップ表現

ポインター型はトラップ表現を持つことができますが、null ポインターはそうではありませんそのように考えられます。未定義の動作は、それらが逆参照またはオフセットされた場合にのみ発生します。一方、トラップ表現は、その代表的な型での単純な読み取り操作で未定義の動作を引き起こします。

未定義の動作とトラップ表現

提供されたコードは未定義を示しますトラップ表現ではなく、ポインタエイリアシングルールによる動作。 float を同じ表現の int に正しく変換するには、次のコード スニペットを使用します。

int extract_int(float f)
{
    union { int i; float f; } u;
    u.f = f;
    return u.i;
}

このコードは、C99 では未指定の動作を示します。生成される正確な整数値は定義されていませんが、有効な整数です。結果は保証されています。これはトラップ表現ではないため、その不在に関する仮定に基づいて最適化して除去することはできません。

以上がC のトラップ表現とは何ですか?また、未定義の動作との違いは何ですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。