Dynamic binding for virtual functions

Question

class base {
public:
    virtual void foo()
    {
         cout << "Base class virutal function " << endl;
     }
}

class Derived : public base {
public:
    void foo()
     {
          cout << "Derived class virtual function " << endl;


int main()
{
    Base b, *ptr;
    Derived d;

    ptr = &b;
    ptr->foo();
    ptr = &d;
    ptr->foo();
}

Hi, I have a doubt regarding dymnamic binding here. since compiler knows that when b.foo() is there it can use base virtual fumction. and when d.foo() is present it can use derived version of foo. I mean compiler has every bit of info during compile time but still literature says that which function will be used is decided at run time.

Did you mean to have your Derived class as a child class of base? I don't see the inheritance... — bits
– bits, Commented Feb 25, 2011 at 18:22

Mark Ransom · Accepted Answer · 2011-02-25 18:31:26Z

4

In the specific example you give here, you're correct; the compiler has enough information to know which function to call at compile time. The compiler thus does not have to look up the function at run time, but this is a compiler optimization that does not affect the result of the program - the compiler is free to bypass the lookup or not.

answered Feb 25, 2011 at 18:31

Mark Ransom

310k44 gold badges423 silver badges660 bronze badges

Sign up to request clarification or add additional context in comments.

2 Comments

user634615 Over a year ago

I am sorry i did mistakes in hurry. i have edited it. now in this case compiler have enough info which foo to call where is dynamic binding here

Loki Astari Over a year ago

@user634615: The behavior is that of dynamic binding. The compiler is allowed to optimize the operation if it has enough information but it must guarantee that the results are the same as if the dynamic binding happened at run time.

Sarfaraz Nawaz · Accepted Answer · 2011-02-25 19:05:58Z

In this specific case¹, the compiler (at least in theory) can determine which function is called in each case, and generate code to simply call the two functions directly (and when I've tested it, most compilers will optimize code like this exactly that way).

A more typical case for polymorphism would involve some sort of user input, so the function to be called can't be determined statically. For example, using your Base and Derived classes, consider something like:

int main(int argc, char **argv) {
    Base b;
    Derived d;

    Base *arr[] = {&b, &d};

    int i = atoi(argv[1]) != 0;
    arr[i]->foo();
    return 0;
}

In this case, the compiler can't determine the correct function to call statically -- depending on what you pass on the command line when you run it, it might use either the Base or the Derived version of foo().

You also seem to have a kind-of intermediate case you started to try to include in your code, but never really completed -- you initialize ptr to point at your Base object and then your Derived object, but you never invoke a function via ptr, only directly on the objects themselves. If you did invoke the functions via the pointer, it would be harder to optimize than when working only directly with concrete objects. Fewer compilers will determine the type statically in this case, but at least some still can/will.

¹_{Well, almost this specific case anyway. As it stands right now, the code won't compile, because you've defined a class named base (lower-case 'b') and tried to instantiate a class named Base (upper-case 'B'). Also, your "Derived" class isn't actually derived from Base, as you presumably intended. Once those are fixed though...}

Andrey · Accepted Answer · 2011-02-25 18:24:51Z

3

Are you saying that compiler can notice that you cast d to Base *ptr and resolve actual function address at runtime?

If yes, where is a sample:

if (rand() > 0.5)
{
    ptr = &b;
}
else
{
    ptr = &d;
}

ptr->foo();

how can compiler know address at runtime? That's why dynamic binding is there.

answered Feb 25, 2011 at 18:24

Andrey

60.3k12 gold badges127 silver badges169 bronze badges

1 Comment

user124493 Over a year ago

I deleted my answer because of the same faulty logic that Fred Larson pointed out to me. The call is on the object, no t through the pointer.

Collectives™ on Stack Overflow

Dynamic binding for virtual functions

3 Answers 3

2 Comments

Comments

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

3 Answers 3

2 Comments

Comments

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related