我正在使用C API与ECL进行交互,并且尝试从具有某些存储状态的本机函数创建一个关闭对象。
我已经试过了:
cl_object f(long nargs, ...) {
std::cout << nargs << std::endl;
std::cout << "has value?" << std::endl;
cl_print(1, cl_boundp(c_string_to_object("HI")));
std::cout << "\ndone" << std::endl;
return Cnil;
}
auto closure = ecl_make_cclosure_va(f, c_string_to_object("((HI . 2))"), Cnil);
ecl_defparameter(c_string_to_object("F"), closure);
这样可以在lisp中使用f
调用该函数(funcall f)
,但cl_boundp
始终nil
在的主体内部返回f
。如何构造env
(environment)参数以ecl_make_cclosure_va
使本机代码可以读取闭包中的值?我以为这只是一个名单,但显然不是,而且我还没有找到在Google上建立名单的例子。
编辑:我已经添加了第二个,相当干净,简短的答案,这可能并不能完全满足您的要求,但可能就足够了。最初的较长答案指出了为什么要完全按照自己的意愿做是很复杂的,但建议此后仍然是可能的起点。
更简单的方法
我已经按照ECL接口概述了这一点,但是可以通过FFI接口在很大程度上完成此操作,以实现更清洁,更可移植的方法。
码:
// defined here as a non-varargs function - you'll need to change it slightly
cl_object f(cl_object hi, cl_object func_param1, cl_object_fund_param2) {
// note you can pass hi back to lisp fairly easily
cl_object name = ecl_make_symbol("do-something-useful","CL-USER");
cl_funcall(2,name,hi);
// some other stuff
}
包装函数,以便由Lisp(ecl_def_c_function
?)调用
将封口包裹在Lisp中
码:
cl_object wrapped_c_function = cl_safe_eval(c_string_to_object(
"(let ((hi 2))
#'(lambda (x y) (your-c-function hi x y)))"),Cnil,Cnil);
原始答案:
这是一个稍长的答案,要说“不容易”,但:
理解ecl的功能的最简单方法是使用ecl将一个简单的脚本编译为C(ecl -c <filename.c> -compile <filename.lisp>
)。这是一个简单的lisp生成带有可变参数列表的闭包
(defun make-closure-function (x y)
#'(lambda (&rest arguments) (apply '+ (append (list x y) arguments))))
(defun main ()
(let ((f (make-closure-function 1 2)))
(print (funcall f 3)))
(format t "~%"))
(main)
这是它生成的C代码的相关部分
/* function definition for MAKE-CLOSURE-FUNCTION */
/* optimize speed 3, debug 0, space 0, safety 2 */
static cl_object L2make_closure_function(cl_object v1x, cl_object v2y)
{
cl_object env0;
cl_object CLV0, CLV1;
const cl_env_ptr cl_env_copy = ecl_process_env();
cl_object value0;
ecl_cs_check(cl_env_copy,value0);
{
env0 = ECL_NIL;
CLV0 = env0 = CONS(v1x,env0); /* X */
CLV1 = env0 = CONS(v2y,env0); /* Y */
{
cl_object v3;
v3 = ecl_make_cclosure_va((cl_objectfn)LC1__g0,env0,Cblock);
value0 = v3;
cl_env_copy->nvalues = 1;
return value0;
}
}
}
/* closure G0 */
/* optimize speed 3, debug 0, space 0, safety 2 */
static cl_object LC1__g0(cl_narg narg, ...)
{
cl_object T0, T1;
cl_object CLV0, CLV1;
const cl_env_ptr cl_env_copy = ecl_process_env();
cl_object env0 = cl_env_copy->function->cclosure.env;
cl_object value0;
ecl_cs_check(cl_env_copy,value0);
/* Scanning closure data ... */
CLV1 = env0; /* Y */
CLV0 = _ecl_cdr(CLV1);
{ /* ... closure scanning finished */
{
cl_object v1arguments;
ecl_va_list args; ecl_va_start(args,narg,narg,0);
v1arguments = cl_grab_rest_args(args);
ecl_va_end(args);
T0 = cl_list(2, ECL_CONS_CAR(CLV0), ECL_CONS_CAR(CLV1));
T1 = ecl_append(T0,v1arguments);
value0 = cl_apply(2, ECL_SYM("+",14), T1);
return value0;
}
}
}
/* function definition for MAIN */
/* optimize speed 3, debug 0, space 0, safety 2 */
static cl_object L3main()
{
cl_object T0;
const cl_env_ptr cl_env_copy = ecl_process_env();
cl_object value0;
ecl_cs_check(cl_env_copy,value0);
{
TTL:
{
cl_object v1f;
v1f = L2make_closure_function(ecl_make_fixnum(1), ecl_make_fixnum(2));
T0 = ecl_function_dispatch(cl_env_copy,v1f)(1, ecl_make_fixnum(3));
ecl_print(T0,ECL_NIL);
}
value0 = cl_format(2, ECL_T, VV[1]);
return value0;
}
}
它env0
在中创建make_closure_function
,并将其列出x
并y
附加。然后它调用ecl_make_cclosure_va
。在LC1_g0
(lambda的包装)中,它使用访问环境cl_object env0 = cl_env_copy->function->cclosure.env;
。
请注意,访问环境中的值是因为它知道顺序,而不是能够按名称获取它们。
基本上,您必须复制此机制才能访问ac函数中的闭包变量(尽管您可以生成一种环境,该环境以一种方便的方式存储值(例如的列表(HI 2)
)。
最好的选择可能是使用ecl_bds_bind将环境中的位绑定为特殊变量(请参阅http://ecls.sourceforge.net/new-manual/re04.html)。如果您这样做,那么我想您可以使用HI
。尽管要注意,它是动态的而不是词汇约束的。
不过这是很多工作!这确实不是“面向用户的界面”。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句