如何在Ada中向数组添加不同的类型值？

Question

我的目标是从标准输入中接收方程式，将其存储在数组中以备后用/重新打印，然后输出一行，打印整个方程式和答案，如下所示：

输入：2 + 3 =

输出：2 + 3 = 5

由于Ada无法拥有动态字符串等，因此我对如何执行此操作感到非常困惑。

这是我用伪代码编写的粗略想法。

 Until_loop:                 
       loop 

         get(INT_VAR);
         --store the int in the array?
         get(OPERATOR_VAR);
         --store the operator in the following index of that array? and
         --repeat until we hit the equal sign, signaling end of the equation

         get(CHECK_FOR_EQUALSIGN);
     exit Until_loop when CHECK_FOR_EQUALSIGN = "=";

     end loop Until_loop;

 --now that the array is filled up with the equation, go through it and do the math
 --AND print out the equation itself with the answer

我猜数组应该看起来像：

[2][+][5][=][7]

我也是Ada的初学者，所以要掌握一些东西变得更加困难，我对Java很好，但是我不习惯强类型语法。 请询问您是否需要更多信息。

Answer 1

Ada可以使用动态固定字符串，而无需求助于Unbounded_String或Containers或分配和指针，尽管这些是选项。

使之成为可能的见解是，在声明字符串时，字符串可以从其初始化表达式中获取其大小-但该声明可以在循环内，以便每次在循环中重新执行一次。 您可能总不能构造一个程序使之有意义，尽管经常可能会有所思考。

另一个功能是，稍后，这些“声明”块将成为非常容易重构为过程的绝佳候选者。

with Ada.Text_IO; use Ada.Text_IO;

procedure Calculator is
begin
   loop
      Put("Enter expression: ");
      declare
         Expression : String := Get_Line;
      begin
         exit when Expression = "Done";
         -- here you can parse the string character by character
         for i in Expression'range loop
            put(Expression(i));
         end loop;
         New_Line;
      end;
   end Loop;
end Calculator;

你应该得到

brian@Gannet:~/Ada/Play$ gnatmake calculator.adb
gcc-4.9 -c calculator.adb
gnatbind -x calculator.ali
gnatlink calculator.ali
brian@Gannet:~/Ada/Play$ ./calculator
Enter expression: hello
hello
Enter expression: 2 + 2 =
2 + 2 =
Enter expression: Done
brian@Gannet:~/Ada/Play$ 

您仍然必须编写计算器...

Answer 2

如果您要做的只是输入一个可变长度的字符串，请将其提交给解析器并评估该字符串的求值器，然后将其与计算出的值一起反映出来，对于动态字符串处理，您可以简单地使用Unbounded_Strings和Unbounded_IO ：

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Ada.Text_IO.Unbounded_IO; use Ada.Text_IO.Unbounded_IO;
use Ada.Text_IO;

procedure Evaluate_Expression is

   function Evaluate (E : Unbounded_String) return Unbounded_String is
   begin
      ...
   end Evaluate;

   Expression : Unbounded_String;

begin
   Put("Input: ");
   Get_Line(Expression);  -- This is Unbounded_IO.Get_Line.
   Put_Line(To_Unbounded_String("Output: ")
            & Expression
            & To_Unbounded_String(" = ")
            & Evaluate(Expression));
end Evaluate_Expression;

Answer 3

Ada无法拥有动态字符串等

Ada没有这种能力，您只需要使用结构来提供所需的动态能力即可。 在这种情况下，您需要使用对象和指针（记录和访问）。 您的对象封装了输入数据并提供了将它们组合的功能。 显然，您还具有不同类型的输入数据，数字和运算符，因此需要将其构建到对象中（使用继承）。

基本上，您想使用OOP来存储和处理输入的数据。