为什么添加虚方法会增加C++中的类大小？

Question

#include <iostream>
using namespace std;

class a {
  virtual int foo() {
    return 0;
  }
};

class b {
  int foo() {
    return 0;
  }
};

int main() {
  cout << sizeof(b) << endl;
  cout << sizeof(a) << endl;
}

输出(使用g ++ 4.9,-O3):

1
8

我认为尺寸的增加是由于增加了一个vpointer.但我认为编译器会发现a实际上并不是从任何东西派生或派生出来的,因此不需要添加vpointer？

Answer 1

需要vpointer,因为编译器不能保证外部(例如共享)库不使用派生类型.派生类的解析存在于运行时.