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

摘要

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