Question

State any eight basic rules for virtual function that satisfy the compiler requirement.

Answer 1

To implement polymorphism effectively in C++, virtual functions must adhere to specific structural and logical rules. These rules ensure the compiler can correctly set up the VTable (Virtual Table) and handle dynamic dispatch at runtime. 8 Basic Rules for Virtual Functions

1. Must be Member Functions: A virtual function cannot be a global or static function. It must be a non-static member function of a class, as it relies on the this pointer to identify the specific object instance at runtime.
2. Access via Pointers or References: While you can call a virtual function like a normal member function, the "magic" of late binding (dynamic dispatch) only occurs when you call the function through a base class pointer or reference pointing to a derived class object.
3. Identical Prototype (Signature): The function signature in the derived class must match the base class exactly. This includes the name, parameters, and return type. If the signatures differ, the compiler treats it as function hiding rather than overriding.

4. Cannot be Virtual Constructors: C++ does not allow virtual constructors. An object must be fully constructed in memory before the virtual mechanism can function. However, virtual destructors are highly recommended to ensure proper cleanup of derived objects.

5. Defined in the Base Class: A virtual function must be defined in the base class (even if the body is empty) or declared as a pure virtual function (e.g., virtual void func() = 0;). If it is not defined and not pure, the compiler will throw a linker error.

6. Static Functions Cannot be Virtual: Static member functions belong to the class itself rather than a specific object. Since virtual functions require an object's VTable to determine which version to call, static and virtual are mutually exclusive.

7. Overriding is Not Mandatory: A derived class is not required to redefine a virtual function. If it doesn't, the compiler will simply use the version defined in the base class. (This differs from pure virtual functions, which must be overridden to instantiate the class.)

8. Same Const-ness: If a virtual function is declared  const in the base class, it must also be const in the derived class. If one is const and the other is not, they are considered different functions, and overriding will not occur.