Lisp 像 C++ 函数调用 std::tuple 和折叠表达式

问题描述

我能想到的关于 Lisp 的最基本的事情就是如何调用函数。对于那些不知道如何在 Lisp 中做到这一点的人来说,就像这样:

(fun1 a b (fun2 c d))
; c and d are parameters to the function fun2,; and a,b and the result of fun2 are parameters
; to the function fun 1

好吧,我想在 C++ 中使用 std::tuple 和 fold 表达式做类似的事情。基本上,我有一个包含 2 个元素的元组,第一个是我想要调用函数,第二个是另一个带有参数的元组。我能够使这个概念与 1 个函数一起工作,并使用以下代码将“Lisp 元组”放入另一个元组中:

 auto add = [](auto ... args){ return (args + ...); };
 auto t1_args = std::make_tuple(10,5);
 auto t1 = std::tie(add,t1_args);
 auto t_m = std::tie(t1);

 auto result = std::apply([](auto ... args){
     return (std::apply(std::get<0>(args),std::get<1>(args...)),...);
 },t_m);

 std::cout << result << std::endl; // prints 15

但是我不能用多个函数来做到这一点,多个“Lisp 元组”,一个在另一个中。这里有人可以帮我吗?也许用另一种方法来制作“Lisp 元组”,但我真的不知道如何使它起作用。

解决方法

您必须递归地评估每个参数,例如:

template <typename T>
auto eval(T t)
{
    return t;
}

template <typename ...Ts>
auto eval(std::tuple<Ts...> tuple)
{
    return std::apply([](auto... args){ return std::invoke(eval(args)...); },tuple);
}

Demo

相关问答

Selenium Web驱动程序和Java。元素在(x,y)点处不可单击。其...
Python-如何使用点“。” 访问字典成员?
Java 字符串是不可变的。到底是什么意思?
Java中的“ final”关键字如何工作?(我仍然可以修改对象。...
“loop:”在Java代码中。这是什么,为什么要编译?
java.lang.ClassNotFoundException:sun.jdbc.odbc.JdbcOdbc...