C++和java中多态机制的异同

原创 2003年06月13日 15:50:00

C++java中多态机制的异同<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

 

以前我有个错误的观点:即使在C++java中多态性的实现机制可能不同,但它们的表现形式应该相同,也就是说如果代码结构相同,那么执行结果也应该相同。可惜事与愿违,事情并不总是你想象中的那样子。(在看下文以前,你最好先考虑一下这个问题,你有什么看法呢?)

 

ok,让我们进入正题。

 

        首先本文不讨论面向对象编程的基本概念,如封装、继承和数据抽象等,这方面的资料现在应该多如牛毛,只是稍微提一下多态性的概念。根据Bjarne Stoustrup的说法,多态性其实就是方法调用的机制,也就是说当在编译时无法确定一个对象的实际类型时,应当能够在运行时基于对象的实际类型来决定调用的具体方法(动态绑定)。

 

我们先来看一下在C++中的函数调用方式:

 

Ø         普通函数调用:具体调用哪个方法在编译时间就可以决定(通过查找编译器的符号表),同时在使用标准过程调用机制基础上增加一个表示对象身份的指针(this指针)。

 

Ø         虚函数调用:函数调用依赖于对象的实际类型,一般地说,对象的实际类型只能在运行时间才能确定。虚函数一般要有两个步骤来支持,首先每一个类产生出一堆指向虚函数的指针,放在表格中,这个表格就叫虚函数表(virtual table);然后每一个类对象(class object)会添加一个指向相关虚函数表(virtual table)的指针,通常这个指针叫做vptr

 

java中又是如何的呢?恩,区别还是满大的。在java虚拟机中,类实例的引用就是指向一个句柄(handle)的指针,而该句柄(handle)其实是一对指针:其中一个指针指向一张表,该表格包含了对象的方法列表以及一个指向类对象(表示对象类型)的指针;另一个指针指向一块内存地址,该内存是从java堆中为对象的数据而分配出来的。

 

唔,你要说了,好象差不多嘛,不是都要维护一张函数表吗?别急,让我们先看一下例子,这样你就能更好的理解它们之间的区别到底有多大了。

 

下面是C++java的例子,不看后面的答案,你能够正确说出它们的执行结果吗?

 

1C++

class Base

{

public:

         Base()

         {

                   init();

         }

 

         virtual ~Base() {}

public:

         virtual void do_init()

         {

                   init();

         }

 

protected:

         virtual void init()

         {

                   cout << "in Base::init()" << endl;

         }

};

 

class Derived : public Base

{

public:

         Derived()

         {

                   init();

         }

protected:

         void init()

         {

                   cout << "in Derived::init()" << endl;

         }

};

 

int main(int argc, char* argv[])

{

         Base* pb;

         pb = new Derived();

         delete pb;

         return 0;

}

 

2java

class Base

{

  public Base()

  {

    init();

  }

 

  protected void init()

  {

    System.out.println("in Base::init()");

  }

 

  public void do_init()

  {

    init();

  }

}

 

class Derived extends Base

{

  public Derived()

  {

    init();

  }

 

  protected void init()

  {

    System.out.println("in Derived::init()");

  }

}

 

public class Test

{

  public static void main(String[] args)

  {

    Base base = new Derived();

  }

}

 

1的执行结果是:

                  in Base::init()

                  in Derived::init()

 

2的执行结果是:

                  in Derived::init()

                  in Derived::init()

看了结果后,你是马上顿悟呢抑或是处于疑惑中呢?ok,我们来分析一下两个例子的执行过程。

 

首先看一下例1C++的例子):

1. Base* pb; 只是声明,不做什么。

2. pb = new Derived();

                  1) 调用new操作符,分配内存。

                  2) 调用基类(本例中是Base)的构造函数

3) 在基类的构造函数中调用init(),执行程序首先判断出当前对象的实际类型是BaseDerived还没构造出来,当然不会是Derived),所以这里调用的是Base::init()

4) 调用派生类(本例中是Derived)的构造函数,在这里同样要调用init(),执行程序判断出当前对象的实际类型是Derived,调用Derived::init()

3. delete pb; 无关紧要。

 

2java的例子)的执行过程:

1.      Base base = new Derived();  

                  1) 分配内存。

                  2) 调用基类(本例中是Base)的构造函数

3) 在基类的构造函数中调用init(),执行程序首先判断出当前对象的实际类型是Derived(对,Derived已经构造出来,它的函数表当然也已经确定了)所以这里调用的是Derived::init()

4) 调用派生类(本例中是Derived)的构造函数,在这里同样要调用init(),执行程序判断出当前对象的实际类型是Derived,调用Derived::init()

 

明白了吧。java中的类对象在构造前(调用构造函数之前)就已经存在了,其函数表和对象类型也已经确定了,就是说还没有出生就已经存在了。而C++中只有在构造完毕后(所有的构造函数都被成功调用)才存在,其函数表和对象的实际类型才会确定。所以这两个例子的执行结果会不一样。当然,构造完毕后,C++java的表现就都一样了,例如你调用Derived::do_init()的话,其执行结果是:

         in Derived::init()

 

个人认为,java中的多态实现机制没有C++中的好。还是以例子说明吧:

 

例子3C++

class Base

{

public:

         Base()

         {

                   init();

         }

 

