Polymorphism in C(用C实现多态)

最近一直喜欢浏览国外网站,感觉收获很多,所以我跟苞谷说,看中文网站是无奇不有,看外文网站才知道世界之大.Polymorphism in C是我摘抄+修改+体会+翻译过来的好东东.有助于理解多态.

  多态是什么?就是我们调用一个公共接口(相同函数名字)时,根据调用者的类型调用不同的函数,看过我之前写的C++向C的转化的人其实知道,函数名字相同只是我们肉眼看见的相同,编译器优化后,意味函数所属的class不一样,函数名字也要变化,显然函数的入口地址都是不一样的.C++中的RTTI和dynamic binding就是做这个事情.当然C也可以实现,C是C++的鼻祖嘛.
  这个图中的Structs就是相当于一个class,所有有个class-like,然后每个structs里面有一个公共方法method,这个公共方法就在Common Interface里面,调用者调用这个method不用管它能否调到它想要的那个method,在C++中,可以让你的类型同你这个method绑定在一起,所以很方便,调用者直接call这个method就能call到你想用的那个方法.
  其实多态就是函数指针实现的,因为C也有指针,C也可以做到.

/*file:Poly.h*/
#ifndef _POLY_H                                                                                       
#define _POLY_H                                                                                      
        struct POLY_STRUCT                                                                       
        {                                                                                                         
        void (*poly)( );    // 多态函数,common interface                            
        };
        /* 初始化一个类(相当于),然后把这个公共函数的具体实现跟类型绑一起 */
        struct POLY_STRUCT *InitPoly( void (*poly)() );

        /* 释放一个类(相当于析构函数)*/
        void DestroyPoly( struct POLY_STRUCT *poly );
#endif
/*file:Poly.c*/
struct POLY_STRUCT *InitPoly( void (*poly)() )
{
 struct POLY_STRUCT *result = (struct POLY_STRUCT*)
                                  malloc( sizeof( struct POLY_STRUCT ) );
 if(result != NULL)
  result->poly = poly;
 return result;
}
void DestroyPoly( struct POLY_STRUCT *poly ){ if(poly != NULL) free(poly); }
/*file:main.c*/
/*下面是两个用父类指针表示的两个子类对象*/
struct POLY_STRUCT* example_poly1;
struct POLY_STRUCT* example_poly2;
/*定义两个函数,代表这两个子类中common interface的不同实现*/
void poly_example1_method(){printf("EXAMPLE1/n");}
void poly_example2_method(){printf("EXAMPLE2/n");}
int main(int argc, char *argv[])
{
    example_poly1 = InitPoly(poly_example1_method);
    example_poly2 = InitPoly(poly_example2_method);    

    /*父类指针调用相同的函数,但是结果呢?不一样*/
    (*(example_poly1->poly))();
    (*(example_poly2->poly))();

    DestroyPoly(example_poly1);
    DestroyPoly(example_poly2);
  system("PAUSE"); 
  return 0;
}

结果:
EXAMPLE1
EXAMPLE2
结论就是,函数指针导致了多态,它付出的代价就是程序机制的复杂性和不必要的代码开销,它的优点就是,将俗点就是呈现一致的函数名给我们(实际上编译时这个名字还是要变化),因为一致性,所以重用性和扩展性也更好了.
我喜欢那句话:优化性和可扩展性需要我们去平衡.这里也是.