阿达：整数溢出

，所以我散列和定义这些类型/功能：阿达：整数溢出

subtype string2 is String(1..2); 
function cString2 is new Ada.Unchecked_Conversion(string2, long_integer); 
function cChar is new Ada.Unchecked_Conversion(character, long_integer);

，必须在使用该散列函数：

HA = (((cString2(s1) + cString2(s2)) * 256) + cChar(char)) mod 128

（该功能是有意的不好，但我必须实现它）当添加和/或尝试乘以256这两个长整数的总和时会出现问题，因为它溢出。我需要以某种方式将字符串视为POSITIVE整数值，并且没有我的函数溢出。谢谢！！！

来源

2017-04-16 Numnumberry

一般一个使得散列表的大小的质数，以确保更均匀的分布。 – user3344003

我假设的作业，因为你被困在次优散列函数。 –

类型Long_Integer是有符号整数类型，并保证覆盖范围–2**31+1 .. +2**31–1（如果它存在）：

LRM 3.5.4（22）：

如果Long_Integer被预定义为一个实施，则其范围应包括范围–2**31+1 .. +2**31–1。

随着你的声明，你很可能会在您的转换价值至少2个字节的随机垃圾，但由于大小不匹配，其结果是实现定义的和可能无效或异常。

我建议您阅读'Pos属性和Ada.Unchecked_Conversion中的LRM。

来源

2017-04-16 07:03:34

我解决了我的问题，我创建了一个模块化的类型，允许我保存更大的数字 – Numnumberry

但是，是否给你正确的答案？ –

它是，即时获得我所需的哈希值，我的模块化类型允许我有2^64正整数，所以不会更多溢出 – Numnumberry

您可以使用显示here的方法比较各种Hash函数的质量，该方法在字典单词的哈希表中记录冲突。结果Counts存储在Ada.Containers.Ordered_Maps的实例中。

作为具体的例子，库Hash功能

function Hash is new Ada.Strings.Bounded.Hash(ASB);

产生具有为的话一半以上独特散列和在最坏情况下仅七碰撞的结果：

Word count: 235886 
Table size: 393241 
Load factor: 59.99% 
0: 215725 (0.00%) 
1: 129710 (54.99%) 
2: 38727 (32.84%) 
3: 7768 (9.88%) 
4: 1153 (1.96%) 
5: 143 (0.30%) 
6: 14 (0.04%) 
7: 1 (0.00%)

相反，这Hash功能

function Hash(Key : ASB.Bounded_String) return Ada.Containers.Hash_Type is 
    S : String := ASB.To_String(Key); 
    H : Ada.Containers.Hash_Type := 0; 
begin 
    for C of S loop 
    H := H * 3 + Character'Pos(C); 
    end loop; 
    return H; 
end;

产生具有独特的散列为不到一半的话，并且每个20次碰撞在最坏的情况下，两个不同的散列值。结果：

Word count: 235886 
Table size: 393241 
Load factor: 59.99% 
0: 236804 (0.00%) 
1: 107721 (45.67%) 
2: 32247 (27.34%) 
3: 9763 (12.42%) 
4: 3427 (5.81%) 
5: 1431 (3.03%) 
6: 813 (2.07%) 
7: 441 (1.31%) 
8: 250 (0.85%) 
9: 150 (0.57%) 
10: 88 (0.37%) 
11: 41 (0.19%) 
12: 27 (0.14%) 
13: 14 (0.08%) 
14: 11 (0.07%) 
15: 7 (0.04%) 
16: 2 (0.01%) 
17: 1 (0.01%) 
19: 1 (0.01%) 
20: 2 (0.02%)

来源

2017-04-20 10:42:26 trashgod

阿达：整数溢出

回答

相关问题