         virtual ~Base() {}

protected:

         int value;

         virtual void init()

         {

                   value = 100;   

         }

};

 

class Derived : public Base

{

public:

         Derived()

         {

                   init();

         }

 

protected:

         void init()

         {

                   cout << "value = " << value << endl;

                   // 做一些额外的初始化工作

         }

};

 

int main(int argc, char* argv[])

{

         Base* pb;

         pb = new Derived();

         delete pb;

         return 0;

}

 

4java

class Base

{

  public Base()

  {

    init();

  }

 

  protected int value;

  protected void init()

  {

         value = 100;  

  }

}

 

class Derived extends Base

{

  public Derived()

  {

    init();

  }

 

  protected void init()

  {

    System.out.println("value = " + value);

         // 做一些额外的初始化工作

  }

}

 

public class Test

{

  public static void main(String[] args)

  {

    Base base = new Derived();

  }

}

 

3的执行结果是:

         value = 10

 

4的执行结果是:

         value = 0

         value = 0

 

从以上结果可以看出,java例子中应该被初始化的值(这里是value)没有被初始化,派生类根本不能重用基类的初始化函数。试问,如果初始化要在构造时完成,并且初始化逻辑比较复杂,派生类也需要额外的初始化,派生类是不是需要重新实现基类的初始化函数呢?这样的面向对象方法好不好呢?欢迎大家讨论。

 

作者的联系方式:smart_ttc@yahoo.com.cn

 

Reference:

1.        Stanley B. Lippman:深度探索C++对象模型(Inside The C++ Object Model)。

---- 侯捷译,华中科技出版社 2001

2.        Bjarne StoustrupWhat is “Object-Oriented Programming” (1991 revise version)

CSDN上有译文,地址是:http://www.csdn.net/develop/Read_Article.asp?Id=14303

 

Java 与 C++ 中的多态区别

Java 与 C++ 中的多态区别1.先看C++#include using namespace std; class Person{ public:int x=1,y=1; void Show(...
  • qq_33728573
  • qq_33728573
  • 2017年03月04日 17:09
  • 602

C++多态机制

一、多态的基本概念 多态(Polymorphism)就是多种状态,在C++中只“一个接口,多个实现方法”。 二、多态的两种方式 C++支持两种多态性:编译时多态性,运行时多态性。 A.编译时多态,通...
  • m914275934
  • m914275934
  • 2015年03月09日 11:34
  • 330

java 笔试 :java中实现多态的机制是什么

java中实现多态的机制是什么?答:方法的重写Overriding和重载Overloading是Java多态性的不同表现. 重写Overriding是父类与子类之间多态性的一种表现 重载Overloa...
  • id19870510
  • id19870510
  • 2010年03月04日 07:32
  • 18275

C++和java多态的区别

多态在 Java 和 C++ 编程语言中的实现比较 刘 冠群, 软件工程师, IBM 简介: 面向对象编程语言的一个重要特性就是多态,它使得可以用基类的指针或引...
  • pi9nc
  • pi9nc
  • 2013年09月26日 16:37
  • 3758

java中实现多态的机制是什么?

面向对象编程有三大特性:封装、继承、多态。 封装隐藏了类的内部实现机制,可以在不影响使用的情况下改变类的内部结构,同时也保护了数据。对外界而已它的内部细节是隐藏的,暴露给外界的只是它的访问方法。 ...
  • BornLiLi
  • BornLiLi
  • 2017年02月15日 18:31
  • 9153

浅谈java的多态机制

最近在学习java的反射机制的东东,
  • u010255918
  • u010255918
  • 2014年10月11日 08:56
  • 554

C语言模式实现C++继承和多态

这个问题主要考察的是C和C++的区别,以及C++中继承和多态的概念。C和C++的区别C语言是面向过程的语言,而C++是面向对象的过程。什么是面向对象和面向过程? 面向过程就是分析解决问题的步骤,然后用...
  • wenqiang1208
  • wenqiang1208
  • 2017年07月28日 12:36
  • 707

java中提供了哪两种多态的机制

java中提供了哪两种多态的机制 编译时多态和运行时多态。编译时多态是通过方法的重载实现的,运行时多态是通过方法的覆盖(子类覆盖父类方法)实现的。 注:函数不能以返回值来区分的,虽然两个函数有着不同...
  • yun18256076755
  • yun18256076755
  • 2015年01月21日 15:16
  • 3373

java中方法的覆盖(多态实现的机制之一)

子类可以覆盖父类的方法,因此同样的方法会在父类与子类中有着不同的表现形式。 java中,基类的引用变量不仅指向基类的实例对象,也可以指向其子类的实例对象。 接口的引用变量可以指向其实现类的实例对象 。...
  • yuleichun
  • yuleichun
  • 2017年03月07日 14:33
  • 785

C++中编译期多态机制和运行期多态机制之间的区别

函数由函数名、参数个数、参数类型、返回值和调用方式等组成。 函数签名:把函数名去掉之后函数的剩余部分(参数个数、参数类型、返回值和调用方式等)。 顶层函数:在类之外声明并定义的函数称为顶层函数。 成员...
  • wangkai_123456
  • wangkai_123456
  • 2015年12月16日 15:09
  • 398
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:C++和java中多态机制的异同
举报原因:
原因补充:

(最多只允许输入30个字)