通过转换实现在C++中增加多态类型定义

摘要：

多态类型是函数式语言的基本特性,它使得算法形式简洁,提高了代码的可重用性.在C++中增加多态类型定义,将大大提高C++的描述能力.本文研究了函数式语言Haskell的多态类型系统和C++类之间的关系,提出了data定义的代数数据类型及其相关的模式匹配函数到C++模板的转换算法,并用Haskell语言本身实现了这个自动转换,实践证明本文所采用的方法是有效和实用的方法.

关键词： 代数数据类型 模式匹配 函数语言 多态类型系统 C++

作者: 刘欣欣

作者单位: 华南理工大学计算机科学与工程学院(广东广州)

会议类型: 国内会议

会议名称: 2002全国软件与应用学术会议(NASAC)

会议地点: 北京

会议语种:中文

页码: 337-341

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）