void*表示空类型指针,即任何类型的指针。其意思是知道该指针与一地址相关,但不知道在此地址上的对象的类型。
之所以void不能表示任意类型的原因是C/C++是静态语言,只要定义变量就要为其分配内存。然而不同类型的变量其内存是不同的,若用void表示任意类型的话,无法为其分配内存的大小。而所有指针类型的变量,其内存空间都是相同的。因此可以定义任意类型的指针。
void* a;
定义上述代码是可以的,但对其空间进行释放时( delete void* )可能会出错。因为delete空指针不会执行析构函数。
引用一个《C++编程思想》上的例子:
#include <iostream>
using namespace std;
class Object
{
void* data;
const int size;
const char id;
public:
Object(int sz, char c) : size(sz), id(c)
{
data = new char[size];
cout<<"Constructing object"<<id<<", size = "<<size<<endl;
}
~Object()
{
cout<<"Destructing object"<<id<<endl;
delete []data;
}
};
int main()
{
Object* a = new Object(40, 'a');
delete a;
void* b = new Object(40, 'b');
delete b;
printf("\n");
system("pause");
}
其结果为:
Constructing object a, size = 40
Destructing object a
Constructing object b, size = 40
可见,对于b,未调用析构函数。