reprezentacja trap

Reprezentacja pułapki jest terminem catch-all używanym przez C99 (IIRC nie przez C89) do opisywania wzorców bitowych, które pasują do przestrzeni zajmowanej przez typ, ale wywołują niezdefiniowane zachowanie, jeśli są używane jako wartość tego typu. Definicja jest w sekcji 6.2.6. 1p5 (z mackami we wszystkich 6.2.6) i nie będę jej tutaj cytował, ponieważ jest długa i myląca. Typ, dla którego istnieją takie wzorce bitowe, mówi się, że "mają" reprezentacje pułapek. Żaden typ nie jest wymagany do posiadania pułapki reprezentacje, ale jedynym typem, w którym standardowe gwarancje Nie mają reprezentacje pułapek, jest unsigned char (6.2.6. 1P5, 6.2.6.2P1).

Standard podaje dwa hipotetyczne przykłady reprezentacji pułapek, z których żaden nie odpowiada niczym, co jakikolwiek prawdziwy procesor robił przez wiele lat, więc nie będę was z nimi mylić. A dobry przykład reprezentacji pułapki (również tylko , która kwalifikuje się jako reprezentacja pułapki na poziomie sprzętowym na dowolnym procesorze prawdopodobnie napotkasz) jest sygnalizacyjnym NaN typu zmiennoprzecinkowego. C99 Załącznik F (sekcja 2.1) wyraźnie pozostawia zachowanie sygnalizujących Nan niezdefiniowanych, mimo że IEC 60559 szczegółowo określa ich zachowanie.

Warto wspomnieć, że podczas gdy typy wskaźników mogą mieć reprezentacje pułapek, wskaźniki null nie są reprezentacjami pułapek. Wskaźniki Null powodują nieokreślone zachowanie tylko wtedy, gdy są dereferenced lub offset; inne operacje na nich (większość co ważne, porównania i kopie) są dobrze zdefiniowane. Reprezentacje pułapek powodują nieokreślone zachowanie, jeśli tylko odczytuje się je przy użyciu typu, który ma reprezentację pułapki. (Czy invalid ale wskaźniki inne niż null są lub powinny być uważane za reprezentacje pułapek jest przedmiotem dyskusji. Procesor nie traktuje ich w ten sposób, ale kompilator może.)

Wyświetlany kod Ma nieokreślone zachowanie, ale jest to spowodowane regułami aliasingu wskaźnika, a nie z powodu pułapek. Oto jak przekonwertować float na int z tą samą reprezentacją (zakładając, jak mówisz, sizeof(float) == sizeof(int))

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

Ten kod ma nieokreślone (nie niezdefiniowane) zachowanie w C99, co w zasadzie oznacza, że standard nie definiuje jaka wartość całkowita jest wytwarzana, ale otrzymujesz jakąś poprawną wartość całkowitą, nie jest to reprezentacja pułapki, a kompilator nie może zoptymalizować przy założeniu, że tego nie zrobiłeś. (Sekcja 6.2.6.1, pkt 7. Moja kopia C99 może zawierać techniczne sprostowania - przypominam sobie, że ta była niezdefiniowana w oryginalnej publikacji, ale została zmieniona na nieokreśloną w TC.)