基于Java的泛型编程

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

泛型编程与设计模式

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

泛型编程源起、实现与意义（上）

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

VC泛型编程实践

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

面向对象、泛型程序设计与类型约束检查

该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析．阐明了各自的目标、技术特征及其优缺点所在．介绍了泛型程序设计针对对象技术的不足所引进的重大革新,即通过类型需求抽象来设计通用、高效的数据结构和算法;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作．以C 语言的一个泛型编程扩充语言C**为实施例,详细说明了如何通过一种叫做“命名类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查,为当前泛型程序设计模型的首例编程语言实例．     

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

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

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

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

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

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

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

在C＋＋中实现遍历器类型擦除：anyi_iterator 首先，我要说说实现any_iterator的初衷。我有一个类负责向用户供应大量数字序列。其中主要的序列存储在STL容器内部，其他次要的则通过Boost遍历适配器从主要序列中实时计算得到。用户自己要对付这么多遍历器类型，显然十分痛苦。因此，我想实现能解引用double量的遍历器（输入遍历器）。这个遍历器是这样的，它必须可以控制任何的、我的类正暴露之的遍历器。     

面向过程、面向对象与泛型程序设计的对比分析

编程语言在软件设计领域经历过三次重大的变革,它们分别是面向过程的编程,面向对象的编程和泛型编程.其中的每一次变革不仅影响到编程语言本身,更影响到软件工程中的各个领域.文章介绍了这三种程序的设计方法,并且对其进行了比较和分析.     

泛型程序设计的研究

泛型程序设计将类型安全的任务从程序员转移给编译器,不再需要程序员编写代码来检测数据类型是否正确,而是在编译时由编译器强制使用正确的数据类型。因此,采用泛型程序设计可以减少类型强制转换的需要和运行时出现错误的可能性。     

基于O'Caml语言的通用编程技术

O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写。针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的。实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性。     

机器人图标化编程环境的设计及实现

为解决传统机器人文本编程不易于学习和使用的问题,设计了面向机器人的图标化简便编程环境．重点研究了图标化机器人程序语言的设计及其解释执行技术．通过图标化编程环境在工业机器人上的实现和应用,说明图标化编程技术相对于传统文本式编程技术的易用性和高效性．     

Apla中泛型约束机制研究

泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于代数结构及公理语义的泛型约束方法,给出了基本数据类型、自定义抽象数据类型和子程序的3类泛型约束机制,拓展了泛型程序设计约束的应用范围.同时,支持静态语法和动态语义层约束,提高了泛型约束的精确度;借助Isabelle定理证明器,设计了泛型约束匹配检测和验证算法;进一步设计了泛型约束机制在PAR平台的实现方案及其系统原型.实验部分给出了该泛型约束机制描述、检测及验证一系列复杂泛型约束问题的全过程,自动生成的C++模板程序的可靠性和安全性得到显著提高.     

并发约束程序设计语言COPS及其执行模型

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。     

面向对象的程序设计的演化特征及应用

本文以数据类型的抽象与重构为线索，分析与评介了程序设计语言与方法的演化过程及其必然性，探讨面向对象程序设计与实现需解决的若干问题，在此基础上介绍了面向对象程序设计在数据库与人工智能两大分支中的应用途径、现状与前景。