Ada中如何设置制表符宽度？实现Text_IO列计数自定义

Ada.Text_IO的Col函数确实是按单个字符计数的，不管字符是普通可打印字符还是控制符（比如水平制表符ASCII.HT），每次Get操作后列计数器只会递增1——这是Ada标准明确规定的行为（Ada2022 RM A.10(8/5)）。由于标准库没有提供设置制表符宽度的接口，你需要自己维护自定义的列计数器来实现需求。

实现思路 #

1. 放弃依赖Ada.Text_IO.Col，手动维护一个列计数器变量
2. 针对不同字符类型，自定义列数更新逻辑：
   • 普通可打印字符：列数+1
   • 换行/回车：重置列数为1
   • 水平制表符：根据自定义宽度计算下一个制表位，跳转到对应列数

完整示例代码 #

procedure Ada_Parser.Parse (File : Ada.Text_IO.File_Type; Tab_Width : Positive := 4) is
    package TIO renames Ada.Text_IO;

    C : Character;
    Last_Col : TIO.Positive_Count;
    Current_Col : TIO.Positive_Count := 1; -- 文件起始列默认为1
begin
    while not TIO.End_Of_File (File) loop
        Last_Col := Current_Col;
        TIO.Get (File, C);

        case C is
            when ASCII.HT =>
                -- 计算下一个制表位：将当前列转为0-based后，找到最近的Tab_Width倍数，再转回1-based
                Current_Col := ((Last_Col - 1) / Tab_Width + 1) * Tab_Width + 1;
                TIO.Put_Line ("Tab! New column: " & Current_Col'Image & ", Previous column: " & Last_Col'Image);
            when ASCII.LF | ASCII.CR =>
                -- 处理换行/回车，重置列计数器（可根据系统换行规则调整）
                Current_Col := 1;
            when others =>
                -- 普通字符列数递增
                Current_Col := Current_Col + 1;
        end case;
    end loop;
end Ada_Parser.Parse;

制表位计算说明 #

以Tab_Width=4为例：

• 当前列是3时，计算得((3-1)/4 +1)*4 +1 = (0+1)*4+1=5，即跳转到第5列
• 当前列是5时，计算得((5-1)/4 +1)*4 +1=(1+1)*4+1=9，即跳转到第9列
  这个逻辑符合大多数文本编辑器的制表位行为，你可以根据需求调整Tab_Width参数或计算公式。

内容的提问来源于stack exchange，提问作者tymurmchyk