การสืบทอด (inheritance) และการค้นหาเมธอด (method lookup) ทำงานอย่างไร?

Question

Accepted Answer

Ruby รองรับ **การสืบทอดเดี่ยว (single inheritance)** (`<`) คลาสสืบทอดมาจาก superclass เพียงตัวเดียว เมื่อคุณเรียกเมธอด Ruby จะค้นหาตาม **เส้นทางการค้นหาเมธอด (method lookup path)** ที่กำหนดไว้ชัดเจน (ห่วงโซ่บรรพบุรุษ รวมถึงโมดูลที่ mix เข้ามา) เพื่อหามัน การเข้าใจเส้นทางนี้อธิบายว่าการสืบทอดและ mixin หาเมธอดเจอได้อย่างไร ## การสืบทอดเดี่ยว ```ruby class Animal def initialize(name) = @name = name def speak = "some sound" end class Dog < Animal # Dog inherits from Animal (single inheritance) def speak # override "Woof" end def fetch "#{@name} fetches" # @name inherited from Animal end end Dog.new("Rex").speak # "Woof" (overridden) Dog.new("Rex").fetch # uses inherited @name ``` subclass (`Dog < Animal`) สืบทอดเมธอดและ instance variable ของ superclass และสามารถ override เมธอดได้ `super` เรียกเวอร์ชันของคลาสแม่ ## super — เรียกเมธอดของคลาสแม่ ```ruby class Dog < Animal def initialize(name, breed) super(name) # call Animal#initialize @breed = breed end def speak super + " (woof)" # super (no parens) passes the same args; here calls Animal#speak end end ``` ## เส้นทางการค้นหาเมธอด (ห่วงโซ่บรรพบุรุษ) ```ruby # Ruby searches for a method in this ORDER (the ancestors chain): Dog.ancestors # => [Dog, , Animal, , Object, Kernel, BasicObject] # lookup: the class itself → its included MODULES (last included first) → # the superclass → ITS modules → ... up to BasicObject ``` เมื่อคุณเรียกเมธอด Ruby จะเดินไปตาม **ห่วงโซ่บรรพบุรุษ (ancestor chain)** (`Class.ancestors`): ตัวคลาสเอง จากนั้นคือ **โมดูล** ที่ include เข้ามา (mixin ตัวที่ include ล่าสุดมาก่อน) จากนั้นคือ superclass และโมดูลของมัน ขึ้นไปจนถึง `BasicObject` ตัวที่ตรงตัวแรกชนะ เส้นทางเดียวนี้อธิบายว่าการสืบทอดและ mixin หาเมธอดเจอร่วมกันได้อย่างไร ## mixin เข้ากันได้กับเส้นทางการค้นหา ```ruby module Swimmer def move = "swimming" end class Fish < Animal include Swimmer # Swimmer is inserted into the lookup path (before Animal) end # Fish.ancestors → [Fish, Swimmer, Animal, ...] — a module's methods come before the superclass's ``` ## ทำไมจึงสำคัญ การเข้าใจการสืบทอดและ **เส้นทางการค้นหาเมธอด** เป็นความรู้ Ruby ที่สำคัญทั้งต่อการออกแบบลำดับชั้นของคลาส และโดยเฉพาะการเข้าใจว่า Ruby หาเมธอดเจอได้อย่างไรเมื่อการสืบทอดและ mixin มารวมกัน **การสืบทอดเดี่ยว** (`<`) ของ Ruby ให้การนำโค้ดกลับมาใช้ใหม่ผ่านความสัมพันธ์แบบ "is-a" พร้อม `super` สำหรับเรียกการ implement ของคลาสแม่ แต่แนวคิดที่เป็นเอกลักษณ์และสำคัญกว่าคือ **เส้นทางการค้นหาเมธอด** (ห่วงโซ่บรรพบุรุษ): เมื่อมีการเรียกเมธอด Ruby ค้นหาตามลำดับที่กำหนดไว้ชัดเจน ตัวคลาสเอง, **โมดูล** ที่ include เข้ามา (mixin ตัวที่ include ล่าสุดมาก่อน) จากนั้น superclass และโมดูลของมัน ขึ้นไปจนถึง `BasicObject` และตัวที่ตรงตัวแรกชนะ การเข้าใจเส้นทางการค้นหาเดียวที่รวมเป็นหนึ่งนี้เป็นสิ่งสำคัญ เพราะมันอธิบายว่าการ **สืบทอดและ mixin หาเมธอดเจอร่วมกัน** อย่างไร (โมดูลถูกแทรกเข้าไปในห่วงโซ่ เมธอดของมันมีความสำคัญเหนือ superclass) ซึ่งทำให้พฤติกรรมที่อาจสับสนกระจ่างขึ้นว่าเมธอดใดถูกเรียกจริง ๆ เมื่อคุณมีทั้งการสืบทอดและ mixin หลายตัว สิ่งนี้สำคัญเป็นพิเศษใน Ruby เนื่องจากมันใช้ mixin อย่างหนัก การรู้ว่า `Class.ancestors` แสดงลำดับการค้นหาที่แน่นอน และโมดูลเข้ากับมันอย่างไร ช่วยให้คุณวิเคราะห์และดีบักการหาเมธอดได้ การเข้าใจการสืบทอด, `super` และโดยเฉพาะเส้นทางการค้นหาเมธอด (วิธีที่ห่วงโซ่บรรพบุรุษหาเมธอดเจอข้ามคลาสและโมดูลที่ mix เข้ามา) เป็นความรู้สำคัญที่เกี่ยวข้องบ่อยสำหรับการทำงานกับระบบคลาสของ Ruby การดีบักคำถามแบบ "เมธอดไหนถูกเรียก?" และการออกแบบลำดับชั้นของคลาส/โมดูล และเป็นหัวข้อสัมภาษณ์ที่พบบ่อยซึ่งสะท้อนความเข้าใจที่ลึกซึ้งในโมเดลออบเจ็กต์ของ Ruby และการผสมผสานอันเป็นเอกลักษณ์ระหว่างการสืบทอดเดี่ยวกับ mixin อันทรงพลัง