ลองพิจารณาโปรแกรมตัวอย่างในภาษา C++ เพื่อให้เข้าใจง่ายภายใต้แนวคิด -
โค้ดตัวอย่าง
#include<iostream>
using namespace std;
class B {
public:
virtual void s(int a = 0) {
cout<<" In Base \n";
}
};
class D: public B {
public:
virtual void s(int a) {
cout<<"In Derived, a="<<a;
}
};
int main(void) {
D d; // An object of class D
B *b= &d;// A pointer of type B* pointing to d
b->s();// prints"D::s() called"
return 0;
} ผลลัพธ์
In Derived, a = 0
ในผลลัพธ์นี้ เราสังเกตว่า s() ของคลาสที่ได้รับถูกเรียกใช้ และใช้ค่าเริ่มต้นของคลาสพื้นฐาน s()
อาร์กิวเมนต์เริ่มต้นไม่มีส่วนร่วมในลายเซ็นของฟังก์ชัน ดังนั้นลายเซ็นของ s() ในคลาสฐานและคลาสที่ได้รับจึงถือว่าเหมือนกัน ดังนั้น s() ของคลาสฐานจึงถูกแทนที่ ค่าเริ่มต้นจะใช้ในเวลาคอมไพล์ เมื่อคอมไพเลอร์ตรวจสอบว่าอาร์กิวเมนต์หายไปในการเรียกใช้ฟังก์ชัน คอมไพเลอร์จะแทนที่ค่าดีฟอลต์ที่ให้ไว้ ดังนั้นในโปรแกรมข้างต้น ค่าของ x จะถูกแทนที่ ณ เวลาคอมไพล์ และที่รันไทม์ คลาสที่ได้รับ s() จะถูกเรียก ค่าของ a จะถูกแทนที่ในเวลาคอมไพล์ และเมื่อเรียกใช้คลาสที่ได้รับ s() ของคลาสที่ได้รับจะถูกเรียก