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

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

对Java中泛型的研究与探讨

本文阐述了Java中泛型的概念和特点,介绍了简单泛型创建和使用,探讨了泛型应用中存在的陷井。泛型最重要的特点是类型安全,泛型还可以消除类型转换等。泛型的创建和使用比较简单,但在使用中存在一定的陷阱,需要引起程序员的注意。     

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

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

用lambda表达式和std::function类模板改进泛型抽象工厂设计

抽象工厂模式在软件设计中应用广泛,但抽象工厂模式的传统实现方式存在诸多不足。随着技术的发展,设计模式的实现方式也在不断改进。C++11新标准发布之后,涌现了许多改进方案。本文将在这些改进的基础之上,使用C++11的lambda表达式、std::function类模板等新技术,通过数据结构和代码结构的优化等方式进一步改进泛型抽象工厂设计,给出一种"新型泛型抽象工厂"的实现方式。实验结果表明,该方式更为简洁高效、复用性更强,优雅地实现了对产品类型可变、参数可变、异类组合的支持。该实现方式及代码实用性较强,可以在软件项目中实际使用。     

利用泛型DAO模式改进轻量级J2EE架构

提出了一种基于开源框架Spring、Hibernate和Struts的轻量级J2EE应用架构的改进方案,通过在系统架构中导入泛型DAO模式使数据访问代码能够提供类型安全接口,从而避免了类型强制转换这类易出错的重复性开发工作.将这一方案应用于网络教学系统的开发上,通过实例介绍了其设计与实现过程.实验结果与分析表明,提出的方案在使系统架构具有良好的复用性、扩展性和可维护性的同时,也有效地改善了系统性能.     

泛型编程扩展及其JAVA实现

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

Java泛型应用研究

分析非泛型的Java系统存在的数据类型转换安全问题,提出基于Java泛型的解决方案。通过对泛型的原理分析,探讨Java泛型的实际应用。并在此基础上,总结Java泛型的的特点。     

Java泛型应用研究

分析非泛型的Java系统存在的数据类型转换安全问题,提出基于Java泛型的解决方案。通过对泛型的原理分析,探讨Java泛型的实际应用。并在此基础上,总结Java泛型的的特点。     

浅析Java泛型的使用

泛型是Java SE 1.5的新特性,泛型的参数化类型是Java语言中类型安全的一次重要改进。但是,对于初次使用泛型的用户来说,泛型的某些方面看起来可能不容易明白,也不容易掌握,因此本文开始简单的介绍了泛型,然后从协变性、类型擦除和通配符三个角度来让大家快速理解泛型。     

设计模式和泛型技术在系统重构中的应用研究

重构是在不改变代码外在行为的前提下,对代码做出修改,以改进程序内部结构的过程.设计模式是对被用来在特定场景下解决一般设计问题的类和相互通信的对象的描述.泛型编程专注于将型别抽象化,形成功能需求方面的一个精细集合,并利用这些需求来实现算法.以一个应用系统的数据采集子系统的系统重构为例,将设计模式应用于系统重构中设计阶段,将泛型技术应用于系统重构实现阶段;讨论设计模式技术和泛型技术的结合对系统重构的作用与意义.     

解析Java泛型的类型擦除

泛型是Java SE 1.5的新特性,从表面上看,无论语法还是应用的环境,泛型类型(或者泛型)都类似于C++中的模板,但实际上它们之间有着本质的区别,其本质区别就在于Java泛型的类型擦除,本文重点介绍Java泛型的类型擦除以解决泛型中常见的令人迷惑的和使人头疼的问题。     

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

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

使用Java泛型创造更灵活的类——Pluto中添加新的Portal Page和Portlet

你知道吗?Java SDK的最新版本(JDK1．5，代号为Tiger)里面将会出现泛型(Gernerics)。你可能会疑惑：“什么是泛型?”，或者是“为什么我应该注意泛型?”，甚至是“真酷!怎么使用泛型?”本文将介绍泛型编程、泛型如何使用，以及泛型的优势何在，并讨论泛型将如何的影响到你的工作。为了便于理解，这里给泛型下了一个定义，并给出几个例子来说明如何使用泛型。泛型并不是人人都使用过的一个特性。C++里面有一个类似于泛型的概念：模板。尽管。Java泛型的语法是模仿C++模板的语法，但是、Java语法更易于理解。另外，模板和泛型的执行过程并不相同。Java保留了safe类型，而且当支持泛型时，Java并不暴露源代码。也就是,Java说，Java增加了泛型编程的威力，而并没有出现其它应用语言所出现的诸多问题。     

Java泛型研究

2004年2月,Sun公司(2010年10月已被Oracle收购)在它发布的J2SE1.5版中加入了泛型,允许对类型进行抽象,程序员只需声明一个接受可变数目参数的方法,便可得到强类型在编译时刻进行类型检查的好处,简化了程序的开发。阐述了泛型基本概念和作用,介绍了在Java类、接口和方法中使用泛型的方法,通过实例比较使用泛型和不使用泛型的区别,最后指出使用泛型时要注意的问题。     

一种基于类型传播分析的泛型实例重构方法

重构泛型实例有利于提高软件的复用性和类型安全,但现有重构方法的时间复杂度较高,不适用于即时持续的重构.分析了变量类型传播分析方法在重构中的不足,提出了一种改进的泛型变量类型传播分析方法.该方法通过引入一种可以描述复杂参数化类型关系的泛型类型传播图,以复制节点的方式实现泛型变量属性敏感的类型分析,并通过解决别名问题来提高分析的精度.实例研究表明,可以在与程序规模呈近似线性增长的时间复杂度内实施重构,取得了较满意的效果.     

泛型程序设计的研究

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

C＋＋模板类型系统Concepts初探

介绍了C＋＋标准为了适应泛型编程的大规模运用，在语言核心方面对泛型编程能力将要作出的改进，概述了C＋＋模板类型系统Concepts的主要功能和语言要素以及标准库支持，并给出一些例子进行说明。最后，简单介绍了现有的Concepts实现。     

基于源代码静态分析的C++0x泛型概念抽取

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.     

JSR-14:泛型Java的实现

该文围绕即将加入Java语言规范的泛型特性进行了讨论,JSR-14就是这一特性的实现。文章首先展示了在Java中使用泛型的语法,包括泛型类、泛型方法以及极具特色的受限类型参数;然后深入揭示了JSR-14实现泛型的内部机制——用擦拭法将源文件翻译成为与原先字节代码兼容的形式。并讨论了在不同情况下擦拭法的具体实现方式;最后讨论了该实现的优点和限制。着重分析了它的限制,指出这些限制正是由于擦拭法所产生的,并分别分析了每种限制的具体原因。     

基于Java的泛型编程

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