0

127 で終わる範囲で独自の型を定義すると、コンパイラは変数がラップアラウンドし、定義された制限よりも負になることを許可する上限チェックを行いません。範囲を 126 と定義すると、適切な例外がスローされます。プログラムとその出力を以下に示します。

with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;

procedure GoodType is

    type GOOD_TYPE is range -1..126;

    package GOOD_TYPE_IO is new Ada.Text_IO.Integer_IO(GOOD_TYPE);
    use GOOD_TYPE_IO;

    On_Both1 : GOOD_TYPE := 120;    
    Index : INTEGER := 0;

begin
    for Index in 120..130 loop
        On_Both1 := On_Both1 + 1;

        Put(Index);
        Put(": ");
        Put(On_Both1);
        New_line;        
    end loop;

end GoodType;

出力：

gnatmake -f goodtype.adb && ./goodtype
        120:  121
        121:  122
        122:  123
        123:  124
        124:  125
        125:  126

raised CONSTRAINT_ERROR : goodtype.adb:16 range check failed

.

with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;

procedure BadType is

    type BAD_TYPE is range -1..127;

    package BAD_TYPE_IO is new Ada.Text_IO.Integer_IO(BAD_TYPE);
    use BAD_TYPE_IO;

    On_Both1 : BAD_TYPE := 120;    
    Index : INTEGER := 0;

begin
    for Index in 120..130 loop
        On_Both1 := On_Both1 + 1;

        Put(Index);
        Put(": ");
        Put(On_Both1);
        New_line;        
    end loop;

end BadType;

出力：

gnatmake -f badtype.adb && ./badtype
        120:  121
        121:  122
        122:  123
        123:  124
        124:  125
        125:  126
        126:  127
        127: -128
        128: -127
        129: -126
        130: -125
4

1 に答える 1

6

GNAT は現在、既定でオーバーフロー チェックを無効にしています (ただし、この動作は将来のリリースで変更される予定です)。

試す：

gnatmake -gnato -f badtype.adb && ./badtype

と の動作の違いは、前者が範囲チェック (デフォルトで有効) として実装され、後者がオーバーフロー チェック (デフォルトで無効) として実装されているためと思われます126。127これは、2 つのケースで出力される異なるエラー メッセージで確認できます (-gnato次のようにコンパイルした場合)。

raised CONSTRAINT_ERROR : goodtype.adb:16 range check failed

対。

raised CONSTRAINT_ERROR : badtype.adb:16 overflow check failed
于 2014-05-07T23:08:42.710 に答える