Tour

Action speaks louder than words ...

  博客园 :: 首页 :: 新随笔 :: 联系 :: 订阅 订阅 :: 管理
  32 Posts :: 0 Stories :: 24 Comments :: 0 Trackbacks

公告

  相信大家对NULL不会很陌生,NULL 是一个标准规定的宏定义,用来表示空指针常量,当一个指针变量被赋值为NULL时,表示它不再指向任何有效地址,无法在访问任何数据。在VS2012库文件stdio.h中有如下定义:

1 #ifdef __cplusplus
2 #define NULL    0
3 #else
4 #define NULL    ((void *)0)

  NULL经常被用作指针初始化行为,以及free/delete某一指针后对其的赋值操作,这都是我们所鼓励的一些好的习惯操作。在对NULL指针进行解引用或者指向操作,会出现coredump或者其他undefined行为,而如果delete NULL指针的操作则是合法的。现在来看文中提到的值为NULL的对象指针,如下面的例子:

 1 class A
 2 {
 3 public:
 4     void foo()
 5     {
 6         cout<<"call foo"<<endl;
 7     }
 8 };
 9 int _tmain(int argc, _TCHAR* argv[])
10 {
11     A *p = NULL;
12     p->foo();
13 
14     return 0;
15 }

   这里使用NULL指针p,调用成员函数foo(),运行时程序输出了“call foo",而没有coredump或者出现别的undefined行为,这是怎么回事呢?我们知道,对于类中的成员函数,隶属于所有类的对象,程序编译后,成员函数的地址已经确定,而成员函数访问类中的成员变量时,需要借助this指针对各个对象进行区分。看到类A的成员函数foo原型为void A::foo();,编译器会在发生函数在调用时,将其解释为void A::foo(A *const this);。注意这里的参数,this指针表示调用此函数的类A的对象地址。对于调用端,编译器将进行如下解释:

1 A a;
2 a.foo();    //->foo(&a);
3 A *p = NULL;
4 p->foo();    //->foo(p);

  例子中传入的p为NULL,而在成员函数foo中,并未有用到通过this指针访问成员变量的语句,所以通过NULL指针调用foo时,得到了正确的结果。如果我们改一下类A的定义,添加成员变量,并且在foo中进行访问,如下:

 1 class A
 2 {
 3 public:
 4     void foo()
 5     {
 6         cout<<"call foo"<<endl;
 7         cout<<"value = "<<value<<endl;
 8     }
 9 private:
10     int value;
11 };

  这是仍然用p(NULL)指针来调用成员函数foo,则会使程序崩溃,因为编译器会将foo解释为:

void A::foo(A *const this)
{
    cout<<"call foo"<<endl;
    cout<<"value = "<<this->value<<endl;
}

  这里传入的this为NULL,函数对NULL指针进行了指向操作,产生了为undefined行为。

  this指针使得类的成员函数可以区分开各个对象之间的成员变量,那么如果类的成员变量属于类而不是属于类的对象呢,即static类型的成员对象

  相信大家对NULL不会很陌生,NULL 是一个标准规定的宏定义,用来表示空指针常量,当一个指针变量被赋值为NULL时,表示它不再指向任何有效地址,无法在访问任何数据。在VS2012库文件stdio.h中有如下定义:

1 #ifdef __cplusplus
2 #define NULL    0
3 #else
4 #define NULL    ((void *)0)

  NULL经常被用作指针初始化行为,以及free/delete某一指针后对其的赋值操作,这都是我们所鼓励的一些好的习惯操作。在对NULL指针进行解引用或者指向操作,会出现coredump或者其他undefined行为,而如果delete NULL指针的操作则是合法的。现在来看文中提到的值为NULL的对象指针,如下面的例子:

 1 class A
 2 {
 3 public:
 4     void foo()
 5     {
 6         cout<<"call foo"<<endl;
 7     }
 8 };
 9 int _tmain(int argc, _TCHAR* argv[])
10 {
11     A *p = NULL;
12     p->foo();
13 
14     return 0;
15 }

   这里使用NULL指针p,调用成员函数foo(),运行时程序输出了“call foo",而没有coredump或者出现别的undefined行为,这是怎么回事呢?我们知道,对于类中的成员函数,隶属于所有类的对象,程序编译后,成员函数的地址已经确定,而成员函数访问类中的成员变量时,需要借助this指针对各个对象进行区分。看到类A的成员函数foo原型为void A::foo();,编译器会在发生函数在调用时,将其解释为void A::foo(A *const this);。注意这里的参数,this指针表示调用此函数的类A的对象地址。对于调用端,编译器将进行如下解释:

1 A a;
2 a.foo();    //->foo(&a);
3 A *p = NULL;
4 p->foo();    //->foo(p);

  例子中传入的p为NULL,而在成员函数foo中,并未有用到通过this指针访问成员变量的语句,所以通过NULL指针调用foo时,得到了正确的结果。如果我们改一下类A的定义,添加成员变量,并且在foo中进行访问,如下:

 1 class A
 2 {
 3 public:
 4     void foo()
 5     {
 6         cout<<"call foo"<<endl;
 7         cout<<"value = "<<value<<endl;
 8     }
 9 private:
10     int value;
11 };

  这是仍然用p(NULL)指针来调用成员函数foo,则会使程序崩溃,因为编译器会将foo解释为:

void A::foo(A *const this)
{
    cout<<"call foo"<<endl;
    cout<<"value = "<<this->value<<endl;
}

  这里传入的this为NULL,函数对NULL指针进行了指向操作,产生了为undefined行为。

  对于C++中类的静态函数,它只能访问类的静态成员变量,因为在编译器对静态函数的解释不会包含this指针,根据这种特性,我们知道NULL指针同样可以调用类中的静态成员函数,以此访问静态成员变量:

 1 class A
 2 {
 3 public:
 4     static void foo()
 5     {
 6         cout<<"call foo"<<endl;
 7         cout<<"value = "<<value<<endl;
 8     }
 9 private:
10     static int value;
11 };
12 int A::value = 0;
13 
14 int _tmain(int argc, _TCHAR* argv[])
15 {
16     A *p = NULL;
17     p->foo();
18     return 0;
19 }

  我们知道类的成员函数中可以定义普通函数、静态函数、还可以定义虚函数,已实现多态的效果,那么对于类中的虚函数,用NULL指针调用时会有怎样的后果呢,将上面的代码简单修改下:

 1 class A
 2 {
 3 public:
 4     virtual void foo()
 5     {
 6         cout<<"call foo"<<endl;
 7     }
 8 private:
 9     int value;
10 };
11 int _tmain(int argc, _TCHAR* argv[])
12 {
13     A *p = NULL;
14     p->foo();
15 
16     return 0;
17 }

  运行的结果竟然崩溃,foo函数和之前一样,没有访问成员变量value,不会出现NULL指针指向的问题,但程序为何崩溃了呢?原因在于foo函数被定义为了虚函数,这些虚函数中的地址(函数指针)保存在虚函数表中,可以将它看做一个函数指针数组(列表),含有虚函数的类拥有一张虚函数表,而此类的每一个对象在构造时,由编译器将一个指向虚函数表的指针安插进来,成为虚表指针,而它的作用是在我们调用虚函数时,能更准确的访问到虚函数表中此函数的指针,从而进行调用。回过头来看看之前的例子,我们根据类A的NULL指针p调用它的虚函数,而此时由于没有进行初始化,所以虚指针没有安插进去,所以程序崩溃。

posted on 2014-11-09 14:33 Tourun 阅读(...) 评论(...) 编辑 收藏