Question

我在这里谈论Ada 2012。

我会先让代码发言：

with Ada.Containers.Hashed_Maps;                                                
with Ada.Strings.Unbounded;                                                     
with Ada.Strings.Unbounded.Hash_Case_Insensitive;                               
with Ada.Strings.Unbounded.Equal_Case_Insensitive;                              

package Environments is                                                         

   type Environment is tagged private;                                          

   function Variable (                                                          
      E    : in Environment;                                                    
      Name : in Ada.Strings.Unbounded.Unbounded_String                          
   )                                                                            
      return Ada.Strings.Unbounded.Unbounded_String                             
      with Inline;                                                              

   procedure Set_Variable (                                                     
      E     : in out Environment;                                               
      Name  : in Ada.Strings.Unbounded.Unbounded_String;                        
      Value : in Ada.Strings.Unbounded.Unbounded_String                         
   )                                                                            
      with Inline;                                                              

private                                                                         

   package Variable_Maps is new Ada.Containers.Hashed_Maps (                    
      Key_Type        => Ada.Strings.Unbounded.Unbounded_String,                
      Element_Type    => Ada.Strings.Unbounded.Unbounded_String,                
      Hash            => Ada.Strings.Unbounded.Hash_Case_Insensitive,           
      Equivalent_Keys => Ada.Strings.Unbounded.Equal_Case_Insensitive,          
      "="             => Ada.Strings.Unbounded."="                              
   );                                                                           

   type Environment is tagged record                                            
      Variables : Variable_Maps.Map;                                            
   end record;                                                                  

end Environments;

我们这里有一个示例包，很好地说明了我的问题。我在Hashed_Map中存储了一些环境变量，但是我想在标准容器上构建一个抽象层，所以我将来可以更改底层容器，而不会更改我的包的客户中的任何代码。

获取和设置变量很容易 - 如上所述。真正的问题是迭代。我想让我的软件包的客户遍历环境，轻松获得每个元素的关键和价值。

当我使用Ada 2012时，最好的方法是使用迭代器，但是如何？我可以将光标返回到底层容器，但同样，此光标的界面将取决于容器。

通过标准容器迭代实现这种抽象的最佳方法是什么？

Answer 1

请参阅Ada Gems #127和#128，“Ada 2012中的迭代器，第1部分和第2部分”，了解如何创建自己的迭代器。

容器迭代器上的抽象

1 个答案: