技巧：用 C 语言实现程序的多态性: C中只有两种类型int 和void *， 万能指针void *

技巧：用 C 语言实现程序的多态性

王 广, 硕士研究生, 中国科学技术大学

简介： 使用面向对象的语言可以实现多态，并且在很大程度上降低了代码的复杂性。对于面向过程的 C 语言同样可以实现多态，本文将着重介绍 C 语言是如何实现多态的。

发布日期： 2010 年 8 月 17 日 
级别： 初级 
访问情况 ： 8880 次浏览 
评论： 25 (查看 | 添加评论 -
登录)


 平均分
(59个评分)
为本文评分

前言：关于多态，关于 C

多态 (polymorphism) 一词最初来源于希腊语 polumorphos，含义是具有多种形式或形态的情形。在程序设计领域，一个广泛认可的定义是“一种将不同的特殊行为和单个泛化记号相关联的能力”。然而在人们的直观感觉中，多态的含义大约等同于“同一个方法对于不同类型的输入参数均能做出正确的处理过程，并给出人们所期望获得的结果”，也许这正体现了人们对于多态性所能达到的效果所寄予的期望：使程序能够做到越来越智能化，越来越易于使用，越来越能够使设计者透过形形色色的表象看到代码所要触及到的问题本质。

作为读者的你或许对于面向对象编程已有着精深的见解，或许对于多态的方便与神奇你也有了深入的认识。这时候你讶异的开始质疑了：“多态，那是面向对象编程才有的技术，C 语言是面向过程的啊！”而我想说的是，C 语言作为一种编程语言，也许并不是为了面向对象编程而设计，但这并不意味着它不能实现面向对象编程所能实现的功能，就比如说，多态性。

在本文中我们使用一个简单的单链表作为例子，展示 C 语言是如何体现多态性的。

回页首

结构体：不得不说的故事

许多从写 C 代码开始，逐渐走向 C++ 的程序员都知道，其实 C++ 里面的 class，其前身正是 C 语言中的 structure。很多基于 C 语言背景介绍 C++ 的书籍，在介绍到 class 这一章的时候都会向读者清晰地展示，一个 C 语言里的 structure 是怎样逐渐变成一个典型的 C++ class 的，甚至最后得出结论：“structure 就是一个所有成员都公有的类”，当然了，class 还是 class，不能简单的把它看做一个复杂化了的 structure 而已。

下面我们来看看在 C 语言中定义一个简单的存储整型数据的单链表节点是怎么做的，当然是用结构体。大部分人会像我一样，在 linkList.h 文件里定义：

typedef struct Node* linkList; struct Node // 链表节点 { int data; // 存储的整型数据 linkList next; // 指向下一个链表节点 };

链表有了，下面就是你想要实现的一些链表的功能，当然是定义成函数。我们只举几个常用功能：

linkList initialLinklist(); // 初始化链表 link newLinkList (int data); // 建立新节点 void insertFirst(linkList h,int data); // 在已有链表的表头进行插入节点操作 void linkListOutput(linkList h); // 输出链表中数据到控制台

这些都是再自然不过的 C 语言的编程过程，然后我们就可以在 linkList.c 文件中实现上述两个函数，继而在 main.c 中调用它们了。

然而上面我们定义的链表还只能对整型数据进行操作。如果下次你要用到一个存储字符串类型的链表，就只好把上面的过程重新来过。也许你觉得这个在原有代码基础上做略微修改的过程并不复杂，可是也许我们会不断的增加对于链表这个数据结构的操作，而需要用链表来存储的数据类型也越来越多，这些都意味着海量的代码和繁琐的后期维护工作。当你有了上百个存储不同数据类型的链表结构，每当你要增加一个操作，或者修改某个操作的传入参数，工作量会变大到像一场灾难。

但是我们可以改造上述代码，让它能够处理你所想要让它处理的任何数据类型：实行，字符型，乃至任何你自己定义的 structure 类型。

回页首

Void*：万能的指针“挂钩”

几乎所有讲授 C 语言课程的老师都会告诉你：“指针是整个 C 语言的精髓所在。”而你也一直敬畏着指针，又爱又恨地使用着它。许多教材都告诉你，int * 叫做指向整型的指针，而 char * 是指向字符型的指针，等等不一而足。然而这里有一个另类的指针家族成员—— void *。不要按照通常的命名方式叫它做指向 void 类型的指针，它的正式的名字叫做：可以指向任意类型的指针。你一定注意到了“任意类型”这四个字，没错，实现多态，我们靠的就是它。

下面来改造我们的链表代码，在 linkList.h 里，如下：

typedef struct Node* linkList; struct Node // 链表节点 { void *data; // 存储的数据指针 linkList next; // 指向下一个链表节点 }; linkList initialLinklist(); // 初始化链表 link newLinkList (void *data); // 建立新节点 void insertFirst(linkList h, void *data); // 在已有链表的表头进行插入节点操作 void linkListOutput(linkList h); // 输出链表中数据到控制台

我们来看看现在这个链表和刚才那个只能存储整型数据的链表的区别。

