C和设计原则

---DO NOT REPEAT YOURSELF---

建设性的懒惰,是程序员的第一美德。最简单的懒惰就是不要重复自己,简单到一个命名规则,例如C语言中:
int osip_list_init (osip_list_t li)
void osip_list_special_free (osip_list_t
li, void (free_func)(void ))
void osip_list_ofchar_free (osip_list_t
li)
int osip_list_size (const osip_list_t li)
int osip_list_eol (const osip_list_t
li, int pos)
int osip_list_add (osip_list_t li, void element, int pos)
void * osip_list_get (const osip_list_t li, int pos)
int osip_list_remove (osip_list_t
li, int pos)

这是一个原型,但它重复的太厉害。osip是软件包名,它应该是一个范围声明,说明所有代码都是它的一部分。list是一个模块名,事实上它也是首参数的类型名,它应该只保留一个。这事实上非常接近于Oberon的模块定义. 加上类型缩写,即与C++的定义完全一致。
C语言的派生语言基本都采用这个形式。

namespace osip {
class list_t {
int init ()
void special_free (void (free_func)(void ))
void ofchar_free ()
int size () const
int eol (const int pos)
int add (void
element, int pos)
void * get (const int pos)
int remove (int pos)
}
}

---CLOSE TO MODIFY, OPEN TO EXTEND---

C语言缺少复杂数据结构,以及数据隐藏的能力. 良好的API设计不得不使用Opaque data这样的数据结构来表示复杂抽象, 隐藏可能的模型变化。C语言中的容器类型事实上只有数组,如果是迭代结构,例如map,hash,jumplist,只能由多个API(begin,next,end)来表示。

C++比C进一步,但头文件的纯文本方式公开的模型内部结构,但由于静态编译,类型已经在编译时在程序中确定,相对要好一点。

这一点上脚本语言做得更好,最常用的复杂数据结构被内置于语言,甚至做为语言的基本结构。如lua的Table,它即是数组,也是映射表,还是对象结构。

更重要的是,这些复杂数据结构,方便领域模型到代码的映射,使代码表达领域模型更加直观。而在C语言中,我们需要最大限度的简化领域模型,过多个层次和模型包裹只会导致混乱的代码。最明显,也许不被大家知晓的例子是文件IO,在C语言层次只提供了FILE这一个整体抽象,它的内部结构不公开。而C++中提供ostream/istream,filebuf这三个对象的一个相对复杂结构。不论模型的好坏,C++的模型如果用C来实现,肯定是一场灾难。

一句话来说,由于C语言的基础设施比较少,由这些基础设施实现的代码有较高的耦合性,因此几乎马上就到了必须以内聚性接口来封装的地步。而面向对象的语言如C++等,由于有类的支持,低层代码耦合性被控制的比较好。因此,可以设计相对复杂模型。

上一篇:javascript的快速排序法


下一篇:linux中的pwd