Ada之常见控制语句介绍.pdf

Ada之常见控制语句介绍 概述(Overview) 在 Ada ⼦程序的 “is”和“end”之间，是⼀组有序语句，每句⽤双引号；结束。这些 语句⼤致可分成 种控制结构：顺序结构，选择结构，循环结构如果按照前辈们⾟ ⾟苦苦的证明：任何程序都可以只由这 种结构完成。以前我们见过的简单程序都是 顺序结构，本章⾥会介绍⼀下 Ada ⾥选择结构的if、case 语句和循环结构的 loop 语句 及其变种，并介绍顺序结构中以前没讲过的 null 和块语句(block statement) ，最后是⽐ 较有争议的 goto 语句好像每本教科书上都骂它，说它打破了程序的良好结构。控制 结构是⼀门⽼话题，Ada95 对它也没作多⼤改动，语法上和其它语⾔还是很接近的， 但可读性好⼀点，所有控制结构后都以end something结束。 if 语句(if statement) if 语句判断⼀个条件是否成⽴，如果成⽴，则执⾏特定的语句，否则跳过这些语 句。⼀般格式如下： if condition then statements end if; 当 condition 的值为 True 时,则执⾏ statements ,否则跳过 statements ，执⾏“end if”后⾯ 的语句。 如果当 condition 为 alse 也要执⾏特定语句，则⽤下⾯的格式： if condition then statements else other statements end if; 这样当条件不成⽴时，执⾏other statement,⽽不是跳过 if 结构。 下⾯⼀种格式是为了多个条件判断⽽⽤，防⽌ if 语句过多: if condition then statements elsif condition then other statements elsif condition then more other statements else even more other statements end if; 使⽤ elsif 的次数没有限制，注意 elsif 的拼写不是elseif 。在这⾥需要注意⼀ 下condition 的值，⼀定要为布尔型，不像 C ⾥⾯，随便填个整数也没事。 下⾯以简单的⼀个例⼦来解释⼀下 if 语句： 000 -- filename: ifInteger.adb 001 with Ada.Text_IO; se Ada.Text_IO; 002 with Ada.Integer_Text_IO; se Ada.Integer_Text_IO; 003 proced re testrange is 004 Var : Integer; 005 begin 006 P t (Enter an Integer n mber to confirm its range:); 007 Get (Var); 008 if Var in IntegerFirst .. -1 then 009 P t_Line (It is a negative n mber); 010 elsif Var in 1 .. IntegerLast then 011 P t_Line (It is a positive n mber); 012 else 013 P t_Line (It is 0); 014 end if; 015 end testrange; [007] 输⼊值 Var;[008]-[0 14]的语句都是测试 Var 的范围，如是负数则输出It is a negative number ,正数输出It is a positive number ,为0则输出It is 0 ，以上3种情况如 果都没产⽣，则是因为输⼊值⾮ Integer 类型或输⼊值过⼤，从⽽产⽣异常。 case 语句(case Statement) 如果所要判断的变量有多种可能，并且每种情况都要执⾏不同的操作，if 语句很显 然繁了⼀点，这时就使⽤ case 语句，格式为： case expression is when choice1 = statements when choice2