Ale*_*son 5 recursion scala metaprogramming hlist
由于我昨天发布了一个关于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, int index, const std::vector<std::string>& vals )
{
return 1;
}
至关重要的是,这种模式通常用于你想为每种元组元素类型做一些不同的事情(在我的例子中未说明):在C++编译时递归是必不可少的,因为一旦代码运行,类型信息就会丢失用于所有有用的目的.
我的问题是,与Scala HList类似的东西,例如
val example = 1 :: 2.0 :: "Hello" :: "World" :: HNil
我知道在JVM上运行的Scala具有反射功能 - 因此可以使用运行时递归和使用清单和模式匹配的函数来实现.但我有兴趣知道是否可以使用编译时递归来做类似于C++示例的操作？