如何在Ada中生成唯一的id？

Question

我正在开发一个 Ada 项目，我正在尝试生成一个唯一的 ID，作为一个人的唯一标识符。 我想知道Ada中有没有办法生成唯一ID？

Answer 1

您确实没有指定很多要求，所以如果您只需要快速简单的东西，您可以使用私有包变量并让生成器函数返回当前值，然后将其更新为新值。

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello is

    package IDs is
        type ID is mod 2**64;
        function New_ID return ID;
    end IDs;

    package body IDs is
        Current : ID := 0;
        function New_ID return ID is
        begin
            return Result : ID := Current do
                Current := Current + 1;
            end return;
        end New_ID;
    end IDs;
begin
   Put_Line("Hello, world!");
   Put_Line("New ID =>" &  IDs.ID'Image(IDs.New_ID));
   Put_Line("New ID =>" &  IDs.ID'Image(IDs.New_ID));
end Hello;

输出：

$gnatmake -o hello *.adb
gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali -o hello
$hello
Hello, world!
New ID => 0
New ID => 1

如果您需要任务安全，请将“当前”变量包装在受保护的对象中。 它最多只会生成 2**64 个唯一 ID，但如果您的编译器支持更大的数据类型，您可以更改它。

Answer 2

PragmARC.Job_Pools 包就是这样做的，所以你可能想看看它。

PragmARC.Job_Pools

Answer 3

您可以使用 ULID-Ada（可排序的 UUID）：

Alire：https://alire.ada.dev/crates/ulid

GitHub：https://github.com/zertovitch/ulid

SourceForge：https://sourceforge.net/projects/ulid-ada/