1、 概述
C語言是一種面向過程的程序設計語言,而C++是在C語言基礎上衍生來了的面向對象的語言,實際上,很多C++實現的底層是用C語言實現的,如在Visual C++中的Interface其實就是struct,查找Interface的定義,你可以發現有這樣的宏定義:
#ifndef Interface
#define Interface struct
#endif
C++在語言級別上添加了很多新機制(繼承,多態等),而在C語言中,我們也可以使用這樣的機制,前提是我們不得不自己實現。
本文介紹了用C語言實現封裝,繼承和多態的方法。
2、 基本知識
在正式介紹C語言實現封裝,繼承和多態事前,先介紹一下C語言中的幾個概念和語法。
(1) 結構體
在C語言中,常把一個對象用結構體進行封裝,這樣便於對對象進行操作,比如:
strcut Point{
int x;
int y;
};
結構體可以嵌套。因而可以把一個結構體當成另一個結構體的成員,如:
struct Circle {
struct Point point_;
int radius;
};
該結構體與以下定義完全一樣(包括內存布置都一樣):
struct Circle {
int x;
int y;
int radius;
};
(2) 函數指針
函數指針是指針的一種,它指向函數的首地址(函數的函數名即為函數的首地址),可以通過函數指針來調用函數。
如函數:
int func(int a[], int n);
可以這樣聲明函數指針:
int (*pFunc)(int a[], int n);
這樣使用:
pFunc = func;
(*pFunc)(a, n);【或者PFunc(a, n)】
可以用typedef定義一個函數指針類型,如:
typdef int (*FUNC)(int a[], int n)
可以這樣使用:
int cal_a(FUNC fptr, int a[], int n)
{
//實現體
}
(3) extern與static
extern和static是C語言中的兩個修飾符,extern可用於修飾函數或者變量,表示該變量或者函數在其他文件中進行了定義;static也可用於修飾函數或者變量,表示該函數或者變量只能在該文件中使用。可利用它們對數據或者函數進行隱藏或者限制訪問權限。
3、 封裝
在C語言中,可以用結構+函數指針來模擬類的實現,而用這種結構定義的變量就是對象。
封裝的主要含義是隱藏內部的行為和信息,使用者只用看到對外提供的接口和公開的信息。有兩種方法實現封裝:
(1) 利用C語言語法。在頭文件中聲明,在C文件中真正定義它。
這樣可以隱藏內部信息,因為外部不知道對象所占內存的大小,所以不能靜態的創建該類的對象,只能調用類提供的創建函數才能創建。這種方法的缺陷是不支持繼承,因為子類中得不到任何關於父類的信息。如:
//頭文件:point.h
#ifndef POINT_H
#define POINT_H
struct Point;
typedef struct Point point;
point * new_point(); //newer a point object
void free_point(point *point_);// free the allocated space
#endif
//C文件:point.c
#include”point.h”
strcut Point
{
int x;
int y;
};
point * new_point()
{
point * new_point_ = (point *) malloc(sizeof(point));
return new_point_;
}
void free_point(point *point_)
{
if(point_ == NULL)
return;
free(point_);
}
(2) 把私有數據信息放在一個不透明的priv變量或者結構體中。只有類的實現代碼才知道priv或者結構體的真正定義。如:
#ifndef POINT _H
#define POINT_H
typedef struct Point point;
typedef struct pointPrivate pointPrivate;
strcut Point
{
Struct pointPrivate *pp;
};
int get_x(point *point_);
int get_y(point *point_);
point * new_point(); //newer a point object
void free_point(point *point_);// free the allocated space
#endif
//C文件:point.c
#include”point.h”
struct pointPrivate
{
int x;
int y;
}
int get_x(point *point_)
{
return point_->pp->x;
}
int get_y(point *point_)
{
return point_->pp->y;
}
//others…..
4、 繼承
在C語言中,可以利用“結構在內存中的布局與結構的聲明具有一致的順序”這一事實實現繼承。
比如我們要設計一個作圖工具,其中可能涉及到的對象有Point(點),Circle(圓),由於圓是由點組成的,所有可以看成Circle繼承自Point。另外,Point和Circle都需要空間申請,空間釋放等操作,所有他們有共同的基類Base。
//內存管理類new.h
#ifndef NEW_H
#define NEW_H
void * new (const void * class, ...);
void delete (void * item);
void draw (const void * self);
#endif
//內存管理類的C文件:new.c
#include “new.h”
#include “base.h”
void * new (const void * _base, ...)
{
const struct Base * base = _base;
void * p = calloc(1, base->size);
assert(p);
* (const struct Base **) p = base;
if (base ->ctor)
{
va_list ap;
va_start(ap, _base);
p = base ->ctor(p, &ap);
va_end(ap);
}
return p;
}
void delete (void * self)
{
const struct Base ** cp = self;
if (self && * cp && (* cp) —> dtor)
self = (* cp) —>dtor(self);
free(self);
}
void draw (const void * self)
{
const struct Base * const * cp = self;
assert(self &&* cp && (* cp)->draw);
(* cp) ->draw(self);
}
//基類:base.h
#ifndef BASE_H
#define BASE_H
struct Base
{
size_t size; //類所占空間
void * (* ctor) (void * self, va_list * app); //構造函數
void * (* dtor) (void * self); //析構函數
void (* draw) (const void * self); //作圖
};
#endif
//Point頭文件(對外提供的接口):point.h
#ifndef POINT_H
#define POINT_H
extern const void * Point; /* 使用方法:new (Point, x, y); */
#endif
//Point內部頭文件(外面看不到):point.r
#ifndef POINT_R
#define POINT_R
struct Point
{
const void * base; //繼承,基類指針,放在第一個位置,const是防止修改
int x, y; //坐標
};
#endif
//Point的C文件:point.c
#include “point.h”
#include “new.h”
#include “point.h”
#include “point.r”
static void * Point_ctor (void * _self, va_list * app)
{
struct Point * self = _self;
self ->x = va_arg(* app, int);
self ->y = va_arg(* app, int);
return self;
}
static void Point_draw (const void * _self)
{
const struct Point * self = _self;
printf(“draw (%d,%d)”, self -> x, self -> y);
}
static const struct Base _Point = {
sizeof(struct Point), Point_ctor, 0, Point_draw
};
const void * Point = & _Point;
//測試程序:main.c
#include “point.h”
#include “new.h”
int main (int argc, char ** argv)
{
void * p = new(Point, 1, 2);
draw(p);
delete(p);
}
同樣,Circle要繼承Point,則可以這樣:
struct Circle
{
const struct Point point; //放在第一位,可表繼承
int radius;
};
5、 多態
可以是用C語言中的萬能指針void* 實現多態,接上面的例子:
//測試main.c void * p = new(Point, 1, 2); void * pp = new(Circle, 1, 2); draw(p); //draw函數實現了多態 draw(pp); delete(p); delete(pp);
6、 總結
C語言能夠模擬實現面向對象語言具有的特性,包括:多態,繼承,封裝等,現在很多開源軟件都了用C語言實現了這幾個特性,包括大型開源數據庫系統postgreSQL,可移植的C語言面向對象框架GObject,無線二進制運行環境BREW。采用C語言實現多態,繼承,封裝,能夠讓軟件有更好的可讀性,可擴展性。
7、 參考資料
(1) 《C語言中extern和static用法》:
http://www.cnblogs.com/hishope/archive/2008/08/28/1278822.html
(2) 《三、使用GObject——私有成員和靜態變量》:
http://blog.csdn.net/wormsun/archive/2009/11/25/4874465.aspx
(3) 《技巧:用 C 語言實現程序的多態性》:
http://www.ibm.com/developerworks/cn/linux/l-cn-cpolym/index.html?ca=drs-
(4) 書籍《Object-Oriented Programming With ANSI-C》
8、 代碼下載
本文中的代碼可以在此處下載:代碼下載
