Отменить пробел после значения Integer'Image в Ada
-
12-09-2019 - |
Вопрос
когда я распечатаю эту процедуру ниже -
procedure put (Date:Date_Type) is
begin
Put(Integer'Image(Date.Day)); --'
Put("-");
Put(Integer'Image(Date.Month)); --'
Put("-");
Put(Integer'Image(Date.Year)); --'
end;
Результат (например):1- 1- 2010 г.
Мой вопрос заключается в том, как предотвратить пробел в один символ перед каждым значением даты.(день месяц год).Конечно, я использую процедуру Date с записью внутри дня/месяца/года.
Заранее спасибо.
Решение
У вас есть несколько вариантов:
- Если вы знаете, что целочисленное значение всегда неотрицательно, вы можете разрезать строку, чтобы опустить начальный пробел.
- Вы можете использовать функцию Ada.Strings.Fixed.Trim(), чтобы обрезать пробел.
- Вы можете использовать процедуру Put() из экземпляра Ada.Text_IO.Integer_IO (например, предварительно созданного экземпляра Ada.Integer_Text_IO).
Вот код для иллюстрации:
with Ada.Text_IO;
with Ada.Integer_Text_IO;
with Ada.Strings.Fixed;
procedure Int_Image is
use Ada.Text_IO;
use Ada.Integer_Text_IO;
use Ada.Strings.Fixed;
N : Integer := 20;
Raw_Image : constant String := Integer'Image(N);
Trimmed_Image : constant String := Trim(Raw_Image, Ada.Strings.Left);
Sliced_Image : constant String := Raw_Image(2 .. Raw_Image'Last);
begin
Put_Line("Raw 'image :" & Raw_Image & ":");
Put_Line("Trimmed image :" & Trimmed_Image & ":");
Put_Line("Sliced image :" & Sliced_Image & ":");
Put ("'Put' image :");
Put (N, Width => 0);
Put_Line(":");
end Int_Image;
Компиляция и запуск этого с помощью GNAT дает:
$./int_image
Raw 'image : 20:
Trimmed image :20:
Sliced image :20:
'Put' image :20:
Не связан с StackOverflow