小编ARN*_*908的帖子

我在想,根据它的名字,逻辑上,这个函数将返回第一个字符的索引,而不是空格,也就是说,不是空格或制表.

不过,测试时它的一些字符串,并在它的实现寻找(文件时,A-strsea.adb的GNAT 4.7.4),我意识到,实际上这个函数返回的第一个字符的索引不是一个普通的空间(ASCII 32).在我看来,这与它的名字可以设想的不一致.

那么,我在哪里可以找到此函数的预期行为(除了查看代码)？实际上,在AARMfor中Ada 2012,我只找到了原型,没有任何语义信息.