Question

C++中的虚函数和JAVA中的抽象方法有什么区别？

Answer 1

　　C++虚函数与JAVA中抽象函数比较\x0d\x0a　　1：java中没有虚函数的概念，但是有抽象函数的概念，用abstract关键字表示，java中抽象函数必须在抽象类中，而且抽象 函数不能有函数体，抽象类不能被实例化，只能由其子类实现抽象函数，如果某个抽象类的子类仍是抽象类，那么该子类不需要实现其父类的抽象函数。\x0d\x0a　　2：C++中的有虚函数的概念，用virtual 关键字来表示，每个类都会有一个虚函数表，该虚函数表首先会从父类中继承得到父类的虚函数表， 如果子类中重写了父类的虚函数（不管重写后的函数是否为虚函数），要调用哪个虚函数，是根据当前实际的对象来判断的（不管指针所属类型是否为当前类，有可 能是父类型），指针当前指向的是哪种类型的对象，就调用哪个类型中类定义的虚函数。每个类只有一张虚拟函数表，所有的对象共用这张表。\x0d\x0a　　C++的函数多态就是通过虚函数来实现的。\x0d\x0a　　3：C++中，如果函数不是虚函数，则调用某个函数，是根据当前指针类型来判断的，并不是根据指针所指向对象的类型。\x0d\x0a　　4：Java中，如果函数不是抽象函数，而是一个普通函数，它是默认实现类似C++中虚函数功能的，也就是说，调用某个函数，是根据当前指针所指向对象的类型来判断的，而不是根据指针类型判断。正好与C++中的普通函数相反。即：JAVA里自动实现了虚函数。\x0d\x0a\x0d\x0a　　C++ Java\x0d\x0a　　虚函数 -------- 普通函数\x0d\x0a　　纯虚函数 -------- 抽象函数\x0d\x0a　　抽象类 -------- 抽象类\x0d\x0a　　虚基类 -------- 接口\x0d\x0a　　纯虚函数： 主要特征是不能被用来声明对象,是抽象类,是用来确保程序结构与应用域的结构据具有直接映射关系的设计工具。带有纯虚函数的类称为抽象类，抽象类能被子类 继承使用，在子类中必须给出纯虚函数的实现，如果子类未给出该纯虚函数的实现，那么该子类也是抽象类，只有在子类不存在纯虚函数时，子类才可以用来声明对 象！抽象类也能用于声明指针或引用，或用于函数声明中。具有抽象类特性的类还有构造函数和析构函数，全部是保护的类。如果没有给出纯虚函数的实现，则在它 所在的类的构造函数或析构函数中不能直接或间接的调用它。纯虚函数的实现可以在类声明外进行定义。\x0d\x0a　　5. C++中一般都是把析构函数声明为虚函数。因为虚函数可以实现动态绑定，也就是到底调用哪个函数是根据指针当前指向哪个对象来确定的，不是根据指针的类型来确定。如果C++中不把析构函数声明为虚函数，那么其有个子类，重写了虚函数，那么当父类指针指向一个子类对象时，当调用析构函数时，只调用父类的析构函数，而无法调用子类的析构函数，所以一般情况是把析构函数声明为虚函数，实现动态绑定。当然如果一个类不包含虚函数，这经常预示不打算将它作为基类使用。当一个类不打算作为基类时，将析构函数声明为虚拟通常是个坏主意。\x0d\x0a　　标准 string 类型不包含虚函数，如果把String作为基类继承得到子类会出问题。\x0d\x0a　　总之：多态基类应该声明虚析构函数。如果一个类有任何虚函数，它就应该有一个虚析构函数；如果不是设计用于做基类或不是设计用于多态，这样的类就不应该声明虚析构函数。\x0d\x0a　　关于接口与抽象类：\x0d\x0a　　c++中没有接口的概念，与之对应的是纯虚类，即只含有纯虚函数的类，c++抽象类的概念是含有纯虚函数成员的类。这是因为c++提供多继承，而像java、c#这些只提供单继承（避免多继承的复杂性和低效性）的语言为了模拟多继承功能就提供了接口概念，接口可以继承多个。\x0d\x0a　　abstract class是抽象类，至少包含一个纯虚函数的类就叫做抽象类。\x0d\x0a　　但是如果一个类，所有的成员都是纯虚函数，那么它和一般的抽象类在用法上是有区别的。至少microsoft给的com接口定义全部都是仅由纯虚函数构成的类。因此把这样的类定义叫做纯虚类也不算错。\x0d\x0a　　纯虚函数和虚函数的区别在于前者不包含定义，而后者包含函数体。\x0d\x0a　　那么纯虚类就是不包含任何实现（包括成员函数定义和成员变量定义。前者代表算法，后者代表结构）。不包含任何算法和结构的类叫做纯虚类，应该没有问题。\x0d\x0a　　在java里面的确没有纯虚类的概念，因为java里没有纯虚函数这个概念。java管虚函数叫做abstract function，管抽象类叫做abstract class，直接说来，java根本没有virtual这个关键字，都用abstract代替，因此java里面根本就没有pure这个概念。有那就是interface。在interface里面定义的函数都不能有函数体，这个在java里面叫做接口。那么c++里面与interface等同的概念就是纯虚类了，c++用纯虚类来模拟interface这个抽象概念，因此这里说的“纯虚类”与java的abstract class不同，与c++的一般抽象类也不同。“纯虚类”与c++一般抽象类的区别就好比java里面interface 和 abstract class的区别。\x0d\x0a　　抽象类只能作为基类来使用，其纯虚函数的实现由派生类给出。如果派生类中没有重新定义纯虚函数，而只是继承基类的纯虚函数，则这个派生类仍然还是一个抽象类。如果派生类中给出了基类纯虚函数的实现，则该派生类就不再是抽象类了，它是一个可以建立对象的具体的类。\x0d\x0a　　抽象类是不能定义对象的。