用于在数组中查找索引的表达式
Expression for finding an index in an array
如何找到字符串中的第一个字符，即 space 字符和 return 其索引，以及可用作 Contract_Cases 一部分的单个表达式？
例如，如果字符串是：
Input : constant String := "abc def";
那么表达式应该 return 4.
原题要求字符串中的第一个非空白字符，为此你需要Ada.Strings.Fixed.Index_Non_Blank（ARM A.4.3(12) and (61)）。
经修订（字符串中的第一个 空白 字符），使用 Ada.Strings.Fixed.Index - 请参阅下面的 OP 评论。
如何找到字符串中的第一个字符，即 space 字符和 return 其索引，以及可用作 Contract_Cases 一部分的单个表达式？
例如，如果字符串是：
Input : constant String := "abc def";
那么表达式应该 return 4.
原题要求字符串中的第一个非空白字符，为此你需要Ada.Strings.Fixed.Index_Non_Blank（ARM A.4.3(12) and (61)）。
经修订（字符串中的第一个 空白 字符），使用 Ada.Strings.Fixed.Index - 请参阅下面的 OP 评论。