当你把 Node 结构体里面的成员定义为一个整型数据，就好像把这个链表节点打造成了一个大小形状固定的盒子，你定义一个链表节点，程序进行编译的时候编译器就为你打造一个这样的盒子：装一个 int 类型的数据，然后装一个 linkList 类型的指针。如果你想强行在这个盒子里装别的东西，编译器会告诉你，对不起，盒子的大小形状并不合适。所以你必须为了装各种各样类型的数据打造出不同的生产盒子的流水线，想要装哪种类型数据的盒子，就开启对应的流水线来生产。

但是当你把结构体成员定义为 void *，一切都变得不同了。这时的链表节点不再像个大小形状固定的盒子，而更像一个挂钩，它可以挂上一个任意类型的数据。不管你需要存储什么类型的数据，你只要传递一个指针，把它存储到 Node 节点中去，就相当于把这个数据“挂”了上去，无论何时你都可以根据指针找到它。这时的链表仿佛变成了一排粘贴在墙上的衣帽钩，你可以挂一排大衣，可以挂一排帽子，可以挂一排围巾，甚至，你可以并排挂一件大衣一顶帽子一条围巾在墙上。void * 初露狰狞，多态离 C 语言并不遥远。

回页首

实现：你的多态你做主

当你真正开始着手做这个工作的时候，你会发现把数据放入链表中的操作和普通的存放 int 类型的链表的实现并没有什么大的区别，很方便。但是当你要把已经存进去的数据读取出来的时候，就有一点麻烦了。对于 void * 类型的指针，编译器只知道它里面存储了一个地址，但是关于这个地址里的数据类型，编译器是没有任何概念的。毕竟我们不能指望编译器什么都知道，什么都能替你做好，所以存进去的数据的类型，作为程序员的我们必须清楚的知道，并且在取出这个数据的时候，用这一类型的指针来对 void * 做强制类型转换。

为了方便的做到这一点，我采取的方法是在 Node 结构体中增加一个标识数据类型的域，并用一个枚举类型来存放这些数据类型。这时的 linkList.h 如下所示：

#ifndef LINKLIST_H #define LINKLIST_H typedef struct Node* linkList; enum dataType { INT, DOUBLE, CHAR, STRING }; struct Node // 链表节点 { void *data; // 存储的数据指针 int dataType; // 存储数据类型 linkList next; // 指向下一个链表节点 }; linkList initialLinklist(); // 初始化链表 linkList newLinkList (void *data, int dataType); // 建立新节点 void insertFirst(linkList h, void *data, int dataType); // 在已有链表的表头进行插入节点操作 void linkListOutput(linkList h); // 输出链表中数据到控制台 #endif

初始化链表，代码如下：

linkList initialLinklist() { linkList link = (linkList*)malloc(sizeof(*link)); link->data = NULL; link->dataType = -1; link->next = NULL; return link; }

建立新节点，代码如下：

linkList newLinkList (void *data, int dataType) { linkList link = (linkList*)malloc(sizeof(*link)); link->data = data; link->dataType = dataType; link->next = NULL; return link; }

在已有链表的表头进行插入节点操作，代码如下：

void insertFirst(linkList h, void *data, int dataType) { linkList l = newLinkList(data, dataType); l->next = h->next; h->next = l; }

输出链表中数据到控制台，代码如下：

void linkListOutput(linkList h) { linkList p = h; p = p->next; while(p != NULL) { switch(p->dataType) { case 0: { printf("%4d", *(int*)(p->data)); break; } case 1: { printf("%4f", *(double*)(p->data)); break; } case 2: { printf("%4c", *(char*)(p->data)); break; } case 3: { printf("%s ", (char*)(p->data)); break; } } p = p->next; } printf("\n"); }

回页首

小结

通过上面这个链表的小例子，大家可能已经看到了 C 语言的灵活性。这段代码虽然短并且功能简单，但是已经实现了多态性。这篇文章的本意并不在于想要告诉大家用 C 实现多态的方法，而多态的含义也无疑是更加广泛的。这篇文章的初衷其实是基于这样一点认识：面向对象是一种程序设计思想，而 C 语言则是一种编程语言。也许它并不是专门为了面向对象编程而设计，但是这绝不意味着它不能实现面向对象的程序设计。当然以上所展示的这几个操作，如果是用别的编程语言，可能只要寥寥几行就可以完成，但是 C 语言想告诉我们的是：也许我不擅长，但是并不意味着我做不到。

回页首

下载

描述	名字	大小	下载方法
样例代码	Code_polymorphism_c.rar	210KB	HTTP

关于下载方法的信息

参考资料

学习

C 语言编程 (The_C_Programming_Language) 是一本不错的 C 语言参考书，适合于初学者。

参考 tenouk，对比参考 C++ 多态的实现。

在 developerWorks Linux 专区 寻找为 Linux 开发人员（包括 Linux 新手入门）准备的更多参考资料，查阅我们 最受欢迎的文章和教程。 

在 developerWorks 上查阅所有 Linux 技巧 和 Linux
教程。 

讨论

欢迎加入 My developerWorks 中文社区。

关于作者

中国科学技术大学，硕士研究生；现于 IBM CDL ECM IM eForms TEAM 从事自动化测试相关工作。

原文链接：http://www.ibm.com/developerworks/cn/linux/l-cn-cpolym/index.html