📄 page_951.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <title>page_951</title> <link rel="stylesheet" href="reset.css" type="text/css" media="all"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> </head> <body> <table summary="top nav" border="0" width="100%"> <tr> <td align="left" width="30%" style="background: #EEF3E2"><a style="color: blue; font-size: 120%; font-weight: bold; text-decoration: none; font-family: verdana;" href="page_950.html">< previous page</a></td> <td align="center" width="40%" style="background: #EEF3E2"><strong style="color: #2F4F4F; font-size: 120%;">page_951</strong></td> <td align="right" width="30%" style="background: #EEF3E2"><a style="color: blue; font-size: 120%; font-weight: bold; text-decoration: none; font-family: verdana;" href="page_952.html">next page ></a></td> </tr> <tr> <td align="left" colspan="3" style="background: #ffffff; padding: 20px;"> <table border="0" width="100%" cellpadding="0"><tr><td align="center"> <table border="0" cellpadding="2" cellspacing="0" width="100%"><tr><td align="left"></td> <td align="right"></td> </tr></table></td></tr><tr><td align="left"><p></p><table border="0" cellspacing="0" cellpadding="0" width="100%"><tr><td align="right"><font face="Times New Roman, Times, Serif" size="2" color="#FF0000">Page 951</font></td></tr></table><table border="0" cellspacing="0" cellpadding="0"><tr><td rowspan="5"></td> <td colspan="3" height="12"></td> <td rowspan="5"></td></tr><tr><td colspan="3"></td></tr><tr><td></td> <td><font face="Courier New, Courier, Mono New, Courier, Mono" size="2">void聽TimeCardList::BinSearch(聽/*聽in聽*/聽聽long聽聽聽聽聽聽idNum,<br />聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽/*聽out聽*/聽TimeCard&聽card,<br />聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽聽/*聽out聽*/聽Boolean&聽聽found聽)聽const<br /><br />//聽Precondition:<br />//聽聽聽聽聽list[0..length-1]聽are聽in聽ascending聽order聽of聽employee聽ID<br />//聽聽&&聽idNum聽is聽assigned<br />//聽Postcondition:<br />//聽聽聽聽聽IF聽time聽card聽for聽employee聽idNum聽is聽in聽list聽at聽position聽i<br />//聽聽聽聽聽聽聽聽聽found聽==聽TRUE聽聽&&聽聽card聽==聽list[i]<br />//聽聽聽聽聽ELSE<br />//聽聽聽聽聽聽聽聽聽found聽==聽FALSE聽聽&&聽value聽of聽card聽is聽undefined<br /><br />{<br />聽聽聽聽int聽first聽=聽0;聽聽聽聽聽聽聽聽聽聽聽//聽Lower聽bound聽on聽list<br />聽聽聽聽int聽last聽=聽length聽-聽1;聽聽聽//聽Upper聽bound聽on聽list<br />聽聽聽聽int聽middle;聽聽聽聽聽聽聽聽聽聽聽聽聽聽//聽Middle聽index<br /><br />聽聽聽聽found聽=聽FALSE;<br />聽聽聽聽while聽(last聽>=聽first聽&&聽!found)<br />聽聽聽聽{<br />聽聽聽聽聽聽聽聽聽聽聽聽//聽Invariant聽(prior聽to聽test):<br />聽聽聽聽聽聽聽聽聽聽聽聽//聽聽聽聽聽If聽idNum聽is聽in聽list[0..length-1]聽then<br />聽聽聽聽聽聽聽聽聽聽聽聽//聽聽聽聽聽idNum聽is聽in聽list[first..last]<br /><br />聽聽聽聽聽聽聽聽middle聽=聽(first聽+聽last)聽/聽2;<br />聽聽聽聽聽聽聽聽if聽(idNum聽<聽list聽[middle].IDPart())<br />聽聽聽聽聽聽聽聽聽聽聽聽//聽Assert:聽idNum聽is聽not聽in聽list[middle..last]<br />聽聽聽聽聽聽聽聽聽聽聽聽last聽=聽middle聽-聽1;<br />聽聽聽聽聽聽聽聽else聽if聽(idNum聽>聽list聽[middle].IDPart())<br />聽聽聽聽聽聽聽聽聽聽聽聽//聽Assert:聽idNum聽is聽not聽in聽list[first..middle]<br />聽聽聽聽聽聽聽聽聽聽聽聽first聽=聽middle聽+聽1;<br />聽聽聽聽聽聽聽聽else<br />聽聽聽聽聽聽聽聽聽聽聽聽//聽Assert:聽idNum聽is聽in聽list[middle]<br />聽聽聽聽聽聽聽聽聽聽聽聽found聽=聽TRUE;<br />聽聽聽聽}<br />聽聽聽聽if聽(found)<br />聽聽聽聽聽聽聽聽card聽=聽list[middle];<br />}</font></td><td></td></tr><tr><td colspan="3"></td></tr><tr><td colspan="3" height="1"></td></tr></table><table border="0" cellspacing="0" cellpadding="0"><tr><td rowspan="5"></td> <td colspan="3" height="12"></td> <td rowspan="5"></td></tr><tr><td colspan="3"></td></tr><tr><td></td> <td><font face="Times New Roman, Times, Serif" size="3">Testing: If we step back and think about it, we realize that if we write a test driver for the </font><font face="Courier New, Courier, Mono New, Courier, Mono" size="3">TimeCardList</font><font face="Times New Roman, Times, Serif" size="3"> class, we will have written the driver for the entire program! The big picture is that our program is to read in all the file data (function </font><font face="Courier New, Courier, Mono New, Courier, Mono" size="3">ReadAll</font><font face="Times New Roman, Times, Serif" size="3">), sort the time cards into order (function </font><font face="Courier New, Courier, Mono New, Courier, Mono" size="3">SelSort</font><font face="Times New Roman, Times, Serif" size="3">), and look up the time card information for various employees (function </font><font face="Courier New, Courier, Mono New, Courier, Mono" size="3">BinSearch</font><font face="Times New Roman, Times, Serif" size="3">). Therefore, we defer a discussion of testing until we have looked at the main driver.</font></td><td></td></tr><tr><td colspan="3"></td></tr><tr><td colspan="3" height="1"></td></tr></table></td></tr></table><p><font size="0"></font></p>聽 </td> </tr> <tr> <td align="left" width="30%" style="background: #EEF3E2"><a style="color: blue; font-size: 120%; font-weight: bold; text-decoration: none; font-family: verdana;" href="page_950.html">< previous page</a></td> <td align="center" width="40%" style="background: #EEF3E2"><strong style="color: #2F4F4F; font-size: 120%;">page_951</strong></td> <td align="right" width="30%" style="background: #EEF3E2"><a style="color: blue; font-size: 120%; font-weight: bold; text-decoration: none; font-family: verdana;" href="page_952.html">next page ></a></td> </tr> </table> </body> </html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -