多态性是面向对象程序设计的一个重要特征,利用多态性可以设计和实现一个易于扩展的系统。
顾名思义,多态的意思是多种形态,在C++程序设计中,多态指的是:具有不同功能的函数可以用同一个函数名,这样可以用一个函数名调用不同内容的函数。
C++的多态分两种:静态多态性和动态多态性。
1. C++中的函数重载和运算符重载实现的多态性就属于静态多态,在程序编译时系统就能决定调用的是哪个函数,因此静态多态性又称为编译时多态性。静态多态性是通过函数重载实现的(运算符重载实质上也是函数重载)。
2.动态多态是在程序运行过程中才动态确定操作指针指向的对象。它又被称为运行时多态。动态多态是通过虚函数实现的。
C语言虽然不是面向对象的语言,但是C语言同样可以实现多态性,在Linux 内核中就大量存在利用C语言实现多态性的代码。
C语言实现编译时多态性
C语言可以通过宏实现编译时多态,下面是一个例子:
#define ADD(A, B) (A) + (B);
int main(){
int a =1;
int b =2;
cout<<ADD(a,b);//输出3
string c = "asd";
string d = "fff";
cout<<ADD(c,d);//输出 asdfff
return 0;
}
对于不同的类型的A和B,带参数的宏 ADD 会根据传入的是 int类型或是string 类型而采取不同的 +的策略。
C语言实现动态多态性
C语言可以用函数指针实现动态多态,下面是例子:
#include <stdio.h>
#include <stdlib.h>
//虚函数表结构
struct base_vtbl
{
void(*dance)(void *);
void(*jump)(void *);
};
//基类
struct base
{
/*virtual table*/
struct base_vtbl *vptr;
};
void base_dance(void *this)
{
printf("base dance\n");
}
void base_jump(void *this)
{
printf("base jump\n");
}
/* global vtable for base */
struct base_vtbl base_table =
{
base_dance,
base_jump
};
//基类的构造函数
struct base * new_base()
{
struct base *temp = (struct base *)malloc(sizeof(struct base));
temp->vptr = &base_table;
return temp;
}
//派生类
struct derived1
{
struct base super;
/*derived members */
int high;
};
void derived1_dance(void * this)
{
/*implementation of derived1's dance function */
printf("derived1 dance\n");
}
void derived1_jump(void * this)
{
/*implementation of derived1's jump function */
struct derived1* temp = (struct derived1 *)this;
printf("derived1 jump:%d\n", temp->high);
}
/*global vtable for derived1 */
struct base_vtbl derived1_table =
{
(void(*)(void *))&derived1_dance,
(void(*)(void *))&derived1_jump
};
//派生类的构造函数
struct derived1 * new_derived1(int h)
{
struct derived1 * temp= (struct derived1 *)malloc(sizeof(struct derived1));
temp->super.vptr = &derived1_table;
temp->high = h;
return temp;
}
int main(void)
{
struct base * bas = new_base();
//这里调用的是基类的成员函数
bas->vptr->dance((void *)bas);
bas->vptr->jump((void *)bas);
struct derived1 * child = new_derived1(100);
//基类指针指向派生类
bas = (struct base *)child;
//这里调用的其实是派生类的成员函数
bas->vptr->dance((void *)bas);
bas->vptr->jump((void *)bas);
return 0;
}
上面代码不仅实现了多态的性质,其实也在模拟C++中的类的继承。主函数中基类指针 bas 一开始指向的是基类对象,因此调用 dance 和jump是基类的dance jump 。下面把bas 指向派生类的对象,再调用dance 和jump 的时候就不是基类的dance 和jump了,而转化成了派生类的dance 和jump. 也表达出了对对象的封装,将属性和方法封装在一个结构体中,其实这也是C++面相对象的底层实现原理,只不过这些事情C++编译器帮我们实现了。
上面的虚函数表也可以不要,直接放在结构题中也行,只不过这些复制替换的工作需要自己写代码完成,而面相对象语言都直接由编译器实现。
--------
作者:feiqiangs
来源:CSDN
原文:https://blog.csdn.net/dumpling5232/article/details/52632060