对于Ada中子程序的声明部分,变量赋值的顺序是按照它们的声明顺序进行评估的顺序吗?例如,如果我写
程序Foo()是我:整数:……
据我所知,在我看来,声明项目确实按顺序进行了评估 ARM 3.11(7) :
declarative_part的详细说明包括声明_items的详细说明,如果有的话,按声明部分的顺序进行。
的 编辑: 强> ARM的来源