การเลือกและการวนซ้ำ

บรรทัดเกินมาหนึ่งบรรทัด

• ในปี 2014 Apple ส่งอัปเดตความปลอดภัยเนื่องจากบรรทัดซ้ำเพียงบรรทัดเดียว ลึกอยู่ในโค้ดที่ตรวจสอบ certificate ของเว็บไซต์, goto fail; ปรากฏสองครั้งติดกัน
• สำเนาที่สองอยู่นอก IF ของมัน, ดังนั้นจึงทำงานทุกครั้ง และการตรวจสอบด้านล่างไม่เคยทำงาน เป็นเวลาหลายเดือน ผู้โจมตีสามารถปลอมตัวเป็นเว็บไซด์ใดก็ได้
• Selection และ iteration คือโครงสร้างที่ตัดสินใจว่าอะไรจะทำงานและ多少次. ทำผิดแค่บรรทัดเดียวโปรแกรมก็ยังทำงานอยู่ เพียงแต่ทำงานผิด
• บทเรียนนี้คือ IF, CASE และลูปทั้งสาม, และตาราง trace ที่จับข้อผิดพลาดได้ก่อนการสอบ

Selection

IF age >= 18 THEN … ELSE … ENDIF

• ELSE เป็น option, ENDIF ไม่ใช่ ทุก IF ต้องปิด
• Condition คือ Boolean expression ใดๆ: การเปรียบเทียบ, หรือการเปรียบเทียบที่เชื่อมด้วย AND, OR และ NOT

*An IF … ELSE ตรวจสอบครั้งเดียว แล้วทำงาน exactly หนึ่ง branch

Nested IFs และ boundaries

• A nested IF คือ IF ภายใน branch ของอีก IF หนึ่ง, และแต่ละตัวต้องการ ENDIF ของตัวเอง
• ขอบเขตคือจุดที่คะแนนถูกหัก "คะแนน 50 ขึ้นไปผ่าน" คือ Mark >= 50, ไม่ใช่ Mark > 50.
• การเปรียบเทียบที่ผิดเป็น ความผิดพลาดด้านตรรกะ: โปรแกรมรันได้แต่ให้คำตอบผิดสำหรับบางอินพุต การใช้ Trace กับค่าขอบเขต เช่น ตัวเลข 50 เอง เป็นวิธีหาข้อผิดพลาดนี้

กรณี

• CASE OF Grade … ENDCASE ทดสอบ ค่าเดียว เทียบกับตัวเลือกหลายตัว และดูสะอาดกว่าการใช้ IF ซ้อนกันเป็นลูกโซ่
• Guard อาจเป็นค่าเดียว "A":, ลิสต์ 1, 2, 3:, หรือช่วง 1 TO 5: Branchสุดท้ายสำหรับ "ทุกอย่างอื่น" คือ OTHERWISE, ไม่ใช่เงื่อนไขเช่น > 200
• Guards ถูกทดสอบ ตามลำดับ เมื่อมี 1 TO 50: ตามด้วย 40 TO 60: ค่า 45 จะเข้า branch แรก ทำให้การกำหนดค่าใน branch ที่สองอาจไม่เกิดขึ้นเลย หาก branch ก่อนหน้าครอบคลุมทุกค่าที่เป็นไปได้ OTHERWISE ก็จะไม่ทำงานเช่นกัน

CASE จะทำงาน branch แรก whose guard ตรงกับค่า

ตัวอย่างทำพร้อมกัน : เขียน CASE ใหม่โดยไม่ใช้ CASE

IF MySwitch = 1 THEN
    ThisChar <- 'a'
ELSE
    IF MySwitch = 2 THEN
        ThisChar <- 'y'
    ELSE
        IF MySwitch = 3 THEN
            ThisChar <- '7'
        ELSE
            ThisChar <- '*'
        ENDIF
    ENDIF
ENDIF

ลูปทั้งสาม

• Iteration ทำซ้ำบล็อก, และลูปทั้งสามต่างกันที่ตำแหน่งที่เงื่อนไขถูกทดสอบ
• Count-controlled loop, FOR i ← 1 TO 10 … NEXT i, รันจำนวนครั้งที่ทราบแล้ว; STEP -1 นับถอยหลัง ใช้สำหรับจำนวนคงที่หรือทุก element ของ array
• Pre-condition loop, WHILE … DO … ENDWHILE, ทดสอบ ก่อน ทุกรอบ ดังนั้นอาจรันศูนย์ครั้ง Post-condition loop, REPEAT … UNTIL, ทดสอบ หลัง ทุก รอบ ดังนั้นรันอย่างน้อยหนึ่งครั้งเสมอ

*ตำแหน่งของเงื่อนไขกำหนดว่า body สามารถรันกี่ครั้ง

เลือกลูป: คำตอบสองคะแนน

• คะแนนหนึ่งสำหรับ ชื่อ, คะแนนหนึ่งสำหรับ เหตุผล, ในคำของโครงสร้างคะแนน
• Count-controlled, เพราะจำนวนรอบรู้ล่วงหน้าก่อนลูปเริ่ม Post-condition, เพราะ body ต้อง被执行อย่างน้อยหนึ่งครั้ง Pre-condition, เพราะลูปอาจไม่จำเป็นต้อง被执行เลย
• การวนลูปเหนือสี่ elements ของ array ที่เขียนด้วย WHILE ที่มี counter บอกว่า "ไม่ใช่วิธีที่เหมาะสมที่สุด"; FOR loop เหมาะกว่า เพราะทราบจำนวน

ตัวอย่างทำพร้อมกัน : ลูปไหนเหมาะกับแต่ละงาน?

ตารางติดตามค่า

• Trace table บันทึกค่าของตัวแปรทุกตัวขณะคุณ dry run อัลกอริทึมด้วยมือ นี่คือวิธีทดสอบลูปบนกระดาษและเป็นคำถามหกคะแนนใน Paper 2 ส่วนใหญ่
• คอลัมน์ต่อหนึ่งตัวแปร, บวกกับคอลัมน์สำหรับ output ใด ๆ เขียนแถวใหม่เฉพาะเมื่อค่าเปลี่ยน, และประเมินเงื่อนไขลูป ณ วินาทีที่ลูปไปถึงมัน
• ไปต่อจนเงื่อนไขหยุดลูป, แล้วบันทึก output สุดท้าย

ตัวอย่างทำพร้อมกัน : ตาราง Trace ที่เติมแล้ว

Count <- 1
Total <- 0
WHILE Total < 10 DO
    Total <- Total + Count
    Count <- Count + 1
ENDWHILE
OUTPUT Count

คะแนนที่หลุดหายไป

คุณเข้าใจแล้ว