如何找到字符串中的第一个字符,即空格字符并返回其索引,以及可以用作 Contract_Cases ?
Contract_Cases
例如,如果字符串为:
Input : constant String := "abc def";
然后表达式应返回 4 .
4
这个问题最初是第一个问题 非空白 字符串中的字符,您需要 Ada.Strings.Fixed.Index_Non_Blank ( ARM A.4.3(12) 和 (61)
Ada.Strings.Fixed.Index_Non_Blank
经修订(第一 空白的 Ada.Strings.Fixed.Index -请参阅下面的评论。
Ada.Strings.Fixed.Index