具有访问类型的 Ada 中的动态调度

Question

我正在尝试创建一个使用访问类型进行动态调度的包。我以This Q/A 为指导，使用类类型实现了动态调度。

我不断收到一个编译错误：无法调用抽象子程序。这让我觉得编译器要么不识别专门的子程序，要么不将类型识别为专门的类型。但在我看来，两者都是正确的……我不明白。

ma​​in.2.ada

with Ada.Text_IO;
with Animal.Cat;

procedure Main is
    Tabby        : aliased Animal.Cat.Cat_t;
    Animal_Ref   : Animal.Any_Animal_Ptr := Tabby'Unchecked_Access;
    Result       : Boolean;
begin
    Animal.Stroke_Fur (Animal => Animal_Ref.all);

    Result := Animal.Is_Happy(Ptr => Animal_Ref);

    Ada.Text_IO.Put_Line ("Happy Animal = " & Boolean'Image (Result));

end Main;

animal.1.ada

package Animal is

    type base_t is abstract tagged limited null record;

    type Animal_t is abstract new 
        base_t with private;

    type Any_Animal_Ptr is access all Animal_t'Class;
    ----
    procedure Stroke_Fur (Animal : in out Animal_t) is abstract;
    ----
    function Is_Happy (Ptr : in Any_Animal_Ptr) return boolean is abstract;

private

    type Animal_t is abstract new base_t with 
    record
        Index : integer;
    end record;

end Animal;

animal.cat.1.ada

package Animal.Cat is

    type Cat_t is new Animal.Animal_t with private;
    type Cat_Ptr is access all Cat_t;

    ----
    procedure Stroke_Fur (Cat : in out Cat_t);
    ----
    function Is_Happy (Ptr : in Cat_Ptr) return Boolean;

private
    type Cat_t is new Animal.Animal_t with 
    record
        Purr : Boolean := False;
    end record;            

end Animal.Cat;

animal.cat.2.ada

package body Animal.Cat is

    ----
    procedure Stroke_Fur (Cat : in out Cat_t) is
    begin
        Cat.Purr := True;
    end Stroke_Fur;
    ----
    function Is_Happy (Ptr : in Cat_Ptr) return Boolean is
    begin
        return Ptr.Purr;
    end Is_Happy;

end Animal.Cat;

错误

main.2.ada:13:21：无法调用抽象子程序“Is_Happy”

Answer 1

function Is_Happy (Ptr : in Any_Animal_Ptr) return boolean is abstract;

不是Animal_t 的原始操作（ARM3.2.3(2)），因此它不是调度；它只是一个抽象的子程序（因此不能被调用）。

为什么要制作非调度子程序摘要？也许您可能有一个 Metres 类型，在这种情况下，预定义的 ”*” 是不合适的（以米为单位的两个距离相乘返回一个区域，而不是一个距离），您可能希望将其抽象化以防止无意误用。

无论如何，您可以使用访问 as 声明 Animal_t 的原始操作

function Is_Happy (Ptr : access Animal_t) return boolean is abstract;

然后是猫

function Is_Happy (Ptr : access Cat_t) return Boolean;

（甚至

overriding
function Is_Happy (Ptr : access Cat_t) return Boolean;

如果您希望编译器检查它是否真的被覆盖）。

顺便说一句，如果您使用的是 Ada 2005 或更高版本，您可以使用 prefixed notation 将调用编写为

Animal_Ref.Stroke_Fur;
Result := Animal_Ref.Is_Happy;

哪个更漂亮。