泛型编程与设计模式

现今面向对象已经成为软件业内的主流技术,然而它存在很多的弱点,使得它的通用性和抽象程度受到很大限制。设计模式作为面向对象领域内的高级软件复用技术,同样摆脱不了相同的困扰。泛型编程是面向对象的进一步发展,从更高的角度对世界进行抽象,为面向对象的不足之处提供了解决之道.将设计模式泛化带来更大规模的代码复用,使得设计模式的实现得以自动化,从而使开发人员能以面向设计的方式让使用者自行装配所需机能,产生能表达原始设计意图的代码,实现设计与编码之间的无缝过渡。

浅谈C++中泛型编程方法的运用

结合C++探讨了利用模板技术和STL进行泛型编程,可以极大地改变我们的编程方式,使程序代码更具有可重用性和可维护性。

泛型编程扩展及其JAVA实现

本文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以Java语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语言类泛型编程的首例。

泛型编程及STL在内存数据库中的应用

泛型编程是一种新的编程思想,它基于模板技术,有效地将算法与数据结构分离,降低了模块间的耦合度。STL(standardtemplatelibrary)是采用泛型编程思想设计的类库,其涵盖了常用的数据结构和算法,并且具有跨平台的特点。将泛型编程思想和STL库用于内存数据库系统的设计中,降低了开发强度,提高了程序的可维护性及代码的可重用性。

泛型编程与JAVA实现

该文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以JAVA语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语言类泛型编程的首例.

O'Caml泛型编程中“泛型抽象”的研究

泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O'Caml语言上进行"泛型抽象"的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了"泛型抽象"函数定义。

泛型编程源起、实现与意义(上)

今年我们推出了侯捷先生的系列文章,讲解Boost,或许有的读者希望了解与之相关的编程思想,因此我们特别约请了刘未鹏先生讲述泛型编程的意义。

基于Java的泛型编程

泛型编程是面向对象的进一步发展,从更高的角度对世界进行抽象,为面向对象的不足之处提供了解决之道.它可让你重复运用既有的算法,而不必在环境类似的情况下再重新撰写相同代码,使得处理的问题更加抽象化,是一种优美而又不失效率的通用型程序设计方法.JDK 1.5中引入了对Java语言的多种扩展,泛型(generics)即其中之一.本文讨论JDK 1.5的泛型实现.

模板方法设计模式的泛型编程技术实现

模板方法是设计模式中一种典型的设计范式,传统上是利用面向对象编程技术的多态属性实现的,文章应用泛型编程技术来实现模板方法设计模式。这种实现方式舍弃了面向对象编程技术中基于继承的基类,派生类的虚函数机制,免去了在程序运行过程中虚函数二次寻址的代价。在保留设计模式中程序修改扩展弹性的同时,降低了程序运行负载,提高运行速度,展现出一种泛型编程技术不同于传统的应用场景。

泛型编程源起、实现与意义(下)

今年我们推出了侯捷先生的系列文章,讲解Boost,或许有的读者希望了解与之相关的编程思想,因此我们特别约请了刘未鹏先生讲述泛型编程的意义。

面向对象与泛型编程矛盾论(上)——类型擦除技术在C++中的应用

本文讨论了C++中泛型编程(generic programming)与面向对象设计(object-oriented design)原则的冲突问题,并用实例——any_iterator,一个类型安全、适用于任何类型的C++遍历器——说明了类型擦除(type erasure)技术对此问题的解决办法。

VC泛型编程实践

泛型程序设计(Generic Programming)是建立在C++的Template机制基础上的一种完全不同于面向对象的程序设计思维模式，STL是泛型概念的一套实作产品。Loki是一十与Boost齐名的开放源码的C++程序库，它通过一些精巧的装置为常规C++开发提供了一些很有用的工具。STL非常好用，弹性非常大，效率也很理想。

面向对象与泛型编程矛盾论(下)——类型擦除技术在C++中的应用

本文讨论了C++中泛型鳊程(generic programming)与面向对象设计(object-oriented design)原则的冲突问题,并用实例——any_iterator,一个类型安全、适用于任何类型的C++遍历器——说明了类型擦除(type erasure)技术对此问题的解决办法。

基于Haskell语言的泛型扩展研究

泛型即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,实现灵活的软件复用。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护。文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能。

函数式语言泛型特性的研究与实现

对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。

使递归算法泛型化

对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象。然而对于现行的泛型算法,无论是C++标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性。将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性。除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性。也给出算法复杂度的定量分析,并用函数式语言ML来实现。

C语言中基于类函数宏技术的泛型顺序栈的设计与实现

泛型编程是多数现代程序设计语言支持的,能够简化代码、提高代码复用性的现代编程方法。依据C语言的基础语法规则,深度挖掘C语言本身的语言特性,基于类函数宏技术实现了泛型顺序栈的编程实践,为使用C语言实践泛型编程提供了一种解决思路。

基于C语言泛型指针技术实现泛型顺序栈的应用研究

基于类函数宏实现的泛型抽象数据类型存在的问题与不足极大地限制了泛型编程思想在C语言项目中的应用。基于C语言中的泛型指针技术对泛型顺序栈的实现及应用进行了研究,为C语言解决泛型编程问题的提供了一种解决思路。

C＋＋模板元编程初探

C＋＋十是一种功能强大到几乎可称为“万能”一的语言，支持许多种不同的编程范式，而由泛型编程衍生出的模板元编程（Templatemeta-programing，简称元编程）则无疑是其中最复杂、最强大和最具威力的一种，可算得上是C＋＋的“终极”技巧。

Fortran 90借用C++函数模板

函数模板作为一种泛型编程方法,对科学与工程计算具有重要现实意义.首先,探讨了C++函数模板的实现机制,揭示了函数模板与重载函数间的关系;运用Fortran 90泛型接口块结合外部例程,对C++重载函数进行了模拟;然后,在C++环境中添加包装子以实例化函数模板,并将函数模板实例转化成接口一致的"重载"例程,进而在Fortran 90环境中使用C++函数模板.辅以示例程序,对相关的处理方法给予详细说明,也为其它语言借用C++函数模板提供了借鉴.