对虚拟表的困惑

时间:2012-09-21 05:18:17

标签: c++ polymorphism vtable

我在面试中被问到这个问题。下面的程序创建了多少个虚拟表,每种情况下的输出是什么。

#include <iostream> 
using namespace std;
class A
{
 virtual void func1()
 {
  cout << "0 " <<endl;
 }

 virtual void func2()
 {
  cout << "1 " <<endl;
 }
};

 class B:Public A
 {
  void func1()
  {
   cout << "2" <<endl;
  }
 };

class C:public B
{
 virtual void func2()
 {
  cout << "3" <<endl;
 }
}

int main()
{
A* objA;

B objB ;
C objC ;

//case1:
objA = &objB;
objA->func1();
//case2:
objA = &objC;
objA->func2();
objA->func1();
return 0;
}

我在B班很困惑。它会为B级创造一个vtable吗?在这种情况下将调用哪个函数。有人可以解释一下。

2 个答案:

答案 0 :(得分:1)

见评论

// I'll pretend you have a #include <stdio.h> here

class A
{
 virtual void func1()
 {
  print 0; // error!!  I'll pretend this was puts("0");
 }

 virtual void func2()
 {
  print1;  // error!!  I'll pretend this was puts("1"); 
 }
};

// there is a virtual table for class A. (for two virtual methods)


 class B:Public A
 {
  void func1()
  {
   print2; // error!!  I'll pretend this was puts("2"); 
  }
 };

// there is a virtual table for class B. (for two virtual methods)


class C:public B
{
 virtual void func2()
 {
  print 3; // error!!  I'll pretend this was puts("3"); 
 }
}

// there is a virtual table for class C. (for two virtual methods)


int main()
{
A objA;
B* objB = new B();

C* objC = new C();

//case1:
objA = &objB;   // error!! left side of type A right side of type B**
objA->func1();  // error!!  operator -> on non pointer

//case2:
objA = &objC;  // error!! left side of type A right side of type B**
objA->func2(); // error!!  operator -> on non pointer
objA->func1(); // error!!  operator -> on non pointer
return 0;
}

// nothing is printed

由于您编辑了OP代码,因此这是新版代码的答案。见评论:

#include <iostream> 
using namespace std;
class A
{
 virtual void func1()
 {
  cout << "0 " <<endl; // it's ok, but is the space supposed to be there?
 }

 virtual void func2()
 {
  cout << "1 " <<endl; // it's ok, but is the space supposed to be there?
 }
};
// there is a virtual table for class A. (for two virtual methods)

 class B:Public A  // error!! I'll pretend Public was public (lowercase)
 {
  void func1()
  {
   cout << "2" <<endl; // it's ok, but here there's no space, is that correct?
  }
 };
// there is a virtual table for class B. (for two virtual methods)

class C:public B
{
 virtual void func2()
 {
  cout << "3" <<endl; // it's ok, but here there's no space, is that correct?
 }
}
// there is a virtual table for class C. (for two virtual methods)

int main()
{
A* objA;

B objB ;
C objC ;

//case1:
objA = &objB;
objA->func1(); // outputs (to stdout) a '2' (two) and whatever a 
               // newline is on your system (could be '\r' or '\n' or both
               // or in fact anything your platform defines a newline is)
               // stdout is then flushed.
//case2:
objA = &objC;
objA->func2(); // outputs (to stdout) a '3' (three) and whatever a 
               // newline is on your system (could be '\r' or '\n' or both
               // or in fact anything your platform defines a newline is)
               // stdout is then flushed.

objA->func1(); // outputs (to stdout) a '2' (two) and whatever a 
               // newline is on your system (could be '\r' or '\n' or both
               // or in fact anything your platform defines a newline is)
               // stdout is then flushed.
return 0;
}
// the output is '2' <newline> '3' <newline> '2' <newline> 
// where the actual character(s) for <newline> are platform dependent  

答案 1 :(得分:0)

B类实例也是A类实例。你的B类调用A类的构造函数,如果B没有从A覆盖func1(),那么B有一个虚拟的func2()和来自A的func1()的覆盖。