由于我昨天发布了一个关于
Scala中元组的问题的一些有用的答案,我一直在寻找Scala HLists.我想从这个问题重新散列一个C示例来问另一个:
在C中,可以使用模板特化实现编译时递归.我经常对boost元组进行操作,像Scala / Haskell一样,HLists是通过多次组合泛型’cons’类型构建的,每个相关类型一次并以null_type结束.所以这:
boost::tuple<int,std::string,float>
在引擎盖下实施:
cons<int,cons<std::string,cons<float,null_type> > >
然后,我们可以编写一对在编译时通过此结构递归的函数,当第二个更专用的函数与最终的cons类型匹配时终止.一个简单的例子,计算元素的数量如下所示:
template<typename T1,typename T2> void countTupleElements( boost::tuples::cons<T1,T2>& tupleRec,int index,const std::vector<std::string>& vals ) { return 1 + countTupleElements( tupleRec.tail ); } template<typename T> void countTupleElements( boost::tuples::cons<T,boost::tuples::null_type>& tupleRec,const std::vector<std::string>& vals ) { return 1; }
至关重要的是,这种模式通常用于你想为每种元组元素类型做一些不同的事情(我的例子中没有说明):在C编译时递归是必不可少的,因为一旦代码运行,类型信息就会丢失用于所有有用的目的.
我的问题是,与Scala HList有类似的可能性,例如:
val example = 1 :: 2.0 :: "Hello" :: "World" :: HNil
我知道在JVM上运行的Scala具有反射功能 – 因此可以使用运行时递归和使用清单和模式匹配的函数来实现.但是我有兴趣知道是否有可能使用编译时递归来做类似于C的例子?
解决方法
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。