ในฐานรหัสที่ซับซ้อนการโต้ตอบที่ซับซ้อนของผลข้างเคียงเป็นสิ่งที่ยากที่สุดที่ฉันจะหาเหตุผล ฉันพูดได้เป็นการส่วนตัวเท่านั้นเมื่อสมองของฉันทำงาน ผลข้างเคียงและสถานะถาวรและการกลายพันธุ์ของอินพุตและอื่น ๆ ทำให้ฉันต้องคิดเกี่ยวกับ "เมื่อ" และ "ที่" สิ่งต่าง ๆ เกิดขึ้นกับเหตุผลเกี่ยวกับความถูกต้องไม่ใช่แค่ "อะไร" ที่เกิดขึ้นในแต่ละฟังก์ชัน
ฉันไม่สามารถมุ่งเน้นไปที่ "อะไร" ฉันไม่สามารถสรุปได้หลังจากทดสอบฟังก์ชั่นอย่างละเอียดซึ่งทำให้เกิดผลข้างเคียงที่จะแพร่กระจายความน่าเชื่อถือตลอดการใช้รหัสเนื่องจากผู้โทรอาจยังคงใช้งานผิดโดยการโทรในเวลาที่ไม่ถูกต้องจากเธรดที่ไม่ถูกต้อง ใบสั่ง. ในขณะที่ฟังก์ชั่นที่ไม่ก่อให้เกิดผลข้างเคียงและเพียงแค่ส่งคืนเอาต์พุตใหม่เนื่องจากอินพุต (โดยไม่ต้องสัมผัสอินพุต) นั้นเป็นไปไม่ได้ที่จะใช้วิธีนี้
แต่ฉันเป็นคนประเภทจริงจังฉันคิดว่าหรืออย่างน้อยก็พยายามและฉันไม่คิดว่าเราจำเป็นต้องประทับตราผลข้างเคียงทั้งหมดให้น้อยที่สุดเพื่อให้เหตุผลเกี่ยวกับความถูกต้องของรหัสของเรา (อย่างน้อยที่สุด ฉันพบว่ามันยากมากที่จะทำในภาษาเช่น C) ที่ฉันพบว่ามันยากมากที่จะให้เหตุผลเกี่ยวกับความถูกต้องคือเมื่อเรามีการผสมผสานของโฟลว์การควบคุมที่ซับซ้อนและผลข้างเคียง
การควบคุมที่ซับซ้อนไหลมาหาฉันคือสิ่งที่มีลักษณะเหมือนกราฟในธรรมชาติมักจะเรียกซ้ำหรือเรียกซ้ำ (คิวเหตุการณ์เช่นซึ่งไม่ได้เรียกเหตุการณ์โดยตรงโดยตรง แต่เป็น "ซ้ำแบบซ้ำ ๆ " โดยธรรมชาติ) บางทีอาจจะทำสิ่งต่าง ๆ ในกระบวนการของการสำรวจโครงสร้างกราฟที่เชื่อมโยงจริงหรือประมวลผลคิวเหตุการณ์ที่ไม่เป็นเนื้อเดียวกันซึ่งมีการผสมผสานของเหตุการณ์เพื่อประมวลผลนำเราไปสู่ส่วนต่าง ๆ ของรหัสเบสและเรียกผลข้างเคียงที่แตกต่างกันทั้งหมด หากคุณพยายามที่จะดึงเอาสถานที่ทั้งหมดที่คุณจะท้ายที่สุดในรหัสมันจะมีลักษณะกราฟที่ซับซ้อนและอาจมีโหนดในกราฟที่คุณไม่เคยคาดหวังว่าจะได้รับในช่วงเวลาที่กำหนดและพวกเขาทั้งหมด ก่อให้เกิดผลข้างเคียง
ภาษาที่ใช้งานได้นั้นมีความซับซ้อนและการควบคุมแบบวนซ้ำ แต่ผลลัพธ์นั้นง่ายที่จะเข้าใจในแง่ของความถูกต้องเพราะไม่มีผลข้างเคียงจากการผสมผสานที่เกิดขึ้นในกระบวนการทั้งหมด เมื่อกระแสการควบคุมที่ซับซ้อนพบผลข้างเคียงจากการผสมผสานที่ฉันพบว่ามันทำให้ปวดหัวและพยายามที่จะเข้าใจสิ่งที่เกิดขึ้นทั้งหมดและไม่ว่ามันจะทำสิ่งที่ถูกต้องเสมอ
ดังนั้นเมื่อฉันมีกรณีเหล่านั้นฉันมักจะพบว่ามันยากมากถ้าไม่เป็นไปไม่ได้ที่จะรู้สึกมั่นใจอย่างมากเกี่ยวกับความถูกต้องของรหัสดังกล่าวให้อยู่คนเดียวอย่างมั่นใจมากว่าฉันสามารถทำการเปลี่ยนแปลงรหัสดังกล่าวได้ ดังนั้นวิธีการแก้ปัญหาสำหรับฉันก็คือลดความซับซ้อนของการควบคุมการไหลหรือลด / รวมผลข้างเคียง (โดยการรวมกันฉันหมายถึงทำให้เกิดผลข้างเคียงเพียงชนิดเดียวกับหลายสิ่งหลายอย่างในช่วงระยะหนึ่งในระบบไม่ใช่สองหรือสามหรือ โหล). ฉันต้องการหนึ่งในสองสิ่งนี้ที่จะเกิดขึ้นเพื่อให้สมองที่เรียบง่ายของฉันรู้สึกมั่นใจเกี่ยวกับความถูกต้องของรหัสที่มีอยู่และความถูกต้องของการเปลี่ยนแปลงที่ฉันแนะนำ มันค่อนข้างง่ายที่จะมั่นใจในความถูกต้องของโค้ดที่นำเสนอผลข้างเคียงหากผลข้างเคียงที่เหมือนกันและเรียบง่ายพร้อมกับการควบคุมการไหลเช่น:
for each pixel in an image:
make it red
มันค่อนข้างง่ายที่จะให้เหตุผลเกี่ยวกับความถูกต้องของรหัสดังกล่าว แต่ส่วนใหญ่เป็นเพราะผลข้างเคียงมีความสม่ำเสมอและการควบคุมการไหลก็ง่ายมาก แต่สมมุติว่าเรามีรหัสดังนี้:
for each vertex to remove in a mesh:
start removing vertex from connected edges():
start removing connected edges from connected faces():
rebuild connected faces excluding edges to remove():
if face has less than 3 edges:
remove face
remove edge
remove vertex
จากนั้นนี่คือ pseudocode แบบ overimplified ที่น่าขันซึ่งโดยทั่วไปแล้วจะเกี่ยวข้องกับฟังก์ชั่นและลูปซ้อนกันและสิ่งอื่น ๆ อีกมากมายที่จะต้องดำเนินต่อไป (อัปเดตแผนที่พื้นผิวหลาย ๆ แบบ, น้ำหนักกระดูก, สถานะการคัดเลือก ฯลฯ ) เหตุผลเกี่ยวกับความถูกต้องเนื่องจากการโต้ตอบของโฟลว์คอนโทรลที่มีลักษณะคล้ายกราฟที่ซับซ้อนและผลข้างเคียงที่เกิดขึ้น ดังนั้นกลยุทธ์หนึ่งในการทำให้ง่ายขึ้นคือการเลื่อนการประมวลผลและเพียงแค่มุ่งเน้นไปที่ผลข้างเคียงหนึ่งชนิดต่อครั้ง:
for each vertex to remove:
mark connected edges
for each marked edge:
mark connected faces
for each marked face:
remove marked edges from face
if num_edges < 3:
remove face
for each marked edge:
remove edge
for each vertex to remove:
remove vertex
... บางสิ่งบางอย่างกับเอฟเฟกต์นี้ในฐานะการทำให้ง่ายขึ้นหนึ่งครั้ง นั่นหมายความว่าเรากำลังผ่านข้อมูลหลาย ๆ ครั้งซึ่งแน่นอนว่าต้องเสียค่าใช้จ่ายในการคำนวณ แต่บ่อยครั้งที่เราพบว่าเราสามารถมัลติเธรดโค้ดผลลัพธ์เช่นนี้ได้ง่ายขึ้นตอนนี้ผลข้างเคียงและการควบคุมได้เกิดขึ้นในลักษณะเดียวกัน นอกจากนี้แต่ละวงสามารถทำแคชได้ง่ายกว่าการสำรวจกราฟที่เชื่อมต่อและก่อให้เกิดผลข้างเคียงในขณะที่เราไป (เช่น: ใช้ชุดบิตขนานเพื่อทำเครื่องหมายสิ่งที่ต้องสำรวจภายในเพื่อให้เราสามารถผ่านการเลื่อนรอตัดได้ตามลำดับ ใช้ bitmasks และ FFS) แต่ที่สำคัญที่สุดฉันพบรุ่นที่สองง่ายกว่ามากที่จะให้เหตุผลในแง่ของความถูกต้องรวมทั้งการเปลี่ยนแปลงโดยไม่ทำให้เกิดข้อบกพร่อง ดังนั้น'
และในที่สุดเราก็ต้องการผลข้างเคียงที่จะเกิดขึ้นในบางจุดหรืออย่างอื่นเราก็แค่มีฟังก์ชั่นที่เอาท์พุทข้อมูลที่ไม่มีไปไหน บ่อยครั้งที่เราจำเป็นต้องบันทึกบางสิ่งบางอย่างไปยังไฟล์แสดงบางอย่างไปยังหน้าจอส่งข้อมูลผ่านซ็อกเก็ตบางอย่างของประเภทนี้และสิ่งเหล่านี้ทั้งหมดเป็นผลข้างเคียง แต่เราสามารถลดจำนวนผลข้างเคียงที่เกินจริงที่เกิดขึ้นได้และลดจำนวนผลข้างเคียงที่เกิดขึ้นเมื่อการควบคุมการไหลซับซ้อนมากและฉันคิดว่ามันง่ายกว่ามากหากหลีกเลี่ยงข้อผิดพลาด