在Ada中的Integer'Image值之后取消空格

在 Ada 语言中，Integer'Image 函数用于将整数转换为其字符串表示形式。在这个问题中，我们要求去除转换后字符串中的空格。

以下是一个简单的示例，说明如何在 Ada 中实现这个功能：

with Ada.Text_IO; use Ada.Text_IO;

procedure Remove_Spaces is
   function Remove_Spaces_From_Image (Value : Integer) return String is
      Image_Str : constant String := Integer'Image (Value);
      Result    : String (1 .. Image_Str'Length);
      Index     : Natural := 0;
   begin
      for I in Image_Str'Range loop
         if Image_Str (I) /= ' ' then
            Index := Index + 1;
            Result (Index) := Image_Str (I);
         end if;
      end loop;
      return Result (1 .. Index);
   end Remove_Spaces_From_Image;

   Value : Integer := 12345;
begin
   Put_Line ("Original Image: " & Integer'Image (Value));
   Put_Line ("Without Spaces: " & Remove_Spaces_From_Image (Value));
end Remove_Spaces;

在这个示例中，我们定义了一个名为 Remove_Spaces_From_Image 的函数，它接受一个整数值作为参数，并返回一个不包含空格的字符串。我们遍历输入字符串的每个字符，如果字符不是空格，我们就将其添加到结果字符串中。最后，我们返回结果字符串。

在主程序中，我们使用 Integer'Image 函数将整数值转换为字符串，并打印原始字符串和不包含空格的字符串。