C++虚函数 - 静态函数能否为虚函数

1.virtual与静态函数

C++中，静态成员函数不能被声明为virtual函数。

例如，下面的程序会编译失败。

class Test
{
  public:
     // 编译错误：static成员函数不能声明为virtual   
     virtual static void fun()  { }
};

同样地，静态成员函数也不能被声明为const和volatile.
下面的程序也会编译失败。

class Test
{
   public:
      // 编译错误: static成员函数不能为const
      static void fun() const { }
      // 如果声明为下面这样，是可以的。
      const static void fun() {}
      或类似于
      const static int fun() { return 0; }
};

2.为何static成员函数不能为virtual

1. static成员不属于任何类对象或类实例，所以即使给此函数加上virutal也是没有任何意义的。

2. 静态与非静态成员函数之间有一个主要的区别。那就是静态成员函数没有this指针。

 虚函数依靠vptr和vtable来处理。vptr是一个指针，在类的构造函数中创建生成，并且只能用this指针来访问它，因为它是类的一个成员，并且vptr指向保存虚函数地址的vtable.

 对于静态成员函数，它没有this指针，所以无法访问vptr. 这就是为何static函数不能为virtual.

 虚函数的调用关系：this -> vptr -> vtable ->virtual function

      3.通过下面例子可以确定，当类增加了一个虚函数后，类的大小会增大4字节(指针的大小).

class Test
{
public:
int _m;
};
sizeof(Test) = 4;

加入虚函数后，

class Test
{
public:

int _m;
virtual void fun();
};
sizeof(Test) = 8

4 .为何static成员函数不能为const函数

 当声明一个非静态成员函数为const时，对this指针会有影响。对于一个Test类中的const修饰的成员函数，this指针相当于const Test*, 而对于非const成员函数，this指针相当于Test *.

 而static成员函数没有this指针，所以使用const来修饰static成员函数没有任何意义。

 volatile的道理也是如此。