3

GNAT 允许以下代码，因为它Random(Generator, First, Last)是在运行时实现的，但它不是 Ada 2012 的一部分。我是否可以导致它产生编译错误，因为它不应该可用？

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Numerics.Discrete_Random;

procedure Main is
   package Positive_Random is new Ada.Numerics.Discrete_Random
     (Result_Subtype => Positive);
   Generator : Positive_Random.Generator;

   -- This should fail, since function isn't part of Ada 2012.
   Value : Positive := Positive_Random.Random (Generator, 1, 10);
begin
    Put_Line (Value'Image);
end Main;

这是我的 gpr 文件：

project Default is

   for Source_Dirs use ("src");
   for Object_Dir use "obj";
   for Main use ("main.adb");

   package Compiler is
      for Switches ("ada") use ("-gnat12");
   end Compiler;

end Default;
4

1 回答 1

2

在我看来，这样做的标准方法是添加一个全局限制：

pragma Restrictions (No_Implementation_Identifiers);

No_Implementation_Identifiers

没有使用名称来表示具有实现定义标识符的声明，这些标识符出现在语言定义的包或语言定义的通用包的实例中。

但这在 GNAT Community Edition 2021 中不起作用（我猜在 GCC 11 中也不起作用）。

您可以创建自定义 GNAT 运行时并删除此子程序或用方面标记它Implementation_Defined以使限制起作用。

于 2021-08-01T08:16:43.480 回答