W dniu środa, 24 października 2012 00:32:07 UTC+2 użytkownik Marcin Kowalczyk
napisał:

> "Bezpiecznikiem" był if w kodzie, który sprawdzał, czy wartość mieści się w
zakresie int16, i jeśli nie, to podstawiał skrajne wartości z zakresu.

Oprócz tego jawnego ifa w kodzie Ada wstawia własne ify (albo realizuje to w
jakikolwiek inny sposób) przy każdej konwersji między dwoma typami liczbowymi.

To znaczy, że nawet bez tego jawnego ifa w kodzie Ada ma mechanizm sprawdzający,
który powoduje reakcję na poziomie software'u (wyjatek Constraint_Error, który da się
obsłużyć programowo).
W razie potrzeby służę odpowiednim paragrafem.

> "Disabling" polegało na tym, że tego ifa w ogóle nie było,

"Disabling" musiało też polegać na wyłączeniu tego mechanizmu języka, którego nie
widać, ale który normalnie jest włączony. Dlatego konwersja nie spowodowała rekacji
na poziomie software'u, tylko na poziomie hardware'u, gdzie software nie miał już nic
do powiedzenia.

> Nie był więc wcale "domyślnie włączony",

Był. To wynika z definicji języka.

> a w C można było napisać takiego ifa tak samo jak w Adzie.

Można go też było nie napisać tak jak w Adzie. Różnica polega na tym, że Ada ma
jeszcze pod spodem mechanizm zdefiniowany na poziomie języka, którego C nie ma.
Ten mechanizm jest normalnie włączony, ale można go wyłączyć.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com