First Class Functions

Function Pointers and Virtual Functions

How do function pointers interact with virtual functions in C++? Can I take a pointer to a virtual function?

Abstract art representing computer programming

In C++, you can take a pointer to a virtual function, but it works a bit differently than taking a pointer to a non-virtual function.

When you take a pointer to a non-virtual member function, you get a normal function pointer that you can call directly:

class Base {
 public:
  void f() {}
};

int main() {
  void (Base::*fp)() = &Base::f;
  Base b;
  (b.*fp)();  
}

However, when you take a pointer to a virtual function, you get a pointer to the virtual function table (vtable) entry for that function, not a direct function pointer. To call it, you need an object instance:

class Base {
 public:
  virtual void f() {}
};

int main() {
  void (Base::*fp)() = &Base::f;
  Base b;
  (b.*fp)();
}

If you try to call the function pointer without an object instance, you'll get a compilation error.

The reason for this difference is that virtual functions are resolved dynamically based on the actual type of the object, which is not known at compile time. The vtable mechanism is used to achieve this dynamic dispatch.

When you call a virtual function through a pointer or reference to the base class, the compiler generates code to look up the function address in the vtable of the actual object at runtime. This allows the correct derived class function to be called even if the caller only knows about the base class.

So while you can take a pointer to a virtual function, it's not a regular function pointer and requires an object instance to be called. In most cases, it's simpler and safer to call virtual functions directly on objects or through pointers/references to base classes and let the language handle the dynamic dispatch.

This Question is from the Lesson:

First Class Functions

Learn about first-class functions in C++: a feature that lets you store functions in variables, pass them to other functions, and return them, opening up new design possibilities

Answers to questions are automatically generated and may not have been reviewed.

This Question is from the Lesson:

First Class Functions

Learn about first-class functions in C++: a feature that lets you store functions in variables, pass them to other functions, and return them, opening up new design possibilities

A computer programmer
Part of the course:

Professional C++

Comprehensive course covering advanced concepts, and how to use them on large-scale projects.

Free, unlimited access

This course includes:

  • 125 Lessons
  • 550+ Code Samples
  • 96% Positive Reviews
  • Regularly Updated
  • Help and FAQ
Free, Unlimited Access

Professional C++

Comprehensive course covering advanced concepts, and how to use them on large-scale projects.

Screenshot from Warhammer: Total War
Screenshot from Tomb Raider
Screenshot from Jedi: Fallen Order
Contact|Privacy Policy|Terms of Use
Copyright © 2024 - All Rights Reserved