Ada 结构成员别名

Question

所以我在 Ada 中有一个（几何）矢量类型；这是成员x、y 和z 的记录。

在某些情况下，我会想在其中存储颜色三元组，就像 GLSL 一样。红色值进入x，绿色值进入y，蓝色值进入z。因此，如果我可以使用r、g 和b 作为x 的可互换别名，这将非常方便——并使我的代码更简单、更短、更易于理解并因此更易于维护。 y 和 z（同样，就像 GLSL 一样）。

这个可以吗？

如果它是标记类型，那么我可以定义使用Implicit_Dereference 的方法来返回对x、y 和z 成员的引用；这些将与真实的结构成员无缝互换。不幸的是，出于实现原因，我不能这样做 --- 这必须与 C 互操作，并且必须具有排除标记的特定结构布局。而且 AFAICT 方法语法仅适用于标记类型（这是一个奇怪的限制）。

建议？

Answer 1

您也许可以使用Unchecked_Union 方面，尽管有很多限制。它们中的大多数可能都不是问题，因为您想要 C 互操作。例如，

with Ada.Text_IO; use Ada.Text_IO;
procedure Aliasing_Components is
   type Vector (Colours : Boolean := False) is record
      case Colours is
         when False =>
            X, Y, Z : Integer;
         when True =>
            R, G, B : Integer;
      end case;
   end record
     with Unchecked_Union;
   V : Vector;
begin
   V := (Colours => False, X => 42, Y => 137, Z => 2014);
   Put_Line (Integer'Image (V.R));
end Aliasing_Components;

Answer 2

为什么不使用子程序来做到这一点？

-- In Parent-Package
Type Geometric_Vector is
  X, Y, Z : Natural;
end record;

-- In child-package
Function R( Input : Geometric_Vector ) Return Natural is (input.R);
Function G( Input : Geometric_Vector ) Return Natural is (input.G);
Function B( Input : Geometric_Vector ) Return Natural is (input.B);
Procedure R( Object : in out Geometric_Vector; Value : Natural );
Procedure G( Object : in out Geometric_Vector; Value : Natural );
Procedure B( Object : in out Geometric_Vector; Value : Natural );

-- Child-package implementations:
Procedure R( Object : in out Geometric_Vector; Value : Natural ) is
begin
  Object.R:= Value;
end R;

Procedure G( Object : in out Geometric_Vector; Value : Natural ) is
begin
  Object.G:= Value;
end G;

Procedure B( Object : in out Geometric_Vector; Value : Natural ) is
begin
  Object.G:= Value;
end B;