0

ADA 中河内程序的递归塔。

到目前为止，我认为我已经完成了大部分工作，我的问题在于我的解决功能。我想我的算法很好，但我不知道如何将它实现到函数中，我看到的所有使用它的例子都是使用函数本身，例如 ：

我的错误是：

hanoi.adb:23:09: cannot use function "solve" in a procedure call
hanoi.adb:27:09: cannot use function "solve" in a procedure call
hanoi.adb:59:15: missing ")"

到目前为止，这是我的代码。

with ada.text_io, ada.command_line;
use ada.text_io, ada.command_line;


procedure hanoi is

Argument_Error : EXCEPTION;
max_disks, min_disks : integer := 3;
moves : integer := 0;


verbose_bool : boolean;

function solve (N: in integer; from, to, using: in character) return integer is
begin


if N = 1 then
    if verbose_bool = true then
    put("Move disk " & integer'image(N) & " from " & character'image(from) & " to " & character'image(to));
    end if;
else
    solve(N - 1, 'A', 'B', 'C');
    if verbose_bool = true then
    put("Move disk " & integer'image(N) & " from " & character'image(from) & " to " & character'image(to));
    end if;
    solve(N - 1, 'B', 'C', 'A');
end if;
    moves := (2 ** min_disks) - 1;
    return moves;

end solve;

begin

while min_disks /= max_disks loop

IF Argument_Count > 1 THEN
      if Argument_Count = 1 then
      min_disks := integer'value("Argument(1)");
      elsif Argument_Count = 2 then
      min_disks := integer'value("Argument(1)");
      max_disks := integer'value("Argument(2)");
      elsif Argument_Count = 3 then
      min_disks := integer'value("Argument(1)");
      max_disks := integer'value("Argument(2)");
      if argument(3) = "v" or argument(3) = "V" then
      verbose_bool := true; -- if argument is V or v it is true
      end if;
      END IF;
END IF;

IF Argument_Count > 3 THEN
      RAISE argument_error;
END IF;


if (max_disks > 0) then
      solve (N: integer; from, to, using : character);
END IF;

min_disks := min_disks + 1;

end loop;
EXCEPTION
   WHEN Name_Error =>
      Put_Line("Please re-enter your arguments, check to see if you entered integers and characters. Max of 3 arguments.");
   WHEN OTHERS =>
      Put_Line("Please try to not break the program again, thank you.");

end hanoi;
4

3 回答 3

7

函数返回值，过程不返回，并且您已将 Solve 定义为函数。

Ada 要求您对函数的返回值做一些事情，而您在这里没有这样做。（您不能像在其他编程语言中那样忽略返回的结果。）

正如错误消息所述，您的语法是进行过程调用的语法，即调用过程，但您提供了函数的名称。

如果从函数返回的值是有意义的，则根据其用途对其进行操作。如果它没有提供任何有意义的功能，则消除它并将 Solve 定义为一个过程。

于 2013-02-06T01:42:03.493 回答
1

顺便说一句，您可能希望将显示代码重构为嵌套子程序。在下面的大纲中，procedure Print可以访问 的参数procedure Solve。

procedure Solve (N: in Integer; From, To, Using: in Character) is

   procedure Print is
   begin
      if Verbose then
      ...
      end if;
   end Print;

begin
   if N = 1 then
      Print;
   else
      Solve (N - 1, 'A', 'B', 'C');
      Print;
      Solve (N - 1, 'B', 'C', 'A');
   end if;
end Solve;
于 2013-02-06T02:46:12.900 回答
0

除了 Marc 关于对 Solve 的调用不是正确的 Ada 函数引用的评论之外，您拥有的语法是规范的语法，而不是 Solve 调用的语法。您在 Solve 的正文中就正确了，只是在最初的调用中没有：

  if (max_disks > 0) then
        solve (N: integer; from, to, using : character);
  END IF;
于 2013-02-06T15:26:39.147 回答