เจาะลึกกลไกเบื้องหลังคอมไพเลอร์และอินเทอร์พรีเตอร์ แปลงซอร์สโค้ดสู่การทำงานจริง

เวลาที่เราเขียนโค้ดสั้นๆ อย่างคำสั่งบวกเลขแล้วสั่งพิมพ์ผลลัพธ์ผ่านหน้าจอ ชวนให้รู้สึกว่าคอมพิวเตอร์น่าจะแค่อ่าน ทำความเข้าใจ แล้วก็รันโค้ดนั้นได้ทันที แต่ในความเป็นจริงแล้วคอมพิวเตอร์ไม่ได้เข้าใจซอร์สโค้ดในแบบที่เรามองเห็นตามธรรมชาติ

การทำงานของภาษาโปรแกรมจำเป็นต้องนำซอร์สโค้ดนั้นมาค่อยๆ แปลงสภาพทีละขั้นจนกลายเป็นรูปแบบที่ระบบสามารถนำไปใช้งานต่อได้ กระบวนการนี้ถือเป็นหนึ่งในส่วนที่น่าสนใจที่สุดเบื้องหลังการทำงานของภาษาโปรแกรม โดยที่เราไม่จำเป็นต้องมีความรู้ระดับสูงด้านทฤษฎีคอมไพเลอร์ก็สามารถทำความเข้าใจได้

บริบทเพิ่มเติม: การมองระบบประมวลผลภาษาโปรแกรมในลักษณะท่อส่งข้อมูล (Pipeline) ช่วยให้การพัฒนาซอฟต์แวร์มีความยืดหยุ่นสูง หากแต่ละขั้นตอนทำงานแยกจากกันอย่างเด็ดขาด นักพัฒนาสามารถปรับปรุงตัวแปลภาษาหรือเพิ่มฟีเจอร์ใหม่ในขั้นตอนหนึ่งได้โดยไม่ต้องรื้อระบบทั้งหมด

จุดเริ่มต้นที่มีประโยชน์คือการเลิกมองว่าคอมไพเลอร์หรืออินเทอร์พรีเตอร์เป็นโปรแกรมมหึมาโปรแกรมเดียว แต่ให้มองภาพขั้นตอนการทำงานตามลำดับดังนี้:

• ซอร์สโค้ด (Source Code)
• เลกเซอร์ (Lexer)
• โทเค็น (Tokens)
• พาร์เซอร์ (Parser)
• โครงสร้าง AST
• อินเทอร์พรีเตอร์ หรือ คอมไพเลอร์

แต่ละขั้นตอนจะรับข้อมูลเข้ามาทำการแปลงและส่งผลลัพธ์ต่อไปยังขั้นตอนถัดไป เมื่อเราสร้างโมเดลความคิดนี้ขึ้นมาได้ คอมไพเลอร์และอินเทอร์พรีเตอร์ก็จะไม่ใช่เรื่องลึกลับอีกต่อไป ลองมาติดตามโปรแกรมตัวอย่างขนาดจิ๋วตลอดบทความนี้:

let x = 5 + 3
print(x)